Microsoft Research
terms of services

<< | 1 | >>

Applied sciences group: high performance touch

Applied Sciences Group: High Performance Touch
Modern touch devices allow one to interact with virtual objects. However, there is a substantial delay between when a finger moves and the display responds. Microsoft researchers, Albert Ng and Paul Dietz, have built a laboratory test system that allows us to experience the impact of different latencies on the user experience. The results help us to understand how far we still have to go in improving touch performance.
Category: Science & Technology
Length: 00:02:32.250
Tags: software .


Miragetable: freehand interaction on a projected augmented reality tabletop

MirageTable: Freehand Interaction on a Projected Augmented Reality Tabletop
In MirageTable, a 3-D stereoscopic projector projects content directly on top of the curved screen. The information is captured by the Kinect camera, which also tracks the user's gaze. This enables presentation of correct perspective use to a single user on top of the dynamic changing geometry of the real world.
Category: Science & Technology
Length: 00:02:45
Tags: .


Soundwave: using the doppler effect to sense gestures

SoundWave: Using the Doppler Effect to Sense Gestures
Gestures are becoming an increasingly popular means of interacting with computers. However, it is still relatively costly to deploy robust gesture-recognition sensors in existing mobile platforms. SoundWave is a real-time sensing technique that leverages a speaker and a microphone to robustly sense in-air gestures and motion around a device. It is capable of detecting a variety of gestures, and can directly control existing applications without requiring a user to wear any special sensors.
Category: Science & Technology
Length: 00:02:04.500
Tags: .


Wearable multitouch projector

Wearable Multitouch Projector
This project is a depth-sensing and projection system that enables interactive multitouch applications on everyday surfaces. Beyond a shoulder-worn system, there is no instrumentation of the user or the environment. Foremost, on such surfaces—without calibration—Wearable Multitouch Interaction provides capabilities similar to those of a mouse or a touchscreen: X and Y locations in 2-D interfaces and whether fingers are "clicked" or hovering, enabling a wide variety of interactions. Reliable operation on the hands, for example, requires buttons to be 2.3 centimeters in diameter. Thus, it is now conceivable that anything one can do on today's mobile devices can be done in the palm of a hand.
Category: Science & Technology
Length: 00:01:55.500
Tags: software .


Illumishare

Illumishare
Seen at Microsoft Research's TechFest 2012, IllumiShare enables remote people to share any physical or digital object on any surface. It is a low-cost, peripheral device that looks like a desk lamp, and just like a lamp lights up a surface at which it is pointed, IllumiShare shares a surface. To do this, IllumiShare uses a camera-projector pair where the camera captures video of the local workspace and sends it to the remote space and the projector projects video of the remote workspace onto the local space. With IllumiShare, people can sketch together using real ink and paper, remote meeting attendees can interact with conference room whiteboards, and children can have remote play dates in which they play with real toys.
Category: Science & Technology
Length: 00:02:08.250
Tags: .


Holoflector

Holoflector
Holoflector is a unique, interactive augmented-reality mirror. Graphics are superimposed correctly on your own reflection to enable a novel augmented-reality experience. Presented at Microsoft Research's TechFest 2012, Holoflector leverages the combined abilities of Kinect and Windows Phone to infer the position of your phone and render graphics that seem to hover above it.
Category: Science & Technology
Length: 00:01:55.500
Tags: .


Microsoft research transparent display

Microsoft Research Transparent Display

Category: Autos & Vehicles
Length: 00:03:33.750
Tags: Microsoft Research .


Beamatron

Beamatron
Beamatron is a new, augmented-reality concept that combines a projector and a Kinect camera on a pan-tilt moving head. The moving head is used to place the projected image almost anywhere in a room. Meanwhile, the depth camera enables the correct warping of the displayed image for the shape of the projection surface and for the projected graphics to react in physically appropriate ways. For example, a projected virtual car can be driven on the floor of the room but will bump into obstacles or run over ramps. As another application, we consider the ability to bring notifications and other graphics to the attention of the user by automatically placing the graphics within the user's view.
Category: Science & Technology
Length: 00:01:39.750
Tags: .


