
Talks starting with A
 A bandwidth theorem for approximate decompositions
 A betweenness property and a lion and man game
 A Binary View of Massive Stars
 A blockcoordinate GaussNewton method for nonlinear least squares
 A brief introduction to Fourier restriction theory
 A Brief Overview of the Eigenstate Thermalisation Hypothesis
 A career in metallurgy and materials  would I do it again?
 A Categorical Perspective on Type Refinement Systems
 A central extension of the Hecke algebra at q = −1
 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 coldatom random laser
 A computability perspective on eliminativist computationalism
 A Congruence Format for Nominal SOS
 A ConstantFactor Approximation Algorithm for the Asymmetric Traveling Salesman Problem
 A continuous computational interpretation of type theories
 A counterexample to a conjecture of Steinberg
 A discrete geometry model of fire propagation in urban areas
 A dual calculus for unconstrained strategies
 A fast noise free memory for scalable quantum photonics
 A Formal Model and Practical Technique for Quantifying Information Leakage in Software
 A Formal Security Analysis of ERTMS Train to Trackside Protocols
 A formal Security Analysis of the Signal Messaging Protocol
 A generalization of a theorem of Camina and Herzog
 A guided tour of splinebased active contours
 A kinematic explanation for gammaray bursts
 A life of innovating in energy; from smart grids to blockchain
 A link between lambda calculus and maps
 A magnetic analogue of the superconducting FFLO state in Sr3Ru2O7
 A Majorana theory?
 A microwave realization of the Random Dimer Model
 A monad of valuation locales I : Introduction and motivation
 A monad of valuation locales II
 A multigrid approach to SDP relaxations of sparse polynomial optimization problems
 A Neural Attachment Model and Algorithmic Social Intelligence
 A New kind of Science
 A new paradigm to blackhole spin precession
 A Novel Convex Relaxation for NonBinary Discrete Tomography
 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 privacy preserving SDN framework leveraging Trusted Computing
 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 quaternionic approach to E_7
 A Rational HilbertMumford Theorem
 A Recent Experiment on Generalized Hydrodynamics
 A refinement of the McKay conjecture for arbitrary finite groups
 A revised graph syntax from traced monoidal categories
 A Rigorous Demonstration of Superconductivity in a Repulsive Hubbard Model
 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 Sobolev Estimate for the Adjoint Restriction Operator
 A Sobolev Estimate for the Adjoint Restriction Operator
 A Sobolev Estimate for the Adjoint Restriction Operator, continued
 A Software Engineer Ventures into Behavioural Economics
 A spacetime Trefftz dG method for the second order acoustic wave equation
 A Study into Cross Channel Effects on Speaker Verification systems
 A summary of recent TLS attacks and their impact on future research directions
 A superheated Bosecondensed gas
 A Surfeit of SSH Ciphersuites
 A Tribute to John Reynolds II
 A tropical approach to the piecewise polynomiality of monotone Hurwitz numbers
 A variational master equation approach to open quantum system dynamics
 A verifiable, coercionresistant voting system with linear complexity
 A very short introduction to structuralism
 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?
 Active control of metasurface functionalities in Southampton
 Active cyber defence
 Active Quantum Nanophotonics
 Adaptive Galerkin FEM for stochastic forward and inverse problems
 Adding new functionalities to medical devices: materials, manufacturing and nano sizes opportunities
 Additional Seminar: Elucidating Energy Storage in Soft Nanostructures through Versatile Electrochemistry
 Additive group invariants in positive characteristic
 Addressing Cybersecurity Issues for the Rail Sector
 Adhesion lithography as a versatile nonapatterning tool for advanced optoelectronic devices
 Advances in explosive nuclear astrophysics
 Adventure in Alloy Design
 Adversarial examples and attack models in machine learning
 Aedes aegypti control on immature and adult stages using different optimization models
 Affine Walgebras
 Agentbased modelling: from bacteria to humans
 AGN in the light of stellar mass black holes
 Algebraic Geometry
 Algebraic techniques in incidence geometry
 Algebras of Jordan type
 Algorithmic Human Development: What is it and why do we need it now?
 Algorithms and barriers for random instances of computational problems
 Algorithms and numbers of generators for finite matrix groups
 All about monads
 All Networks Great and Small
 ALMA surveys of highredshift, starforming galaxies
 Almost Engel compact groups
 AlphaBeta Privacy
 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 exact power series representation of the BakerCampbellHausdorff formula
 An exact power series representation of the BakerCampbellHausdorff formula
 An experimental setup for experiments with ultracold atoms
 An Indepth Look Into SDN Topology Discovery Mechanisms: Novel Attacks and Practical Countermeasures
 An Introduction to Keldysh
 An Introduction to Majorana Fermions P2
 An Introduction to Majorana Fermions.
 An Introduction to String/MTheory
 An invariant approach to symbolic calculus for pseudodifferential operators on manifolds
 An isoperimetric approach to some ErdosKoRado type problems
 An overview of hardware roots of trust for automotive applications
 An Overview on Ordinal Regression
 Analysis of states in Oxygen17 populated in Carbon13+Helium4 resonant elastic scattering.
 Analytic functions in Bernoulli percolation
 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
 Anonymous Communications against Global Adversaries via Secure MultiParty Computation
 Anticipatory Representational Mechanisms in Animals
 Applications and Experience of using an FG5 Absolute Gravimeter in Geodesy
 Applications of convex optimization in extremal graph theory
 Applications of multitask learning in speech recognition and synthesis
 Applications of ParahydrogenHyperpolarised NMR at High and Low Magnetic Field
 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
 Arms Verification with Information Barriers: Constraining Bayesian Networks For Confidence Building
 Artificial Immune Systems
 Artificial Neural Networks and Data Analysis
 Aspherical values of rational Cherednik algebras
 Assessing the Procedural Security & Transparency Components of the Estonian Internet Voting System
 Asteroseismology, the new Keplerian Revolution
 Astrochemistry in extragalactic environments
 Astroseismology
 Asymptotics and Resurgence in String and Gauge Theories
 At the edge of glassiness; how simple can a complex system be?
 Atom trapping in RFdressed magnetic potentials with, and without, timeaveraging
 Atomic magnetometer with indirect pumping
 Atrial fibrillation is a dystrophinopathy of the heart
 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
 Automorphisms of soluble groups
 Automotive Security
 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”
 “Taking Turing by surprise? Designing `digital computers’ for morallyloaded contexts’.
