
Talks starting with A
 A Binary View of Massive Stars
 A Categorical Perspective on Type Refinement Systems
 A characterisation of local existence for semilinear heat equations in Lebesgue spaces
 A class of groups universal for free Rtree actions
 A classical problem in elliptic PDE
 A close look at the Casimir effect
 A computability perspective on eliminativist computationalism
 A Congruence Format for Nominal SOS
 A continuous computational interpretation of type theories
 A dual calculus for unconstrained strategies
 A Formal Model and Practical Technique for Quantifying Information Leakage in Software
 A generalization of a theorem of Camina and Herzog
 A kinematic explanation for gammaray bursts
 A link between lambda calculus and maps
 A magnetic analogue of the superconducting FFLO state in Sr3Ru2O7
 A microwave realization of the Random Dimer Model
 A monad of valuation locales I : Introduction and motivation
 A monad of valuation locales II
 A Neural Attachment Model and Algorithmic Social Intelligence
 A New kind of Science
 A new paradigm to blackhole spin precession
 A novel mathematical and computational paradigm to compute stability boundaries and bifurcations directly from data in closedloop experiments
 A Physicist and a career in Finance  is this possible?
 A posteriori error estimation for stochastic Galerkin approximations
 A process algebra for the modelling of hybrid systems
 A proof of De ConciniKacProcesi conjecture and Lusztig's partition
 A Qualitative Comparison of SSL Validation Alternatives
 A quantum storm in a teacup
 A Rational HilbertMumford Theorem
 A revised graph syntax from traced monoidal categories
 A SchnorrLike Lightweight IdentityBased Signature Scheme
 A Semantic Analysis of Secure Mulitparty Computation
 A Simple and Consistent Technique for Vectorvalued Distribution Regression
 A single atom matterwave interferometer
 A small seminar test
 A spacetime Trefftz dG method for the second order acoustic wave equation
 A Study into Cross Channel Effects on Speaker Verification systems
 A Tribute to John Reynolds II
 A variational master equation approach to open quantum system dynamics
 A Vietoris functor for dframes
 aaavv
 Absence of Pauling’s residual entropy in thermally equilibrated Dy2Ti2O7
 Abstract machines for game semantics, revisited
 Accelerated Bayesian Inference in Astrophysics and Cosmology
 Accent recognition and adaptation for ASR using Deep Neural Networks
 Accessing the real world use of novel technologies through research in the wild
 Accuracy is not enough  a theoretical and practical tour of machine learning for medical decision support
 Accurate gravitationalwave measurements with inaccurate waveform models?
 Additional Seminar: Elucidating Energy Storage in Soft Nanostructures through Versatile Electrochemistry
 Advances in explosive nuclear astrophysics
 Agentbased modelling: from bacteria to humans
 AGN in the light of stellar mass black holes
 Algebraic techniques in incidence geometry
 Algebras of Jordan type
 Algorithms and barriers for random instances of computational problems
 All about monads
 All Networks Great and Small
 All things bright and beautiful: photonic systems in biology
 ALMA surveys of highredshift, starforming galaxies
 Alternative theories of Gravity
 AMoDERT: Advancing ModelDriven Engineering for Embedded RealTime Systems
 An array of integrated atomphoton junctions
 An Environmental History of the Cold War, 194525945 A.D. (BCCH Annual Lecture)
 An experimental setup for experiments with ultracold atoms
 An Introduction to String/MTheory
 An invariant approach to symbolic calculus for pseudodifferential operators on manifolds
 An Overview on Ordinal Regression
 Analysis of states in Oxygen17 populated in Carbon13+Helium4 resonant elastic scattering.
 Analyzing Human Robot Interaction with the iCub robot to detect tutoring situations
 ANITA: Hunting for UltraHigh Energy Neutrinos in Antarctica
 Anomalous transport of light in complex media: from Anderson localization to superdiffusion
 Anticipatory Representational Mechanisms in Animals
 Antihydrogen Trapping and Physics
 Applications and Experience of using an FG5 Absolute Gravimeter in Geodesy
 Applications of multitask learning in speech recognition and synthesis
 Applications of the characteristic formalism in relativity
 Applied pi calculus with state
 Applying for Fellowships
 Are frames adequate for capturing language meaning? A discussion of chained metonymy and spreading activation.
 Arguments, Values and Baseballs
 Artificial Immune Systems
 Asteroseismology
 Asteroseismology, the new Keplerian Revolution
 Astrochemistry in extragalactic environments
 At the edge of glassiness; how simple can a complex system be?
 Atom trapping in RFdressed magnetic potentials with, and without, timeaveraging
 Atomic dynamics in nanotime, as well as on the nanoscale
 Atrial fibrillation is a dystrophinopathy of the heart
 Attempts to understand the nature of dark energy
 Automated Reasoning in the Wild
 Automatic Fault Detection for Autosub6000: Why I Spent Three Weeks on a Boat last Semester
 Automating Biology using Robot Scientists
 Automatting Pattern Recognition in Super Resolution Images
 Automorphism groups of edgetransitive maps
 Automotive security research from a tier 1 perspective
 Autonomous Mobile Service Robots: Algorithms, Results and Challenges
 Autonomous Mobile Service Robots: Algorithms, Results, and Challenges
 Available slot
 Available slot
 Available slot
 Axiomatization using locality and free choice
 “Calibrate with Confidence”, Integrated panel assessment
 “Do we understand excited 0+ states in nuclei?”
 “Phase competition and softcore vortices in the O(2)xO(2) nonlinear sigma model”
 “The Changing Face of School Physics and Maths Curriculum: What can we expect from Y1 Undergraduates on Entry to university degree courses?"