Microsoft research cliplets tutorial 1

Microsoft Research Cliplets Tutorial 1
Tutorial video that show how to use the Microsoft Research Cliplets app to create "cliplets"-a type of imagery that sits between stills and video from handheld videos. See: research.microsoft.com to get the app!
Category: Science & Technology
Length: 00:01:20.250
Tags: Microsoft Research .


Vermeer interactive display

Vermeer Interactive Display
Vermeer is a novel interactive 360° viewable display suitable for a tabletop form factor from Microsoft Research Cambridge. It provides viewpoint corrected stereoscopic 3D graphics to simultaneous users 360° around the display, without the need for eyewear or other user instrumentation. In contrast to other systems, Vermeer allows users for the first time, to reach into and directly touch 3D objects inside a display volume. It also enables simultaneous users 360° viewing of the 3D object. Inherently other 360° systems restrict interactions to outside the display volume behind a protective glass or plastic dome.
Category: Science & Technology
Length: 00:03:15
Tags: Microsoft Research .


Applied sciences group: interactive displays: telepresence using wedge technology

Applied Sciences Group: Interactive Displays: Telepresence using Wedge Technology
Presented at Microsoft Research's TechFest 2012 Telepresence using Wedge Technology: Glassless 3-D display with a correct camera pose and view pose for a live view-dependent 3D Window Telepresence experience.
Category: Science & Technology
Length: 00:02:18
Tags: software .


Microsoft research in redmond, a personal tour - on the verge

Microsoft Research in Redmond, a personal tour - On The Verge
Joshua Topolsky takes a tour of Microsoft Research in Redmond. Music by Bit.shifter bit.shifter.net
Category: Science & Technology
Length: 00:07:30.750
Tags: Microsoft Research .


Gesture recognition with next-generation webcam

Gesture Recognition with Next-Generation Webcam
This project presents next-generation webcam hardware and software prototypes. The new prototype webcam has an extremely wider view angle than traditional webcams and can capture stereo movie and high-accuracy depth images simultaneously. Users can chat with stereoscopic video. Accurate depth-image processing can support not only all Kinect scenarios on a PC, but also a gesture-control user interface without a touch screen. Besides computer vision, the webcam includes a hardware accelerator and a new image-sensor design. The cost of the design is similar to that of current webcams, and the webcam potentially could be miniaturized as a mobile camera. The project showcases new user scenarios in playing games with this webcam.
Category: Autos & Vehicles
Length: 00:01:32.250
Tags: software .


Techfest 2011: applied sciences group: smart interactive displays

TechFest 2011: Applied Sciences Group: Smart Interactive Displays
Our research shows: Steerable AutoStereo 3-D Display: We use a special, flat optical lens (Wedge) behind an LCD monitor to direct a narrow beam of light into each of a viewer's eyes. By using a Kinect head tracker, the user's relation to the display is tracked, and thereby, the prototype is able to steer that narrow beam to the user. The combination creates a 3-D image that is steered to the viewer without the need for glasses or holding your head in place. Steerable Multiview Display: The same optical system used in the 3-D system, Wedge behind an LCD, is used to steer two separate images to two separate people rather than two separate eyes, as in the 3-D case. Using a Kinect head tracker, we find and track multiple viewers and send each viewer his or her own unique image. Therefore, two people can be looking at the same display but see two completely different images. If the two users switch positions, the same image continuously is steered toward them. Retro-Reflective Air-Gesture Display: Sometimes, it's better to control with gestures than buttons. Using a retro-reflective screen and a camera close to the projector makes all objects cast a shadow, regardless of their color. This makes it easy to apply computer-vision algorithms to sense above-screen gestures that can be used for control, navigation, and many other applications. A display that can see: Using the flat Wedge optic in camera mode behind a special, transparent organic-light-emitting-diode display, we can ...
Category: Science & Technology
Length: 00:05:20.250
Tags: Microsoft Research .


