Results 201 to 210 of about 101,140 (254)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Historical overview of vaccines

Primary Care: Clinics in Office Practice, 2001
This article focuses on a few significant milestones in the history of vaccination. As the contributions of key investigators, such as Jenner, Pasteur, and Salk were slowly accepted, the developments and discoveries that followed pushed ahead the science of vaccinology.
M J, Silvers, M M, Steptoe
openaire   +2 more sources

Psychosurgery: A Historical Overview

Neurosurgery, 2001
Neurosurgical treatment for psychiatric disorders has a long and controversial history. From the Stone Age use of trephining to release the demons of the spirit to the millimeter accuracy of stereotactic instruments currently used in the operating room, psychosurgery has enjoyed enthusiastic support as well as experiencing scorn.
R P, Feldman, J T, Goodrich
openaire   +2 more sources

Historical Overview

The Artificial Intelligence: Foundationsory, and Algorithms, 2016
David Bergman, André A Cire, Bergman David   +2 more
exaly   +2 more sources

Historical Overview

AJN, American Journal of Nursing, 2008
Lessons from the past, challenges for the future in family caregiving.
openaire   +2 more sources

Historical overview of melanoma

Clinics in Dermatology, 1992
Abstract This consideration of the development of knowledge about malignant melanoma is confined to the period from the late 18th to the early 20th century. It was in this period that the first descriptions of melanoma as a disease entity were published, and the foundation of the principles of management was established.
G R, McLeod, N C, Davis
openaire   +2 more sources

Historical Overview of Glycoanalysis

2009
More than half of all human proteins are glycosylated. Glycosylation defines the adhesive properties of glycoconjugates and it is largely through glycan-protein interactions that cell-cell and cell-pathogen contacts occur. Not surprisingly, considering the central role they play in molecular encounters, glycoprotein and carbohydrate-based drugs and ...
Alicia M, Bielik, Joseph, Zaia
openaire   +2 more sources

Historical overview of lymphangiogenesis

Current Opinion in Immunology, 2018
The investigation of the lymphatic system has a very long and intriguing history, with several medical figures which brought important contributions. Work on the lymphatic system began in the 17th century, and by the beginning of the 19th century the anatomy of most of the lymphatic system had been described.
openaire   +3 more sources

Historical Overview

Annals of the New York Academy of Sciences, 1988
The present historical paper concentrates on the roots of the pharmacodynamic concept of Ca++ antagonism, and on the various therapeutic consequences of transmembrane Ca++ entry inhibition, i.e., normalization of hyperkinetic cardiac disorders, suppression of arterial and arteriolar spasms, relief of systemic arterial hypertension, stopping of cardiac ...
openaire   +3 more sources

Babesia—A historical overview

Veterinary Parasitology, 2006
The history of the genus Babesia is briefly outlined. The classical differences with the main other genus of non-pigment-forming hemoparasites, Theileria, are the absence of extra-erythrocytic multiplication (schizogony) in Babesia and the cycle in the vector tick, which includes transovarial transmission in Babesia but only transstadial transmission ...
openaire   +2 more sources