program design
Blanchet B, Cousot P.
GSID: SezkgVtVsDkJ
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne… - di.ens.fr
Résumé Nous rapportons sur une expérience préliminaire fructueuse sur la conception et l'implantation d'un analyseur statique de programmes, basé sur l'interprétation abstraite …
Cite
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., ... & Rival, X. Conception et Implantation d’un Analyseur Statique Spécialisé pour l’Analyse de Code Critique Temps-Réel Embarqué.
Blanchet, Bruno, et al. "Conception et Implantation d’un Analyseur Statique Spécialisé pour l’Analyse de Code Critique Temps-Réel Embarqué."
Copy
Download .nbib
program design
Blanchet B, Cousot P, Feret J.
GSID: 81KOHJmdVnAJ
B Blanchet, P Cousot, R Cousot, J Feret… - The essence of …, 2002 - Springer
… By handling a family of programs and not only a single program or model of the program, we cope with the evolution over years … Design of a Special-Purpose Static Program Analyzer In this paper, we report on...
Cite
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., ... & Rival, X. (2002). Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In The essence of computation (pp. 85-108). Springer, Berlin, Heidelberg.
Blanchet, Bruno, et al. "Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software." The essence of computation. Springer, Berlin, Heidelberg, 2002. 85-108.
Copy
Download .nbib
quasi-experiments
Manne-Goehler J, Geldsetzer P.
GSID: FkJ-wmg6sJoJ
J Manne-Goehler, P Geldsetzer… - The Lancet Diabetes & …, 2017 - thelancet.com
Lancet Diabetes & Endocrinology, which highlights the challenges of building health systems to provide effective chronic care for both HIV and noncommunicable diseases (NCDs) in sub-Saharan Africa. 1 We agree that “the lynchpin of a successful effort to grow...
Cite
Manne-Goehler, J., Geldsetzer, P., & Bärnighausen, T. (2017). The causal impact of ART on NCDs: leveraging quasi-experiments. The Lancet Diabetes & Endocrinology, 5(1), 14.
Manne-Goehler, Jennifer, Pascal Geldsetzer, and Till Bärnighausen. "The causal impact of ART on NCDs: leveraging quasi-experiments." The Lancet Diabetes & Endocrinology 5.1 (2017): 14.
Copy
Download .nbib
socioeconomic status & related terms (e.g., low income)
Hoff E, Laursen B.
GSID: 0G29UenVeu8J
E Hoff, B Laursen - 2019 - psycnet.apa.org
… Strategies for reducing inequalities and improving developmental outcomes for young children in low-income and middle-income countries. The Lancet, 378(9799), 1339–1353. http://dx…
Cite
Hoff, E., & Laursen, B. (2019). Socioeconomic status and parenting.
Hoff, Erika, and Brett Laursen. "Socioeconomic status and parenting." (2019).
Copy
Download .nbib
case studies
Blanchet L.
GSID: wVLH0MrZYQYJ
NL Afanador, TN Tran, L Blanchet… - … and Intelligent Laboratory …, 2014 - Elsevier
An integral part of interpreting atypical process performance in manufacturing processes is a multivariate understanding of process parameters and their relationship to a product's critical quality attributes. In this endeavor, Partial Least Squares (PLS) has greatly advanced the …
Cite
Afanador, N. L., Tran, T. N., Blanchet, L., & Buydens, L. M. C. (2014). Variable importance in PLS in the presence of autocorrelated data—Case studies in manufacturing processes. Chemometrics and Intelligent Laboratory Systems, 139, 139-145.
Afanador, N. L., et al. "Variable importance in PLS in the presence of autocorrelated data—Case studies in manufacturing processes." Chemometrics and Intelligent Laboratory Systems 139 (2014): 139-145.
Copy
Download .nbib
science instructors
[No authors listed]
GSID: 0I6HKdnhmd8J
P PICCHIOTTINO, E VAN GESSEL - Med Teach, 2016 - pedagogie-medicale.org
Si l'on se réfère au rapport du Lancet par Julio Frenk et al.[1], datant déjà de 2010, la formation des professionnels en santé est en inadéquation avec les besoins de la pratique …
Cite
PICCHIOTTINO, P., & VAN GESSEL, E. (2016). Comment construire un curriculum interprofessionnel?. Med Teach, 38, 656-68.
PICCHIOTTINO, Patricia, and Elisabeth VAN GESSEL. "Comment construire un curriculum interprofessionnel?." Med Teach 38 (2016): 656-68.
Copy
Download .nbib
college
Costello A, Bell S, Bellamy R.
GSID: rfmY_nAPGaoJ
A Costello, M Abbas, A Allen, S Ball, S Bell, R Bellamy… - The lancet, 2009 - thelancet.com
Effects of climate change on health will affect most populations in the next decades and put the lives and wellbeing of billions of people at increased risk. During this century, earth's …
Cite
Costello, A., Abbas, M., Allen, A., Ball, S., Bell, S., Bellamy, R., ... & Patterson, C. (2009). Managing the health effects of climate change: lancet and University College London Institute for Global Health Commission. The lancet, 373(9676), 1693-1733.
Costello, Anthony, et al. "Managing the health effects of climate change: lancet and University College London Institute for Global Health Commission." The lancet 373.9676 (2009): 1693-1733.
Copy
Download .nbib
informal learning
Clancey WJ.
GSID: 7g3Nt453utIJ
WJ Clancey - International Journal of Man-Machine Studies, 1979 - Elsevier
The first version of an “intelligent computer-aided instruction—program built on MYCIN-like expert systems has been implemented. This program, named GUIDON, is a case method …
Cite
Clancey, W. J. (1979). Tutoring rules for guiding a case method dialogue. International Journal of Man-Machine Studies, 11(1), 25-49.
Clancey, William J. "Tutoring rules for guiding a case method dialogue." International Journal of Man-Machine Studies 11.1 (1979): 25-49.
Copy
Download .nbib
after-school settings
Black RE, Clermont A, Heidkamp R.
GSID: rxuRSBayEiEJ
R Heidkamp, A Clermont, RE Black - The Biology of the First 1,000 …, 2017 - library.oapen.org
The 2013 Lancet series on Maternal and Child Nutrition included a comprehensive review of interventions that affect the nutritional status of women and young children in low-and …
Cite
Heidkamp, R., Clermont, A., & Black, R. E. (2017). Effectiveness of Nutrition-Specific Interventions in Pregnancy and Early Childhood. The Biology of the First 1,000 Days, 371-388.
Heidkamp, Rebecca, Adrienne Clermont, and Robert E. Black. "Effectiveness of Nutrition-Specific Interventions in Pregnancy and Early Childhood." The Biology of the First 1,000 Days (2017): 371-388.
Copy
Download .nbib
after-school settings
Deng L.
GSID: 3DujjKylDbQJ
K Macartney, HE Quinn, AJ Pillsbury, A Koirala, L Deng… - 2020
No abstract available.
Cite
MACARTNEY, K., et al. Transmission of SARS-CoV-2 in Australian educational settings: a prospective cohort study. Lancet Child Adolesc Health 4 (11): 807–816. 2020.
Macartney, K., Quinn, H. E., Pillsbury, A. J., Koirala, A., Deng, L., Winkler, N., ... & Wood, N. (2020). Transmission of SARS-CoV-2 in Australian educational settings: a prospective cohort study. Lancet Child Adolesc Health 4 (11): 807–816.
Copy
Download .nbib
STEM and boys
[No authors listed]
GSID: Z4_u2AeRud8J
G O'Brien - Princeton University Library Chronicle, 2010 - JSTOR
HAD learned from the Knockout where Billy Bunter fed and watered, and had borrowed books from the Lismore public library which beguiled me with the exploits of Tom Merry and his men at St. Jim's. Those boys' schools were...
Cite
O'Brien, G. (2010). Extract from Our Boys: A School Album. Princeton University Library Chronicle, 72(1), 285-296.
O'Brien, George. "Extract from Our Boys: A School Album." Princeton University Library Chronicle 72.1 (2010): 285-296.
Copy
Download .nbib
Build and Broaden 3.0 AND Program Evaluation
Clancey WJ.
GSID: KTXl1avepEMJ
WJ Clancey - Methods and tactics in cognitive science, 1984 - books.google.com
Over the past 5 years my colleagues and I have been developing a computer program to teach medical diagnosis. Our research synthesizes and extends results in artificial intelligence (AI), medicine, and cognitive psychology. This chapter describes the progression of...
Cite
Clancey, W. J. (1984). Methodology for building an intelligent tutoring system. Methods and tactics in cognitive science, 51-84.
Clancey, William J. "Methodology for building an intelligent tutoring system." Methods and tactics in cognitive science (1984): 51-84.
Copy
Download .nbib