Holodesk - direct 3d interactions with a situated see-through display

HoloDesk - Direct 3D Interactions with a Situated See-Through Display
HoloDesk is a novel interactive system combining an optical see through display and Kinect camera to create the illusion that users are directly interacting with 3D graphics. A virtual image of a 3D scene is rendered through a half silvered mir- ror and spatially aligned with the real-world for the viewer. Users easily reach into an interaction volume displaying the virtual image. This allows the user to literally get their hands into the virtual display. A novel real-time algorithm for rep- resenting hands and other physical objects, which are sensed by the Kinect inside this volume, allows physically realistic interaction between real and virtual 3D objects.
Category: Science & Technology
Length: 00:03:11.250
Tags: .


Applied sciences group: interactive displays: behind the screen overlay interactions

Applied Sciences Group: Interactive Displays: Behind the Screen Overlay Interactions
Presented at Microsoft TechForum 2012 Behind the Screen Overlay Interactions: Behind-the-screen interaction with a transparent OLED with view-dependent, depth-corrected gaze.
Category: Science & Technology
Length: 00:01:21.750
Tags: .


Microsoft research creates multi-touch technology that works through phones

Microsoft Research creates multi-touch technology that works through phones

Category: Science & Technology
Length: 00:02:09.750
Tags: windows phone 7 .


Microsoft research street slide view

Microsoft Research Street Slide View
Street Slide is a novel browsing interface for street-level imagery that combines the best aspects of the immersive nature of "bubbles" with the overview provided by multiperspective strip panoramas, figures to attract significant interest, in large part because of the ingenious way in which Microsoft Researchers tackle problems with current street-side imagery on the web.
Category: Science & Technology
Length: 00:02:15.750
Tags: Microsoft Research .


Augmenting indoor spaces using interactive environment-aware handheld projectors

Augmenting Indoor Spaces Using Interactive Environment-aware Handheld Projectors
This video shows handheld projector systems have the potential to enable users to dynamically augment environments with digital graphics. In this research project we explore new parts of the design space for interacting using handheld projection in indoor spaces, in particular those that are 'aware' of the environment in which they are used.
Category: Science & Technology
Length: 00:04:30
Tags: .


Microsoft research - women in computer science: jasmin fisher

Microsoft Research - Women in Computer Science: Jasmin Fisher
Computational Biologist Jasmin Fisher talks about her career and role at Microsoft Research.
Category: Science & Technology
Length: 00:03:24
Tags: .


Microsoft research - women in computer science: abigail sellen

Microsoft Research - Women in Computer Science: Abigail Sellen
Principal Researcher Abigail Sellen talks about her career and role at Microsoft Research.
Category: Science & Technology
Length: 00:03:04.500
Tags: .


Lightspace from microsoft research

LightSpace from Microsoft Research
Andy Wilson, senior researcher and Hrvoje Benko, researcher, both from Microsoft Research explain their LightSpace research project. LightSpace combines elements of surface computing and augmented reality research to create a highly interactive space where any surface, and even the space between surfaces, is fully interactive. Our concept transforms the ideas of surface computing into the new realm of spatial computing. Instrumented with multiple depth cameras and projectors, LightSpace is a small room installation designed to explore a variety of interactions and computational strategies related to interactive displays and the space that they inhabit. LightSpace cameras and projectors are calibrated to 3D real world coordinates, allowing for projection of graphics correctly onto any surface visible by both camera and projector. Selective projection of the depth camera data enables emulation of interactive displays on un-instrumented surfaces (such as a standard table or office desk), as well as facilitates mid-air interactions between and around these displays. For example, after performing multi-touch interactions on a virtual object on the tabletop, the user may transfer the object to another display by simultaneously touching the object and the destination display. Or the user may "pick up" the object by sweeping it into their hand, see it sitting in their hand as they walk over to an interactive wall display, and "drop" the object onto the wall by touching it with ...
Category: Science & Technology
Length: 00:05:32.250
Tags: .


