Results 41 to 50 of about 13,025,101 (327)

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers [PDF]

, 1999
The role of decision procedures is often essential in theorem proving. Decision procedures can reduce the search space of heuristic components of a prover and increase its abilities.
G. Nelson, M. Presburger, R. E. Shostak, S. Owre   +3 more
core   +2 more sources

Personalizing the Pediatric Hematology/Oncology Fellowship: Adapting Training for the Next Generation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT The pediatric hematology‐oncology fellowship training curriculum has not substantially changed since its inception. The first year of training is clinically focused, and the second and third years are devoted to scholarship. However, this current structure leaves many fellows less competitive in the current job market, resulting in ...
Scott C. Borinstein, Melissa J. Rose, Scott Moerdler, Richard Ho   +3 more
wiley   +1 more source

Consensus statement for stability assessment and reporting for perovskite photovoltaics based on ISOS procedures

Nature Energy, 2020
Improving the long-term stability of perovskite solar cells is critical to the deployment of this technology. Despite the great emphasis laid on stability-related investigations, publications lack consistency in experimental procedures and parameters ...
M. Khenkin, E. Katz, A. Abate, G. Bardizza, J. Berry, C. Brabec, F. Brunetti, V. Bulović, Q. Burlingame, A. Di Carlo, Rongrong Cheacharoen, Yi-bing Cheng, A. Colsmann, S. Cros, Konrad Domanski, M. Dusza, C. Fell, S. Forrest, Y. Galagan, Diego Di Girolamo, M. Grätzel, A. Hagfeldt, Elizabeth von Hauff, H. Hoppe, J. Kettle, Hans Köbler, M. Leite, S. Liu, Y. Loo, J. Luther, Changxian Ma, M. Madsen, M. Manceau, M. Matheron, M. McGehee, R. Meitzner, M. Nazeeruddin, A. Nogueira, Çağla Odabaşı, A. Osherov, N. Park, M. Reese, F. De Rossi, Michael Saliba, U. Schubert, H. Snaith, S. Stranks, W. Tress, P. Troshin, Vida Turkovic, S. Veenstra, I. Visoly‐Fisher, A. Walsh, T. Watson, Haibing Xie, R. Yıldırım, S. M. Zakeeruddin, K. Zhu, M. Lira-Cantú   +58 more
semanticscholar   +1 more source

Psychosocial Outcomes in Patients With Endocrine Tumor Syndromes: A Systematic Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction The combination of disease manifestations, the familial burden, and varying penetrance of endocrine tumor syndromes (ETSs) is unique. This review aimed to portray and summarize available data on psychosocial outcomes in patients with ETSs and explore gaps and opportunities for future research and care.
Daniël Zwerus, Floortje Strobbe, Annemarie A. Verrijn Stuart, Hanneke M. van Santen, Gerlof D. Valk, Sasja A. Schepers, Rachel S. van Leeuwaarde   +6 more
wiley   +1 more source

The impact of intraoperative optical coherence tomography on cognitive load in virtual reality vitreoretinal surgery training

Scientific Reports
Ophthalmic surgeries consist of highly demanding microsurgical tasks that require surgeons to sustain mental focus and extreme manual dexterity for extended periods.
Laura Schütz, Shervin Dehghani, Michael Sommersperger, Koorosh Faridpooya, Nassir Navab   +4 more
doaj   +1 more source

El uso del plomo en las sanciones jurídicas tardorromanas: procedimientos, condenas y condenados = The Use of Lead in Late Roman Legal Sanctions: Procedures, Convictions and Convicted

Espacio, Tiempo y Forma. Serie II, Historia Antigua, 2020
El Derecho romano durante el Bajo Imperio, compilado en buena medida en el Codex Theodosianus, contempló numerosas sanciones que implicaban la utilización de este metal pesado de fácil fundición. Entre las mismas, destacarían especialmente los azotes con
Raúl Serrano Madroñal
doaj   +1 more source

Survival for Children Diagnosed With Wilms Tumour (2012–2022) Registered in the UK and Ireland Improving Population Outcomes for Renal Tumours of Childhood (IMPORT) Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background The Improving Population Outcomes for Renal Tumours of childhood (IMPORT) is a prospective clinical observational study capturing detailed demographic and outcome data on children and young people diagnosed with renal tumours in the United Kingdom and the Republic of Ireland.
Naomi Ssenyonga, Angela Lopez‐Cortes, Reem Al‐Saadi, Suzanne Tugnait, Kristina Dzhuma, Catriona Duncan, Gordan Vujanic, Tanzina Chowdhury, Claudia Allemani, Michel P. Coleman, Kathy Pritchard‐Jones, the Children's Cancer and Leukaemia Group (CCLG) Renal Tumour Special Interest Group, Hugh Bishop, Anthony McCarthy, Pamela Kearns, Helen Rees, Amos Burke, Meriel Jenney, Jane Pears, Hamish Wallace, Milind Ronghe, Tanzina Chowdhury, Susan Picton, Emma Ross, Lisa Howell, Bernadette Brennan, Gail Halliday, Richard Grundy, Shaun Wilson, Sucheta Vaidya, Daniel Yeomanson, Jessica Bate, Vesna Pavasovic, Jessica Bate, Sabine Irtan, Jesper Brok, Minou Oostveen, Kristina Dzhuma, Mark Weeks, Richard Williams, Mark Powis, Max Pachl, Bruce Okoye, Naima Smeulders, Gordan Vujanic, Oystein Olsen, Tom Watson, Susan Shelmerdine, Dan Saunders, Angela Lopez-Cortes, Taryn Treger, Tom Jackson, Suzanne Tugnait, Lisa Howell, Tanzina Chowdhury, Sam Behjati, Angela Polanco   +56 more
wiley   +1 more source

Integrating Large Language Models into Higher Education: Guidelines for Effective Implementation

Computer Sciences & Mathematics Forum, 2023
The emergence of large language models (LLMs), such as OpenAI’s GPT-4, introduces transformative opportunities for higher education across various disciplines.
Karl de Fine Licht
doaj   +1 more source

Collections Theft Response Procedures [PDF]

, 2001
Offers guidance for theft response and suggest actions to take before and after an ...
Laurie Sowd, Wilbur Faulk
core  

The MedSupport Multilevel Intervention to Enhance Support for Pediatric Medication Adherence: Development and Feasibility Testing

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction We developed MedSupport, a multilevel medication adherence intervention designed to address root barriers to medication adherence. This study sought to explore the feasibility and acceptability of the MedSupport intervention strategies to support a future full‐scale randomized controlled trial.
Elizabeth G. Bouchard, Hital Patel, Paula C. Vincent, Justine Kahn, Kira Bona, Thai Hoa Tran, Elisa M. Rodriguez, Kristopher Attwood, Kara M. Kelly   +8 more
wiley   +1 more source