| 201. | Research talk: Capturing the visual evolution of fashion in space and time | 0 | |
|
| 202. | 2009 eScience: Beyond Sensors: Curating Ancillary Data for Carbon-Climate Science | 0 | |
|
| 203. | Lightning Talks-Ethan Sutin | 0 | |
|
| 204. | Panel: Cloud Intelligence/AIOps across academia and industry | 0 | |
|
| 205. | Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 2) | 0 | |
|
| 206. | Research talk: Semantic search science: How Microsoft Bing AI is powering Azure Cognitive Search | 0 | |
|
| 207. | Research talk: SPTAG++: Fast hundreds of billions-scale vector search with millisecond response time | 0 | |
|
| 208. | 2009 eScience: Extracting Natural Laws from Data: Invariants are better than predictive models | 0 | |
|
| 209. | New Directions in Static Analysis for Error-Detection and Garbage Collection | 0 | |
|
| 210. | Lightning Talks-Mike Melanin | 0 | |
|
| 211. | 2009 eScience: Navigating the Complex Web of Chemistry Using ChemSpider | 0 | |
|
| 212. | Researcher in the Hall: Roch Guerin | 0 | |
|
| 213. | Ignite Talks-Mike Brevoort | 0 | |
|
| 214. | 2009 eScience: Data Intensive Scalable Computing: Applying Google-Style Computing to eScience | 0 | |
|
| 215. | 2009 eScience: Opportunities for Integration of Multi-Model Data for the Water Sciences Community | 0 | |
|
| 216. | Oracle Semantics for Concurrent Separation Logic | 0 | Vlog |
|
| 217. | Safety of Program Transformations in Shared-memory Concurrency | 0 | |
|
| 218. | Specializing Shaders | 0 | |
|
| 219. | Latin American Faculty Summit 2016 - Open source software and industry: exploring the reality | 0 | |
|
| 220. | Simple practical methods for estimating distances in large and sparse datasets like the web | 0 | |
|
| 221. | 2009 eScience: A New Partnership for Cross-Scale, Cross-Domain eScience | 0 | |
|
| 222. | Computational Aspects of Biological Information Workshop Session 5 | 0 | |
|
| 223. | TechFest 2007 - Executive Keynote | 0 | |
|
| 224. | Lightning Talks-Friederike Schuur | 0 | |
|
| 225. | Proof Procedures for Separated Heap Abstractions | 0 | |
|
| 226. | The Challenges of Development-through-Entrepreneurship: Research on Rural Computer Kiosks in India | 0 | |
|
| 227. | 2009 eScience: Tools and Techniques for Computational Biology | 0 | |
|
| 228. | 2009 eScience: Data Integration for E-Science Using Correlated Concepts | 0 | |
|
| 229. | SCS '06 - Lightning Round 1: Learning in and about Virtual Worlds - Talk 6 | 0 | |
|
| 230. | Navigating across multi-scale biological systems using cognitive modeling and systems approaches | 0 | Vlog |
|
| 231. | Memex Summit (Digital Memories Workshop) - Memex Metadata (M2) for Personal Educational Portfolio | 0 | |
|
| 232. | Conference XP Project Update | 0 | |
|
| 233. | SANDstorm, Elliptic Curves, and a Bit of Fun | 0 | |
|
| 234. | 2009 eScience: Tupelo: a Framework for E-Science Knowledge Spaces | 0 | |
|
| 235. | Web Services for eScience: Accelerating Time to Experiment: myExperiment Approach to Open Science | 0 | |
|
| 236. | Where Google and Libraries Meet | 0 | |
|
| 237. | WAP5: Black-box Performance Debugging for Wide-Area Systems | 0 | |
|
| 238. | Attack-Resistant Algorithms for Massive Networks | 0 | |
|
| 239. | UPCRC Multicore Applications Workshop - Welcome, and Visual Computing - Session # 1 | 0 | |
|
| 240. | The Laws of Disruption: Harnessing the New Laws of Disruption that Govern Life and Business | 0 | |
|
| 241. | The Bulk Multicore Architecture for Programmability | 0 | |
|
| 242. | Power Management from Handhelds to DataCenters: Chasing the Next 10X Improvements | 0 | |
|
| 243. | Using .NET and Web Services to build an e-Science Application: Looking for White Dwarfs | 0 | |
|
| 244. | SCS '06 - Lightning Round 3: Interactions in Online ΓÇ£SpacesΓÇ¥ - Part 5 | 0 | |
|
| 245. | Integrating OLAP and Ranking: The Ranking-Cube Methodology | 0 | |
|
| 246. | Continuous Coordination: Bridging Formal and Informal Coordination with Palantír | 0 | |
|
| 247. | Critical Data Protection for Reliability and Security | 0 | |
|
| 248. | Modelling the performance of wireless networks employing the IEEE 802.11 MAC | 0 | |
|
| 249. | Phoenix: Experience with an Analysis and Optimization Framework | 0 | |
|
| 250. | Matching and 3D reconstruction in urban environments | 0 | |
|
| 251. | Characterizing Truthful Market Design | 0 | |
|
| 252. | Inferring Faults from Persistent State Interactions | 0 | |
|
| 253. | Dynamics of Highly Connected Queuing Networks | 0 | |
|
| 254. | Using Tablet PCs, ConferenceXP, OneNote, & Classroom Presenter to Enhance Student Learning Outcomes | 0 | |
|
| 255. | Bio Tools - Microsoft Computational Finance Server as a Platform for Computational Biology | 0 | Vlog |
|
| 256. | Blog Reading and Blog Readers: Tools and Practices [1/19] | 0 | Vlog |
|
| 257. | SCS '06 - Lightning Round 3: Interactions in Online ΓÇ£SpacesΓÇ¥ - Part 2 | 0 | |
|
| 258. | eScience Workshop 2005 - Integration and Visualization in Bioinformatics | 0 | |
|
| 259. | Giving Campaign lunch: Woodland Park Zoo | 0 | |
|
| 260. | eScience Workshop 2005 - Welcome | 0 | |
|
| 261. | eScience: Simulation and Modeling - Development of a 3D Stomach Model for Surgical Planning | 0 | |
|
| 262. | In-Network, Physical Adaptation of Sensor Networks | 0 | |
|
| 263. | Computationally-intensive biomedical research projects supported by National Institutes of Health | 0 | |
|
| 264. | Microsoft Research Faculty Summit 2005 — Gaming for Computer Science Instruction | 0 | |
|
| 265. | Combining Static and Dynamic Analysis for Bug Finding | 0 | |
|
| 266. | Examining Bugs to Improve Static Analysis | 0 | |
|
| 267. | Analyzing Metabolomics Data for Automated Prediction of Underlying Biological Mechanisms | 0 | Vlog |
|
| 268. | Pushing Group Communication to the Edge Will Enable Radically New Distributed Applications | 0 | |
|
| 269. | Microsoft Research Faculty Summit 2005 — Robotics for Instruction | 0 | Tutorial |
|
| 270. | Investigating the Fundamental Network Burden of Distributed Cooperation | 0 | |
|
| 271. | Supporting Scalable Online Statistical Processing | 0 | |
|
| 272. | On Best-Response Bidding in Ad Auctions | 0 | |
|
| 273. | Scheduling for multi-carrier wireless systems | 0 | |
|
| 274. | ParaEval: Using Paraphrases to Improve Machine Translation and Summarization Evaluations | 0 | |
|
| 275. | eScience: Data Modeling and Preservation - A Data Model for Environmental Observations | 0 | |
|
| 276. | Throw out your textbooks: Games are the future of learning. | 0 | |
|
| 277. | Edgenet 2006 - Problems and Solutions in Enterprise Network Control | 0 | |
|
| 278. | Stacked Graphical Learning for Text Mining | 0 | |
|
| 279. | Games@MSR - The Pleasures of Virtual/Fantasy Warfare: Learning from Counter-Strike | 0 | |
|
| 280. | Sensor Networks Workshop 05 - Second Generation Sensor Querying | 0 | |
|
| 281. | Network Data Streaming - A Computer Scientist's Journey in Signal Processing | 0 | |
|
| 282. | Automated Testing of Refactoring Engines Using Test Abstractions | 0 | |
|
| 283. | Edgenet 2006 - Wireless Network Measurement Challenges | 0 | |
|
| 284. | Software Development Practices and Knowledge Sharing: A Comparison of XP & Waterfall Team Behaviors | 0 | |
|
| 285. | Edgenet 2006 - Customer Insight: CSO's Perspective on Network Policies | 0 | |
|
| 286. | Databases in Grid Applications: Locality and Distribution | 0 | |
|
| 287. | Zero Overhead Verification of Software Programs & On Range Search in Distributed Sensor Networks | 0 | |
|
| 288. | Putting our information in its place in a digital age. [1/174] | 0 | |
|
| 289. | Supporting Effective Interaction with Tabletop Groupware | 0 | |
|
| 290. | Service Placement in Stream-Based Overlay Networks | 0 | |
|
| 291. | Efficient Data Dissemination in Bandwidth-Asymmetric P2P Networks | 0 | |
|
| 292. | Extending Rotor with Structural Reflection to Support Reflective Languages | 0 | |
|
| 293. | Virtual Earth Summit - Session 5 | 0 | |
|
| 294. | Overview of Ricoh's California Research Center | 0 | |
|
| 295. | SSCLI RFP II Capstone Workshop ΓÇô Embedded Formal Verification Assistants in the .NET Framework | 0 | |
|
| 296. | Distribution Modeller 1: import data -- chart | 0 | |
|
| 297. | Understanding Customers: Shaping Our Future through Understanding Social Change | 0 | |
|
| 298. | Scalable Knowledge Harvesting | 0 | |
|
| 299. | The Quest for the Minimal Hardness Assumptions | 0 | |
|
| 300. | Parallel Monotonicity Reconstruction | 0 | |
|