Chi2012: microsoft research projects offer new takes on gesture sensing

CHI2012: Microsoft Research projects offer new takes on gesture sensing
Humantenna and Soundwave capture and interpret gestures without cameras. Humantenna uses electromagnetic interference all around us, while Soundwave uses your computer's microphone and speakers. Follow Nick Barber on Twitter @nickjb.
Category: Science & Technology
Length: 00:01:39.750
Tags: .


Microsoft research lab - kinect fusion project

Microsoft Research Lab - Kinect Fusion Project
Microsoft Research Lab - Kinect Fusion Project
Category: Science & Technology
Length: 00:02:45.750
Tags: .


Shake 'n' sense

Shake 'n' Sense
Shake 'n' Sense is a novel yet simple mechanical technique for mitigating the interference when two or more Kinect cameras point at the same part of a physical scene. The technique is particularly useful for Kinect, where the structured light source is not modulated. It requires only mechanical augmentation of the Kinect, without any need to modify the internal electronics, firmware or associated host software.
Category: Science & Technology
Length: 00:01:48
Tags: Microsoft Research .


Functional contact lens monitors blood sugar without needles (hd version)

Functional Contact Lens Monitors Blood Sugar Without Needles (HD version)
Researchers from the University of Washington (UW) and Microsoft Research Connections (MRC) are working together to develop a non-invasive, technological solution that promises to improve both the health and overall quality of life for diabetics: a contact lens that monitors blood glucose levels. This innovative solution represents a trend in technology, the Natural User Interface (NUI). Read the case study here: www.microsoft.com
Category: Science & Technology
Length: 00:02:35.250
Tags: Microsoft Research Microsoft Research .


Welcome to the microsoft research new england lab

Welcome to the Microsoft Research New England Lab
Microsoft Research New England focuses on interdisciplinary work, integrating the more mathematical and algorithmic sciences with both the social sciences and aspects of the biomedical sciences. Our work includes applied projects in areas such as economics, social media, and health care, as well as more theoretical projects in areas such as mathematics and cryptography. The researchers in our lab collaborate closely with the vibrant local academic community. Our primary goal is to advance the state of the art in interdisciplinary research, and our research also enhances Microsoft products and services both through direct transfer of technology and through impact on Microsoft strategy
Category: Science & Technology
Length: 00:02:21.750
Tags: .


Kinectfusion hq

KinectFusion HQ
We present KinectFusion, a system that takes live depth data from a moving depth camera and in real-time creates high-quality 3D models. The system allows the user to scan a whole room and its contents within seconds. As the space is explored, new views of the scene and objects are revealed and these are fused into a single 3D model. The system continually tracks the 6DOF pose of the camera and rapidly builds a volumetric representation of arbitrary scenes. Our technique for tracking is directly suited to the point-based depth data of Kinect, and requires no feature extraction or feature tracking. Once the 3D pose of the camera is known, each depth measurement from the sensor can be integrated into a volumetric representation. We describe the benefits of this representation over mesh-based approaches. In particular, the representation implicitly encodes predictions of the geometry of surfaces within a scene, which can be extracted readily from the volume. As the camera moves through the scene, new depth data can be added or removed from this volumetric representation, continually refining the 3D model acquired. We describe novel GPU-based implementations for both camera tracking and surface reconstruction. These take two well-understood methods from the computer vision and graphics literature as a starting point, defining new instantiations designed specifically for parallelizable GPGPU hardware. This allows for interactive real-time rates that have not previously been ...
Category: Science & Technology
Length: 00:05:50.250
Tags: Microsoft Research .


Microsoft research cliplets tutorial 4

