Results 161 to 170 of about 3,649,820 (385)
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
Formal verification of pipeline control using controlled token nets and abstract interpretation [PDF]
, 1998 Pei-Hsin Ho +2 more
openalex +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
Streamlining Temporal Formal Verification over Columnar Databases
InformationRecent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf).
Giacomo Bergami
doaj +1 more source
Formal verification of word-level specifications [PDF]
, 1999 Stefan Höreth, Rolf Drechsler
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
Formal verification of safety-critical hybrid systems [PDF]
, 1998 Carolos Livadas, Nancy Lynch
openalex +1 more source
A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
, 2018 The high degree of miniaturization in the electronics industry has been, for several years, a driver to push embedded systems to different fields and applications.
T. Grimm, D. Lettnin, Michael Hubner
semanticscholar +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
ICU‐EEG Pattern Detection by a Convolutional Neural Network
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Patients in the intensive care unit (ICU) often require continuous EEG (cEEG) monitoring due to the high risk of seizures and rhythmic and periodic patterns (RPPs). However, interpreting cEEG in real time is resource‐intensive and heavily relies on specialized expertise, which is not always available.
Giulio Degano +5 more
wiley +1 more source