Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Gerald Ostheimer"'
Autor:
Simon Brock, Gerald Ostheimer
Publikováno v:
Electronic Notes in Theoretical Computer Science. 2:29-35
The semantics of lazy functional programming languages is usually presented in two different ways: a semantics based on trees which is used to reason about a program; and a semantics based on graphs which is used to implement a program. The link betw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bcb8366f71b6e1bf794d22058cc85bae
https://doi.org/10.1016/s1571-0661(05)80178-1
https://doi.org/10.1016/s1571-0661(05)80178-1
Autor:
Jim Byrnes, Gerald Ostheimer
Publikováno v:
NATO Security Through Science Series ISBN: 1402042841
Advances in Sensing with Security Applications
Advances in Sensing with Security Applications
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7713f2414c0ea5e7e73da7bcd8958f69
https://doi.org/10.1007/1-4020-4295-7
https://doi.org/10.1007/1-4020-4295-7
Autor:
Simon Brock, Gerald Ostheimer
Publikováno v:
CONCUR '95: Concurrency Theory ISBN: 9783540602187
CONCUR
CONCUR
This paper introduces an encoding of λ-terms in a subset of the π-calculus which mimics the graph reduction of the λ-terms. The encoding is sufficiently general to incorporate multiple reduction strategies, cycles and constants. As such it provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1615e5220750625575a8e86568976b0f
https://doi.org/10.1007/3-540-60218-6_36
https://doi.org/10.1007/3-540-60218-6_36
Autor:
Barbara M. Ostfeld, Victor Zapanta, Susan Friedman, Thomas Menke, Sandor Paskin, Thomas Hegyi, I Mark Hiatt, Michael Graff, Gerald Ostheimer
Publikováno v:
Pediatric Research. 19:356A-356A
Abnormal hearing responses were found in a group of term infants born by Caesarian section after maternal administration of epidural anesthesia in a study comparing the effect of lidocaine and lidocaine-epinephrine combination on the infant's neurobe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b70df063f03e21d6eb69fd8c6f1e40fb
https://doi.org/10.1203/00006450-198504000-01496
https://doi.org/10.1203/00006450-198504000-01496