Results 291 to 300 of about 863,403 (336)
Machine learning unlocks robust convergence for chemical process simulations
Jakobs D +2 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A Solver for Arrays with Concatenation
Journal of Automated Reasoning, 2023zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Qinshi Wang, Andrew W. Appel
openaire +1 more source
ACM Transactions on Graphics, 2021
In a conventional optical motion capture (MoCap) workflow, two processes are needed to turn captured raw marker sequences into correct skeletal animation sequences. Firstly, various tracking errors present in the markers must be fixed ( cleaning or refining ). Secondly, an agent skeletal mesh
Kang Chen +5 more
openaire +1 more source
In a conventional optical motion capture (MoCap) workflow, two processes are needed to turn captured raw marker sequences into correct skeletal animation sequences. Firstly, various tracking errors present in the markers must be fixed ( cleaning or refining ). Secondly, an agent skeletal mesh
Kang Chen +5 more
openaire +1 more source
2021
Successful SAT solvers in recent competitions are typically based on the winner of the previous competition. Due to this procedure, for multiple years relevant features like incremental solving have not been supported by winning solvers anymore. Furthermore, bug fixes in one solver do not evolve into predecessors.
openaire +1 more source
Successful SAT solvers in recent competitions are typically based on the winner of the previous competition. Due to this procedure, for multiple years relevant features like incremental solving have not been supported by winning solvers anymore. Furthermore, bug fixes in one solver do not evolve into predecessors.
openaire +1 more source
Communications of the ACM, 2009
This year's Grace Hopper Celebration focused on using technology for social good.
openaire +1 more source
This year's Grace Hopper Celebration focused on using technology for social good.
openaire +1 more source
2012
Formal development in Event-B generally requires the validation of a large number of proof obligations. Some automatic tools exist to automatically discharge a significant part of them, thus augmenting the efficiency of the formal development. We here investigate the use of SMT (Satisfiability Modulo Theories) solvers in addition to the traditional ...
Déharbe, David +3 more
openaire +2 more sources
Formal development in Event-B generally requires the validation of a large number of proof obligations. Some automatic tools exist to automatically discharge a significant part of them, thus augmenting the efficiency of the formal development. We here investigate the use of SMT (Satisfiability Modulo Theories) solvers in addition to the traditional ...
Déharbe, David +3 more
openaire +2 more sources
Coupling of the Edge CFD Solver with External Solvers
53rd AIAA Aerospace Sciences Meeting, 2015This paper presents a new development in the FOI CFD code Edge which enables using Edge as a part of a system in which a number of modules are interconnected. Each of the modules can for instance be dedicated to specific computations for the simulation of a complex system.
Adam Jirasek +2 more
openaire +1 more source
2023
We present ScalaFix, a modular library for solving equation systems by iterative methods. ScalaFix implements several solvers, involving iteration strategies from plain Kleene’s iteration to more complex ones based on a hierarchical ordering of the unknowns.
Gianluca Amato, Francesca Scozzari
openaire +2 more sources
We present ScalaFix, a modular library for solving equation systems by iterative methods. ScalaFix implements several solvers, involving iteration strategies from plain Kleene’s iteration to more complex ones based on a hierarchical ordering of the unknowns.
Gianluca Amato, Francesca Scozzari
openaire +2 more sources
A Flexible Meta-solver Framework for Constraint Solver Collaboration
2003The solving of multi-domain constraint problems with the help of collaborating solvers has seen extended interest in recent years. We describe the implementation (Meta-S) and extension of a previously proposed theoretical framework of cooperating constraint solvers.
Stephan Frank +2 more
openaire +1 more source
On the Performance of NLP Solvers Within Global MINLP Solvers
2018Solving mixed-integer nonlinear programs (MINLPs) to global optimality efficiently requires fast solvers for continuous sub-problems. These appear in, e.g., primal heuristics, convex relaxations, and bound tightening methods. Two of the best performing algorithms for these sub-problems are Sequential Quadratic Programming (SQP) and Interior Point ...
Benjamin Müller 0002 +2 more
openaire +1 more source