| 1. | SNOPT - Default solver used in PROPT.
Laser, voilier dériveur utilisé en régates. |
| 2. | He obviously sees governments as a kind of solver of all problems.
il voit les pouvoirs publics comme un lieu où tous les problèmes peuvent être résolus. |
| 3. | "A Rigorous ODE Solver and Smale's 14th Problem" (PDF).
Format pdf. (en) W. Tucker, « A Rigorous ODE Solver and Smale's 14th Problem », Found. |
| 4. | To improve model execution speed, the Fluid Library uses a linear programming solver.
Pour accélérer l’exécution de la modélisation, la bibliothèque de fluide utilise un solveur de programmation linéaire. |
| 5. | Here the commission must be more active as a problem solver and attack obstructing countries.
il faut que la commission s'attaque plus activement à leur résolution et mette en cause les pays qui font obstruction. |
| 6. | This is the method used by Rolling Stone, a Sokoban solver developed by the University of Alberta GAMES Group.
C'est la méthode utilisée par Rolling Stone, un solveur développé par le groupe GAMES de l'Université d'Alberta, au Canada. |
| 7. | In 2016, Hyejeong was cast in her first social film Mysterious Solver together with F.T. Island's Choi Min-hwan.
En 2016, Hyejeong a été prise dans son premier social film, intitulé Mysterious Solver, aux côtés de Choi Min-hwan de F.T. Island. |
| 8. | The question presents itself whether the government should be the problem solver or if it is perhaps the problem itself.
la question est de savoir si c’est le gouvernement qui doit résoudre le problème ou s’il est lui-même le problème lui-même. |
| 9. | These converted ASP formula into SAT propositions, applied the SAT solver, and then converted the solutions back to ASP form.
Ils convertissent les formule ASP en propositions de SAT, appliquent le solveur SAT et ensuite reconvertissent les solutions en forme ASP. |
| 10. | The FMM has also been applied in accelerating the iterative solver in the method of moments (MOM) as applied to computational electromagnetics problems.
La MMR a aussi été appliquée à l'accélération des solveurs itératifs dans la méthode des moments appliquée aux problèmes d'électromagnétique. |
