Results 1 to 10 of about 98,360 (182)

Abstracting abstract machines [PDF]

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman, a lazy variant of Krivine's machine, and the stack-inspecting CM machine ...
Van Horn, David, Might, Matthew
openaire   +2 more sources

Abstracts, abstracts, abstracts

Jon Stark making it all possible, 2020
Ce label assurera de trouver au minimum dans toutes les maisons ces services et une qualité d’accueil identique. En plus des services obligatoires, certains points France Services pourront proposer des services des collectivités territoriales ou d’autres partenaires (SNCF, banques), en fonction des besoins locaux.
openaire   +1 more source

Abstracts

Journal der Schreibberatung, 2020
openaire   +3 more sources

Abstracts

Journal of Engineering Physics, 1966
John M. Robinson, Hiroshi HIRANO, Yoshihiro AKIMOTO, Ying-Jie PIAO, Wen HU, Lian-Pu LIU, Kazuo OGAWA, Andrzej LUKASZYK, Marek NIEDZIELA, Waldemar BOBKOWSKI, Izabela PIESCIKOWSKA, Marek RUCHALA, KENJIRO YASUDA, Pedro Pinto da Silva, Jeffrey P. Chang, Takuma SAITO, Arvid B. Maunsbach, Hans Hebert, Urban Kavéus, Marvin L. Sears, S. Fujita, T. Minamikawa, T. Takamatsu, TIBOR BARKA, Kiyoshi Hama   +24 more
openaire   +2 more sources

Abstracts

Journal der Schreibberatung, 2019
openaire   +3 more sources

A modular pipeline for natural language processing-screened human abstraction of a pragmatic trial outcome from electronic health records. [PDF]

Clin Trials
Lee RY, Li KS, Sibley J, Cohen T, Lober WB, O'Brien J, LeDuc N, Mallon Andrews K, Ungar A, Walsh J, Nielsen EL, Dotolo DG, Kross EK.   +12 more
europepmc   +1 more source

The abstraction habituation model of knowledge worker burnout. [PDF]

Front Psychol
Meaden J.
europepmc   +1 more source

Impact of Generative AI-assisted programming on the computational thinking of high school students. [PDF]

Front Psychol
Guo R, Li G, Miao H, Pi Z, Xie L.
europepmc   +1 more source

From the perspective of the Construal Level Theory: Examining the effect of psychological distance on system justification. [PDF]

Br J Soc Psychol
Scarci F, Bonora M, De Cristofaro V, Pellegrini V, Giacomantonio M.   +4 more
europepmc   +1 more source

Human-AI teaming to improve accuracy and efficiency of eligibility criteria prescreening for oncology trials: a randomized evaluation trial using retrospective electronic health records. [PDF]

Nat Commun
Parikh RB, Kolla L, Beothy EA, Ferrell WJ, Laventure B, Guido M, Girard A, Li Y, Dosoky KEM, Tarabishy K, Patel PS, Andalcio A, Maloney K, Mena JU, Salloum W, Chen J, Emanuel EJ.   +16 more
europepmc   +1 more source