The AlpineInker
|
Ken Hinckley
|
The Moleskine Event Horizon
|
59
|
0
|
58
|
91
|
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
|
0
|
2
|
6
|
| 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
|
0
|
0
|
0
|
| 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
|
2
|
24
|
8
|
| 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
|
5
|
0
|
8
|
0
|
| 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
|
1
|
0
|
0
|
0
|
| Ongoing Surface Computing projects at MSR and Microsoft, and related musings. |
99%
|
ginav
|
CHASE workshop at ICSE 09
|
2
|
0
|
0
|
0
|
Z3: Theorem Prover
|
Leonardo de Moura
|
Documentation
|
2
|
1
|
1
|
0
|
| 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
|
0
|
683
|
0
|
Dreams Come True
|
frank martinez
|
The little browser
|
21
|
0
|
1
|
1
|
| Updates on program management life at Microsoft Research. |