Zobrazeno 1 - 10
of 157
pro vyhledávání: '"Cartwright, Robert"'
Autor:
Duracz, Adam, Chandy, K. Mani, Abdelrahman, Mohamed, España, Juan Jose Gonzalez, Sai, Ryuichi, Yang, Yao-Hsiang, Cartwright, Robert, Palem, Krishna V.
Some applications require an assurance that certain criteria are violated with only low probability. An alert is generated when the current course of action is likely to violate assurance criteria and the alert results in corrective action. Assurance
Externí odkaz:
http://arxiv.org/abs/2001.02075
Autor:
Yang, Yao-Hsiang, Duracz, Adam, Bartha, Ferenc A., Sai, Ryuichi, Pervaiz, Ahsan, Barati, Saeid, Nguyen, Dung, Cartwright, Robert, Hoffmann, Henry, Palem, Krishna V.
Historically, programming language semantics has focused on assigning a precise mathematical meaning to programs. That meaning is a function from the program's input domain to its output domain determined solely by its syntactic structure. Such a sem
Externí odkaz:
http://arxiv.org/abs/1907.08695
Autor:
AbdelGawad, Moez, Cartwright, Robert
The majority of industrial-strength object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to analyze OO type systems miss, however, a crucial feature of these mainstre
Externí odkaz:
http://arxiv.org/abs/1801.06793
Autor:
Pepper, Amber, Paller, Amy S, Lockshin, Benjamin, Cohen, David, Pariser, David, Siegfried, Elaine C, Simpson, Eric L, Leflein, Jeffrey, Weinberg, Jeffrey, Browning, John, Teng, Joyce, Wine Lee, Lara, Sher, Lawrence, Diaz, Lucia, Schneider, Lynda, Gonzalez, Mercedes E, Rupp, Ned, Ong, Peck, Cartwright, Robert, Sidbury, Robert, Soong, Weily, Pinter, Andreas, Wollenberg, Andreas, Schnopp, Christina, Cork, Michael J, Arkwright, Peter D, Korkosz, Anna, Bystrzanowska, Dorota, Sygula, Ewa, Zdybski, Jacek, Padlewska, Kamila, Schneider, Lynda C, Meltzer, Steven, Wang, Zhixiao, Mannent, Leda P, Amin, Nikhil, Sun, Yiping, Laws, Elizabeth, Akinlade, Bolanle, Dillon, Myles, Kosloski, Matthew P, Kamal, Mohamed A, Dubost-Brama, Ariane, Patel, Naimish, Weinreich, David M, Yancopoulos, George D, O’Malley, John T, Bansal, Ashish *
Publikováno v:
In The Lancet 17-23 September 2022 400(10356):908-919
This monograph is an ongoing revision of "Lectures On A Mathematical Theory of Computation" by Dana Scott. Scott's monograph uses a formulation of domains called neighborhood systems in which finite elements are selected subsets of a master set of ob
Externí odkaz:
http://arxiv.org/abs/1605.05858
Autor:
Cartwright, Robert Oliver
This is a contemporary mystery novel set in the Eastern Cape. A town’s airstrip, situated between the golf club and the military base, acts as host to the local flying club and an active skydiving school. An amateur investigator uses unorthodox met
Externí odkaz:
http://hdl.handle.net/10962/d1015729
Autor:
Zeng, Yingfu, Rose, Chad, Brauner, Paul, Taha, Walid, Masood, Jawad, Philippsen, Roland, Malley, Marcia O., Cartwright, Robert
We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as a way to study this question, and showed how several basic aspects of
Externí odkaz:
http://arxiv.org/abs/1408.1110
Publikováno v:
Young Consumers, 2016, Vol. 17, Issue 2, pp. 183-196.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/YC-12-2015-00573
Autor:
Hoffman, Hal M., Throne, Martin L., Amar, Niran J., Cartwright, Robert C., Kivitz, Alan J., Soo, Yuhwen, Weinstein, Steven P.
Publikováno v:
In Clinical Therapeutics October 2012 34(10):2091-2103
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.