Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

Source URL: qav.comlab.ox.ac.uk

• Cardiac electrophysiology
• Medicine
• Physiology
• Circulatory system
• Artificial cardiac pacemaker
• QT interval
• Electrocardiography
• Heart arrhythmia
• Cardiac pacemaker
• Atrioventricular block
• Pacing

Stability in Graphs and Games Tomáš Brázdil1 , Vojtěch Forejt2 , Antonín Kučera1 , and Petr Novotný

Source URL: qav.comlab.ox.ac.uk

• Measure theory
• Mathematics
• Boolean algebra
• Experiment
• Sigma-algebra
• Linear temporal logic
• Analysis
• Differential topology
• Orbifold

An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Education
• Educational psychology
• Human behavior
• Educational assessment
• Flag
• Capture the flag
• Exercise
• CTFS
• VM
• Formative assessment
• Educational technology
• Test

PDF Document

Source URL: funatsu.t.u-tokyo.ac.jp

PDF Document

Source URL: www.rpip.tohoku.ac.jp

PDF Document

Source URL: www.psy.ed.ac.uk

PDF Document

Source URL: lcnet.t.u-tokyo.ac.jp

PDF Document

Source URL: sahswww.med.osaka-u.ac.jp

PDF Document

Source URL: fiber.shinshu-u.ac.jp

PDF Document

Source URL: www.agu.ac.jp