Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford

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

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Neuroscience
• Cybernetics
• Computational statistics
• Market research
• Deep learning
• Heart rate variability
• Emotion recognition
• Recurrent neural network
• Affective computing

Reasoning about Cognitive Trust in Stochastic Multiagent Systems

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

• Temporal logic
• Linear temporal logic
• Computation tree logic
• Operator
• Cone
• Mathematics
• Mathematical logic
• Philosophy of science

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

PDF Document

Source URL: www.newinsights.ox.ac.uk

PDF Document

Source URL: www.wagnet.ox.ac.uk

PDF Document

Source URL: www.wagnet.ox.ac.uk

PDF Document

Source URL: aims.robots.ox.ac.uk

PDF Document

Source URL: aims.robots.ox.ac.uk

PDF Document

Source URL: arshama.classics.ox.ac.uk