2.2k citations
- Centre National de la Recherche ScientifiqueFR33 papers
- University of WarwickGB31 papers
- Instituto de Astrofísica de CanariasES23 papers
- Chinese Academy of SciencesCN22 papers
- National Astronomical ObservatoriesCN22 papers
- Imperial College LondonGB18 papers
- University of CambridgeGB17 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR16 papers
- Rutherford Appleton LaboratoryGB16 papers
- University College LondonGB16 papers
- Space Telescope Science InstituteUS13 papers
- University of EdinburghGB13 papers
17 papers · 1 filter
Variational Gaussian Process Dynamical Systems
Andreas C. Damianou, Michalis K. Titsias, Neil D. Lawrence
High dimensional time series are endemic in applications of machine learning such as robotics (sensor data), computational biology (gene expression data), vision (video sequences)…
Indication of Electron Neutrino Appearance from an Accelerator-produced Off-axis Muon Neutrino Beam
T2K Collaboration, K. Abe, N. Abgrall +408
The T2K experiment observes indications of appearance in data accumulated with protons on target. Six events pass all selection criteria at…
Residual Component Analysis
Alfredo A. Kalaitzis, Neil D. Lawrence
Probabilistic principal component analysis (PPCA) seeks a low dimensional representation of a data set in the presence of independent spherical Gaussian noise, Sigma = (sigma^2)*I.…
Building a refinement checker for Z
John Derrick, Siobhán North, Anthony J. H. Simons
In previous work we have described how refinements can be checked using a temporal logic based model-checker, and how we have built a model-checker for Z by providing a translation…
Proceedings 15th International Refinement Workshop
John Derrick, Eerke Boiten, Steve Reeves
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specificatio…
Effect of detuning on the phonon induced dephasing of optically driven InGaAs/GaAs quantum dots
A. J. Ramsay, T. M. Godden, S. J. Boyle +6
Recently, longitudinal acoustic phonons have been identified as the main source of the intensity damping observed in Rabi rotation measurements of the ground-state exciton of a sin…