Zobrazeno 1 - 10
of 10
pro vyhledávání: '"David Tremaine"'
Autor:
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 184, Iss Proc. ESSS 2015, Pp 65-79 (2015)
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a comp
Externí odkaz:
https://doaj.org/article/d2f8727a17274242a9fce57793760f81
Publikováno v:
Journal of Automated Reasoning. 60:63-84
The trip computers for the two reactor shutdown systems of the Ontario Power Generation (OPG) Darlington Nuclear Power Generating Station are being refurbished due to hardware obsolescence. For one of the systems, the general purpose computer origina
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc067177714789fcf60492fec4ec345b
https://doi.org/10.1007/s10817-017-9415-7
https://doi.org/10.1007/s10817-017-9415-7
Autor:
David Tremaine
One of the most widely accepted ways of describing an addiction is as a disease, but do we realize what we are saying when we describe it that way? Our current language and approach to addiction is not only lacking in depth but is keeping us blind to
Autor:
Mark Lawford, Vera Chow, David Tremaine, Alan Wassyng, Josh Newell, Linna Pang, Chen-Wei Wang
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 184, Iss Proc. ESSS 2015, Pp 65-79 (2015)
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13df625d44b508d4b7d3b7ace6543697
https://doi.org/10.4204/eptcs.184.5
https://doi.org/10.4204/eptcs.184.5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319406473
NFM
NFM
The trip computers for the two reactor shutdown systems of the Ontario Power Generation OPG Darlington Nuclear Power Generating Station DNGS are being refurbished due to hardware obsolescence. For one of the systems, the general purpose computer orig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6351c35bc874a0b244a18652f8d7979d
https://doi.org/10.1007/978-3-319-40648-0_16
https://doi.org/10.1007/978-3-319-40648-0_16
Publikováno v:
Foot & Ankle International. 15:561-566
Many conditions of the foot have been related to pressure maldistribution. Alteration of plantar pressure through improvements of shoe fit, orthoses, and surgery are presumed to correct pressure maldistribution.We evaluated 10 volunteers with normal,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::792b493e285e91f048164d32abad2831
https://doi.org/10.1177/107110079401501008
https://doi.org/10.1177/107110079401501008
Autor:
Elias M. Awad, M. David Tremaine
Publikováno v:
International Journal of Healthcare Technology and Management. 2:106
Medicare in the US is becoming an issue in terms of coverage. The federal government's attempt at downsizing and combating budget deficit shows a trend that points to patients absorbing more and more of the initial cost of medical treatment. The goal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4f516b84845e1a27da37148d03d91d2
https://doi.org/10.1504/ijhtm.2000.001067
https://doi.org/10.1504/ijhtm.2000.001067
Autor:
M. David Tremaine, Roger M. Lyons, Michael J. Christie, Ralph B. Blasier, Donald E. Macfarlane, Theodore E. Spiro, Gerhard J. Johnson
Publikováno v:
Annals of Internal Medicine. 121:81
Objective: To determine the most effective and safe dose of enoxaparin to prevent deep venous thrombosis in high-risk surgical patients. Design: A double-blind, randomized, multicenter clinical tri...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d18da4a98afcc29c9ee1b8073b6d1ef5
https://doi.org/10.7326/0003-4819-121-2-199407150-00001
https://doi.org/10.7326/0003-4819-121-2-199407150-00001
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.