Microsoft Research Cliplets Tutorial 4
Tutorial video that show how to use the Microsoft Research Cliplets app to create "cliplets"-a type of imagery that sits between stills and video from handheld videos. See: research.microsoft.com to get the app!
Category: Science & Technology
Length: 00:02:28.500
Tags: Microsoft Research .


Microsoft research translating telephone

Microsoft Research Translating Telephone
What if your computer could transcribe and translate, in near real-time, a phone conversation you're having with someone speaking a language you don't understand? That's the promise of one prototype demonstrated by Microsoft researchers today during a preview of the company's annual TechFest event.
Category: Science & Technology
Length: 00:03:15.750
Tags: Microsoft Research .


High-fidelity facial-animation capturing

High-Fidelity Facial-Animation Capturing
High-Fidelity Facial-Animation Capturing presents a new approach for acquiring high-fidelity, 3-D facial performances with realistic dynamic wrinkles and finely scaled facial details. This approach leverages state-of-the-art motion-capture technology and advanced 3-D scanning technology for facial-performance acquisition.
Category: Science & Technology
Length: 00:01:58.500
Tags: .


Enabling concurrent dual views on common lcd screens

Enabling Concurrent Dual Views on Common LCD Screens
Can your laptop show you two different views simultaneously? The answer is yes and here is how. Twisted Nematic (TN) is the most widely used LCD technology today, especially on laptop screens. Some color combinations may become indistinguishable when viewed at a certain angle. Exploiting this, we can hide and show information at different angles without special hardware. Two completely different images can be shown at different viewing angles by spatial multiplexing or by temporal multiplexing. Our method works across various TN-based LCD screens. Similarly, two movies or video games can be played simultaneously for different viewing angles, allowing people to watch different programs or play video games with personalized views.
Category: Science & Technology
Length: 00:02:18.750
Tags: .


Techfest 2011: innereye: visual recognition in the hospital

TechFest 2011: InnerEye: Visual Recognition in the Hospital
InnerEye focuses on the analysis of patient scans using machine learning techniques for automatic detection and segmentation of healthy anatomy as well as anomalies
Category: Science & Technology
Length: 00:02:48
Tags: Microsoft Research .


Microsoft research : the vision

Microsoft Research : The vision
Microsoft Vision of different users interfaces. Extract from techdays 2007. Détails on www.communuates-numeriques.net and www.toutwindows.com
Category: Howto & Style
Length: 00:01:47.250
Tags: photo .


Applied sciences group: interactive displays: seeing displays

Applied Sciences Group: Interactive Displays: Seeing Displays
Presented at Microsoft TechForum 2012 Seeing Displays: Uses flat lenses (wedge) to see through a semi-transparent OLED for novel above screen gesture and scanning interactions.
Category: Science & Technology
Length: 00:02:10.500
Tags: .


Microsoft research augmented reality

Microsoft Research Augmented Reality
More at www.geekwire.com
Category: Science & Technology
Length: 00:03:32.250
Tags: Microsoft Research .


Cliplets: juxtaposing still and dynamic imagery

Cliplets: Juxtaposing Still and Dynamic Imagery
A still photograph is a limited format for capturing moments that span an interval of time. Video is the traditional method for recording durations of time, but the subjective "moment" that one desires to capture is often lost in the chaos of shaky camerawork, irrelevant background clutter, and noise that dominates most casually recorded video clips. This work provides a creative lens used to focus on important aspects of a moment by performing spatiotemporal compositing and editing on video-clip input. This is an interactive app that uses semi-automated methods to give users the power to create "cliplets"—a type of imagery that sits between stills and video from handheld videos.
Category: Science & Technology
Length: 00:02:10.500
Tags: Microsoft Research software .


Microsoft research "design and evaluation of interaction models for multi-touch mice"

Microsoft Research
Design and Evaluation of Interaction Models for Multi-touch Mice Copyright: Hrvoje Benko, Shahram Izadi, Andrew D. Wilson, Xiang Cao, Dan Rosenfeld, Ken Hinckley Microsoft Research, Microsoft Research Cambridge research.microsoft.com
Category: Science & Technology
Length: 00:03:37.500
Tags: .


