Réaction péricycliqueEn chimie organique, une réaction péricyclique est une réaction dans laquelle une réorganisation concertée des liaisons passe par un ensemble cyclique d'atomes (comprenant souvent six atomes) liés en permanence. L'état de transition possède une géométrie cyclique. Les réactions péricycliques sont généralement des réactions de réarrangement. On distingue : les cycloadditions ; les réactions chélotropes ; les réactions électrocycliques ; les transpositions sigmatropiques ; les réactions de transfert de groupe ; les réactions dyotropiques.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Addition de MichaelL'addition de Michael ou réaction de Michael est une réaction qui permet la création de liaisons carbone-carbone, voire de liaisons carbone-soufre. Il s'agit de l'addition nucléophile d'un carbanion sur un composé carbonylé α,β-insaturé (aldéhyde, cétone et même ester α,β-insaturé, des nitriles et des amides α,β-insaturés pouvant aussi être utilisés). Elle appartient à la famille des additions nucléophiles conjuguées. Cette réaction doit son nom au chimiste américain Arthur Michael.
Cinétique enzymatiqueLa cinétique enzymatique a pour objet d'identifier et de décrire les mécanismes des réactions biochimiques, catalysées par les enzymes (réaction enzymatique), en étudiant leur vitesse c'est-à-dire leur évolution en fonction du temps. En partant des enzymes isolées et en allant vers les systèmes métaboliques organisés et intégrés, la cinétique enzymatique permet de décrire quantitativement les propriétés catalytiques des enzymes et les mécanismes mis en place pour leur régulation.
Binding siteIn biochemistry and molecular biology, a binding site is a region on a macromolecule such as a protein that binds to another molecule with specificity. The binding partner of the macromolecule is often referred to as a ligand. Ligands may include other proteins (resulting in a protein-protein interaction), enzyme substrates, second messengers, hormones, or allosteric modulators. The binding event is often, but not always, accompanied by a conformational change that alters the protein's function.
BiocatalyseLa biocatalyse est l'utilisation de catalyseurs naturels, comme des enzymes, dans une réaction de synthèse organique. Pour cela, des enzymes ayant été plus ou moins isolées et/ou des enzymes étant toujours dans des cellules vivantes sont utilisées. Récemment avec les avancées de l'Électrosynthèse microbienne on a réussi à utiliser des biofilms microbiens cultivés sur une anode et une cathode pour catalyser des réactions électrochimiques permettant de produire des molécules organiques d'intérêt.
Espace métriqueEn mathématiques et plus particulièrement en topologie, un espace métrique est un ensemble au sein duquel une notion de distance entre les éléments de l'ensemble est définie. Les éléments seront, en général, appelés des points. Tout espace métrique est canoniquement muni d'une topologie. Les espaces métrisables sont les espaces topologiques obtenus de cette manière. L'exemple correspondant le plus à notre expérience intuitive de l'espace est l'espace euclidien à trois dimensions.
Station spatialevignette|Extérieur de la Station spatiale internationale en novembre 2009. Une station spatiale est une installation en orbite ou déposée sur un astre, habitée par un équipage humain pendant une période prolongée, ne disposant pas de moyens de propulsion autonomes ou ne disposant que de moyens de propulsion réduits. Jusqu'à présent, seules des stations spatiales destinées à être en orbite terrestre basse ont été construites. Elles sont désignées comme « stations orbitales ».
Philosophie de l'espace et du tempsLa philosophie de l'espace et du temps est une branche de la philosophie qui traite des problèmes liés aux caractères épistémologiques et ontologiques de l'espace et du temps. Faisant droit à toutes les exigences de la rationalité naissante, la philosophie grecque est . En quête en effet d’identités et de permanences susceptibles de fournir à la pensée les repères fixes et stables dont celle-ci a besoin, elle parie sur l’Être contre le devenir. C’est la position très tôt affirmée par Parménide d’Élée : (La voie de la vérité, § 8).
Runtime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.
