Microsoft Research Community

Blogs

Microsoft Research Weblogs

Blog Author(s) Last Post Posts Articles Comments Trackbacks
The AlpineInker
Ken Hinckley   The Moleskine Event Horizon  59  58  91 

The AlpineInker

Ken Hinckley's blog exploring the savage frontiers of pen, touch, and mobile devices

The official blog of the InkSeine project at Microsoft Research
TechFest Live!
robk   The Ghost of TechFest Future  34 
Real-time postings about the technology on display during TechFest, Microsoft Research's annual project showcase.
Dan on eScience
danf   Mysterious object being built in garage  33 
Dan’s notes on how computing, IT and research can benefit scientific research.
WWT Data Blog
Jonathan Fay, Krush   Prelinimary SDK documentation now available  17  24 
Details of the many datasets in the WorldWide Telescope. This includes all-sky surveys, individual study images from various telescopes, panoramas, etc.
Infer.NET Team Blog
Anitha Kannan, John Guiver, jwinn, minka   Infer.NET team at PDC09 
Infer.NET is a .NET framework for machine learning. It provides state-of-the-art algorithms for probabilistic inference from data. Various Bayesian models such as Bayes Point Machine classifiers, TrueSkill matchmaking, hidden Markov models, and Bayesian networks can be implemented using Infer.NET.
Surface Computing Research
awilson   Video test 1 
Ongoing Surface Computing projects at MSR and Microsoft, and related musings.
99%
ginav   CHASE workshop at ICSE 09 
Z3: Theorem Prover
Leonardo de Moura   Documentation 
Z3 is a new high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 has already been integrated with Spec#/Boogie, and HAVOC. We are currently integrating Z3 with Pex, SAGE, Yogi, Vigilante, and SLAM. It can read problems in SMT-LIB and Simplify formats.
kodu
BradK, briboz, eanders, mafinch, mattmac, scoy   Kodu nested logic example  51  683 
Dreams Come True
frank martinez   The little browser  21 
Updates on program management life at Microsoft Research.
1 2 Next >

Socio-Digital Systems

Blog Author(s) Last Post Posts Articles Comments Trackbacks
Technology Trends
rbanks   Componentised phone  2,003  12 
Work Blog
rbanks   3 blogs down to two  34 

Microsoft Research New England Group Blog

Blog Author(s) Last Post Posts Articles Comments Trackbacks
Microsoft Research New England Group Blog
Adam Tauman Kalai, Christian Borgs, Henry Cohn, Jennifer Chayes, Yael Tauman Kalai    
Friends of Microsoft Research New England
jchirico    
©2009 Microsoft Corporation. All rights reserved. Terms of Use | Trademarks | Privacy Statement | Feedback