To build a holodeck: an exclusive look at microsoft's edison lab

To build a holodeck: an exclusive look at Microsoft's Edison lab
Joshua Topolsky visits the Edison Lab on Microsoft's Redmond campus.
Category: Science & Technology
Length: 00:05:33
Tags: Microsoft Research .


Hiv research: seeking solutions in africa (hd version)

HIV Research: Seeking Solutions in Africa (HD version)
More than 1.8 million people die of HIV-related causes each year—approximately 5000 deaths per day. HIV is a particularly significant threat in the sub-Saharan region of Africa. Researchers in South Africa and Boston are working with Microsoft Research to fight HIV. The effort is led by Bruce Walker, director of the Ragon Institute at Massachusetts General Hospital, MIT and Harvard, and a professor of medicine at the University of KwaZulu-Natal. He is joined by David Heckerman, Distinguished Scientist, Microsoft Research, who explains that as our immune system tries to block HIV, the virus mutates to evade the immune system. The researchers are cataloging fragments of HIV that are vulnerable to attack by the immune system. The amount of data generated is enormous, but by using thousands of Microsoft machines working in parallel, researchers are able to make computations in a matter of hours that would take years on a single computer. Through research like this, Walker believes that a solution to the HIV epidemic can be developed. Like many other dedicated researchers, he is devoting his career to finding such a solution.
Category: Science & Technology
Length: 00:02:39.750
Tags: Microsoft Research .


Microsoft research's bill buxton on natural user interfaces

Microsoft Research's Bill Buxton on Natural User Interfaces
Excerpt from research.microsoft.com In a video about new ways to design natural user interfaces, Bill Buxton, principal researcher for Microsoft Research, explains how engineers can use a combination of interactive gestures and communication methods to enable a society of appliances to assist users of technology. "Its not about speech, its not about gesture, its not even about the phone, and its not about human-to-human communication, Buxton says. How these things work together in a natural and seamless way that reduces complexity for the users—thats what were about. Getting these things right opens up another dimension in how we have technology integrated into our lives."
Category: Science & Technology
Length: 00:06:13.500
Tags: .


Microsoft translator hub: translation by everyone for everyone

Microsoft Translator Hub: Translation by Everyone for Everyone
Presented at Microsoft Research's TechFest 2012, Microsoft Translator Custom Edition (MTCE) implements a self-service model for building a highly customized automatic translation service between any two languages. MTCE empowers language communities, service providers and corporations to create automatic translation systems, allowing speakers of one language to share and access knowledge with speakers of any other language. By enabling translation to languages that aren't supported by today's mainstream translation engines, this also keeps less widely spoken languages vibrant and in use for future generations. This Azure based service allows users to upload language data for custom training, and then build and deploy custom translation models. These machine translation services are accessible using the Microsoft Translator APIs or a Webpage widget.
Category: Science & Technology
Length: 00:01:57.750
Tags: .


Surround yourself with geniuses

Surround yourself with geniuses
Six groups (teams Babbage, Boole, Gödel, Turing, Shannon, and Simon), composed of Microsoft Research computer scientists and their colleagues from other research organizations, reflected separately about the past 20 years and the future to come, in the context of providing advice to young scientists. Afterwards, participants came together to listen to briefings about the discussions from the chairs of each team. Edward Feigenbaum, Kumagai Professor of Computer Science Emeritus, Stanford University research.microsoft.com
Category: Science & Technology
Length: 00:02:14.250
Tags: .


Miragetable: freehand interaction on a projected augmented reality tabletop

MirageTable: Freehand Interaction on a Projected Augmented Reality Tabletop
MirageTable is a novel augmented reality system which enables instant digitization of physical objects, correct 3D perspective views, and interaction using bare hands without gloves or trackers. One can also, use MirageTable to enable 3D teleconferencing which recreates the experience of sitting across the table from someone remote and playing with them in a physically realistic way. Hrvoje Benko - Microsoft Research, USA Ricardo Jota - Inesc-ID, Portugal Andrew D. Wilson - Microsoft Research, USA Presented at SIG CHI 2012 in Austin, TX. May7, 2012
Category: Science & Technology
Length: 00:02:45
Tags: augmented reality .


Lightguide: projected visualizations for hand movement guidance

LightGuide: Projected Visualizations for Hand Movement Guidance
When performing complex gestures that require a specific form or technique, such as an exercise or playing an instrument, we use resources such as visual diagrams or videos to communicate concepts like posture, movement and speed of motion. Without incremental and real-time feedback such as those we receive from an instructor, interpreting and following a set of instructions can be a challenge. LightGuide is a new approach to gesture guidance, where digital hints are projected directly on a user's body. The techniques are focused on guiding a user's hand freely, providing feedback and feed forward queues to help guide users through a range of movements. The queues provide collocated instructions for the movement, along with the body part that is moving on the desired path.
Category: Science & Technology
Length: 00:02:48
Tags: .


Lifebrowser

Lifebrowser
Machine learning is being applied in new ways to understand people and to assist them with daily work and activities. Presented at Microsoft TechForum 2012, Lifebrowser leverages machine learning and reasoning to help people to navigate through large personal stores of their own information, appointments, photos, and activities, including their history with searching and browsing on the Web over days, months, and years. The prototype learns about and infers "memory landmarks" -- events and activities that people would find important and memorable. The system builds a timeline around inferred landmarks, and allows users to zoom in on details of the timeline around inferred landmarks with a "volume control." The system also enables users to perform search and retrieval of content in the context of the landmarks.
Category: Science & Technology
Length: 00:01:58.500
Tags: .


Applied sciences group: mayhem

Applied Sciences Group: Mayhem
A freely available, open source Windows application that lets almost anyone use their computer to do stuff automatically across all their devices. Just select an event (eg your favorite stock hit a trigger value, a change in the weather, say something to your Kinect, etc.) and then select a reaction (eg advance a PowerPoint slide, turn on a lamp, start playing a movie, etc.), and within seconds, you have a connection running. Download and try Mayhem here makemayhem.com
Category: Science & Technology
Length: 00:03:02.250
Tags: .


Rustan leino, microsoft research - program verification: yesterday, today, tomorrow

Rustan Leino, Microsoft Research - Program Verification: Yesterday, Today, Tomorrow
Informatics presents a series of distinguished lectures which aims to present excellent speakers describing intriguing topics in an engaging style. Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research in Redmond, WA, USA. He is a world leader in building automatic program verifiers and is generally known for his work on programming methods and program verification tools. The practice of using formal program verification in everyday software engineering has long been a dream. But it hasn't come into fruition. Will it ever? Or has it already? In this talk, I will, from a personal perspective, highlight some scientific milestones that have enabled us to build verifiers today. I will then do a brief overview of some verification tools in use at Microsoft today, as well as show a technological frontier of what tools are capable of doing today, which might impact education.
Category: Science & Technology
Length: 00:43:53.250
Tags: software engineering .


New experiences in search

New Experiences in Search
This project explores ways for people to experience search that are complementary to fast, relevant search in response to queries. In particular, these concepts focus on new ways to spend time, rather than save time on the Web.
Category: Science & Technology
Length: 00:02:08.250
Tags: .


Microsoft research - display oled 3d interattivi.mp4

Microsoft Research - Display OLED 3D interattivi.mp4
Microsoft Research, la divisione di ricerca di Microsoft, ha realizzato, tramite l'uso del Kinect, ed un LCD trasparente made Samsung, un progetto davvero avveniristico, che consente di utilizzare i movimenti per gestire, spostare, utilizzare un desktop. Il video si commenta da se
Category: Science & Technology
Length: 00:01:21.750
Tags: .


<< | 1 | >>

Ads