Sciences numériquesLes sciences numériques (traduction de l'anglais computational sciences), autrement dénommées calcul scientifique ou informatique scientifique, ont pour objet la construction de modèles mathématiques et de méthodes d'analyse quantitative, en se basant sur l'utilisation des sciences du numérique, pour analyser et résoudre des problèmes scientifiques. Cette approche scientifique basée sur un recours massif aux modélisations informatiques et mathématiques et à la simulation se décline en : médecine numérique, biologie numérique, archéologie numérique, mécanique numérique, par exemple.
Débat sur les organismes génétiquement modifiésLes organismes génétiquement modifiés (OGM) provoquent de nombreux débats qui sont sortis des mondes agricole, économique et scientifique pour toucher les sphères politique, philosophique, médiatique et juridique. Les débats sur les OGM concernent trois thèmes principaux : le bien-fondé des modifications génétiques par l'être humain les processus utilisés pour créer et expérimenter des OGM l'utilité et les risques dans leur domaine d'application Les OGM sont source de grandes divergences d’opinion, qui conduisent à une absence de consensus au sein des opinions publiques nationales ; les craintes sur les risques sanitaires qu'ils pourraient générer et sur une éventuelle atteinte à la biodiversité entrent en conflit avec les avantages mis en avant des OGM.
Procédure accusatoire et contradictoireLa procédure accusatoire et contradictoire est un système de justice dont les règles de procédures reposent sur les parties au litige. Ainsi, les avocats des parties plaignante et défenderesse sont responsables de présenter leur version des faits et de convaincre le juge ou le jury de la justesse de leur cause. Chaque procès est dirigé par un juge dont le rôle d'arbitrage le contraint à l'impartialité, à la différence d'une procédure inquisitoire pour laquelle le rôle du juge est très actif.
Genetically modified soybeanA genetically modified soybean is a soybean (Glycine max) that has had DNA introduced into it using genetic engineering techniques. In 1996, the first genetically modified soybean was introduced to the U.S. by Monsanto. In 2014, 90.7 million hectares of GM soybeans were planted worldwide, this is almost 82% of the total soybeans cultivation area. The genetic makeup of a soybean gives it a wide variety of uses, thus keeping it in high demand.
Intelligence artificielle dans la santévignette|Rayon X d'une main, avec calcul automatique de l'âge osseux par un logiciel informatique. L'intelligence artificielle (IA) dans la santé est l'utilisation d'algorithmes et de logiciels pour s'approcher de la cognition humaine dans l'analyse de données médicales complexes. Plus précisément, l'IA est la capacité des algorithmes informatiques à tirer des conclusions sans intervention humaine directe. L'objectif principal des applications des IA dans le domaine de la santé est d'analyser les relations entre, d'une part, la prévention ou les traitements et, d'autre part, l'état de santé des patients.
Chimie numériqueLa chimie numérique ou chimie informatique, parfois aussi chimie computationnelle, est une branche de la chimie et de la physico-chimie qui utilise les lois de la chimie théorique exploitées dans des programmes informatiques spécifiques afin de calculer structures et propriétés d'objets chimiques tels que les molécules, les solides, les agrégats atomiques (ou clusters), les surfaces, etc., en appliquant autant que possible ces programmes à des problèmes chimiques réels.
Algorithmic efficiencyIn computer science, algorithmic efficiency is a property of an algorithm which relates to the amount of computational resources used by the algorithm. An algorithm must be analyzed to determine its resource usage, and the efficiency of an algorithm can be measured based on the usage of different resources. Algorithmic efficiency can be thought of as analogous to engineering productivity for a repeating or continuous process. For maximum efficiency it is desirable to minimize resource usage.
Groupe simpleEn mathématiques, un groupe simple est un groupe non trivial qui ne possède pas de sous-groupe distingué autre que lui-même et son sous-groupe trivial. Un groupe est dit simple s'il a exactement deux sous-groupes distingués : ( étant l’élément neutre du groupe) et lui-même. Quelques exemples de groupes simples : Les seuls groupes abéliens simples sont les groupes finis d'ordre premier (ces groupes sont cycliques). Le groupe SO_3(R) des matrices spéciales orthogonales d'ordre 3 à coefficients réels est simple.
Analyse de la complexité des algorithmesvignette|Représentation d'une recherche linéaire (en violet) face à une recherche binaire (en vert). La complexité algorithmique de la seconde est logarithmique alors que celle de la première est linéaire. L'analyse de la complexité d'un algorithme consiste en l'étude formelle de la quantité de ressources (par exemple de temps ou d'espace) nécessaire à l'exécution de cet algorithme. Celle-ci ne doit pas être confondue avec la théorie de la complexité, qui elle étudie la difficulté intrinsèque des problèmes, et ne se focalise pas sur un algorithme en particulier.
Computational complexityIn computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation time (generally measured by the number of needed elementary operations) and memory storage requirements. The complexity of a problem is the complexity of the best algorithms that allow solving the problem. The study of the complexity of explicitly given algorithms is called analysis of algorithms, while the study of the complexity of problems is called computational complexity theory.
Procédure inquisitoireLa procédure inquisitoire est la procédure judiciaire où la maîtrise du procès est confiée au juge qui joue un rôle actif. En plus des éléments que les parties vont lui apporter, le juge pourra rechercher des éléments de preuve lui-même afin de fonder sa propre opinion. La procédure inquisitoire s'oppose donc à la procédure accusatoire, en usage au civil et, dans les pays anglo-saxons, au pénal, où le rôle des juges se limite seulement à celui d’arbitre impartial entre les parties.
Code automodifiableUn code automodifiable est, en programmation informatique, un programme qui peut se modifier lui-même, c’est-à-dire appeler des routines, fonctions ou méthodes qui seront créées par le programme lui-même. En dehors de l'idée, qui relève pour le moment de la fiction, d'un robot qui modifierait lui-même sa finalité, l'utilisation la plus courante du code automodifiable est l'optimisation de la vitesse d'exécution d'un programme : par exemple un interpréteur peut analyser le code source qu'il est en train d'exécuter, se rendre compte qu'une fonction est appelée fréquemment, et en réaliser à la volée une version compilée, qui sera exécutée plus rapidement.
