1. In 1980 Wilkie solved Tarski's high school algebra problem.

En 1980 Wilkie a résolu le problème d'algèbre de lycée de Tarski.

2. Oscillation problems may also be solved as differential equations.

Les problèmes d'oscillation peuvent aussi être résolus à l'aide d'équations différentielles.

3. The resulting coupled nonlinear differential equations are solved numerically.

Les équations différentielles non linéaires couplées qui en résultent sont solutionnées numériquement.

4. This is absolutely contrary to the tasks solved by diplomacy.

Cela contredit complètement les tâches que résout la diplomatie.

5. These are solved numerically by reducing them to a set of algebraic equations.

Ces équations sont résolues par voie numérique en les ramenant à des séries d'équations algébriques.

6. The resulting model, in terms of a stochastic differential equation, is solved analytically.

Le modèle obtenu, qui prend la forme d'une équation différentielle stochastique, est résolu analytiquement.

7. A differential equation is developed and solved, describing this phase of the impact.

Une équation différentielle décrivant cette phase du choc est élaborée et résolue.

8. However, climate change would be solved only if its root causes were addressed.

Toutefois, ces problèmes seront résolus uniquement si les causes profondes des changements climatiques sont abordées.

9. This problem may be solved using the adsorption affinities instead of the vapor pressure.

Ce problème peut être résolu en faisant usage de l'affinité d'adsorption à la place de la tension de vapeur.

10. The system of equations are then solved simultaneously derive absolute value of hemoglobin concentration.

Les équations du système sont alors résolues simultanément pour en déduire la valeur absolue de la concentration en hémoglobine.

11. The Whitehead problem on abelian groups was solved (as an independence proof) by Saharon Shelah.

