TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 DEF

A consensus mechanism used to prove that a miner has dedicated a sufficient amount of their physical storage to a given endeavor.  1, record 1, English, - proof%20of%20capacity

Record number: 1, Textual support number: 1 OBS

While proof of stake and proof of work methods use stake size and computing power, respectively, to determine who is able to verify a transaction, PoC methods use available storage space to do so.  1, record 1, English, - proof%20of%20capacity

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 CONT

La preuve de capacité, aussi appelée preuve d'espace (proof of space) ou preuve de stockage (proof of storage), est une alternative à la preuve de travail qui se base, non pas sur la dépense énergétique des machines validatrices, mais sur leur capacité à garder en mémoire des données.  1, record 1, French, - preuve%20d%27espace

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 DEF

Application of nanoscience and nanotechnologies techniques in the field of medicine.  2, record 2, English, - nanomedicine

Record number: 2, Textual support number: 1 CONT

Nanomedicine is the application of nanotechnology (the engineering of tiny machines) to the prevention and treatment of disease in the human body. This evolving discipline has the potential to dramatically change medical science. Established and near-future nanomedicine applications include activity monitors, chemotherapy, pacemakers, biochips, OTC [over-the-counter] tests, insulin pumps, nebulizers, needleless injectors, hearing aids, medical flow sensors and blood pressure, glucose monitoring and drug delivery systems.  3, record 2, English, - nanomedicine

Record number: 2, Textual support number: 2 CONT

The chapter on nanomedicine defines the field of nanomedicine and its objectives, keyed to the "biological existence proof" of the feasibility of nanotechnology. Several thought experiments are employed to help the reader develop an intuitive appreciation of time, space, and mechanics in the microworld, where nanorobots will be operating. The goals of biotechnology-based "molecular medicine" are carefully distinguished from the goals of nanomedicine. The evolution of the concept of nanomedicine and cell repair machines is described as the natural culmination of millennia of medical history. The limits of nanomedicine are presented, although by 20th century standards these limits appear, for the most part, quite tolerable and modest in scope. The applicability of the Hippocratic Oath in the nanomedical era is explored.  4, record 2, English, - nanomedicine

Record number: 2, Textual support number: 1 OBS

Nano is a prefix meaning one billionth (1/1,000,000,000).  5, record 2, English, - nanomedicine

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 DEF

Branche de la médecine concernée par l'application de la nanotechnologie dans la prévention et le traitement des maladies.  2, record 2, French, - nanom%C3%A9decine

Record number: 2, Textual support number: 1 CONT

La nanotechnologie, inspirée de la biologie mais rendue possible par le concours de la physique, de la chimie et de l'électronique, s'oriente actuellement dans trois directions principales : (1) la nanomécanique visant la réalisation de «moteurs» au niveau moléculaire, (2) la nanoélectronique visant la réalisation d'ordinateurs moléculaires ou quantiques, (3) la nanomédecine visant la réalisation d'ensembles moléculaires artificiels pouvant exercer une action sur le corps humain dans des buts thérapeutiques, éventuellement de manière nanoélectronique, et des effets (nano)mécaniques ou chimiques.  3, record 2, French, - nanom%C3%A9decine

Record number: 2, Textual support number: 1 OBS

[La nanomédecine] inclut la surveillance, la réparation, la construction et le contrôle des systèmes biologiques humains au niveau moléculaire, utilisant les nanodispositifs et les nanostructures.  2, record 2, French, - nanom%C3%A9decine

Record 2,  Textual support,  Spanish

Record number: 2, Textual support number: 1 DEF

[Rama de la medicina que] mediante el desarrollo y la aplicación de la nanotecnología, [pretende] mejorar el diagnóstico, tratamiento y prevención de enfermedades y lesiones traumáticas, así como preservar y mejorar la salud y calidad de vida del paciente.  2, record 2, Spanish, - nanomedicina

Record number: 2, Textual support number: 1 CONT

La nanomedicina, aplicación de la nanotecnología en las ciencias de la salud, es la rama de la nanotecnología que se perfila como la de mayor proyección en un futuro próximo debido a sus importantes aplicaciones, especialmente diagnósticas y terapéuticas. La detección temprana de enfermedades, su tratamiento precoz personalizado y un preciso seguimiento posterior de su evolución serán posibles en los próximos años gracias a la aplicación de las herramientas nanotecnológicas que se están desarrollando actualmente. Los importantes avances en este campo podrían dar lugar a sistemas de diagnosis y tratamientos terapéuticos de mayor eficacia que los existentes, lo que redundaría en una mayor calidad de vida para el hombre.  3, record 2, Spanish, - nanomedicina

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 CONT

The geometry tutor(Anderson, Boyle, & Yoost, 1985) is built on the same basic design as the Lisp tutor. The student's activity in that case is to construct a geometry proof by successively applying geometric theorems, and the tutor compares his steps to a large knowledge base consisting of both correct and incorrect problem-solving rules. The tutor intervenes when the student applies an incorrect rule, i. e., makes illegal or useless moves in the space of possible inferences.  3, record 3, English, - geometry%20tutor

Record 3,  Textual support,  French

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 DEF

Programs that have proved theorems.  4, record 4, English, - theorem%20prover

Record number: 4, Textual support number: 1 CONT

The exploration of the search space(i. e. the proof model) is managed by a theorem prover... Starting from the data representing the problem hypotheses, the prover produces... all the facts that can be deduced from the theory.  5, record 4, English, - theorem%20prover

Record number: 4, Textual support number: 2 CONT

The counterexample found above was found by a heuristic filter to the theorem prover called the conjecture disprover.  6, record 4, English, - theorem%20prover

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 DEF

Programme de démonstration de clauses logiques.  3, record 4, French, - d%C3%A9monstrateur%20de%20th%C3%A9or%C3%A8me

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 CONT

A control mark as proof of verification and calibration will be applied in the appropriate free space on one of the side surfaces... A guarantee mark will also be applied on the test surface in such a position that it does not interfere with the use of the block, but will indicate that the surface has not been ground subsequently.  1, record 5, English, - guarantee%20mark

Record 5,  Textual support,  French

Record number: 5, Textual support number: 1 CONT

Une marque de contrôle constatant la vérification et l'étalonnage sera apposée dans l'espace laissé libre à cet effet sur une des faces latérales (...). Une marque de sûreté sera de plus apposée sur la face d'essai en un emplacement tel qu'elle ne gêne pas l'utilisation du bloc mais que toutefois la face ne puisse ultérieurement être rectifiée sans que cette marque soit lésée.  1, record 5, French, - marque%20de%20s%C3%BBret%C3%A9

Record 5,  Textual support,  Spanish