Results 101 to 110 of about 4,941,962 (333)
Cut Elimination for a Logic with Induction and Co-induction [PDF]
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction.
Momigliano, Alberto, Tiu, Alwen
core
Home Cage Compared with Induction Chamber for Euthanasia of Laboratory Rats [PDF]
This study compared behavioral and physiologic changes in Sprague-Dawley and Brown Norway rats that were euthanizedby using a 30% volume displacement rate of CO2 in either their home cage or an induction chamber; rats euthanized in thehome cage were ...
Hickman, Debra L.
core +1 more source
Treatment Decision‐Making Roles and Preferences Among Adolescents and Young Adults With Cancer
ABSTRACT Background Decision‐making (DM) dynamics between adolescents and young adults (AYAs) with cancer, parents, and oncologists remain underexplored in diverse populations. We examined cancer treatment DM preferences among an ethnically and socioeconomically diverse group of AYAs and their parents.
Amanda M. Gutierrez +14 more
wiley +1 more source
Simple, reproducible methods for thermal shock testing of brittle materials [PDF]
Technique requires radio frequency induction power source, induction furnace and good vacuum system to induce brittle material thermal shock ...
King, C. R., Rowley, J. C.
core +1 more source
Generalized backward induction: Justification for a folk algorithm [PDF]
I introduce axiomatically infinite sequential games that extend Kuhn’s classical framework. Infinite games allow for (a) imperfect information, (b) an infinite horizon, and (c) infinite action sets.
Kaminski, MM
core +1 more source
Rapid Response to Trametinib Combined With Chemotherapy for Infant BRAF‐Fused Chiasmatic Glioma
ABSTRACT Infants, less than 1 year, with chiasmatic gliomas (ICG) present a major therapeutic challenge due to large tumor size, decreased vision, rapid progression, and poor response to vincristine/carboplatin chemotherapy. The majority have a BRAF fusion, which may respond to downstream MEK inhibitors but response time is slow. There are no safety or
Helen Toledano +7 more
wiley +1 more source
Understanding beginning teacher induction: A contextualized examination of best practice
The problems that teachers face early in their careers are a major factor in growing rates of attrition among neophyte teachers. According to the Organisation for Economic Co-operation and Development, high rates of attrition, coupled with and aging ...
Sean Kearney
doaj +1 more source
Use of labour induction and risk of cesarean delivery: A systematic review and meta-analysis [PDF]
Background: Induction of labour is common, and cesarean delivery is regarded as its major complication. We conducted a systematic review and meta-analysis to investigate whether the risk of cesarean delivery is higher or lower following labour induction ...
Khan, KS +5 more
core +1 more source
ABSTRACT Purpose Cognitive and psychological difficulties could negatively interfere with treatment adherence and quality of life before and after hematopoietic stem cell transplant (HSCT). Methods to mitigate these changes may have positive effects on treatment success.
Kristen L. Votruba +11 more
wiley +1 more source
IntroductionKidney transplant (KTx) recipients commonly develop transient lymphopenia due to treatment with alemtuzumab, rabbit anti-thymocyte globulin (rATG) or other conditions.
Yun Liang +15 more
doaj +1 more source

