منابع مشابه
1883 - 4566
Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...
متن کاملLeonard Colebrook (1883?1967)
Leonard Colebrook was a physician who researched bacteria and infections in England during the twentieth century. In 1936, Colebrook deployed the antibiotic Prontosil to treat puerperal fever, a disorder that results from bacterial infections in the uterine tracts of women after childbirth or abortions. Colebrook also advanced care for burn patients by advocating for the creation of burn units ...
متن کاملHans Spemann (1869-1941)
Hans Spemann [5] was an experimental embryologist best known for his transplantation studies [6] and as the originator of the ?organizer? concept. One of his earliest experiments involved constricting the blastomeres of a fertilized salamander [7] egg [8] with a noose of fine baby hair, resulting in a partially double embryo with two heads and one tail. Spemann continued changing variables such...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American Medical Association
سال: 1884
ISSN: 0002-9955
DOI: 10.1001/jama.1884.02390320015001a