Le problème de Whitehead (en) pour les groupes abéliens a été résolu par Saharon Shelah (par l'indécidabilité).

12. To account for soil variability, the Richards equation is solved within deterministic and stochastic frameworks.

Afin de tenir compte de la variabilité des sols, l'équation de Richards est résolue dans des cadres déterministes et stochastiques.

13. The coupled differential equations governing the collision process are solved using the Numerov numerical technique.

La méthode numérique de Numerov permet de résoudre les équations différentielles couplées qui décrivent le mécanisme de collision.

14. A recent upload of the Linux kernel fixed some thermal problems and solved issues with ACPI.

Une mise à jour récente du noyau Linux a corrigé quelques problèmes thermiques et résolu les problèmes avec ACPI.

15. The global system model can be solved based on the solution to the shifted global system.

Le modèle de système global peut être résolu sur la base de la solution du système global décalé.

16. He solved the problem of finding which abelian groups have a finite number of indecomposable modules.

Il a résolu le problème de déterminer quels groupes abéliens avaient un nombre fini de modules indécomposables.

17. GRSP agreed that the discussion on this subject was solved during the Head Restraint gtr debate.

Le GRSP est convenu que cette question avait été résolue au cours des débats qui concernaient le RTM sur les appuie‐tête.

18. GRSP agreed that the discussion on this subject was solved during the Head Restraint gtr debate

Le GRSP est convenu que cette question avait été résolue au cours des débats qui concernaient le RTM sur les appuie-tête

19. Occasional overflow in the main conference room can be solved with the use of adjacent rooms.

Réduire la capacité des salles de conférence de presse et des bureaux à espace décloisonné dans le CPP, certains de ces espaces étant généralement excessifs.

20. These equations are solved numerically for even-transverse magnetic modes propagating in the non-weakly guided slabs.

Ces équations sont résolues numériquement pour les modes TM se propageant dans des guides à guidage normal «non-weakly guided».

21. The glass according to the invention has solved the problem relating to the excited state absorption of ?

Avec le verre selon l'invention, on a résolu le problème concernant l'absorption à l'état excité d'un niveau d'énergie de ?

22. For documentation, the problems of short exposure time, color photography, the illumination of the surrounding areas are solved.

Dans la photographie de documentation les problèmes suivants ont été résolus: Durée minimale du temps d'exposition. Photographie en couleur.

23. Several examples with solutions available in the literature are solved to ensure the accuracy of the current analysis.

Divers exemples, ainsi que des solutions disponibles dans la littérature, sont résolus et confrontés en vue de tester la fiabilité de l'analyse réalisée.

24. This way a trigonometric equation system is solved, and the muzzle's 3D position relative to the screen is calculated.

De cette manière un système d’équation trigonométrique est résolu et la position 3D de la bouche du canon par rapport à l’écran est calculée.

25. As the velocities and pressure fields are solved for at each nodal point, the accuracy of the solution is preserved.

A mesure que l'on résout les vitesses et les champs de pression pour chaque point nodal, on préserve la précision de la solution.

26. These integral equations were replaced by a system of simultaneous algebraic equations and solved numerically in conjunction with the method of successive elastic solutions.

Ces équations intégrales sont remplacées par un système d'équations algébriques simultanées, et solutionnées numériquement en s'aidant de la méthode des solutions élastiques successives.

27. Three coupled field equations, describing the collisional drift-wave dynamics in the linear approximation, are solved as an initial-value problem along the magnetic field line.

Trois équations de champ couplées, décrivant la dynamique de l'onde de dérive avec collisions dans l'approximation linéaire, sont solutionnées comme condition initiale du problème le long de la ligne de champ magnétique.

28. The subsequent exploitation of this algebraic solution is computationally significantly cheaper than the traditional approach where an optimization problem has to be solved for each reschedule.

L'exploitation subséquente de cette solution algébrique est considérablement moins coûteuse du point de vue computationnel par rapport à la conception classique selon laquelle un problème d'optimisation doit être résolu pour chaque replanification.

29. And because these problems cannot be solved within our own borders, no one has either the right to abdicate responsibility for the consequences or the luxury of doing so

Et parce que ces problèmes ne peuvent pas être résolus à l'intérieur de nos propres frontières, personne n'a le droit d'abdiquer ses responsabilités devant les conséquences ni ne peut se permettre ce luxe

30. It includes a variational approach based on Rumsey reaction concept. The problem is numerically solved with a surface finite element method : surfaces of 3D conducting object and interfaces between dielectric domains are meshed using surface triangular patches.

Le problème est résolu numériquement par une méthode d’éléments finis de surface : les surfaces conductrices et les interfaces entre domaines diélectriques homogènes sont décrites par un maillage en éléments finis de surface de forme triangulaire.

31. The equation system including the admittance matrix can be solved in various types of analyses, including (1) determining a transfer function between specified nodes of the electrical circuit; and (2) optimizing a component of the electrical circuit.

Le système d'équation comprenant la matrice d'admittance peut être résolu selon les deux types d'analyse suivants: (1) définition de la fonction de transfert entre des noeuds spécifiés du circuit électrique, et (2) optimisation d'un composant du circuit électrique.

32. So all I did is algebraically manipulated this top equation up here, and when I did that, when I solved essentially for y, I got this right over here, which is the exact same thing as the second equation.

Donc tout ce que j'ai fait est manipuler algébriquement cette équation ici au dessus, et en faisant ça, quand je l'ai résolu essentiellement pour y, j'ai obtenu ceci ici, qui est exactement la même chose que

33. Even worse, and absurdly, the report posits a link between working times in Europe and economic crisis, as if the problem would be solved if those still with jobs to go to were to work longer and longer hours, driving themselves to the point of collapse, while more and more people do not even get the chance to make use of their skills!

Pire encore, et de manière absurde, le rapport établit un lien entre les horaires de travail en vigueur en Europe et la crise économique, comme si le problème n’en serait plus un si ceux qui ont encore un emploi travaillaient encore et encore plus, au point de ne plus tenir sur leurs jambes, et ce alors que de plus en plus de citoyens n’ont même pas la possibilité d’exploiter leurs compétences!

34. Stresses that the current problems in relations between Ukraine and the European Union can only be solved on the basis of a clear willingness on the part of the Ukrainian authorities to carry out and implement the necessary reforms, in particular of the legal and judicial system, with the aim of full adherence to the principles of democracy and respect for human rights and fundamental freedoms, minority rights and the rule of law; calls for active and effective support in this reform process to be given by the institutions of the European Union and by the Council of Europe and its Venice Commission;

souligne que les problèmes rencontrés actuellement dans les relations entre l'Ukraine et l'Union européenne ne peuvent être résolus que sur la base d'une volonté affirmée de la part des autorités ukrainiennes de mener et de mettre en œuvre les réformes nécessaires, notamment des systèmes juridique et judiciaire, dans la perspective d'une pleine observance des principes de démocratie, du respect des droits de l'homme et des libertés fondamentales, des droits des minorités et de l'état de droit; demande que les institutions de l'Union européenne et le Conseil de l'Europe, y compris sa commission de Venise, apportent un soutien actif et effectif dans ce processus de réforme;