|
Talks on 2016/12/1
Thursday 01 December 2016
- 10:00 - Genome manipulation
- 10:00 - Welcome and Introduction
- 10:00 - Well-founded functions, induction, and extreme predicates in an SMT-based verifier
- 10:00 - Well-founded functions, induction, and extreme predicates in an SMT-based verifier
- 10:10 - Overview of the Programme: Outreach and Accomplishments
- 10:30 - Popular Understanding of Statistics and its Impacts on the Law
- 11:00 - Power analysis
- 11:00 - Learning with limited supervision
- 11:30 - Waves and wave-driven flows on coral reefs
- 11:30 - Serial Killer Nurses: Is there an Epidemic?
- 12:00 - The long journey of hepatitis C virus entry into hepatocytes
- 12:00 - The Use of Forensic Databases in Forensic Casework
- 12:30 - Using Bayes Nets for Reasoning with Evidence: Real Life Examples
- 13:00 - Reactivating developmental mechanisms to regenerate the heart
- 13:00 - Exploiting natural variation to identify genes that impact nutritional seed traits
- 13:00 - Imaging the cytoskeleton – re-defining a biological entity with fluorescent antibodies
- 13:00 - Renormalization of phi^4 theory at six loops
- 13:00 - CGHR Salon: Politics of Choice in Eastern and Southern Europe
- 13:10 - Glaciers, weathering and isotopes
- 13:30 - “Ten rules for the presentation and interpretation of data in publications”
- 14:00 - RSC Prizewinner's seminar - From the Digitisation of Matter to Chemical Cybernetics
- 14:00 - Challenges and Opportunities for Statistics in Digital Forensics
- 14:00 - Valid inference from non-ignorable network sampling mechanisms
- 14:15 - Universal Quantum Hamiltonians
- 14:30 - Tight Hamilton Cycles in 3-Graphs
- 14:30 - Educating Lawyers and Forensic Scientists about Probability and Statistics
- 15:00 - What predicts general practice variation in use of urgent referrals for suspected cancer and endoscopies? Associations with patient experience, clinical quality and practice characteristics
- 15:00 - Quantum Dots and Dislocations: Dynamics of Materials Defects
- 15:00 - Validation of Probabilistic Genotyping Software for Complex DNA samples: The Promulgation of Industry Standards
- 15:00 - The long road to Paris - how the climate change agreement was made
- 15:00 - The long road to Paris - how the climate change agreement was made
- 15:30 - On sensing what is not there
- 15:30 - Contemporary South Asian visual constructions of Self
- 15:30 - Strategies to facilitate access to detailed geocoding information based on synthetic data
- 15:50 - The Relationship between Statistics and the Law - a Judicial Perspective
- 16:00 - The LMC - A large and messy neighbour
- 16:00 - Illuminating mouse cortical activity maps using genetically encoded voltage indicators
- 16:20 - Session 3: Chaired by Cheryl Thomas (University College London). Questions and Discussions
- 16:30 - Misreading and language change: a foray into cognitive historical linguistics?
- 16:30 - A Risk-Utility Balancing Approach to Generate Synthetic Microdata
- 17:00 - Industrialisation, inter-sectoral linkage and occupational structure: Britain, Germany and Japan, c.1850-1935
- 17:00 - Memory, Miniaturization, and the Transformative Energy of Fairy Tales
- 17:00 - The Investigatory Powers Act 2016 (aka 'The Snooper's Charter')
- 17:45 - Composition in Differential Privacy
- 18:00 - Why Germany Chooses Organic Agriculture
- 18:00 - Refugees Welcome: The "Riace Model" and its Mayor
- 19:00 - The Role of Values in Animal Cognition Research
|