Hochschulschrift
Exploring novel designs of NLP solvers : architecture and implementation of WORHP
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
IX, 148 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Bremen, Univ., Diss., 2013
- Urheber
-
Wassel, Dennis
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:12 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Wassel, Dennis
Ähnliche Objekte (12)
Exploring novel designs of NLP solvers: Architecture and Implementation of WORHP
Efficiency improving implementation techniques for large scale matrix equation solvers
Cooperation and coordination of constraint solvers
Towards an (experimental) understanding of SAT Solvers
Combinations of Boolean Gröbner Bases and SAT Solvers
Exploring the Backstage: Preparation and Implementation of Mass Protests in Germany
Exploring the Backstage: Preparation and Implementation of Mass Protests in Germany
Coupling iterative subsystem solvers
Algorithm selection, scheduling and configuration of Boolean constraint solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Evaluating the performance of solvers for integer-linear programming
Development of overset strategies for LBM-based flow solvers
Exploring novel designs of NLP solvers: Architecture and Implementation of WORHP
Efficiency improving implementation techniques for large scale matrix equation solvers
Cooperation and coordination of constraint solvers
Towards an (experimental) understanding of SAT Solvers
Combinations of Boolean Gröbner Bases and SAT Solvers
Exploring the Backstage: Preparation and Implementation of Mass Protests in Germany
Exploring the Backstage: Preparation and Implementation of Mass Protests in Germany
Coupling iterative subsystem solvers
Algorithm selection, scheduling and configuration of Boolean constraint solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Evaluating the performance of solvers for integer-linear programming
Development of overset strategies for LBM-based flow solvers
Exploring novel designs of NLP solvers: Architecture and Implementation of WORHP
Efficiency improving implementation techniques for large scale matrix equation solvers
Cooperation and coordination of constraint solvers
Towards an (experimental) understanding of SAT Solvers
Combinations of Boolean Gröbner Bases and SAT Solvers
Exploring the Backstage: Preparation and Implementation of Mass Protests in Germany
Exploring the Backstage: Preparation and Implementation of Mass Protests in Germany
Coupling iterative subsystem solvers
Algorithm selection, scheduling and configuration of Boolean constraint solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Evaluating the performance of solvers for integer-linear programming