نتایج جستجو برای: andrea camilleri
تعداد نتایج: 3011 فیلتر نتایج به سال:
This paper reports work-in-progress on the embedding of a small hardware description language in HOL. Our language is a subset of ADDL, a language used to write design speciications for the CAMAD synthesis tool developed in Linkk oping. Our intention is to mechanise transformational reasoning about ADDL programs as theorem-proving in HOL. Our work extends Camilleri and Melham's deep embedding o...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
We would like to thank Eva Dobler, Marc Garellek, Michelle St-Amour and Eva Sokol for their help in conducting the experiments. We also thank the children, administrators and parents at Children’s Corner, CPE McGill, Playskool, SSMU and YMCA Westmount daycares in Montreal and at the Scuola Materna S.Benedetto in Siena, where the experiments have been conducted. The research reported in this pap...
Alessandro Aiuti,* Luca Biasco, Samantha Scaramuzza, Francesca Ferrua, Maria Pia Cicalese, Cristina Baricordi, Francesca Dionisio, Andrea Calabria, Stefania Giannelli, Maria Carmina Castiello, Marita Bosticardo, Costanza Evangelio, Andrea Assanelli, Miriam Casiraghi, Sara Di Nunzio, Luciano Callegaro, Claudia Benati, Paolo Rizzardi, Danilo Pellin, Clelia Di Serio, Manfred Schmidt, Christof Von ...
StencilMaps and EphemeralMaps: spatially stable interfaces that highlight command subsets Joey Scarr, Carl Gutwin, Andy Cockburn & Andrea Bunt To cite this article: Joey Scarr, Carl Gutwin, Andy Cockburn & Andrea Bunt (2015) StencilMaps and EphemeralMaps: spatially stable interfaces that highlight command subsets, Behaviour & Information Technology, 34:11, 1092-1106, DOI: 10.1080/0144929X.2015....
1 Burgess DS. Pharmacodynamic principles of antimicrobial therapy in the prevention of resistance. Chest 1999; 115:19S– 23S 2 Craig WA. Pharmacokinetic/pharmacodynamic parameters: rationale for antibacterial dosing of mice and men. Clin Infect Dis 1998; 26:1–12 3 Poen AC, Felt-Bersma RJF, Van Dogen PAM, et al. Effect of prucalopride, a new enterokinetic agent, on gastrointestinal transit and an...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید