Results 141 to 150 of about 4,235,689 (341)
Formal methods for service composition
, 2007 Current approaches to service composition range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey a number of such approaches and compare them with respect to a carefully selected set of characteristics (like exception handling and quality of services).
Ter Beek M, Bucchiarone A, Gnesi S
openaire +5 more sources
Exam‐level analysis of lecture capture viewing and student exam performance
FEBS Open Bio, EarlyView.This study asks how lecture capture relates to exam performance in biology courses with three noncumulative exams. Mixed‐effects modeling separated between‐students from within‐student effects on exam %. Students who watched more recordings earned higher grades, but viewing spikes above a student's own mean, consistent with cramming, predicted small ...
Kirk Hillsley
wiley +1 more source
Card games are effective tools to enhance foundation year health and safety inductions
FEBS Open Bio, EarlyView.A series of three card games was developed to actively deliver health and safety education to foundation year students. Most students reported positive responses regarding their enjoyment (89.9 %) and learning (74.7 %) from all games evaluated. Data revealed significant improvements in health and safety knowledge (P < 0.0001).
Rumana Rafiq +4 more
wiley +1 more source
Correction to: Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods. [PDF]
JAMIA Open, 2023 europepmc +1 more source
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development [PDF]
, 1992 Hartmut Ehrig +3 more
openalex +1 more source
Long‐Term Temporal Profile of Motor Recovery After Intracerebral Hemorrhage
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Limited data is available to describe the temporal profile of long‐term recovery over 1 year after the stroke in patients with spontaneous intracerebral hemorrhage (ICH). Methods A registered multicentral cohort was conducted to consecutively include non‐herniated supratentorial ICH patients from November 2013 to January 2023 ...
Yan Zheng +24 more
wiley +1 more source
Formal methods for life-critical software [PDF]
, 1993 Ricky W. Butler, Sally C. Johnson
openalex +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives Repetitive transcranial magnetic stimulation (rTMS) is a non‐invasive brain stimulation strategy with a demonstrated potential to reinforce the residual pathways after a spinal cord injury (SCI). A preclinically tested high‐frequency (15 Hz) rTMS (15 Hz rTMS) protocol was shown to induce corticospinal tract axon regeneration growth ...
Nabila Brihmat +8 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Neurodegeneration with brain iron accumulation (NBIA) comprises rare genetic disorders characterized by predominantly extrapyramidal symptoms and iron deposition in the basal ganglia. Conventional magnetic resonance imaging (MRI) detects qualitative changes but cannot accurately quantify iron accumulation. Quantitative susceptibility
Özge Uygun +21 more
wiley +1 more source
IEEE AccessIn recent years, Explainable Artificial Intelligence (XAI) has attracted considerable attention from the research community, primarily focusing on elucidating the opaque decision-making processes inherent in complex black-box machine learning systems ...
Nadia Khan +5 more
doaj +1 more source