Skip to content

Data Science

Tags

cloud security assurance computational models epilepsy focal seizures intracranial EEG surgical outcome prediction

Cascade and Chain Effects in Big Data Cybercrime: Lessons from the TalkTalk hack

Cascade and Chain Effects in Big Data Cybercrime: Lessons from the TalkTalk hack icon07/03/2019

Cascade and Chain Effects in Big Data Cybercrime: Lessons from the TalkTalk hack iconProceedings of WACCO 2019: 1st Workshop on Attackers and Cyber-Crime Operations, Held Jointly with IEEE EuroS&P 2019, Stockholm, Sweden, June 20. (7 March 2019)

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques icon01/01/2016

We apply our technique to hybrid systems involving nonlinear differential equations.

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques iconHardware and Software: Verification and Testing, pp. 152–168, Springer International Publishing, 2016.

Predicting neurosurgical outcomes in focal epilepsy patients using computational modelling

Predicting neurosurgical outcomes in focal epilepsy patients using computational modelling icon01/01/2017

Surgery can be a last resort for patients with intractable, medically refractory epilepsy.

Predicting neurosurgical outcomes in focal epilepsy patients using computational modelling iconBrain, Volume 140, Issue 2, 1 February 2017, Pages 319–332.

Home