![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Wenjun Hu, Microsoft Research Asia.
Tuesday 04 December 2012, 10:30-11:30
Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
Contact: No managers listed
0 upcoming talks View 153 archived talks
Microsoft Research Cambridge, public talks
Scaling wireless services
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Handling Multitude of Nash Equilibria in Voting Games
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
MIT Media Lab's Information Ecology Group
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Dynamically Enforcing Knowledge-based Security Policies
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Probabilistic Latent Tensor Factorisation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A new metric on kernel matrices with applications to matrix means
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Convergent and Scalable Algorithms for Expectation Propagation Approximate Bayesian Inference
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
On Synthesis of Verification Tools
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Fast and Reliable Online Learning to Rank for Information Retrieval
⚠️ o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
Craig Interpretation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
From Pose Estimation to Fine Grained Activity Recognition
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Satisfiability: connecting logic and probability
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
HyperDex: A Consistent, Fault-tolerant, Searchable NoSQL Store
Microsoft Research Cambridge, public talks
Verifying Concurrent Programs with Relaxed Conflict Detection
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Concurrent Data Representation Synthesis
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Achieving High Data Rates in a Distributed MIMO System
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
On Agent Failures in Totally Balanced Cooperative Games
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Causality for Free! Parametricity Implies Causality for Functional Reactive Programs
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Human Computing and Crowdsourcing in Search
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Predictable Data Centers- Why Johnny can't use the cloud and what can we do about it?
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Planetary prediction services for society
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The RCUK Digital Economy Theme – A Catalyst for Change
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Probabilistic Programming and Probabilistic Databases for Large-scale Knowledge-base Construction
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Energy Debugging in Smartphones
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Web Science: Politics, Demographics and More
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Weightedness and Structural Characterization of Hierarchical Simple Games
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Weightedness and Structural Characterization of Hierarchical Simple Games
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Learning and Discovery of Clinically Useful Information from Medical Images
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Rekeyable Ideal Cipher from a Few Random Oracles
Microsoft Research Cambridge, public talks
Computer Assisted Interventions: Challenges in design, development, validation and deployment of novel techniques
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Building Flexible High-Performance Key-Value Systems
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The science of guessing
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mean Field Equilibria of Dynamic Auctions with Learning
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
From certified languages to their certified implementations
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Networks without Management Complexity
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Networks without Management Complexity
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mementos, Memento Mori, and More: Digital Assets across the Human Lifespan
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Communication Complexity and When Dubious Data Structures can be Detected
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Non-Interactive Verifiable Computation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Ethnography: Understanding natural interaction with our communication technologies
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Methods in decision theory for conservation research
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Solutions for a sustainable and desirable future
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Searching, Scanning and Smelling - a portfolio presentation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Your Abstractions are Worth^H^H^H^H^HPowerless!Non-Volatile Storage and Computation on Embedded Devices*(*Batteries Not Included)
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A joint part- and pixel-wise approach to human pose estimation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Machines Learning Human Minds
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
ORCHID: Human-agent collectives for disaster response and the smart grid
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Towards Practical Randomization in Concurrent Data Structures
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Decision Theory in Conservation Biology, from Systematic Conservation Planning to Scenario-Based policy assessments
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Short and long-term effects of climate, disturbance, and forest management on regional carbon storage and emissions under current and proposed policy plans
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Population Approach to System Design
Microsoft Research Cambridge, public talks
A Population Approach to System Design
Microsoft Research Cambridge, public talks
Evaluating User-Adaptive Systems: Lessons from Experiences with a Personalized Meeting Scheduling Assistant
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Undiscovered Continents of Human Potential
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Naiad: Iterative and Incremental Data-Parallelism using Differential Dataflow
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Concurrency Assertions – Providing the Right Semantics to ASSERT Statements
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Complementing User-Level Coarse-Grain Parallelism with Implicit Speculative Parallelism
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Bayesian Computation Without Tears: Probabilistic Programming and Universal Stochastic Inference
Microsoft Research Cambridge, public talks
Real versus Realistically Rendered Ground Truth: Can we use Computer Graphics for Performance Evaluation?
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Spanish forest dynamics: Constraining models with data
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
CMA-ES – a Stochastic Second-Order Method for Function-Value FreeNumerical Optimization
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
The Marriage of Bisimulations and Kripke Logical Relations
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Information Retrieval based Program Synthesis
Microsoft Research Cambridge, public talks
Large-scale Retrieval with Ivory and MapReduce
Microsoft Research Cambridge, public talks
Analysing biological information processing with mechanistic modular models
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Poirot — a concurrency sleuth
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Natural Interactions & Computing for Global Development at MSR India
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Abstractions in Satisfiability Solvers
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
SpecNet: Spectrum Sensing Sans Fronti`eres
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
"Coupled dynamics of traits and populations in response to environmental change".
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Vector Commitments with Efficient Protocols for Privacy-preserving Smart Billing Applications
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Energy Functionals: Choices and Consequences For Medical Image Segmentation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Practical Boogie (on the example of VCC)
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Statistical learning for structural neuroimaging data
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
"Egalitarian Gradient Descent": A General Preconditioning Scheme for Deformable Image Registration
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Tunable Static Inference for Generic Universe Types
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Perception by "Patterns" in the Brain
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Stochastic signal encoding strategies in cells
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
A Language for Type-Safe Web Programming
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Probing the basis of neuronal branching
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Plant Organs Regeneration: Measuring and Modelling Self‐Organization
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
From Gene Networks to Tissue Engineering: Computational Models of Pattern Formation
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Some recent developments in approximate inference: learning and control
Microsoft Research Cambridge, public talks
Search is not only about the Web - An Overview on Printed Document Search and Patent Search
Microsoft Research Cambridge, public talks
Scaling transaction processing through data-oriented execution
⚠️ - This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks
How to force unsupervised neural networks to discover the right representation of images
Microsoft Research Cambridge, public talks
PEPSI: Privacy-Enhanced Participatory Sensing Infrastructure
Microsoft Research Cambridge, public talks
Coming to Grips with Complexity in Computer-Aided Verification
Microsoft Research Cambridge, public talks
Efficient space-variant deconvolution
Microsoft Research Cambridge, public talks
Computing for Development: A New High Impact Research Area
Microsoft Research Cambridge, public talks
Is my model too complex? Evaluating model formulation using model reduction
Microsoft Research Cambridge, public talks
Programmable Self-Assembled DNA-Based Autonomous Molecular Devices
Microsoft Research Cambridge, public talks
Fences and Stability in Weak Memory Models
Microsoft Research Cambridge, public talks
How to Make Ad Hoc Proof Automation Less Ad Hoc
Microsoft Research Cambridge, public talks
Towards a comprehensive assessment of the interactions between the terrestrial biosphere and the climate system
Microsoft Research Cambridge, public talks
Active visual category learning
Microsoft Research Cambridge, public talks
Bringing Intelligence at the Edges to Accommodate Diversity in the Internet
Microsoft Research Cambridge, public talks
Algorithmic Market Design: Spectrum Sales and BitTorrent Communities
Microsoft Research Cambridge, public talks
Turing and Darwin: Saving the environment by combining computation and human insight
Microsoft Research Cambridge, public talks
Fuzzy thinking: single neuron variation in RNA state space
Microsoft Research Cambridge, public talks
Can We Defy Nature’s End?
Microsoft Research Cambridge, public talks
Fifteen Years of Field Robotics in Australia
Microsoft Research Cambridge, public talks
The Complexity of the Homotopy Method, Equilibrium Selection, and Lemke-Howson Solutions
Microsoft Research Cambridge, public talks
Politics, Preferences and Permutations: Probabilistic Reasoning with Rankings
Microsoft Research Cambridge, public talks
Efficient Data Structures for Nonlinear Video Processing
Microsoft Research Cambridge, public talks
Modeling and Evaluating Information Retrieval Results
Microsoft Research Cambridge, public talks
Active visual category learning
Microsoft Research Cambridge, public talks
Molecular evolution of stochastic switching
Microsoft Research Cambridge, public talks
Molecular evolution of stochastic switching
Microsoft Research Cambridge, public talks
Spatial Tactile Feedback Support for Mobile Touch-screen Devices
Microsoft Research Cambridge, public talks
3D Reconstruction meets GPGPU meets Image Analysis
Microsoft Research Cambridge, public talks
Training Random Forests with Ambiguously Labeled Data
Microsoft Research Cambridge, public talks
Representing and Querying Large-scale Uncertainty
Microsoft Research Cambridge, public talks
Guessing Program Annotations with Probabilistic Inference
Microsoft Research Cambridge, public talks
High-level Languages for Low-level Systems
Microsoft Research Cambridge, public talks
Research of the new Computer Vision and Mulitmodal Computing at MPI Sarrbruecken
Microsoft Research Cambridge, public talks
Executable Knowledge for Molecular Systems Biology
Microsoft Research Cambridge, public talks
Longitudinal Evaluation of API Usability and Designing Support for Collaborative Search around the Tabletop
Microsoft Research Cambridge, public talks
Learning generative models of images by factoring appearance and shape
Microsoft Research Cambridge, public talks
“Otherworld” - Giving Applications a Chance to Survive OS Kernel Crashes
Microsoft Research Cambridge, public talks
Software Synthesis using Automated Reasoning
Microsoft Research Cambridge, public talks
Machine Learning for WLAN Positioning
Microsoft Research Cambridge, public talks
Hidden Markets: Designing Efficient but Simple Electronic Markets
Microsoft Research Cambridge, public talks
Optimization for Pixel Labeling Problems With Structured Layout
Microsoft Research Cambridge, public talks
Energy Minimization with Label Costs and Applications in Multi-Model Fitting
Microsoft Research Cambridge, public talks
Parameter Search and Robustness Analysis from Temporal Logic Specifications in Biochemical Reaction Networks
Microsoft Research Cambridge, public talks
Reasoning about concurrent stochastic systems
Microsoft Research Cambridge, public talks
Frugal Procurement Auction Design
Microsoft Research Cambridge, public talks
Logic and Probability: The Computational Connection
Microsoft Research Cambridge, public talks
Learning and Coordination in Networks
Microsoft Research Cambridge, public talks
Making OpenCL simple with Haskell
Microsoft Research Cambridge, public talks
Albert Atserias, Universitat Politècnica de Catalunya, Microsoft Research Lectures
Microsoft Research Cambridge, public talks
Cooperation, Power and Conspiracies
Microsoft Research Cambridge, public talks
Experience and problems with compiling data parallel languages
Microsoft Research Cambridge, public talks
Branching vs. Linear Time: Semantical Perspective
Microsoft Research Cambridge, public talks
CIEL: a universal execution engine for distributed data-flow computing
Microsoft Research Cambridge, public talks
Improving the energy model of stereo matching algorithms
Microsoft Research Cambridge, public talks
Propagation of Rumour Through a Social Network
Microsoft Research Cambridge, public talks
Network Economics seminar / Diffusion and Cascading Behavior in Random Networks
Microsoft Research Cambridge, public talks
Towards Automation of Protein NMR
Microsoft Research Cambridge, public talks
How Hard is Competition for Rank?
Microsoft Research Cambridge, public talks
Software Lock Elision for x86 Machine Code
Microsoft Research Cambridge, public talks
Towards a Non-Commutative Logic of Effects,
Microsoft Research Cambridge, public talks
Lifted Message Passing: A Step Towards Gaining a 'Big Picture' View on AI
Microsoft Research Cambridge, public talks
Realizability and Parametricity in Pure Type Systems: An application
Microsoft Research Cambridge, public talks
Polynomial Learning of Distribution Families
Microsoft Research Cambridge, public talks
Verification of Imperative Programs Through Characteristic Formulae
Microsoft Research Cambridge, public talks
How can we model complex ecosystems with stochastic interactions between individuals at different spatial and temporal scales? Some case studies
Microsoft Research Cambridge, public talks
Modelling ecological systems under environmental change.
Microsoft Research Cambridge, public talks
Three Small Steps ... to Reconceiving Machine Learning
Microsoft Research Cambridge, public talks
Using SAT Solvers for Cryptographic Problems
Microsoft Research Cambridge, public talks
Async in Visual Basic and C# - worth the Await!
Microsoft Research Cambridge, public talks
A relationship-based approach to the verification of multi-object invariants
Please see above for contact details for this list.