Výsledky vyhledávání

Dissertation/ Thesis

A modal logic for handling behavioural constraints in formal hardware verification

Autor: Mendler, M.

The application of formal methods to the design of correct computer hardware depends crucially on the use of abstraction mechanisms to partition the synthesis and verification task into tractable pieces. Unfortunately however, behavioural abstraction

Externí odkaz: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.657695

Zobrazit plný text záznamu

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.

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.

Effect of Sustained Inflations vs Intermittent Positive Pressure Ventilation on Bronchopulmonary Dysplasia or Death Among Extremely Preterm Infants: The SAIL Randomized Clinical Trial

Autor: Kirpalani, H., Ratcliffe, S.J., Keszler, M., Davis, P.G., Foglia, E.E., Pas, A. te, Fernando, M., Chaudhary, A., Localio, R., Kaam, A.H. van, Onland, W., Owen, L.S., Schmolzer, G.M., Katheria, A., Hummler, H., Lista, G., Abbasi, S., Klotz, D., Simma, B., Nadkarni, V., Poulain, F.R., Donn, S.M., Kim, H.S., Park, W.S., Cadet, C., Kong, J.Y., Smith, A., Guillen, U., Liley, H.G., Hopper, A.O., Tamura, M., LaLiberte, A., Hallinan, S., Mancini, T., White, D., Nuytenmans, D., Hal, L., dela Puerta, R., Huey, Q.B., Rajadurai, V.S., StelzI, W., Narayen, I., Brouwer, E., Nicolau, Y., Rundquist, M., Lopez, J., Bates, S., Bastrenta, P., Castoldi, F., Cavigioli, F., Thio, M., Argus, B., Mills, B., Twitchell, E., Ishiguro, A., Sung, S., Ahn, S.Y., Shin, S.H., Katheria, A.C., Brown, M., Steen, J., Rich, W., Mendler, M., Essers, J., Zernickel, M., Kurfiss, A., Aziz, K., Cheung, P.Y., Os, S. van, Fray, C., Steinhorn, R.H., Mirmiran, M., Pesavento, R., Hentschel, R., Young, T., Rhoades-Ryan, G., Mackley, A., Gray, K., SAIL Site Investigators

Publikováno v: Journal of the American Medical Association, 321(12), 1165-1175
JAMA, 321(12), 1165-1175. American Medical Association

Importance Preterm infants must establish regular respirations at delivery. Sustained inflations may establish lung volume faster than short inflations. Objective To determine whether a ventilation strategy including sustained inflations, compared wi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1db31113c38f601a7a0789cd17582a69
https://pubmed.ncbi.nlm.nih.gov/31442317

Zobrazit plný text záznamu

Next-Generation Sequencing of Circulating Tumor DNA Reveals Frequent Alterations in Advanced Hepatocellular Carcinoma

Autor: Ikeda, S, Tsigelny, IF, Skjevik, AA, Kono, Y, Mendler, M, Kuo, A, Sicklick, JK, Heestand, G, Banks, KC, Talasaz, A, Lanman, RB, Lippman, S, Kurzrock, R

Publikováno v: The oncologist, vol 23, iss 5
Ikeda, S; Tsigelny, IF; Skjevik, AA; Kono, Y; Mendler, M; Kuo, A; et al.(2018). Next-Generation Sequencing of Circulating Tumor DNA Reveals Frequent Alterations in Advanced Hepatocellular Carcinoma. ONCOLOGIST, 23(5), 586-593. doi: 10.1634/theoncologist.2017-0479. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/1kw8n456

BACKGROUND:Because imaging has a high sensitivity to diagnose hepatocellular carcinoma (HCC) and tissue biopsies carry risks such as bleeding, the latter are often not performed in HCC. Blood-derived circulating tumor DNA (ctDNA) analysis can identif

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d38f2c37e433fd9f96bc0669d00a8be
https://escholarship.org/uc/item/1kw8n456

Zobrazit plný text záznamu

Nonalcoholic fatty liver disease with cirrhosis increases familial risk for advanced fibrosis

Publikováno v: Caussy, C; Soni, M; Cui, J; Bettencourt, R; Schork, N; Chen, C-H; et al.(2017). Nonalcoholic fatty liver disease with cirrhosis increases familial risk for advanced fibrosis. JOURNAL OF CLINICAL INVESTIGATION, 127(7), 2697-2704. doi: 10.1172/JCI93465. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/0281c10h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______325::fc4cde6e98cc04f0297dc4271fd26d90
http://www.escholarship.org/uc/item/0281c10h

Zobrazit plný text záznamu

Kniha

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Characterising combinational timing analyses in intuitionistic modal logic.

Autor: Mendler, M¹

Publikováno v: Logic Journal of the IGPL. 2000, Vol. 8 Issue 6, p821-852. 32p.

Zobrazit plný text záznamu

Sodium Benzoate for Treatment of Hepatic Encephalopathy

Autor: Ml, Misel, Robert Gish, Patton H, Mendler M

Publikováno v: Scopus-Elsevier
Europe PubMed Central

Hepatic encephalopathy (HE) is a serious but usually reversible neuropsychiatric complication of cirrhosis, inborn errors of metabolism involving disorders of the urea cycle, and noncirrhotic portosystemic shunting that most commonly arises from a tr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::1811040ad4d8857da76cb1348dabd028
https://europepmc.org/articles/PMC3977640/

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání