25
25
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 25
favorite 0
comment 0
War is seemingly everywhere around us, and not just the war in Iraq. There are culture wars, internet wars, business wars, nasty political wars. This all reflects something strange and new happening in society—a heightened level of conflict up and down the line, as more and more individuals are drawn into and involved in power struggles. It is a confusing and complicated battlefield for us all. The only way to really navigate this new world order is through a solid understanding of strategy,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jon Pincus/Tamara Pesik, Robert Greene
0
0.0
Aug 18, 2019
08/19
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
In line with the insight that “one size” of databases will not fit all application needs, the database community is currently exploring various alternatives to commodity, CPU-based system designs. One particular candidate in this trend are Field-programmable Gate Arrays (FPGAs), programmable logic chips that allow tailor-made hardware designs optimized for specific systems, applications, or even …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
0
0.0
Aug 18, 2019
08/19
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
A substantial amount of work today is accomplished through collaborative activities, which may be open-ended and opportunistic or structured and well defined, with participants with similar skills and knowledge or from different disciplines. Our group has been investigating, and developing tools to support, several different scenarios of collaborative work. On one end of the spectrum, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
0
0.0
Aug 18, 2019
08/19
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
In this talk, I present Lahar, a warehousing system for a general class of imprecise, sequential data called Markovian streams. These imprecise streams are commonly used to model location sequences inferred from noisy sensors such as RFID/GPS, text inferred from spoken audio, etc. In the context of Lahar, I introduce algorithms for supporting sophisticated analytics …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
0
0.0
Aug 18, 2019
08/19
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instruction sets and variants, and IO configurations. Previous high-performance computing systems have scaled in specific cases, but the dynamic nature of modern client and server workloads, coupled with the impossibility of statically optimizing an OS for …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
0
0.0
Aug 19, 2019
08/19
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
7
7.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
Recent advances in graphics processing units (GPUs) have resulted in massively parallel hardware that is easily programmable and widely available in commodity desktop computer systems. GPUs typically use single-instruction, multiple-data (SIMD) pipelines to achieve high performance with minimal area overhead. Scalar threads are grouped together into SIMD batches (sometimes referred to as warps). While SIMD is ideally suited for simple programs, recent GPUs include control flow instructions in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Onur Mutlu, Tor Aamodt
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
The Mars Exploration Rovers are searching for answers about the history of water on Mars. Finding those answers will help scientists determine if life ever was on the Red Planet. The rovers, which landed on Mars last year, have driven over more than three miles of Martian terrain, including areas never before seen on Earth. Come see picture from Mars and learn how these incredible machines were developed, as well as what else is in store for future Mars missions. ©2005 Microsoft Corporation....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Steven Shafer, Mark Maimone
1
1.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
(Joint work with Svetlozar Nestorov, Steve Tuecke, and others) Research and development are becoming increasingly data driven and collaborative. However, taking a systems-level view of the knowledge production process, we find that progress is often hindered by logistical difficulties relating to data access, analysis, discovery, interpretation, and sharing. I argue that many of these difficulties can be overcome by creating an open analytics environment, a hardware +software 'cloud' into which...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Daron Green, Ian Foster
4
4.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Despite decades of research in fault tolerance, commodity operating systems, such as Windows and Linux, continue to crash. In this talk, I will describe a new reliability subsystem for operating systems that prevents the most common cause of crashes, device driver failures, without requiring changes to drivers themselves. To date, the subsystem has been used in Linux to prevent system crashes in the presence of driver failures, recover failed drivers transparently to the OS and applications,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Michael Swift
11
11
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 11
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Gino Sorcinelli
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
This talk will describe the work in image, video and multimedia processing carried out at Multimedia Research Lab at Ryerson University. Our work focuses on four topics: human computer interaction, streaming media, indexing and retrieval, and bioinformatics. I will first give a brief introduction on these topics. I will then present two recent projects: Bimodal human emotion recognition. We investaged language/speaker independent human emotion recognition using audiovisual cues and different...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yong Rui, Ling Guan
4
4.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mark Lewin, Kathrin Berg, Judith Bishop
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
The Cornell project is creating tools for research on social and information networks based on a largely untapped dataset: the Internet Archive's 40-billion page collection of Web pages. These snapshots of the Web have been captured and archived every two months for nearly ten years. The project will eventually make very large portions of this massive collection widely accessible for social science research. The flood of available on-line information – from corporate web pages to news groups...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Smith, Michael Macy
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
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
4
4.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
How do you make sure you can see and understand the critical social processes of your customers-both the millions who have adapted to the emerging social age and the millions who haven't yet made this change? The way in which you and others understand and automate our social processes will shape human beings for centuries: not just your children or your grandchildren but whole societies. Each social age automates the prior age: during the Agricultural Revolution with farming, we 'automated'...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Mary Ann Allison
5
5.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
A surge of recent research in machine learning and statistics has developed new techniques for finding patterns of words in document collections using hierarchical probabilistic models. These models are called 'topic models' because the word patterns often reflect the underlying topics that are combined to form the documents; however topic models also naturally apply to such data as images and biological sequences. After reviewing the basics of topic modeling, I will describe two related lines...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Heckerman, David Blei
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Concurrency in user applications is on the rise. Modern computers have multiple hardware threads per processor and multiple processors per chip, each of which may switch to a different software thread many times per second. Applications of the future will be heavily multithreaded. My research aims to make such programs easier to write and more resilient to the performance programs historically caused by preemption. After surveying work in several areas (including preemption-tolerant locks and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, William N. Scherer III
6
6.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 6
favorite 0
comment 0
Software errors cost the US economy billions of dollars each year. According to reasonable estimates, a third of the cost can be saved through the use of enhanced tools for software quality. My dissertation addresses a key challenge in software verification: how to analyze programs that perform destructive manipulation of linked (or recursive) data structures. I applied the concept of abstraction refinement to the problem of automating shape analysis, static analysis that establishes properties...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Alexey Loginov
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Most current commercial and research efforts focus on making VoIP work as well as the current landline and mobile phone, by improving aspects from QoS to security. As important as these are, it is important to move beyond functional parity with 125-year old technology. Traditionally, the natural next step beyond telephony was adding video, despite a fifty year string of failures. However, what has proven to be far more successful is adding meta data and facilitating user control. In this talk,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Henning Schulzrinne
9
9.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 9
favorite 0
comment 0
In recent years, the Internet has experienced an astronomical increase in the use of specialized content delivery systems, such as peer-to-peer file-sharing systems (e.g., Kazaa, Gnutella, or Napster) and content delivery networks (e.g., Akamai). The sudden popularity of peer-to-peer file-sharing systems has resulted in a flurry of research activity into novel peer-to-peer system designs. Because these systems: (1) are fully distributed, without any infrastructure that can be directly measured,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mike Jones, Stefan Saroiu
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
As more of our activities are carried out online, technologies for protecting our privacy are becoming increasingly important. I will discuss one such technology – anonymity – in the context of peer-to-peer systems. To begin, I will talk about new techniques to study anonymity in this context. Anonymity in existing p2p systems has only been analyzed with respect to known attacks, while more general information-theoretic metrics have only been applied to small-scale systems. I show how to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Helen Wang, Nikita Borisov
7
7.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
People like to look at images and interact with them. We will show how scanned beam technology can either display, or capture images, and that this makes it unique when compared to other display technologies such as LCD,PDP,OLED, or projection. Scanned beam is what is used in laser printers in one dimensional form. We have replaced the polygon by a MEMs device as small as a few millimeters in size that scans in two dimensions at video rates. This small size and simplicity enables a range of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Steven Bathiche and Andy Wilson, John R....
5
5.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
Over the last decade, design of enterprise wireless networks have gone through a radical shift. While initial wisdom pointed to a completely distributed design, increasingly more and more functions are getting aggregated into a centralized architecture. In our recent work, we have focused on four interesting aspects of designing robust enterprise wireless networks: (i) a systems approach to mitigating some of the most challenging scenarios in these wireless environments, — hidden and exposed...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Suman Banerjee
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
It is well known that noise can be introduced into video during capturing, storage and transmission. It is especially bad in dark regions in the video where the signal-to-noise ratio is low. Such noise is typically visually disturbing and can cause serious problem to many video coding systems such as MPEG-1/2/4, and H.261/3/4. This is because many precious bits would need to be spent to encode this undesirable noise in the video. As MPEG-2, MPEG-4, H.263 and H.264 are used widely in consumer...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Oscar Au
1
1.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
The most widely used concurrent software techniques, which are based on threads, monitors (or approximations to monitors), and semaphores, yield incomprehensible and untestable software. Bugs due to race conditions, timing unpredictability, and potential deadlocks can go undetected for a very long time. Unexpected interactions between even loosely coupled software components can destabilize systems. Yet increased parallelism in general-purpose computing (particularly multicore systems),...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Edward A. Lee
19
19
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 19
favorite 0
comment 0
This is the story of two people playing chess in a smoky café in 1916 in Zurich, Switzerland. The two people are Tristan Tzara, the founder of Dada, a radical art movement and V.I. Lenin, the architect of the Russian Revolution. And it’s the most important chess game ever played, because the world is never going to be the same when these guys get up from the table. Tzara goes on to change the look and meaning of the new century through poetry, art, paradox, absurdity, laughter, abolishing...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Andre Codrescu
1
1.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
In this talk, we discuss the widespread use of Web search engines and its potential impact on the ecology of the Web. Recent studies show that a significant portion of Web accesses are referred by search engines. Furthermore, the Web-search market is increasingly dominated by a few key players. What are the implications of this heavy reliance of Web users on search engines in their pursuit of information? For example, given that search engines return currently “popular” pages at the top of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Najork, Junghoo Cho
5
5.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
One thing which will be explained is the evaluation of a determinant originally stated by Sylvester and rediscovered by Mark Kac. The determinant is tridiagonal with x on the diagonal, 1,2,...,N above the diagonal, and N,N-1,...,1 below the diagonal. The polynomials responsible for this evaluation are Krawtchouk, although Kac was unaware that orthogonal polynomials were behind this and Sylvester just stated the values of this determinant for N=1,2,3,4,5,6 and said that the obvious rule...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Henry Cohn, Richard Askey
12
12
Feb 9, 2014
02/14
by
Microsoft Research
audio
eye 12
favorite 0
comment 0
The elements are what we, and everything around us, are made of. But how many elements has anyone actually seen in pure, uncombined form? Based on years of research and photography Gray has created the most complete and visually arresting representation available to the naked eye of every atom in the universe. Organized in order of appearance on the periodic table, each element is represented in a full color photograph, along with facts, figures and stories of the elements as well as data on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Theo Gray
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
'Secure Computation' has been a classic and central question in modern cryptography with a large set of potential applications.Mining large genomic databases, private scientific computation, and studying properties of shared networks are just a few examples.Unfortunately, the majority of the constructions in this area have not made their way into practice, primarily due to their inefficiency. In this talk, I first outline three different approaches toward designing more practical protocols, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kristin Lauter, Payman Mohassel
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Collaboration is an important part of nearly all work and educational settings. In practice, however, collaboration is rarely perfect; numerous problems arise, ranging from social loafing to coordination losses. In this talk, I show how a multidisciplinary approach can help in the design of collaborative technologies. For example, in designing IRC Français, I drew on the educational literature to develop a chat-style environment for foreign language learning. Once placed in the classroom,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Danyel Fisher, Jim Hudson
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Despite the best efforts of programmers, programs still ship with bugs. Many of these bugs manifest as anomalies the heap. This talk discusses two low-overhead synergistic techniques for discovering heap anomalies by exploiting the underlying runtime system. The first, dynamic object sampling, is a technique for selectively tagging objects with characteristics. Summarization graphs provide a compact representation of collecting heap characteristics. We show that these techniques can stand alone...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bjarne Steensgaard, Maria Jump
11
11
Feb 9, 2014
02/14
by
Microsoft Research
audio
eye 11
favorite 0
comment 0
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instruction sets and variants, and IO configurations. Previous high-performance computing systems have scaled in specific cases, but the dynamic nature of modern client and server workloads, coupled with the impossibility of statically optimizing an OS for all workloads and hardware variants pose serious challenges for operating...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Andrew Baumann
7
7.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
The ability to prove equivalence of successive, closely-related versions of a program can be useful for maintaining backward compatibility. This problem has the potential of being easier in practice than functional verification for at least two reasons: First, it circumvents the problem of specifying what the program should do; Second, in many cases it is computationally easier, because it offers various opportunities for abstraction and decomposition that are only relevant in this context. I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shuvendu Lahiri, Ofer Strichman
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Network games play a fundamental role in understanding behaviour in many domains, ranging from communication networks through markets to social networks. In this talk we will study in which individual buyers and sellers trade through intermediaries. Typically, not all buyers and sellers have access to the same intermediaries, and they trade at correspondingly different prices that reflect their relative amounts of power in the market. We model this phenomenon using a game in which buyers,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Eva Tardos
7
7.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Jim Gray
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
9:30 - 10:00 Omer Angel (U. British Columbia) Random planar maps and their limits 10:05 - 10:35 Michael Freedman (Microsoft) Random triangulations as dynamical variables in quantum mechanical models ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Omer Angel, Rico Malvar,...
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Solar energy will be the cheapest source of energy in nearly all markets and locations because PV (photovoltaic) cells can bypass the aging and fragile electricity grid and deliver its power to the end user, fundamentally changing the underlying economics of energy. As the scale of PV production increases and costs continue to decline at historic rates, demand for PV electricity will outpace supply of systems for years to come. Yet, the shift from fossil fuels to solar energy will take place...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Travis...
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Bilingual word alignment, the task of finding word-to-word connections between a sentence and its translation, is an important part of knowledge acquisition for statistical machine translation. An Inversion Transduction Grammar, or ITG, provides an efficient algorithm to align a bilingual sentence pair, by simultaneously parsing the two sentences. However, the simple bracketing grammar usually employed in ITG parsing has no linguistic content. We investigate two methods to inform the ITG parser...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Quirk, Colin Cherry
5
5.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 5
favorite 0
comment 0
Network visualization has been a lively topic for a half century, but the intense challenges from many facets of this problem demand diverse solutions. While the popular force-directed approaches produce appealing presentations for websites and print, their benefits are limited to showing macro features such as clusters. Interactive approaches that give users control of node and link visibility enable them to make more fine-grained analyses that lead to important insights about relationships...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Smith, Ben Shneiderman
0
0.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Does place matter for digital information? If so, how? Research points to the importance of 'place-like' senses of direction, context, connection and control when managing digital information. Support for place in the Personal Project Planner prototype begins with the idea that relevant information can be located with reference to a simple planning document. This document works as a light-weight, editable overlay to existing applications and the stores of information managed by these...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, William Jones
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
As modern computer systems grow in both size and complexity, so has the need for automatic analysis and computer-aided administration of these systems. With recent booms in computing power and efficient algorithms, statistical machine learning methods have become increasingly practical for dealing with the deluge of data generated by these systems. In this talk, I present statistical diagnostic platforms for several large-scale systems, focusing on the problem of selecting fault-related...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yi-Min Wang, Alice Zheng
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Availability of broad-coverage knowledge repositories can potentially enable the next generation of artificial intelligence and natural language understanding applications. An emerging approach to constructing such repositories is by collecting them from volunteer contributors. Such mass collaboration approach allows posing finely constrained or extensively contextual questions as well as extensive validation of knowledge. However, it is most effective only if we can figure out how to guide and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Matthew Richardson, Timothy Chklovski
7
7.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 7
favorite 0
comment 0
Joseph Priestly was a British scientist and theologian, a protégé’ of Benjamin Franklin, friend of Thomas Jefferson and an 18th century radical thinker who played pivotal roles in the invention of ecosystem science and the discovery of oxygen. Priestly also helped found the Unitarian Church in England and deeply influenced the Founding Fathers and their emerging vision of a separate church and state. What makes Priestly and his peers so fascinating is that they were on the cusp of multiple...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Steven...
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Web applications enable much of today's online business including banking,shopping, university admissions, and various governmental activities.Anyone with a web browser can access them, and the data they managetypically has significant value both to the users and to the serviceproviders. Cross-site scripting (XSS) and SQL injection are classes ofattacks in which an attacker interacts with a client or database,respectively, through vulnerabilities in the server thereby gaining thetrust level of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Trishul Chilmbi, Gary Wassermann
1
1.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
Distributed Hash Tables (DHTs) are useful tools for building large scale distributed systems. DHTs provide a hash-table-like interface to map a key to its responsible node among the current set of participating nodes. Many techniques have been developed to reduce DHT lookup latency: proximity routing, parallel lookups, complete routing state, aggressive routing table stabilization and others. While all techniques reduce latency, none is free and they all use bandwidth. Evaluations based solely...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jitu Padhye, Jinyang Li
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
In 1983, Aldous proved that randomization can speedup local search. For example, it reduces the query complexity of local search over grid 1:n] d from Theta (n d-1 ) to O (n d/2 ). It remains open whether randomization helps fixed-point computation. Inspired by this problem and recent advances on equilibrium computation, we have been fascinated by the following question: Is a fixed-point or an equilibrium fundamentally harder to find than a local optimum? In this talk, I will present a tight...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Shang-Hua Teng
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Homology search is a key tool for understanding the role, structure, and biochemical function of genomic sequences. BLAST is the most popular homology search tool and is used to run millions of queries each day. However, evaluating such queries is slow and can take minutes on a modern workstation. Therefore, continuing evolution of BLAST - by improving its algorithms and optimisations - is essential to improve search times in the face of exponentially-increasing collection sizes. In this talk I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Susan Dumais, Michael Cameron
4
4.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Object-oriented design patterns have been one of the most important and successful ideas in software design over the last ten years, and have been well adopted both in industry and academia. A number of open research problems remain regarding patterns, however, including the differences between patterns, variant forms of common patterns, the naming of patterns, the organisation of collections of patterns, the relationships between patterns, and the relationship between objects, designs, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rustan Leino, James Noble
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
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
ONE MILLION. That is the number of ideas Toyota implements each year, and those ideas come from every level in the organization, creating an engine of innovation, which is the greatest source of their competitive advantage. Perhaps this is why Toyota is one of the world’s ten most profitable companies, with a market value of 150 billion plus, more than GM, Ford, Honda, and Volkswagen combined. Toyota’s formula for the “elegant solution” is driven by three principles: Ingenuity in Craft,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Matthew May
8
8.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 8
favorite 0
comment 0
The Space Elevator is a radical technology for accessing space. The concept was first published in 1960 and was subsequently popularized in science fiction stories. After the discovery of carbon nanotubes in 1991 and subsequent measurements of their strength, the Space Elevator concept moved from the realm of science fiction to science possibility. Now there are small groups of researchers and enthusiasts working to develop the concept and further the development of the Space Elevator. What is...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Bryan...
1
1.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 1
favorite 0
comment 0
Current spoken dialogue systems (SDS) typically employ hand-crafted decision networks or flow-charts to determine what action to take at each point in a conversation. The result is a system which is fragile to speech recognition errors and which is unable to adapt and learn from experience. There are two key features needed to build robust and adaptable spoken dialogue systems. Firstly, the system must have an explicit mechanism for modelling uncertainty and, secondly, the system must have an...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tim Paek, Steve Young
6
6.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 6
favorite 0
comment 0
What do global warming, a scientific instrument weighing about 4500 tons and bill collection have in common? The once Berkeley 'hippie chick' turned Software Architect Catharine van Ingen. Catharine has a wealth of experience in hardware, including work with the Alpha machine and MIPS processor teams, and in industrial-strength software for algorithms used to manage water flows, logging data from particle accelerator detectors, and buying Mickey Mouse watches over the Internet. On Behind the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Sisti, Catharine van Ingen
3
3.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
Detecting and correcting errors before run-time is increasingly important in today's ubiquitous computing environment. Decision procedures for first-order logics are widely applicable in design verification and program analysis. However, as existing procedures do not scale up, verification methods sacrifice modeling precision for scalability. Imprecise modeling often results in numerous false alarms and the inability to verify properties that depend on data or timing, in addition to control. I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Ball, Sanjit A. Seshia
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
My research focuses on the problems of reconstruction and visualization of three-dimensional objects from images or video streams. I envision the an end-to-end light portal that can capture and 're-enact' real-world objects or events in a different time or space, as if they were being 'tele-ported' right in front of the viewers. While a full realization of such a light-portal is many years away, I will present some progresses we have made during the last few years. More specifically, I will...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, Ruigang Yang
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
In the framework of model based multidimensional signal processing this lecture deals with a derivation of new parametric models. In the first part we will provide with the limitations of the AR models in the case of signals with periodicities and propose the so called sine-AR models exercised in various real signals [1].In the second part we provide the limitations of the AR models in the 2-D case, an extension of the Schur-Cohn stability test to the 2-D case [7][8][9] and propose new models...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Mohamed Najim
3
3.0
Aug 19, 2019
08/19
by
Microsoft Research
audio
eye 3
favorite 1
comment 0
Azure Academic Pilot – Krishna Kumar, Microsoft
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
A large percentage of recent security problems, such as Cross-site Scripting or SQL injection, is caused by string-based code injection vulnerabilities. Most of these vulnerabilities exist because of implicit code creation through string serialization. Based on an analysis of the vulnerability class’ underlying mechanisms, we propose a general approach to out?t modern programming languages with mandatory means for explicit and secure code generation which provide strict separation between...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Helen Wang, Martin Johns
0
0.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Computer systems design is based on many commonly-held beliefs and heuristics, many of which have never been challenged: Thousands of server farm 'load balancing' policies do exactly that: they aim to balance the load among the servers. But is load balancing necessarily a good thing? Consider a choice between a single machine with speed s, and n identical machines with speed s/n. Which would you choose? Are you always right? Scheduling policies which favor 'short' jobs, like...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes & Ken Church, Mor...
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Michael Gamon, William Lewis, Manuela...
4
4.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Location awareness is an important capability for mobile computing. Yet inexpensive, pervasive positioning—a requirement for wide-scale adoption of location-aware computing—has been elusive. Place Lab is designed to overcome the lack of ubiquity and high-cost in existing location sensing approaches. Place Lab is software allowing commodity laptops, PDAs and cell phones to estimate their position by listening for radio beacons such as 802.11 access points, GSM phone towers, and fixed...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Krumm and Patrick Baudisch, Jeffrey...
0
0.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
Start with n particles at each of k points in the integer lattice Z d , and let each particle perform simple random walk until it reaches an unoccupied site. The law of the resulting random set of occupied sites does not depend on the order in which the walks are performed. We prove that if the distances between the starting points are scaled by n 1/d , the set of occupied sites has a deterministic scaling limit. In two dimensions, the boundary of the limiting shape is an algebraic curve of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Lionel Levine
2
2.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
We present a novel statistical estimation framework for structured models based on the large margin principle underlying support vector machines. We consider standard probabilistic models, such as Markov networks (undirected graphical models) and context free grammars as well as less conventional, combinatorial models such as weighted graph-cuts and matchings. Our framework results in several efficient learning formulations for complex prediction tasks. Fundamentally, we rely on the expressive...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Joshua Goodman, Ben Taskar
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
From the earliest days of portable computing, entrepreneurs and designers have pushed forward relentlessly in a quest to create the perfect device. Their efforts have produced a few fabulous successes and many failures, but they never give up-driven by the basic rule: innovate or die. By tracing the history of this quest, we can learn many valuable lessons for people in any industry: Innovate constantly Create design principles that are timeless Integrate design and engineering Improve quality...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Steve Hamm
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
We are experiencing a new Social Web, where people share, communicate, commiserate, and conflict with each other. As evidenced by systems like Wikipedia, twitter, and del.icio.us, these environments are turning people into social information foragers and sharers. Groups interact to resolve conflicts and jointly make sense of topic areas from 'Obama vs. Clinton' to 'Islam.' PARC's Augmented Social Cognition researchers – who come from cognitive psychology, computer science, HCI, CSCW, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Ed Chi
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
Programming language tools offer powerful mechanisms for improving the safety and reliability of systems code. This talk presents Deputy, a type system and compiler for enforcing type and memory safety in real-world C programs such as Linux device drivers and the Linux kernel itself. Deputy's type system uses dependent types, a language mechanism that allows programmers to describe common C idioms in an intuitive fashion. The Deputy project offers contributions to both systems and programming...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Hawblitzel, Jeremy Condit
6
6.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 6
favorite 0
comment 0
What is virtuosity in technology based art? Will advanced emulations make screen based computing obsolete? Why do we need a PhD in the digital and experimental arts? Could art be critical for the evolution of future computing? Creative arts research is in an ongoing state of becoming. Artists, engineers, designers and scientists are collaborating in unique ways to create digitally-realized images, sounds, performances, and installations never before heard, seen, or experienced. Cutting edge...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Richard Karpen, Shawn...
12
12
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 12
favorite 0
comment 0
Theoretical physicist Smolin argues that the study of physics has lost its way in the past two decades, largely because string theory has captured the imagination of both the public and some prominent physicists. There is one deep flaw he sees in string theory: no part of it has been tested and no one knows how to test it. In fact, the theory appears to come in an infinite number of versions, meaning that no experiment will ever be able to prove it false. Yet it has soaked up the lion’s share...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley and Kim Ricketts, Lee Smolin
4
4.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 4
favorite 0
comment 0
Standing at the crossroads of the ActiveCampus Project and the Campus of the Future Project, it is appropriate to pause and consider what we've learned, and what that foretells. I will argue that a new feature of developing everyday software is 'failure as a normal mode of operation', and that this implies a need for advances in both software development techniques and application design methods. Key lessons will be drawn from several of the projects that I've conducted over the last five...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Evelyne Viegas, William Griswold
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, Mark Lewin, Andre Santos
0
0.0
Nov 24, 2013
11/13
by
Microsoft Research
audio
eye 0
favorite 0
comment 0
In this talk, I'll discuss a research trajectory that we have been pursuing at Intel Research Seattle. This trajectory is 'social, mobile applications' or, perhaps more colloquially, 'applications that don't support a specific work task and can be used just about anywhere.' I'll talk through what this area of research is, the context of the work at Intel Research Seattle into large-scale location systems, and some experiments we have done, are doing, and are planning to do. A significant...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Ian Smith
3
3.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 3
favorite 0
comment 0
In this talk, I will describe CitySense, a NSF-funded collaboration between Harvard University and BBN Technologies to build a city-wide wireless sensor testbed that will be open to the research community. CitySense will consist of 100 Linux-based embedded PCs outfitted with dual 802.11a/b/g radios and various sensors, mounted on streetlights and buildings across a city (our current target is Cambridge, MA). CitySense takes its cue from citywide urban mesh networking projects, but will differ...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Feng Zhao, Matt Welsh
2
2.0
Nov 23, 2013
11/13
by
Microsoft Research
audio
eye 2
favorite 0
comment 0
The polar RF transmitter architecture, Kahn Envelope Elimination and Restoration (EER), aims at achieving linearity, while amplifying non-constant envelope signals efficiently by means of switch mode amplification. A Delta-Sigma Modulator (??) is proposed to be used before the switch mode amplifier of the envelope signal. Due to its noise shaping characteristics, sharp analog filtering is compulsory afterwards. As a consequence, spectral regrowth appears in the output signal fed to antenna....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Darko Kirovski, Jorge Mártires
Live Music Archive
Librivox Free Audio
Metropolitan Museum
Cleveland Museum of Art
Internet Arcade
Console Living Room
Books to Borrow
Open Library
TV News
Understanding 9/11
