Curvature suppresses the Rayleigh-Taylor instability
 Trinh, P Kim, H Hammoud, N Howell, P Chapman, S Stone, H Physics of Fluids volume 26 issue 5 (01 May 2014) doi:10.1063/1.4876476
Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity
 Abramsky, S 23-50 (24 Jan 2016) doi:10.1142/9789814730617_0002
Modelling collective cell behaviour
 Markham, D Baker, R Maini, P Discrete and Continuous Dynamical Systems volume 34 issue 12 5123-5133 (2014) doi:10.3934/dcds.2014.34.5123
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
 Abate, A Kwiatkowska, M Norman, G Parker, D Lecture Notes in Computer Science volume 8464 40-58 (2014) doi:10.1007/978-3-319-06880-0_2
A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem
 Tkachey, I Abate, A 3211-3216 (01 Dec 2013) doi:10.1109/cdc.2013.6760373
Bisimilar finite abstractions of stochastic control systems
 Zamani, M Esfahani, P Majumdar, R Abate, A Lygeros, J 3926-3931 (01 Dec 2013) doi:10.1109/cdc.2013.6760489
Reduction of chemical systems by delayed quasi-steady state assumptions
 Vejchodský, T Erban, R Maini, P (17 Jun 2014) doi:10.48550/arxiv.1406.4424
Constraining the Galaxy's dark halo with RAVE stars
 Piffl, T Binney, J McMillan, P Steinmetz, M Helmi, A Wyse, R Bienaymé, O Bland-Hawthorn, J Freeman, K Gibson, B Gilmore, G Grebel, E Kordopatis, G Navarro, J Parker, Q Reid, W Seabroke, G Siebert, A Watson, F Zwitter, T Monthly Notices of the Royal Astronomical Society volume 445 issue 3 3133-3151 (11 Dec 2014) doi:10.1093/mnras/stu1948
Subscribe to