Fraser B. Gurd (1883-1948)

Zeitschrift für Naturforschung / B / 3 (1948)

Die Versuche dienen zur Ü b e r p r ü f u n g der Theor ie , daß die pho toper iod i schen Reakt ionen ents tehen, wei l das L ich t in der pho toph i l en P h a s e der endogenen Rhy thmik (in der Rege l an e iner B l a t t h e b u n g e r k e n n b a r ) die B l ü t e n b i l d u n g f ö r d e r t , s ie aber in der skotophi len Phase (in der Rege l an e iner B l a t t s e n k u n g e r k e n...

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 (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 ...

Muriel Robertson, 1883-1973.