5
5.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
Chip Multiprocessors (CMPs) have emerged as the common choice for processor manufacturers to take advantage of CMOS scaling trends that lead to greater numbers of smaller transistors on a single chip. CMP architectures feature multiple simple cores that help mitigate wire delays and energy consumption issues facing complex monolithic designs. However, with the exception of server applications such as database programs, the majority of commonly used applications on desktop machines have yet to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Richard Draves, Suleyman Sair
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Partitioning a graph into two (or more) large pieces while minimizing the size of the “interface” between them is a fundamental combinatorial problem. Graph partitions or separators are central objects of study in the theory of Markov chains, geometric embeddings and are a natural algorithmic primitive in numerous settings, including clustering, divide and conquer approaches, PRAM emulation, VLSI layout, and packet routing in distributed networks. This talk surveys a new geometric view of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Sanjeev Arora
1
1.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
In recent years, there has been a lot of interest in applying ubiquitous computing technology in the home, looking at improving the lives of the home occupants. While most of this smart home research has centered on elder-care (monitoring and supporting of elders to allow them to live independently), there has been little focus on enabling home occupants to take control of the ubicomp technology in their home and, more importantly, to take control of their complicated lives. In this talk, I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Anind Dey
1
1.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Angela Kernan, Katalin Szlavecz
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Your second grade teacher. Your Rabbi. Your dad. Your best friend. Your first boss. Your college wrestling coach. We all have people in our lives who helped us find our way, who helped us become who we are. Eric Liu explores how powerful life teachers change everyone around them—at work, play, and home—and what we can learn from their wisdom and methods. Every one of us, in every social role we play, is a teacher and a mentor. As he entered fatherhood and a phase of changing ambitions, Eric...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Eric Liu
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Numerical programs are imperative programs over integer and real quantities. Such programs are ubiquitous. Common examples include scientific and systems programs, models of control systems such as timed and hybrid automata, and models of biological systems such as biochemical reaction mechanisms and gene regulatory networks. Static analyses of these programs automatically infer properties about the systems' runtime behaviours, for example, the reachability of a target set of states, deadlock...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Sriram Rajamani, Sriram Sankaranarayanan
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shelly Farnham, David Silver
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Multicore systems have become the industry standard from high-end servers, down through desktops and gaming platforms, and finally into handheld devices. While the industry is still scrambling to find the right model to program these systems, compiler techniques for exploiting coarse grain parallelism have noticeably lagged behind. Stream programming is one model that has wide applicability in the multimedia, graphics, and signal processing domains. Streaming models execute as a set of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, Manjunath Kudlur
0
0.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
The need for computational partnerships in biomedical research has increased sharply in recent years as the Human Genome project and other high-throughput biomedical research has underscored important new requirements for data processing, information retrieval, database design, data mining, and quantitative biology. At the National Library of Medicine as well as a number of other Institutes at the National Institutes of Health campus, research funding opportunities increasingly require...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Milton Corn
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
In this talk, I will present a summary of our recent research in understanding how disks fail and how file and storage systems handle such failures. Our findings reveal numerous design and implementation problems in a wide range of both open-source and commercial systems; put simply, file systems are broken (at least when it comes to reliability). I will then present a number of current research directions that we are pursuing in order to build a new generation of robust and reliable storage...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Remzi H. Arpaci-Dusseau
9
9.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 9
favorite 0
comment 0
Data transmissions in Wireless Local Area Networks (WLANs) often suffer from corruptions that arise from the notoriously complex and time-varying signal propagation characteristics of the wireless medium. A number of physical factors such as attenuation and multi-path are particularly prevalent indoors and can lead to high bit-error rates at the link-layer. These in turn lead to packet losses, low throughput, and higher and more variable packet latencies observed at higher layers, impacting the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ranveer Chandra, Allen Miu
5
5.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
While multiprocessor hardware is finally becoming ubiquitous, enticing most programmers to write parallel programs is going to be very challenging. For this reason, I believe that the main problem that confronts computer architects today is designing computer systems that help simplify parallel programming. In this talk I will present two novel, powerful computer architecture primitives that help simplify parallel programming. The first one is Bulk — a hardware framework for performing sets...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Onur Mutlu, Luis Ceze
14
14
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 14
favorite 0
comment 0
This talk describes Secure Virtual Architecture (SVA), an efficient and robust approach to provide a safe execution environment for an entire commodity operating system, such as Linux and its hosted applications. SVA defines a simple, but complete, virtual architecture, implemented via a compiler-based virtual machine. The SVA approach is efficient and requires relatively few changes to the guest OS because it is based on a set of novel, and highly efficient, techniques to enforce strong safety...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, Vikram Adve
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Traditionally, routers in a communication network forward each data packet to a single neighbor. Under this assumption, information in a communication network flows much like a fluid though a system of pipes. But recent work has explored other ways that information can “flow” that a fluid cannot. In a network using network coding , a router can transmit any function of the information it receives; for example, after receiving bytes x and y , it can transmit the function x + y . How much is...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Phil Chou, April Rasala Lehman
0
0.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shelly Farnham, Fernanda Viegas
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Wireless communication today supports heterogeneous wireless devices with a number of different wireless network interfaces (WNICs). The goal of our work is to design novel scheduling and routing algorithms capable of providing good QoS to sensing applications while minimizing the energy consumption of the battery operated nodes. An already deployed High Performance Wireless Research and Educational Network (HPWREN) in San Diego area is a great example of the needs of a heterogeneous sensor...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Tajana Simunic Rosing
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
In the TREC 2005 Spam Evaluation Track, a number of popular spam filters - all owing their heritage to Graham's 'A Plan for Spam' - did quite well. Machine learning techniques reported elsewhere to perform well were hardly represented in the participating filters, and not represented at all in the better results. A non-traditional technique - Prediction by Partial Matching (PPM) - performed exceptionally well, at or near the top of every test. Are the TREC results an anomaly? Is PPM really the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Susan Dumais, Gordon V. Cormack
1
1.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
I will describe progress in IP network traffic matrix inference, arguably one of the most important technical problems in the engineering and management of large-scale IP networks. In particular, I will discuss tomo-gravity (how to compute accurate traffic matrices for large ISPs in seconds), and anomography (how to accurately detect anomalies, at network-level, for large ISPs in seconds). The methods rely only on ubiquitously available link load and configuration data. ©2006 Microsoft...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Albert Greenberg
0
0.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Multitasking is an important part of the way we work, but serious problems result from fragmenting our work with constant interruptions and task switches. Imagine an interface that helps you maintain task focus, keep up to date with changes in secondary tasks, and smoothly transition between tasks. Glanceable peripheral displays can help with these needs by enabling users to quickly and easily monitor updates in various tasks. However, little is known about how to best design visual information...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, George Robertson, Tara Matthews
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
In order to make computing devices more useful to most of us the next challenge we face is that of deriving and integrating location, accurate time and other context information in an easy to use framework. In this talk we present several technologies that have been developed at the University of Maryland to address these issues. For indoor and outdoor location determination we have developed three technologies, PinPoint, Horus, and Nuzzer. PinPoint uses the measurement of the time of flight to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Ashok K. Agrawala
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Context-free languages combine expressiveness with polynomial parsing, making them very appealing for practical applications. In fact, they are possibly the most widely used class of languages in Computer Science. Thus, models of computation which slightly extend context-free models, without losing parsing efficiency, seem to have great potential for applications in fields such as Programming Languages, Formal Verification, Computational Linguistics, and Computational Biology, and are therefore...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yuri Gurevich, Tamar Aizikowitz
1
1.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
Sound capturing in an automotive environment without using a close-talk microphone is a challenging problem. First of all, the noise level inside a car is significantly higher than the noise level in a typical office room, resulting in an extremely low signal-to-noise ratio. Secondly, there exist various noise sources (passing cars, engine noise, whirling wind, and so on) which make the ambient noise highly non-stationary. As a result, conventional noise suppressing schemes - that have been...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ivan Tashev, Byung-Jun Yoon
19
19
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 19
favorite 0
comment 0
There are a range of human reactions to music: from indifference to rapture, from “amusia” (the inability to recognize certain aspects of music) to a synesthetic response that imbues every musical note with its own color and taste. Our sensitivities to music can become dangerous-whether is from songs we simply can’t get out of our heads or the non stop musical hallucinations a surprising number of us experience night and day. Yet far more frequently, music goes right: it can help people...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Oliver...
7
7.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
The National Water Information System (NWIS) is a hydrology data repository with stream flow, water quality, and groundwater observations maintained by the United States Geological Survey (USGS). The database includes 1.5 million monitoring stations in the United States and Puerto Rico, some with nearly 100 years of data. A web service was developed using Visual Basic .Net to better expose this national-scale data resource to client applications within the hydrologic community. One such client...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Jonathan Goodall
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Advances in microprocessor technology have driven growth in the computing industry for decades. However, as transistors reach deep-nanometer scales, manufacturing challenges are causing increased variability in transistor characteristics. This in turn is contributing to slower processor frequency increases, higher power consumption and decreased reliability. Unless remedial action is taken, it is estimated that the gains of an entire technology generation may be lost. In this talk I will...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Engin Ipek, Radu Teodorescu
6
6.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 6
favorite 0
comment 0
I'll talk about two projects I worked on this summer at MSR. The first project was to find local dynamics that lead to balanced outcomes in exchange networks, an equilibrium concept that combines notions of stability and fairness. I'll present a distributed algorithm that computes a balanced outcome on bipartite graphs that builds on the auction algorithm for the assignment problem. The second project was to find local dynamics that lead to equilibrium in the Linear Fisher Market. I'll describe...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Ben Birnbaum
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
The claytronics project is working on realizing programmable matter. Programmable matter is any substance which can be programmed to effect a change in one or more of its physical characteristics. In claytronics, the substance is a collection of individual units, each of which can sense, compute, communicate, and actuate. The long range goal for claytronics is for the collection to behave as a coherent mass and mimic, with high-fidelity and in 3-dimensional solid form, the look, feel, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Stewart Tansley, Seth Copen Goldstein
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
This research in progress study investigates the joint effects of group development and social capital on the effectiveness of a newly formed online community. Despite over four decades of research on the group development-performance relationship and over five decades of research on the network-performance relationship there is still confusion as to why some groups outperform others. For example, linear and non-linear models of group development provide competing explanations on the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Roderick Lee
5
5.0
Feb 9, 2014
02/14
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
It is well-known that methods of statistical physics are applicable to computational optimization problems like the traveling salesman problem. In the random link model, where all pairs of cities receive independent 'distances', several features of the optimum solution have been predicted non-rigorously based on so-called replica symmetry. I will present a rigorous approach where each of several optimization problems leads to a two-person game. The assumptions underlying the replica symmetric...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Johan Wastlund
33
33
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 33
favorite 0
comment 0
Donald Knuth’s “The Art of Computer Programming” on algorithms and their analysis is a classic text in computer science. The image of computer programming that is reflected in this book is one that is highly analytical and mathematical. It calls to mind the figure of a lone developer sitting down at a keyboard to enter esoteric codes into computer. It is difficult to imagine a more “technical” activity; the code must be syntactically correct before it compiles and the algorithms must...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rob DeLine, Susan Elliott Sim
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
People often reveal aspects about themselves in the physical world, through the clothes they wear, the places they go, and the people with whom they associate. Increasingly, people reveal aspects about themselves in the digital world, through mechanisms such as newsgroup postings, social network profiles, personal web sites and weblogs. Ubiquitous Computing makes it increasingly possible to access digital profiles in new physical contexts, allowing people to digitally reveal aspects of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Smith, Joe McCarthy
12
12
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 12
favorite 0
comment 0
The Space Elevator, long considered a favorite topic in science fiction, has recently emerged as a mainstream concept for the development of commercial access to space. What was once thought ‘impossible’ is now being reconsidered - due to several ongoing research areas, including super-strong Material Sciences (Carbon NanoTube Composites) and advances in Robotic, Radar, Laser, PhotoVoltaic and Computing Technologies. The talk will touch briefly on the history of the 100 year old concept,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Stewart Tansley, Michael J. Laine
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
For the next generation of data-management applications, such as sensor-based monitoring, data integration, and information extraction, data processing is the dominant cost. Often, the data driving these applications are uncertain, for example, due to missed, inconsistent, or imprecise sensor readings. Unfortunately, traditional data-management systems provide little or no support for managing uncertainty. To remedy this, my dissertation advocates an approach for data management in which...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Arvind Arasu, Christopher Re
4
4.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Since the tragic events of 9/11 we keep hearing security experts demand tighter restrictions on daily life, while civil libertarians preach we should accept risk in order to avoid an overbearing 'Big Brother' state. Both groups implicitly assume a tradeoff between safety and freedom. But is such a tradeoff necessary? For generations, normal people have grown detached from responsibility for protecting and maintaining civilization, handing ever-more of that task to paid professionals. But on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, David Brin
15
15
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 15
favorite 0
comment 0
It is time to put our most hard-held assumptions about children, parenting and education to the test of current science: and when we do so, we will find how erroneous some of those assumptions can be. For example, did you know: That exposing kids to day to day marital conflict may actually be good for them? That tests for “gifted” schools identify appropriate children only 37% of the time? That young children are more aggressive after watching television shows like “Arthur” than...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Po Bronson
12
12
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 12
favorite 0
comment 0
America’s copyright laws have ceased to perform their original, beneficial role: protecting artists’ creations while allowing them to build on previous creative works. In fact, our system now criminalizes those very actions. For many, new technologies have made it irresistible to flout these unreasonable and ultimately untenable laws. Criminalizing our children and our artists is exactly what our society should not do, and we can end this conflict by embracing a new kind of hybrid economy....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Lawrence Lessig
1
1.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
Consider the following fundamental problem, called r-linear-degeneracy-testing (rLDT): Given an input of n real numbers, do any r of them sum up to 0? This problem is fundamental in computational geometry as it captures a broad notion of degeneracy, that is, input that satisfies a measure-zero property (not being in “general position”). The case r=3 (a.k.a. 3-SUM) is well known and many important computational geometric problems reduce to it. Its exact complexity is not known and considered...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ryan O'Donnell, Nir Ailon
7
7.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
In order to study the effects of the lack of coordination in games, we can compute the ratio between the optimal social function and the social function in a Nash equilibrium, i.e, we can find the price of anarchy of the game. A large price of anarchy implies the need for the central regulation, but a small price of anarchy does not necessarily imply a good performance in lack of coordination for several reasons. One reason is that we do not know if players will converge to a Nash equilibrium....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes and Kamal Jain, Vahab S....
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
The Internet is huge, complex, and rapidly evolving. Understanding how today's Internet-scale systems work is challenging, but crucial when designing the networks and applications of tomorrow. In this talk, I will describe how I have used a combination of measurement, modeling, and analysis to understand two Internet-scale systems: (1) peer-to-peer (P2P) file-sharing systems and their workloads, and (2) indirection routing systems that recover from Internet path failures. In part because of the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alec Wolman, Krishna Gummadi
29
29
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 29
favorite 0
comment 0
Why has one game, alone among the thousands of games invented and played throughout human history, not only survived but thrived within every culture it has touched? What is it about its thirty-two figurative pieces, moving about its sixty-four black and white squares according to very simple rules, that has captivated people for nearly 1,500 years? Why has it driven some of its greatest players into paranoia and madness, and yet is hailed as a metaphor for society and influenced military...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley and Kim Ricketts, David...
17
17
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 17
favorite 0
comment 0
How many days were there in 1752? Is there a year 0? When was there a February 30th? Why did an aluminum company lose $1,000,000 on New Year's Eve? Who thinks 1900 was a leap year? Why is Passover late? Why does Ramadan end early? Does the Chinese calendar follow a 19 year cycle? Why do the Hindus skip days and months? Who would pay for a Martian calendar? This talk will answer these ten questions and explain the underpinnings of the major types of calendars: solar (Gregorian, Julian, Persian,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yuri Gurevich, Nachum Dershowitz
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Angela Kernan, Patrick E. Mantey
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Advances in computing and interface technologies have made possible the development of a new generation of human computer interfaces that enable natural face to face conversational interaction with virtual humans—3D computer characters that speak, emote and gesture much like human experts in specific task domains. The key challenges in this emerging field involve designing systems that are both engaging and effective; that is, the virtual teacher or therapist is able to engage the clients in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero & Li Deng, Ron Cole, Wayne...
7
7.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
Occasionally the office of the CTO, David Vaskevitch, sits down with some of Microsoft's most influential technical employees to capture their stories. Instead of examining specific technologies, BTC takes a closer look at the person, the career and what it takes to produce world-class software. ©2005 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Sisti, Anders Hejlsberg
0
0.0
movies
eye 0
favorite 0
comment 0
Medical practitioners and experts examined challenges in research and innovation at a day-long forum hosted by Research!America in Washington, DC. In this panel, women researchers spoke about professional challenges they encountered because of their sex. Sponsor: Research!America
Topics: Women Medical Practitioners & Experts in Research Discuss Professional Challenges, Television...
Source: Comcast Cable
1
1.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
In a conversation, much can be sensed from the person's eye gaze—interested or uninterested, attentive or preoccupied, focused or distracted, engaged or unmindful, wanting to continue or trying to get away etc. With the advance of new eye tracking technology it might be possible to use eye-gaze information in conversations with computers. The research presented in this talk firstly investigates if there are any eye-gaze patterns present in natural dialogues that can be detected and used by a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Horvitz, Pernilla Qvarfordt
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typing) has been successfully applied to declarative programs, and to restricted imperative programs; but it has been elusive for object-based programs. The main challenge is that objects may mutate and they may be aliased. In this paper, we show how safety policies of programs can be analysed by tracking size properties of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Manuel Fahndrich, Corneliu Popeea
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Fix m,n positive integers. Problem: Compute efficiently a C m function F on R n , whose graph passes through (or close to) finitely many given points in R^(n+1), with the C m norm of F (nearly) as small as possible. (Joint work with Bo'az Klartag.) ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Assaf Naor, Charles Fefferman
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
How do you know your test suite is 'good enough'? One of the best ways to tell is mutation testing . Mutation testing seeds artificial defects (mutations) into a program and checks whether your test suite finds them. If it does not, this means your test suite is not adequate yet. Despite its effectiveness, mutation testing has two issues. First, it requires large computing resources to re-run the test suite again and again. Second, and this is worse, a mutation to the program can keep the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Zimmermann, Andreas Zeller
131
131
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 131
favorite 0
comment 0
The U.S. is currently in a global competition for science and engineering talent. Only a small fraction of our populace pursues careers as scientists or engineers, in direct contrast with emerging countries for which 50% or more of college students follow a science or engineering track. The quality of our science and engineering education system is also poor, if international test scores are to be believed. U.S. military and economic dominance is at stake, as outlined starkly by the Hart-Rudman...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Merrilea...
