Two-phase commit protocolIn transaction processing, databases, and computer networking, the two-phase commit protocol (2PC, tupac) is a type of atomic commitment protocol (ACP). It is a distributed algorithm that coordinates all the processes that participate in a distributed atomic transaction on whether to commit or abort (roll back) the transaction. This protocol (a specialised type of consensus protocol) achieves its goal even in many cases of temporary system failure (involving either process, network node, communication, etc.
Atomic commitIn the field of computer science, an atomic commit is an operation that applies a set of distinct changes as a single operation. If the changes are applied, then the atomic commit is said to have succeeded. If there is a failure before the atomic commit can be completed, then all of the changes completed in the atomic commit are reversed. This ensures that the system is always left in a consistent state. The other key property of isolation comes from their nature as atomic operations.
Three-phase commit protocolIn computer networking and databases, the three-phase commit protocol (3PC) is a distributed algorithm which lets all nodes in a distributed system agree to commit a transaction. It is a more failure-resilient refinement of the two-phase commit protocol (2PC). A two-phase commit protocol cannot dependably recover from a failure of both the coordinator and a cohort member during the Commit phase. If only the coordinator had failed, and no cohort members had received a commit message, it could safely be inferred that no commit had happened.
Commitment orderingCommitment ordering (CO) is a class of interoperable serializability techniques in concurrency control of databases, transaction processing, and related applications. It allows optimistic (non-blocking) implementations. With the proliferation of multi-core processors, CO has also been increasingly utilized in concurrent programming, transactional memory, and software transactional memory (STM) to achieve serializability optimistically. CO is also the name of the resulting transaction schedule (history) property, defined in 1988 with the name dynamic atomicity.
SonateUne sonate est une composition instrumentale de musique classique à plusieurs mouvements (par opposition à la cantate qui est chantée). Il ne faut pas la confondre avec l'une des formes les plus importantes, la forme sonate. Le premier mouvement d'une sonate est, d'ailleurs, généralement de forme sonate. thumb|Partition d'une sonate de l'époque baroque À l'origine, le mot désigne « une musique qui sonne » (en italien, sonata, suonata). La musique opposée à la sonate était la cantate (de l'italien, cantare = chanter).
Forme sonateEn musique classique, la forme sonate est une forme musicale qui est composée de trois parties : l'exposition, le développement et la réexposition (ou récapitulation). La forme sonate est le plus souvent fondée sur deux thèmes musicaux, utilisés lors de l'exposition et la récapitulation, et souvent combinés ou se répondant lors du développement. Attention à ne pas confondre la forme sonate et la sonate. Généralement, le premier mouvement d'une sonate - mais aussi d'une symphonie, d'un concerto - est de forme sonate.
Article de revueUn article de revue (ou « article de synthèse » ou « article de revue de littérature ») est un type particulier d'article publié dans une revue scientifique dont le principe est de dresser un état des lieux dans un domaine particulier de la recherche et de dégager les directions particulières prises dans ce domaine. Le contenu principal d'un article de revue est une revue de littérature (ou revue de la littérature), c'est-à-dire une méthode de recherche d'information scientifique structurée, réplicable et ciblée sur un sujet de recherche spécifique.
Revue systématiquethumb|Ce diagramme illustre ce que font les auteurs d'une revue systématique. Une revue systématique est un travail de collecte, d'évaluation critique et de synthèse des connaissances existantes sur une question donnée. Cette question bien définie est issue de l'étude d'une problématique posée par un commanditaire, un gestionnaire, un praticien, un chercheur... Il s'agit, contrairement à une revue narrative et non systématique de la littérature, de minimiser les biais pouvant être inhérents soit à la matière première (données, connaissances) soit à la conduite de la revue elle-même, afin d'atteindre la plus grande objectivité possible.
Revue de la littératureLes notions de « revue de la littérature » (ou « revue de littérature » ou d’« analyse de la littérature ») désignent à la fois une méthode de recherche de documentation scientifique et une « catégorie » d’études scientifiques. Le produit de cette méthode de recherche est un souvent un article dit « article de synthèse » ou « article de revue » ou « article de revue de littérature » par les francophones (traduction de l'anglais Review article).
Trio avec pianovignette|Un trio piano - violon - violoncelle. Un trio avec piano ou trio pour piano consiste en une composition musicale destinée à être interprétée par un piano et deux instruments mélodiques (généralement un violon et un violoncelle, mais d'autres combinaisons sont possibles). Les Sonate a tre (sonates en trio), constituées de trois instruments dont un violon et une basse continue, apparaissent au et constituent une des premières formes de musique de chambre. Les sonates per due violoni e violone de Giovanni Legrenzi en sont un des premiers exemples.
CorpusUn corpus est un ensemble de documents, artistiques ou non (textes, s, vidéos), regroupés dans une optique précise. On peut utiliser des corpus dans plusieurs domaines : études littéraires, linguistiques, scientifiques, philosophie La branche de la linguistique qui se préoccupe plus spécifiquement des corpus s'appelle logiquement la linguistique de corpus. Elle est liée au développement des systèmes informatiques, en particulier à la constitution de bases de données textuelles.
Contrôle juridictionnelLe contrôle juridictionnel est une forme de contrôle des décisions du gouvernement par les juges. Il peut prendre la forme d'un contrôle de constitutionnalité. Le contrôle juridictionnel mais aussi simplement la forme d'un contrôle, en France, par l'ordre administratif, de décisions de l'exécutif (la plus haute juridiction étant le Conseil d'État). Au Royaume-Uni, s'il n'y a pas de contrôle juridictionnel des lois (à part de rares exceptions), il y a un contrôle administratif comme en France.
Corps calleuxLe corps calleux (ou corpus callosum) est une commissure (moyen d'union entre deux parties) transversale du cerveau présente chez les mammifères placentaires. C’est un faisceau d'axones (fibre nerveuse qui correspond au prolongement long, mince et cylindrique du corps cellulaire d'un neurone) interconnectant les deux hémisphères cérébraux. C'est la plus importante commissure du cerveau, car elle relie les six lobes du cerveau entre eux (lobes frontaux, temporaux, pariétaux et occipitaux gauche et droit).
Linguistique de corpusLa linguistique de corpus est une branche de la linguistique qui étudie le langage à travers des exemples contenus dans des textes réels. En particulier elle se propose d'extraire d'un corpus les connaissances linguistiques essentielles à l’enseignement des langues et à l'élaboration des dictionnaires. La linguistique de corpus situe la signification dans le discours et dans l'interaction entre les gens plutôt que dans l'esprit des locuteurs. En effet le sens des mots est déterminé par le contexte dans lequel ils sont employés.
Habeas corpusHabeas corpus, plus exactement Habeas corpus ad subjiciendum et recipiendum, est une notion juridique qui énonce une liberté fondamentale, celle de ne pas être emprisonné sans jugement, contraire de l'arbitraire qui permet d'arrêter n'importe qui sans raison valable. En vertu du principe, toute personne arrêtée a le droit de savoir pourquoi elle est arrêtée et de quoi elle est accusée. Ensuite, elle peut être libérée sous caution, puis amenée dans les jours qui suivent devant un juge.
Agénésie du corps calleuxL’ est une maladie se définissant par l’absence de formation du corps calleux pendant le développement du fœtus. Cette absence peut être totale ou partielle. La formation du corps calleux commence normalement à partir de 5 semaines de vie in utero et se termine à 17 semaines. Cette absence de corps calleux peut être soit isolée, soit associée à d’autres pathologies. Une agénésie du corps calleux, quelle qu'en soit la cause, serait observée dans 0,3 % à 0,7 % de la population. Corps calleux Sagittal.
