Results 61 to 70 of about 9,026,347 (309)
Encapsulation for Practical Simplification Procedures [PDF]
, 2003 ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a resolution/paramodulation theorem proving system. Term rewriting is at the core
Matlin, Olga Shumsky, McCune, William
core +2 more sources
Odontogenic Sinusitis of Endodontic Origin: Successful Management Through Endodontic Treatment
SinusitisOdontogenic sinusitis is a maxillary sinus infection arising from dental pathology, primarily involving posterior maxillary teeth due to their anatomical proximity to the sinus floor.
Marcelo Rolla +3 more
doaj +1 more source
Assessment of Safety Procedures in Industries and Development of a Framework for Improving their Usability [PDF]
Muhandisī-i bihdāsht-i ḥirfah/ī, 2022 Background and Objective: Standard operating procedures (SOPs) are always considered a guide for performing tasks in industries. The present study aimed to identify the effective factors in increasing the usability of safety SOPs.
Ali Fardi +3 more
doaj
Combining decision procedures for the reals
, 2006 We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions.
Avigad, Jeremy, Friedman, Harvey
core +3 more sources
Timing of Verification Procedures: Monitoring versus Auditing [PDF]
, 2005 This paper studies the strategic effect of a difference in timing of verification in an agency model. A principal may choose between two equally efficient verification procedures: monitoring and auditing.
Strausz, Roland
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Although not always achieved, complete chemotherapy‐induced nausea and vomiting (CINV) control is the conventional goal of CINV prophylaxis. In this two‐center, mixed‐methods study, we sought to understand the preferences of adolescent patients and family caregivers for CINV control endpoints.
Haley Newman +8 more
wiley +1 more source
Applicability of Newmark’s Procedures to Translation of Religious Cultural Elements from English into Persian [PDF]
Iranian Journal of Applied Language Studies, 2012 This paper aimed to investigate the differences between English and Persian religious elements which may be problematic in translating from English into Persian.
Masoud Sharififar
doaj +1 more source
Transactions of the American Mathematical Society, 1992 We consider the state of elementary recursion theory when the familiar 0 , 1 , + , × , = , > 0, 1, +, \times , =, > of ordinary arithmetic are replaced by constants, functions, and relations from an arbitrary model.
Friedman, Harvey, Mansfield, Richard
openaire +2 more sources
Reduction Procedures in Classical and Quantum Mechanics [PDF]
, 2007 We present, in a pedagogical style, many instances of reduction procedures appearing in a variety of physical situations, both classical and quantum.
Aldaya V. +17 more
core +2 more sources
Intravitreal GD2‐Specific Chimeric Antigen Receptor T‐Cell Therapy for Refractory Retinoblastoma
Pediatric Blood &Cancer, EarlyView.ABSTRACT Effective treatments for advanced, treatment‐resistant retinoblastoma (RB) remain limited. GD2‐specific chimeric antigen receptor (CAR) T cells show potent antitumor activity with minimal toxicity but have not previously been evaluated in RB.
Subongkoch Subhadhirasakul +13 more
wiley +1 more source