Results 141 to 150 of about 146,057 (221)

Formal Verification of a Memory Model for C-Like Imperative Languages

IEEE International Conference on Formal Engineering Methods, 2005
Sandrine Blazy, X. Leroy
semanticscholar   +1 more source

Artificial Intelligence in Australian Dental and General Healthcare: A Scoping Review

Australian Dental Journal, Volume 70, Issue 4, Page 209-256, December 2025.
ABSTRACT This review contextualises the role of generative Artificial Intelligence (AI) in healthcare within an Australian healthcare regulatory and ethical framework. Four online databases (PubMed, Scopus, CINAHL and Web of Science) were searched for peer‐reviewed publications that addressed at least two of the three topics: (1) the current ...
Arosha T. Weerakoon, Tonia Girdis, Ove Peters   +2 more
wiley   +1 more source

Simulation-free palliative radiotherapy using diagnostic CT scans- is less more? A systematic review. [PDF]

Clin Transl Radiat Oncol
Zwahlen DR, Brodmann S, Förster R, Windisch P, Hofmann E, Buchali A, Schröder C.   +6 more
europepmc   +1 more source

A formal approach to undo operations in programming languages

ACM Transactions on Programming Languages and Systems, 1986
George B. Leeman
semanticscholar   +1 more source

Dental Implants in Medically Compromised Patients Undergoing or After Receiving Anti‐Resorptive or Radiotherapy: Retrospective Clinical and Radiographic Data

Clinical Oral Implants Research, Volume 36, Issue 12, Page 1651-1663, December 2025.
ABSTRACT Objective and Aim A retrospective study to evaluate the clinical and radiological outcomes of dental implants placed in compromised patients who have undergone antiresorptive therapy (AR) or head and neck radiotherapy (IR). Material and Methods Dental implant placement was evaluated in compromised patients undergoing or after receiving AR/IR ...
Christian Mertens, Fabian Staudinger, Maximilian Smielowski, Thomas Rückschloss, Gregor Schnug, Jürgen Hoffmann, Oliver Ristow   +6 more
wiley   +1 more source

Diagnostic Support in Dentistry Through Artificial Intelligence: A Systematic Review. [PDF]

Bioengineering (Basel)
Inchingolo AD, Marinelli G, Fiore A, Balestriere L, Carone C, Inchingolo F, Corsalini M, Di Venere D, Palermo A, Inchingolo AM, Dipalma G.   +10 more
europepmc   +1 more source

Vertical Ridge Augmentation in the Anterior Maxilla Using a Dual‐Texture e‐PTFE Membrane and Autogenous Bone: A 2‐ to 5‐Year Retrospective Case‐Series Study

Clinical Oral Implants Research, Volume 36, Issue 12, Page 1664-1674, December 2025.
ABSTRACT Objectives To evaluate a novel protocol for vertical ridge augmentation with titanium‐(Ti)‐reinforced dual‐texture expanded polytetrafluoroethylene (e‐PTFE) membranes, 100% autogenous bone, and 12 months of bone healing in the anterior maxilla.
David González, Herman Sahlin, Christer Dahlin   +2 more
wiley   +1 more source

Robotic-assisted and electromagnetic navigation bronchoscopy for multi-focal lung cancers: a narrative review. [PDF]

Transl Lung Cancer Res
Liu W, Chang ATC, Chan JWY, Lau RWH, Mok TSK, Ng CSH.   +5 more
europepmc   +1 more source

Aptitude complexes: Expanding our view of language aptitude

The Modern Language Journal, Volume 109, Issue 4, Page 775-799, Winter 2025.
Abstract In second language (L2) research, aptitude is typically viewed as a multicomponential, cognitive construct. Yet we know that L2 learning is influenced by multiple learner individual differences (IDs) besides cognitive abilities and that these IDs interact.
Lani Freeborn, Sible Andringa, Judith Rispens   +2 more
wiley   +1 more source

The Antimicrobial Efficacy of Sodium Hypochlorite and Chlorhexidine in Gutta-Percha Cone Decontamination: A Systematic Review. [PDF]

Materials (Basel)
Aucinaite R, Nedzinskiene E, Peciuliene V, Dumbryte I.   +3 more
europepmc   +1 more source