NewsBot

<img alt="" height="1" width="1"> Ross Rubin Editorial on Linux Internet Devices Palm Infocenter - May 7, 2008 "It is no coincidence that, mirroring Microsoft's product gap between Windows Mobile and Windows Vista, the historically hazy and suddenly hot device space ... More... View All Our Microsoft Related Feeds

http://ms-os.com/ BetaNews <img alt="" height="1" width="1"> Fixing Windows Vista, Part 3: Top Troubleshooting Tools ZDNet - May 6, 2008 ... even blog about it), because everyone knows that Vista sucks. Right? I believe you have every right to expect excellent performance from Windows Vista, ... XP SP3 Glitch a 'Gotcha' For ... InternetNews.com FAQ: What you should know before installing Windows XP SP3 Computerworld Hot off the wire: Windows XP SP3 available from Windows Update ZDNet Blogs BetaNews - HEXUS.channel all 137 news articles More... View All Our Microsoft Related Feeds

If so - User Intention and Interaction for Improving Search Effectiveness Search Summit 2007 7/18/2007 (Computational) Linguistics and the Web: Hot research questions HenryS. Thompson, Ph. D., Reader in Artificial Intelligence and CognitiveScience, School of Informatics, University of Edinburgh 9/28/2007 1. Vision: Extraordinary Computing Experiences & 2. Robots for the Masses: Fiction or Reality Paolo Pirjanian, chief scientist, Evolution Robotics, Inc October 6, 2004 10 Rules for Strategic Innovators Vijay Govindarajan and Chris Trimble December 15, 2005 20 Questions for Startup Success The factors and disciplines which are required for startup success. 2002 Internet2 Fall Conference: Advanced Networks The 2002 Internet2 Fall Conference in Los Angeles and USC. 2004 ARTBOT Competition Find out if robots can design artistic masterpieces in this creative showcase for JHU engineering students. 2006 Indo-US Frontiers of Engineering Symposium Promo 2D, 3D and Surface Texture Analysis and Synthesis Yizhou Yu, Department of Computer Science, University of Illinois at Urbana-Champaign May 11, 2005 3D Reconstruction Researcherswith the University of Kentucky seek the technological goal ofdeveloping a 3D display that does not require special glasses. 50/50 by 2020 -- Living Anita's Vision and the Importance of Gender Equity in Technology Dr. Telle Whitney, President and CEO, Anita Borg Institute for Women and Technology August 11, 2004 802.11i Security Analysis: Can We Build a Secure WLAN? Changhua He, Ph.D student, Stanford University March 24, 2005 A Building Without Walls The Levine Science Research Center. A CLP Approach to Modelling Systems Joxan Jaffar, Singapore National University November 15, 2004 A Combinatorial Characterization of the Testable Graph Properties: It's All About Regularity Asaf Shapira, Ph.D. candidate, School of Computer Science, Tel Aviv University January 27, 2006 A Crowd of One: The Future of Individual Identity John Henry Clippinger, senior fellow, Berkman Center for Internet & Society, Harvard Law School April 24, 2007 A Day in the Life: Erin, Kiera, Crystal The software industry is drawing larger numbers of women graduates into the field. A Day in the Life: Tessa, Kiera, Crystal A healthy job market and software industry innovations are attracting the attention of high school and college-age students. A Decidable Class of Sequentially Consistent Protocols A Dynamic Pari-Mutuel Market for Hedging, Wagering, and Information Aggregation A Family of License Languages Dines Bjorner, Professor, Author 2/25/2008 A Firm's Metamorphosis Art Gensler, FAIA, takes the stage to tell the Gensler story. A Framework for Runtime Verification of Concurrent Programs A Framework for Unrestricted Whole-Program Optimization A Frequency Analysis of Light Transport A Game Developer's Perspective On Parallelism Andrew Brownsword, EA BlackBox 8/22/2007 A General Linear Camera Model with Applications A Genetic Toolkit for the Synthesis and Assembly of Materials for Electronics and Energy Renowned materials chemist Dr. Angela Belcher explains her idea to draw upon natural processes to create new nanomaterials. A Grand Challenge on Network Information Theory Jeffrey G. Andrews, Ph. D., Professor, Department of Electrical and Computer Engineering, University of Texas at Austin 8/21/2007 A Hardware-Based CIL-Machine A High-Level Fusion Method to Fuse Disparate High-Resolution Airborne Sensor Date for Change-Detection Application A Large-Margin Framework for Learning Structured Prediction Models A Learning-based Approach to Summarization A Life Decoded: My Genome, My Life J. Craig Venter, founder, chairman and president, J. Craig Venter Institute November 16, 2007 A Low-Level Approach to Reuse for Programming-Language Infrastructure A Lower Bound for Cooperative Broadcast in the Presence of Noise A Multi-Corpus Evaluation of Dynamic Markov Coding for Spam Filtering Gordon V. Cormack, professor, Computer Science, University of Waterloo April 3, 2006 ANovel Approach to Sequence Analysis Using Assign-SBTTM SoftwareImproves Heterozygous Base Calling: Implications for Re-sequencing, SNPdetection and SNP scoring A P-Adic Algorithm to Compute the Hilbert Class Polynomial Reinier Broker, Ph.D., University of Calgary January 29, 2007 A Passion for Calendars -- From the Maya to Mars Nachum Dershowitz, Professor, Computer Science, Tel Aviv University 6/14/2007 A Platform for Computational Comparative Genomics on the Web A Real-World Test-bed for Mobile Ad hoc Networks: Methodology, Experimentations, Simulation and Results. Per Gunningberg, Ph. D., Professor, Computer Communication, Uppsala University 6/25/2007 A Rewriting Logic Sampler Jose Meseguer, Ph.D., professor, Computer Science, University of Illinois at Urbana-Champaign (UIUC) August 21, 2006 A Sample of Monte Carlo Methods in Robotics and Vision A Scalable, Component-driven OS Microsoft Windows development of a scalable, component-driven OS. A Search Engine for Natural Language Applications A Search Engine for the Real World, or, A Top-Down Approach to Vision Kevin Murphy, University of British Columbia August 11, 2006 A Simple Solution to the $k$-core Problem Malwina Luczak, Ph.D., Department of Mathematics, London School of Economics December 7, 2006 A Stateless Core Approach for Scalable Internet Services A Systemic Approach to Appraisal: Identifying Opinion and Sentiment in Text A Theory of Similarity Functions for Learning and Clustering A Thin-Client Application Framework for Network-Centric Computing A Unification of Menger's and Edmonds' Theorems and Network Coding Theorems A Variant of Lehmer's Conjecture Kumar Murty, Ph.D., professor, Mathematics, University of Toronto February 27, 2007 A Virtualization Architecture for Wireless Network Cards A Voice-Enabled Procedure Navigator for the International Space Station A Web Interface to Large, High-Resolution X-Ray Computed Tomography Data Sets Humphries is a Research Scientist in the Geology Department at theUniversity of Texas and Project Manger for the Digital Library ofVertebrate Morphology (or Digimorph Project), an NSF funded DigitalLibrary Project. His background is in biology and biologicalinformatics. A World Filled With Cameras: Security at the Cost of Freedom? Or Can We Have Both? Abilene Update Update on the Abilene Network, including a report on the completion of the 10-Gbps upgrade. Abilene Update - Fall 2004 Update on the Abilene Network. Abstract State Machines Abstraction Methods for Liveness Amir Pnueli, Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University 1/14/2008 Abstractions for event-driven design Bertrand Meyer, Professor, Software Engineering, ETH Zurich, Chief Architect, Eiffel Software 2/07/2008 Accelerated Democracy: How Technology Might Change Voting Jason Tester, co-founder, Stanford Persuasive Technology Lab October 12, 2004 Accelerating Architectural-Level Full-System Multiprocessor Simulations Using FPGAs Eric Chung, PhD student (2007), Electrical and Computer Engineering, Carnegie Mellon University October 24, 2007 Accessible Information Technology in Education: Building Toward A Better Future Making information technology accessible in education. Achieving Channel Capacity Against Malicious Errors Achieving channel capacity against malicious errors. Acoustic Analysis and Modeling of Pathological Voices BeneditoGuimarães Aguiar Neto, Ph.D., full professor, Academic Unit ofElectrical Engineering, Federal University of Campina Grande (UFCG) November 19, 2007 Active Pages: Intelligent Memory for Commodity Systems Activity Recognition: Context Aware Applications Description of a personal portable device that can determine a user'sactivity and make it available to their context-aware applications. ADACS: An Automated System for Part Finishing Adaptation=Vulnerability under RoQ Attacks Mina Guirguis, Ph.D. candidate, research fellow, Department of Computer Science, Boston University May 11, 2006 Adaptive Algorithms:: Price-Setting & Overlay Routing Sequential decision-making with partial information: applications forrouting in overlay networks and pricing in e-commerce. Addressing the Memory Bottleneck in Packet Processing Systems Jayaram Mudigonda, Ph.D., post doctoral fellow, Computer Sciences, University of Texas at Austin May 1, 2006 Advanced Applications-Video: Extending the Reach of Digital Video Advanced Applications-Video: Securing Collaborative Applications: Video, VoD, and VoIP Securing Collaborative Applications: Video, VoD, and VoIP Advanced Internet Systems with Professor Dan Weld Advancing Computers Computers used to teach children. Advancing Women in Science and Engineering at the University of Michigan Abigail Stewart, Psychology and Women's Studies, University of Michigan May 26, 2005 AEGIS Platform Architecture: Tamper-Resistant Computing Combinatorial landscapes described through finite metric spaces and algorithms. Aggregating Imprecise Data in OLAP: Principles and Algorithms A presentation of OLAP: a multi-dimensional data model. Air Safety: Increasing Risk? Alex St. John, CEO and co-founder, WildTangent Algorithmic Foundations of P2P and Wireless Networks: Scheduling Complexity, Selfishness, and Evil Attacks Thomas Moscibroda, Ph.D. candidate, Computer Science, ETH Zurich, Switzerland April 19, 2006 Algorithmic Performance in Complex Networks Milena Mihail, Ph.D., associate professor, College of Computing, Georgia Tech November 6, 2006 Algorithms for Clustering Algorithms for Data Management and Migration Samir Khuller, Ph.D., professor and associate chair, Department of Computer Science, University of Maryland June 22, 2006 Algorithms for Path-Planning Robotic path-planning problems resolved with approximation algorithms. All I Really Need to Know I Learned from Google KnowItAll: addressing the problem of accumulating data sets from the web. All Rise: Somebodies, Nobodies and the Politics of Dignity Robert Fuller, Ph.D., author July 20, 2006 Amazon.com: Differentiating with Technology Amazon.com CEO discusses the site's technology. American Vulgar: The Politics of Manipulation Versus the Culture of Awareness Robert Grudin, Ph.D., author October 3, 2006 An Abstract Decision Procedure for Algebraic Data Types Clark Barrett, Ph.D., New York University November 6, 2006 An Axiomatic Approach to Ranking Systems Moshe Tennenholtz, professor, Industrial Engineering and Management, Technion February 15, 2007 An Evolution in Supercomputing: System X at Virginia Tech A look at construction of the world's fastest university supercomputer. An Examination of User Behaviour During Web Information Tasks Melanie Kellar, recently completed PhD, Faculty of Computer Science, Dalhousie University April 17, 2007 An Interface to Support Multi-faceted Information Seeking and Targeted Relevance Feedback David Harper, research professor, School of Computing, The Robert Gordon University April 12, 2006 An Introduction to Chapel: Cray Cascade An Introduction to Venture Capital An Overview of Recent CMU Research on Model-Based Face Processing Analysis of a Mess: Schools, Computers, Training, and Workforce Development in the Digital Economy Analysis of Multiagent Teams using Distributed POMDPs Ranjit Nair, Ph.D. candidate, University of Southern California May 27, 2004 Analyzing Mobile Ad Hoc Network Protocols via Probabilistic Model Checking Marta Kwiatkowska, School of Computer Science, University ofBirmingham; Midlands e-Science Centre of Excellence in Modelling andAnalysis of Large Complex Systems April 26, 2005 Animating Human Motion Discussion on control algorithms. Anne Kiremidjian - Professor of Civil Engineering Anomalous Diffusion and Polya Recurrence Domokos Szász, Mathematical Institute of the Budapest, University of Technology June 16, 2004 Anomaly Detection in Large Networks using Approximation Techniques Nina Taft, Senior Research Scientist, Intel Research Berkeley 10/1/2007 Anonymity in Peer-to-Peer Systems Nikita Borisov, Ph.D. student at UC Berkeley May 2, 2005 AOP for Distributed and Concurrent Applications Mario Suedholt, Ph.D., associated professor, Computer Science, Ecole des Mines de Nantes, France October 30, 2006 Applications of Approximate Inference Techniques for Optimal Design in Self-Assembly and Automated Programming Vladimir Jojic, Ph.D. candidate, Computer Science, University of Toronto March 22, 2006 Applications of First-Order Integer Arithmetic to the Verification of Programs with Lists Radu Iosif, Ph.D., French National Research Center (CNRS); full-time researcher, Verimag laboratory (Grenoble, France) August 22, 2006 Applied Geometry Optimized geometric approximations of 3-D surfaces. Applied Nonparametric Bayes and Statistical Machine Learning Michael Jordan, University of California, Berkeley March 29, 2005 Applying Data Mining Techniques to Computer Systems Zhenmin Li, Ph.D. candidate, Computer Science, University of Illinois at Urbana-Champaign March 9, 2006 Approximability of the Unique Coverage Problem Mohammad R. Salavatipour, Ph.D., Department of Computing Science, University of Alberta August 18, 2005 Approximate Inference Techniques for Identity Uncertainty Hanna Pasula, Ph.D., research associate, Computer Science, University of Washington July 6, 2006 Approximate Replication TRAPP, the new framework for data replication. Approximation Algorithms for Discrete Stochastic Optimization Problems David Shmoys, Professor of Operations Research and Information Engineering as well as of Computer Science, Cornell University 1/17/2008 Approximation Algorithms for Embedding with Extra Information and Ordinal Relaxation Erik Demaine, assistant professor, computer science, MIT August 26, 2004 Approximation Algorithms for some Clustering and Classification Problems Approximation Algorithms for Unique Games Yury Makarychev, graduate student, Princeton University January 31, 2007 Architectural Redesign for Internet Protocols The clean-slate approach necessary to build the Internet for the next century. Arctic Region Supercomputer Center The University of Alaska features explanations and demonstrations ofthe multiple uses of the Supercomputer Center to study the earth. Are Aspects Really Needed For Aspect-Oriented Programming? Kevin Sullivan, associate professor, VEF Faculty Fellow, Computer Science, University of Virginia May 6, 2005 Art-Based Modeling for Computer Graphics ASM Models using AsmL Changes in software development. ASM View of Abstract Cryptography Davor Runje January 25, 2005 Aspect.NET - An Aspect-Oriented Programming Tool for .NET Assisted Cognition Computer systems that enhance human cognition tasks. Astronomical Observatory: A Tour From the Kitt Peak National Observatory YaleUniversity astronomy professor Charles Bailyn gives a guided tour ofthe two research telescopes operated by the WIYN Consortium at the KittPeak National Observatory in Arizona. Asymptotic Enumeration of Spanning Trees via Traces and Random Walks Russell Lyons, Indiana University May 24, 2004 Atomics for a Real-time Virtual Machine Jan Vitek, Purdue University January 24, 2006 Attack-Resistant Algorithms for Massive Networks Jared Saia, Ph.D., assistant professor, University of New Mexico August 14, 2006 Attacks On and From P2P File-Sharing Systems Keith Ross, Ph.D., Leonard J. Shustek Chair professor, Computer Science, Polytechnic University September 1, 2006 Automated Reconstruction of 3D City Models from Laser Scans and Camera Images Christian Frueh, Ph.D., University of California at Berkeley February 9, 2005 Automated Revision of Distributed and Real-Time Programs Borzoo Bonakdarpour, Ph.D. Candidate, Computer Science, Michigan State University 3/07/2008 Automated Termination Analysis of Programs using Term Rewriting Peter Schneider-Kamp, Researcher, RWTH Aachen University, Aachen, Germany 1/31/2008 Automatic Failure Diagnosis in Large-Scale Systems Alice X. Zheng, Ph.D. candidate, UC Berkeley November 22, 2004 Automatic I/O Prefetching Hints through Speculative Execution Automatic Identification and Classification of Protein Domains Elon Portugaly, Ph.D. student, Hebrew University of Jerusalem April 18, 2005 Automatic Software Testing The Korat technique provides high quality test suites with excellent code coverage for data structure libraries. Automatic Tools for Building Secure Systems Automatically Proving the Termination of C Programs Dr. Byron Cook, researcher, Microsoft Research-Cambridge October 3, 2005 Automating the Construction of Compiler Heuristics using Machine Learning Mark Stephenson, Ph.D. candidate, Computer Science and Artificial Intelligence Laboratory, MIT May 9, 2006 Automating the Design of Visualizations Automatizability and Learnability Mikhail Alekhnovich, Ph.D., member, Institute for Advanced Study January 20, 2005 Autonomous Computing Average-Case Analysis for Combinatorial Problems Featuring Subset Sums and Stochastic Spanning Trees Abraham Flaxman, Ph.D. student, Mathematical Sciences, Carnegie Mellon University February 1, 2006 Back Channels: Power and the Active Audience Bayesian Inference of Grammars Prof. Mark Johnson February 13, 2007 Bayesian Methods for Unsupervised Language Learning Sharon Goldwater, Ph. D., Postdoctoral Scholar, Stanford University 7/16/2007 Bayesian topic models Tom Griffiths, Assistant Professor, Psychology and Cognitive Science, UC Berkeley 6/11/2007 Because It Is There: Kili the Right Way Ken Stober, Christi Masi, and Elirehema Peter Lema August 10, 2004 Behavior-Based Malware Detection Mihai Christodorescu, doctoral candidate, Computer Science, University of Wisconsin, Madison April 19, 2007 Behind the Code with Anders Hejlsberg Barbara Fox interviews Anders Hejlsberg, an industry luminary and chiefdesigner of the C# programming language and a key participant in thedevelopment of Microsoft's .NET Framework. Behind the Code with Catharine van Ingen Catharinehas a wealth of experience in hardware, including work with the Alphamachine and MIPS processor teams, and in industrial-strength softwarefor algorithms used to manage water flows, logging data from particleaccelerator detectors, and buying Mickey Mouse watches over theInternet. Behind the Code with Jim Gray Barbara Fox interviews Jim Gray, a 'Technical Fellow' in the ScalableServers Research Group (Sky Server, Terra Server) and manager ofMicrosoft's Bay Area Research Center (BARC). Behind the Code with Mohsen Agsen Conversationwith Mohsen Agsen about the challenges that Microsoft has faced in thepast and how the industry handles the challenges of today. Behind the Code with Patrick Dussud Join Microsoft Technical Fellow Patrick Dussud for a look at his work in a range of programming languages and systems. Behind the Code with Peter Spiro Discover how Peter Spiro got a job at Microsoft to help build the team that drove SQL Server to the huge success it is today. Behind the Code with Rico Mariani Software Architect Rico Mariani shares experiences about his past 18 years at Microsoft. Behind the Code with Rob Short Rob Short, vice president overseeing development of windows kernel and virtualization technologies, Microsoft September 15, 2006 Behind the Code with Terry Crowley Terry Crowley shares his reflections of the Internet and his expectations of where technology is leading us. Behind the Code with Tony Williams Tony Williams, co-inventor of COM, software architect, Microsoft June 13, 2006 Belief Updating in Spoken Language Interfaces Dan Bohus, Ph.D. student, Computer Science Department, Carnegie Mellon University February 19, 2007 Bergman Complexes, Coxeter Arrangements, and Graph Associahedra Lauren Williams, final-year math graduate student, MIT January 18, 2005 BETA.NET Better k-best Parsing, Hypergraphs, and Dynamic Programming Liang Huang, third year Ph.D. student, University of Pennsylvania December 7, 2005 Beyond Brainstorming: Eight Secrets for Generating Big, Bold, Creative and Profitable Ideas John Sweeney, motivational speaker and improv comedian April 19, 2005 Beyond Hubs and Authorities: Web Resource Discovery and Segmentation Beyond the Information Superhighway: Searching for the Next Policy Metaphor BigTable: A System for Distributed Structured Storage Basic design, implementation, and current applications of Google's BigTable system. Bill Gates Unplugged: On Software, Innovation, Entrepreneurship, and Giving Back Microsoftco-founder Bill Gates takes the final stop on a tour of sixuniversities as he transitions from Microsoft to the Bill and MelindaGates Foundation. Billions: Selling to the New Chinese Consumer Tom Doctoroff, CEO, Greater China, J. Walter Thompson March 16, 2006 Bimanual and Multi Degree-of-Freedom Interaction for Computer Graphics Bio-Workflow Using Biztalk Bioinformatics: The Search for Non-Coding RNA Bioinformatics applications for creating algorithms to speed covariancemodels for the discovery of non-coding RNA molecules. Biomal Human Emotion Recognition and Peer Steaming Projects at Ryerson Multimedia Research Lab Ling Guan, Electrical and Computer Engineering, Ryerson University, Canada January 17, 2005 Biomimetic MicroElectric Systems for Restoring Sight to the Blind Mark Humayun discusses advances in restoring sight to the blind. Bionic and Bio-ionic Neural Interfaces Examines two approaches to developing retinal prosthesis. Blending Biology and Robotics Johns Hopkins partners in spinal cord research which may someday restore the ability to walk. Blink: The Power of Thinking Without Thinking Malcolm Gladwell, staff writer, The New Yorker Magazine January 21, 2005 Boolean Methods for Arithmetic Reasoning First-order logics involving Boolean arithmetic to increase detection and correction of computing errors. Boosting Energy-Efficiency, Performance, and Fault-Tolerance by Leveraging Unused System Resources Hai Huang, Ph.D. candidate, Electrical Engineering and Computer Science, University of Michigan March 20, 2006 Borealis: Distributed Stream Processing Engines Software architecture and algorithms in Borealis, a distributed stream processing engine. Botball, ITS, Higher Education Bond Initiative A new sport, transportation systems and bond initiatives. Brain Computer Interface Systems: Progress and Opportunities Brendan Allison, Ph.D., research associate, Cognitive Electrophysiology Lab, The Scripps Research Institute June 26, 2006 Brazil: After Neo-Liberalism Breaking Development Barriers with "Better Than Worst-Case" Design Todd Austin, associate professor, Electrical Engineering and Computer Science, University of Michigan December 12, 2006 Breaking the Frame: Novel Strategies for Interactive Computer Graphics Benjamin Watson and David Luebke July 20, 2004 Bridges on the Brink What we know/need to know about structurally deficient bridges. Bridging Art and Architecture: How Emergent Digital Media Have Transformed Our Landscapes Christian Moeller, Design/Media Arts, University of California at Los Angeles January 19, 2005 Bridging Computer Science and Behavioral Science: Research Examples Joseph A. Konstan, Computer Science and Engineering, University of Minnesota July 20, 2004 Bringing Sensing to the Masses: Infrastructure Mediated Sensing Bringing the Social Component to the Web Search Summit 2007 7/18/2007 Broadband Innovation and the Role of Customer Experience Customer opportunities evolving from broadband innovation. Broadcast Encryption, Traitor Tracing, Watermarking, Dynamic Traitor Tracing, and Other Inhabitants of the Crypto Zoo Broadening Computer and Robotics Education and Participation for Women Innovativerobotics and computer curriculum and competitions inspire young girlsto pursue education and research in robotics and artificialintelligence. Browsing Around a Digital Library Bud Albers, CTO, Getty Images Build the Future: UW Computer Science & Engineering Building a Modern Library Highlights of the construction to build a new and true university library. Building a Safer Helmet Johns Hopkins students test a new kind of whitewater helmet. Building a Tractor for the Mobility Impaired Engineering students at Johns Hopkins modify a tractor to help mobility impaired park volunteers. Building Better Places -- Second Life, Collaborative Creation, and 5 Missing Pieces Cory Ondrejka, vice president, Product Development, Second Life August 17, 2005 Building Great Relationships Gensler discusses how they have built great relationships with clients. Building Quantitative Models in Software Engineering: Understanding, Predicting, and Controlling Software Quality Lionel C. Briand, visiting professor, Simula Research Laboratories, Oslo, Norway March 6, 2006 Building the Future at the University of Washington A tour of the Computer Science & Engineering laboratory-intensive research facility. Building Trustworthy Mesh Networks: Why Security and Fault-Tolerance Must Be Considered Together Cristina Nita-Rotaru, assistant professor, Department of Computer Science, Purdue University February 13, 2006 Bulldozers, Termites, and Chainsaws: Finding a Gradual Path to Parallelism Doug Burger, Ph. D., Associate Professor of Computer Sciences, University of Texas at Austin 10/4/2007 Calculi for Access Control Calculi for improving access control and security in computer systems. Can Parallel Computing Finally Impact Mainstream Computing? Uzi Vishkin, member, University of Maryland Institute for Advanced Computer Studies March 23, 2005 Can We Get Ahead of the Crackers? New approaches to cyber-security. Candidate Talk: A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications Emina Torlak, Ph. D. Candidate, Computer Science MIT 4/10/2008 Candidate Talk: A Discriminative Kernel-based Model to Rank Images from Text Queries David Grangier, Ph. D. Candidate, Ecole Polytechnique Federale de Lausanne, Switzerland 2/12/2008 Candidate Talk: Accelerating High Performance Computing Applications with Reconfigurable Logic Yongfeng Gu, PhD candidate, Department of Electrical and Computer Engineering, Boston University 5/29/2007 Candidate talk: Computing Nash Equilibria Constantinos Daskalakis, Ph. D., 1/18/2008 Candidate Talk: Critical percolation on finite graphs Asaf Nachmias, Mathematics Ph.D. student, UC Berkeley 1/4/2008 Candidate talk: Domain Adaptation with Structural Correspondence Learning John Blitzer, Ph.D. Student, University of Pennsylvania 8/27/2007 Candidate Talk: Dynamics of real networks: patterns and algorithms Jure Leskovec, Ph. D. Candidate, MachineLearning Department, Carnegie Mellon University 3/17/2008 Candidate Talk: Enhancing the P racticality and R eachability of Interactive Technology Johnny Chung Lee, Ph. D Graduate Student, Human-Computer Interaction Institute, Carnegie Mellon University 2/11/2008 Candidate Talk: Fault Localization in Large-Scale Computing Systems Naoya Maruyama, Ph.D. Candidate, Tokyo Institute of Technology, Japan 2/12/2008 Candidate talk: Knowledge Analysis towards Automatic Question Answering for Discussion Forums Donghui Feng 3/03/2008 Candidate Talk: New Algorithmic Ideas for Search, Ads, and Recommendations. Yury Lifshits , Post Doc, Cal Tech 2/08/2008 Candidate Talk: On the Evaluation and Extraction of Thread-Level Parallelism in Ordinary Programs Arun Kejariwal, doctoral student, Center for Embedded Computer Systems, University of California, Irvine (UCI) November 19, 2007 Candidate Talk: Query Lower Bounds for Matroids via Group Representations Nicholas Harvey, Ph.D. Student, Theoretical Computer Science, MIT 1/28/2008 Candidate Talk: Reducing the Risk of Pragmatic Reuse Tasks Reid Holmes, Ph. D. Candidate, University of Calgary 3/25/2008 Candidate Talk: Securing the Web With Decentralized Information Flow Control Maxwell Krohn, Ph. D. Candidate, Computer Science, MIT 3/27/2008 Candidate Talk: Software and Architectural Techniques for Cache Leakage Reduction in Nanometer-scale Embedded Systems Maziar Goudarzi, Ph. D., Guest Associate Professor, System LSI Research Center, Kyushu University, Fukuoka, Japan 4/17/2008 Candidate Talk: The Limiting Shape of Internal DLA with Multiple Sources Lionel Levine, Ph. D 1/30/2008 Candidate Talk: The Quest for the Minimal Hardness Assumptions Iftach Haitner, Ph. D. Student, Weizmann Institute of Science 3/21/2008 Candidate Talk: Virgil: Objects on the Head of a Pin Ben L. Titzer, PhD candidate, Computer Science, UCLA April 25, 2007 Capacity and Fairness Issues in Enterprise-class Wireless Mesh Networks Ashish Raniwala, doctoral candidate, Experimental Computer Systems Lab, State University of New York - Stony Brook April 26, 2006 CAPM: A Library Robot Project A robot retrieves and scans remote print materials. Capture and Recreation of Spatial Audio for HCI and Virtual Reality Category Ramani Duraiswami, Computer Science and the Institute for Advanced Computer Studies, University of Maryland August 24, 2005 Capturing Life Experiences: Automated Video Capture Automated video capture of unique lifetime events for robust data analysis. Capturing People Adrian Hilton, professor, Computer Vision & Graphics, University of Surrey, UK June 12, 2006 CasJobs and MyDB for the Virtual Observatory: Towards Distributed Asynchronous Web Services for Data Intensive Science Casual Games Discussion Annakaisa Kultima, Researcher, University of Tampere, Finland 9/24/2007 Center for Manufacturing See how the University of Kentucky is helping sustain the manufacturing industry through research, education and outreach. Change or Die: Overcoming the Five Myths of Change at Work and in Life Alan Deutschman, senior writer, Fast Company; author January 18, 2007 Change the Way You See Everything: Asset-Based Thinking Kathryn D. Cramer, Ph.D., licensed psychologist and founder, The Cramer Institute August 17, 2006 Characterizing Generic Global Rigidity Steven J. Gortler, Professor, Computer Science, Harvard University 8/23/2007 Characterizing Truthful Market Design Elan Pavlov, Ph.D., post-doc, MIT Media Lab January 22, 2007 Charting a New Course How Gensler manages growth and remains true to its distinct culture. Checking Consistency of Concurrent Data Types on Relaxed Memory Models Sebastian Burckhardt, Ph.D. student, Computer Science, University of Pennsylvania February 26, 2007 Checking Well-Definedness of XQueries Jan Van den Bussche, Theoretical Computer Science, Limburgs Universitair Centrum October 20, 2004 Chico MacMurtrie - Robotic Performer China's Challenges: Domestic Dilemmas vs.Global Ambitions David Bachman, Chinese Politics and Foreign Policy, University of Washington September 22, 2005 Chinasite.com CII/FIATECH Consortium CitySense: A Vision for an Urban-Scale Wireless Sensor Testbed Matt Welsh, Associate Professor, Computer Science, Harvard University 3/27/2008 Class Morphing: Safely Shaping a Class in the Image of Others Yannis Smaragdakis, Associate Professor, University of Oregon 3/03/2008 Client-Side Echo Cancellation for Multi-Party Audio Conferencing Junlin Li, third year PhD student, School of Electrical and Computer Engineering, Georgia Institute of Technology August 16, 2006 Clustering Algorithms for Perceptual Image Hashing Vishal Monga, Ph.D. candidate, University of Texas, Austin February 2, 2005 Clustering Gene Expression Data CMPLE - Melting the Ice Between Cores Suleyman Sair, Ph.D., assistant professor, Electrical and Computer Engineering, North Carolina State University May 24, 2006 Coding Techniques for Data-Storage Systems Yuval Cassuto, Ph. D Graduate, Electrical Engineering, Caltech 12/11/2007 Coding Theory: Survey of Recent Progress and Open Questions Madhu Sudan, Ph.D., professor, Computer Science, MIT August 15, 2005 Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity Joel Friedman, professor, University of British Columbia April 20, 2006 Collaboration in Directly Mediated Interaction Environments Collaborative Algorithms for a Class of Clustered Wireless Networks Ananth Subramanian, teaching fellow, UCLA July 19, 2004 Collaborative Systems Collaborative planning agents and systems for human-computer communication. Combinatorial Approach to Data Mining Yury Lifshits, Ph. D, Postdoc, Caltech 12/3/2007 Combining Econometric and Text Mining Approaches for Measuring the Effect of Online Information Exchange Search Summit 2007 7/18/2007 Combining Static and Dynamic Analysis for Bug Finding Christoph Csallner, PhD Student, Georgia Tech 8/28/2007 Common Sense Reasoning for Interactive Applications Henry Lieberman and Alex Faaborg December 1, 2004 Communicating Engineering & Technology to the General Public A discussion of the importance of explaining engineering and technology to the general public. Communication Effects in Economic Environments Liad Blumrosen, Engineering and Computer Science, Hebrew University of Jerusalem January 26, 2006 Communication Technology: Interruption and Overload Laura Dabbish is a doctoral candidate in the Human-Computer Interaction Institute at Carnegie Mellon University March 31, 2006 Communications for Mobile People Community Systems: The World Online Community Through Pictures Compiler and Microarchitectural Techniques for Leakage Power Reduction AviralShrivastava, Assistant Professor, Department of Computer Science andEngineering, Arizona State University, Sarma Vrudhula 9/14/2007 Compiler-Directed Synthesis of Hardware Accelerators Complex Arithmetic for Hardware Implementation: Division and Square Root Dr. Milos D. Ercegovac, professor and chair, UCLA Computer Science Department April 20, 2004 Component Programming with Object-Oriented Signals Sean McDirmid, Ph.D. student, University of Utah February 17, 2005 Computational Aspects of Biological Information Workshop Session 1 Luay Nakhleh 12/6/2007 Computational Aspects of Biological Information Workshop Session 1 Tony Hey, Dan Gusfield 12/5/2007 Computational Aspects of Biological Information Workshop Session 2 Li-San Wang 12/6/2007 Computational Aspects of Biological Information Workshop Session 3 Sebastien Roch 12/6/2007 Computational Aspects of Biological Information Workshop Session 3 Joseph Felsenstein 12/5/2007 Computational Aspects of Biological Information Workshop Session 4 David Heckerman, Jonathan Carlson 12/5/2007 Computational Aspects of Biological Information Workshop Session 5 Richard Karp 12/6/2007 Computational Aspects of Biological Information Workshop Session 5 Vladimir Minin 12/5/2007 Computational Biology: Comparing Vertebrate Genomes Comparing genome sequences has emerged as one of the most important areas of computational biology. Computational Biology: Genomics Michal Linial presents a technique that automatically clusters protein sequences. Computational Data Grid for Scientific and Biomedical Applications Computational Discovery of Genetic Regulatory Networks Computational History in Action: Discovering Gutenberg Blaise Agüera y Arcas, CTO and President of Sand Codex LLC October 8, 2004 Computational History in Action: Gutenberg’s Printing Process Computational research methods used to rediscover the technologies thatcreated the first typographic print-press books. Computational methods for the detection of positive and lineage-specific selection from genomic sequence data Adam Siepel, Assistant Professor, Department of Biological Statistics and Computational Biology, Cornell University 3/03/2008 Computational Prediction of RNA Motifs in Bacteria Computational tools for the discovery of RNA molecules. Computational Sciences: The Third Pillar of the Empirical Sciences Find out about development of computational sciences and its impact on today's world with GMU Professor Rainald Lohner. Computational Textiles and the Democratization of Ubiquitous Computing Advancementsthat make e-textiles accessible to new audiences, describingdevelopments in e-textile engineering, design and applications that arehelping to democratize ubiquitous computing. Computationally-Intensive Biomedical Research Projects Supported by the National Institutes of Health Computer Aided Instruction in Graduate Compiler Designer Based on the C# Compiler Source Code and a Hide And Show Approach Computer Animation Capstone Design Animation Mira and the Wind Computer Architecture Discussion about using Basic Block Distribution Analysis. Computer Consciousness Ed Fredkin, professor, Carnegie Mellon University; visiting professor, MIT June 17, 2004 Computer Graphics Computer Graphics: Communications Media Harnessing the computer in communications media. Computer Science and Engineering Distinguished Lecturer Series: Interactive Machine Learning New directions for machine learning algorithms that might learn faster in the face of user behavior. Computer Science and Engineering Distinguished Lecturer Series: The Web the Way You Want It Computer Science and Engineering Distinguished Lecturer: Declarative Networking: "What" is Next The design and implementation of declarative languages and runtime systems for network protocol specification. Computer Science and Engineering Distinguished Lecturer: Why The Algorithm Might Soon Be The Only Game in Town Algorithms are even more powerful than customarily believed, with their true potential yet unleashed. Computer Science Clinic and Research at Harvey Mudd College Robert Keller, Csilla and Walt Foley professor, Computer Science, Harvey Mudd College; director, Computer Science Clinic January 3, 2007 Computer Science Education A discussion of object-oriented programming and other computer science education assignments. Computer Science for the Future John E. Hopcroft, Engineering and Applied Mathematics in Computer Science, Cornell University January 4, 2006 Computer Science Programming Languages New developments in launguage research. Computer Science: Past, Present and Future Ed Lazowska discusses advances in computing research. Computer Science: Still Crazy After All These Years The past and future of computer science. Computer Security Awareness Video Contest ResearchChannel and Educause invite college students to enter a video contest for computer security awareness. Computer Technology: Solving Public Health Challenges The potential of computer technology to improve healthcare in poor settings. Computers Versus Common Sense Doug Lenat, Ph.D., CEO, Cycorp December 6, 2006 Computers, Cultures and Constructions: Locating the Learner in the Con/Text of Digital Video Cases Ricki Goldman-Segall discusses rich media in her work with children. Computing Hilbert Modular Forms over Real Quadratic Fields Lassina Dembele, post-doc, University of Calgary June 20, 2006 Computing over the Reals: Where Turing Meets Newton Unifying two traditions of computation: computer science and numerical analysis. Computing Structural Biology Transforming structural biology from an experimental to a computational science. Computing with Selfish Agents Nicole Immorlica, Computer Science and Artificial Intelligence Laboratory, MIT January 28, 2005 Concave Utility Functions on Finite Sets Yakar Kannai, Ph.D. February 1, 2005 Concurrency Simple and Safe? State of SCOOP Bertrand Meyer, Professor, Software Engineering, ETH Zurich, Chief Architect, Eiffel Software 2/07/2008 Conditional Models for Combining Diverse Knowledge Sources in Information Retrieval Rong Yan, doctoral candidate, Language Technologies Institute, Carnegie Mellon University March 29, 2006 Conference XP - Access Grid Update Tom Uram November 3, 2006 Conference XP - Automated Tracking of Student Behaviors Leen-Kiat Soh, Computer Science and Engineering, University of Nebraska November 3, 2006 Conference XP - Brasil Report Daniel Maia, researcher, Medicine College, University of Sao Paulo November 2, 2006 Conference XP - Close Todd Needham, Microsoft November 3, 2006 Conference XP - Conference XP Futures Discussion Ivan Judson, Montana State University November 3, 2006 Conference XP - Internet2 Collaboration Programs Jonathan Tyman, Internet2 November 3, 2006 Conference XP - Project Update Todd Needham, Microsoft November 2, 2006 Conference XP - Release 4.0 Technical Update Jason Van Eaton, software development engineer, Microsoft Research November 2, 2006 Conference XP - ResearchChannel Update and Real Time HD Encoding Discussion Michael Wellings, director, Engineering, ResearchChannel November 2, 2006 Conference XP - SenseCam Stella Chan November 3, 2006 Conference XP - Tutored Video Instruction with Conference XP and Classroom Presenter Richard Anderson, Fred Videon and Bob Riddle November 2, 2006 Conference XP - Virrtual Product Development Team Update Gino Sorcinelli November 2, 2006 Conference XP - Welcome Kevin Schofield November 2, 2006 Configuration, Customization and Appropriation: Integrating Technology and Practice in the Placeless Documents System Confronting Reality: Doing What Matters to Get Things Done Right Larry Bossidy, retired chairman of the board and CEO of Honeywell International December 10, 2004 Congestion Games: Optimization in Competition Heiko Röglin, Ph. D. Student, RWTH Aachen, Germany 7/2/2007 Connecting the Pacific NW Consolidarity: Exploring Patterns of Social Commonality Among File Directories at Work John C. Tang 5/30/2007 Constructing and Evaluating Sensor-Based Statistical Models of Human Interruptibility James Fogarty, Ph.D. student, School of Computer Science, Carnegie Mellon University February 8, 2006 Constructing Broad-Coverage Knowledge Repositories by Collecting Knowledge from Volunteer Contributors Dr. Timothy Chklovski, Information Sciences Institute, University of Southern California February 18, 2005 Constructing Code: Expanders List decoding and expander-based code construction. Content Delivery in the Modern Internet Continuous Coordination: Bridging Formal and Informal Coordination with Palantir AnitaSarma, Ph.D. student, Computer Science, Donald Bren School ofInformation and Computer Sciences, University of California, Irvine February 16, 2007 Continuous Queries over Data Streams Arvind Arasu, Ph.D. candidate, Stanford University May 26, 2005 Controlling Overlap in Content-Oriented XML Retrieval Charlie Clarke, School of Computer Science, University of Waterloo February 21, 2005 Convergence in Competitive Games Vahab S. Mirrokni, Applied Mathematics, Massachusetts Institute of Technology July 14, 2004 Convex Geometry of Orbits Greg Blekherman, graduate student, Michigan January 17, 2005 Cooperative Data and Computation Partitioning for Distributed Architectures Michael Chu, member, Compiler Creating CustomProcessors research group, EECS Department, University of Michigan May 10, 2007 Copyright and P2P: Global Collision, National Responses Patricia Akester, Ph.D., Centre for Intellectual Property & Information Law, University of Cambridge March 2, 2007 Cords: 3D Curve Primitives that Wrap Around Geometry Corner Percolation and the Square Root of 17 Gabor Pete, UC Berkeley January 24, 2006 Corporate Innovation Strategies in a Global Economy Xerox's Sophie Vandebroek discusses industry/government/university collaborations for the future. Correlation Decay in Statistical Physics and Applications to Counting Problems Cost-Sharing Mechanisms for Network Design Stefano Leonardi January 26, 2005 Counterexamples in the Central Limit Theory of Markov Chains Olle Haggstrom, Ph.D., Professor, Mathematical Statistics, Chalmers, Sweden 9/5/2007 Counting Independent Sets Up to the Tree Threshold Dror Weitz, postdoc at DIMACS March 24, 2006 Crashing the Gate: Netroots, Grassroots, and the Rise of People-Powered Politics Markos Zúniga and Jerome Armstrong April 7, 2006 Creating Diverse Ensemble Classifiers to Reduce Supervision Prem Melville, Ph.D. candidate, University of Texas at Austin August 30, 2005 Creating the Personal Supercomputer CrisisGrid: Critical Infrastructure and Informatics for Disaster Response CrisisGrid: Critical Infrastructure and Informatics for Disaster Response. Critical Infrastructure Protection Internet and computer industry response to cybercrime. Crosslinguistic Resources: Scalable Precision Grammars Rapid prototyping of scalable precision grammars of any human language using LinGO. CU@USC with Professor Khoshnevis CU@USC host Jill Schneiderman speaks with Viterbi Engineering ProfessorBehrokh Khoshnevis concerning research in construction methods. Thispremier college interview program is produced by the University ofSouthern California. Culture and Prosperity: The Truth About Markets John Kay, Britain's leading economist; columnist, Financial Times June 1, 2004 Customizing the Computational Capabilities of Processors Nate Clark, member, Compilers Creating Custom Processors, University of Michigan April 18, 2007 Cyber-Infrastructure Report: Implications for the Future of Scientific Research Panel discussion of cyber-infrastructure. Cyber-Infrastructure Security: Information Sharing and Analysis Centers Overview and purpose for the IT-ISAC. Cyberinfrastructure for E-Science Cyclone: Programming-Language Technology for Reliable Software Research and development of reliable software systems. Cyclone: Safe Programming Cyclone project brings safety to c programming. Dartmouth Digital Dorm Martin Redman and David Kotz October 20, 2004 Data Abstraction without Control Abstraction in Software Model Checking Michael Jones, assistant professor, Computer Science Department, Brigham Young University June 22, 2006 Data Harvesting: A Random Coding Approach to Rapid Dissemination and Efficient Storage of Data Supratim Deb, Laboratory for Information and Decision Systems, MIT September 2, 2004 Data Mining Challenges of data mining in e-business. Data Mining & Machine Learning to Empower Business Strategy Oliver Downs, founder, Analytical Insights, Inc. October 7, 2004 Data Streaming Algorithms for Efficient and Accurate Estimation of Flow Size Distribution Abhishek Kumar, Computer Science, Georgia Institute of Technology September 3, 2004 Data Structure Repair Data Structures & Algorithms Data-driven methods in Description-based Audio Information Processing Shiva Sundaram Ph. D. candidate in the Signal and Image Processing Institute (SIPI) at USC 4/11/2008 Data-Driven Texture and Motion Explores algorithms used for video-based action recognition and motion transfer. Databases in Grid Applications: Locally in Distribution Dataflow Architectures Prototype dataflow architectures blended with conventional, imperative programming languages. Dealing with Darwin: How Great Companies Innovate at Every Phase of their Evolution Geoffrey A. Moore, author of four bestselling business books March 7, 2006 Dealing with Data: Classification, Clustering and Ranking Dengyong Zhou, Machine Learning, NEC Laboratories America April 11, 2006 Debian: Anatomy of an Open Source Project Ian Murdock, chief technology officer, Linux Foundation February 20, 2007 Debugging Concurrent Software by Context-Bounded Analysis A new static analysis technique based on model checking for automatically finding errors in concurrent software. Decision Procedures for Recursive Data Structures with Integer Arithmetic Ting Zhang, Ph.D. student, Computer Science, Stanford University April 27, 2006 Declarative Querying of Sensor Networks Through Automatic Service Planning Deep Economy: The Wealth of Communities and the Durable Future Bill McKiibben, American environmentalist and writer March 21, 2007 Deep Photo and Gigapixel Images Johannes Kopf, Ph.D. Candidate, University of Konstanz 2/25/2008 Defying Categorization: DXARTS Delegatable Anonymous Credentials Melissa Chase, Ph. D Candidate, Computer Science, Brown University 2/08/2008 Dense Triangle-Free Digraphs Blair D. Sullivan, fourth year Ph.D. student (2007), Mathematics Department, Princeton University April 27, 2007 Dependable Messaging in Sensor Networks Hongwei Zhang, Ph.D. student, Department of Computer Science and Engineering, The Ohio State University March 30, 2006 Dependable Software via Automated Verification Wei-Ngan Chin, Ph.D., associate professor, Department of Computer Science, National University of Singapore November 20, 2007 Deputy: Dependent Types for Safe Systems Software Jeremy Condit, graduate student, University of California, Berkeley March 13, 2007 Dereverberation Suppression for Improved Speech Recognition and Human Perception Design and development of a content-based music search engine Doug Turnbull, Graduate Student, UC San Diego 1/11/2008 Design for Highly Complex Programmable Logic Architectures Design Methods: Distributed Systems A discussion including IC design and embedded software programming. Designing Ad Auctions: An Algorithmic Perspective Designing Adaptive Embedded Systems Devika Subramanian, Ph.D., professor, Computer Science, Rice University Designing and Evaluating Glanceable Peripheral Displays Tara Matthews, Ph.D. candidate, Electrical Engineering and Computer Science (EECS), University of California at Berkeley February 22, 2007 Designing Appropriate Computing Technologies for the Rural Developing World The development of CAM, a toolkit for mobile phone data collection, in the rural developing world. Designing Extensible IP Router Software Designing for Fluent Interaction Human-computer interaction design using ubiquitous computing. Designing for Intimacy: Interaction Research at the Human Communication Technologies (HCT) Laboratory Designing Interactions Bill Moggridge, founder, IEO December 12, 2006 Designing User Interfaces Deterministic Network Coding by Matrix Completion Developing GEMSTONE, A Next Generation Cyberinfrastructure Developing Machine Translation Prototypes for Languages with Limited Resources Learning-based approaches for developing MT prototypes for languages with limited resources. Developing Physically-Based, Dynamic Vocal Tract Models Using ArtiSynth Sidney Fels and John Lloyd, University of British Columbia January 24, 2007 Developing the Best Life and Death Solver in Go Akihiro Kishimoto, Department of Media Architecture, Future University-Hakodate, Japan November 13, 2007 Developmental Programming and Distributed Robot Control Rod Grupen, Ph. D., Professor, Laboratory for Perceptual Robotics, University of Massachusetts 8/13/2007 Developments in Dynamic Graph Algorithms Liam Roditty, Ph.D. student, Tel-Aviv University February 20, 2006 Dialogue Session: Worklife Balance and the Retention of Talent Digital Cash Digital Michelangelo Digital Photography: Bhutan Expedition Digital camera print processing and archival web storage and display. Digital Simplicity through Activity-Based Computing Recent advances that make it possible for small, on-body sensors to assist people with everyday activities. Digital Simplicity Through Activity-Based Computing James Landay, associate professor, Computer Science & Engineering, University of Washington February 8, 2007 Digital Video Transport System (DVTS) for High Quality Video Telemicrscopy Using the Internet2 A discussion on the comparison of older technology with the currentDVTS implementation and a demonstration of DVTS telemicroscopy. Digitizing Petroglyphs in Puerto Rico Journey to Puerto Rico to watch as a university team preserves ancient carvings with 3D imaging technology. Directions and Challenges in Integrated Circuit Scaling Director of MIT's Auto-ID Laboratory and a Professor of Information Engineering John Williams, director, MIT's Auto-ID Laboratory; professor, Information Engineering April 18, 2007 Discovering Heap Anomalies in the Wild Maria Jump, Ph. D. Candidate, Department of Computer Sciences, The University of Texas at Austin 10/11/2007 Discrete Global Minimization Algorithms How global optima can be found as the limit of a set of purely combinatorial problems. Discrete Mathematics: Expanders Graphs & Eigenvalues The study of expander graphs, discrete mathematics and theoretical computer science. Discriminative Graphical Models for Structured Data Prediction Yan Liu, doctoral candidate, Language Technologies Institute, Carnegie Mellon University March 30, 2006 Discriminative Learning and Spanning Tree Algorithms for Dependency Parsing Dispersion of Mass and the Complexity of Randomized Algorithms Santosh Vempala, associate professor, Mathematics Department, Massachusetts Institute of Technology June 20, 2006 Display System Performance Distance Learning in Rural Third World Communities Technologies for distance learning in rural, third world communities. Distinguished Faculty Lecture: Charles Bostian Alumni Distinguished Professor Charles Bostian speaks on modern radioresearch as part of the Distinguished Faculty Lectures at VirginiaTech. Distinguishing Chambers of the Moment Polytope Distributed Hash Tables for Large-Scale Cooperative Applications Distributed Implementations of Vickrey-Clarke-Groves Mechanisms Distributed Multi-Robot Exploration and Mapping Distributed Router Fabrics Statistical modeling language for representing heterogeneous biological entities. Distributed Spectrum Access: Protocols and Prototype Ashu Sabharwal, Director, Center for Multimedia Communications, Rice University 7/26/2007 Distributed Speculative Execution: A Programming Model for Reliability and Increased Performance Cristian Tapus, Ph.D., postdoctoral scholar, Center for Advanced Computing Research (CACR) April 18, 2007 DNA Self-assembly and Computer System Fabrication DNA Time Series Expression Data Algorithms to analyze time series expression data. Doing a Mao and the Xray Paradox: How Can Humanity Overcome Organization? Max McKeown, management advisor to top companies and innovative speaker November 30, 2006 DopplerSource: .NET Framework for Accessing Doppler Radar Data Drainage Forum: The Allison Experience Dreaming in Code: Two Dozen Programmers, Three Years, 4,732 Bugs and One Quest for Transcendent Software Scott Rosenberg, OpenSalon January 23, 2007 DRM and MSFT: A Product No Customer Wants DTN Routing and Capacity Enhancement in an Outdoor Mobile Environment Mark Corner, Ph.D., University of Massachusetts-Amherst and Brian Neil Levine, Ph.D., University of Massachusetts Amherst October 27, 2006 Dynamic Algebraic Algorithms Piotr Sankowski, Ph. D., Post-Doc Fellow, University of Rome "La Sapienza", Italy 8/16/2007 Dynamic Inference of Abstract Types MichaelD. Ernst, associate professor, Electrical Engineering and ComputerScience, Computer Science and Artificial Intelligence Lab,Massachusetts Institute of Technology December 12, 2006 Dynamic Invariant Detection Dynamic Languages for .NET Dynamic Mechanism Design Ilya Segal, Roy and Betty Anderson Professor, Humanities and Sciences, Stanford University 1/3/2008 Dynamic Point Samples for Free-Viewpoint Video Dynamic Semantics of Programming Languages and Applications to Testing Dynamics and Equilibria: Communication Complexity and Adaptive Heuristics Sergiu Hart, Dept of Mathematics, Dept of Economics, The Hebrew University of Jerusalem February 7, 2007 Dynamics of Real-World Networks Dynamics, Emergence and Simulation Will Wright, creator of SimCity and Spore November 7, 2007 Dynamosaics: Dynamic Mosaics with Non-Chronological Time E-Commerce e-Science and Cyberinfrastructure Middleware services for academic research networks collaborations that are creating the new e-Infrastructure. ECRS - Experimental Controlled Research System Edgenet 2006 - A Data Model for Policy Anders Vinberg June 2, 2006 Edgenet 2006 - Customer Insight: CSO's Perspective on Network Policies Mark Ashida, general manager, Windows Enterprise Networking June 1, 2006 Edgenet 2006 - Experiences Managing Networks in IBM HPC Grid Infrastructure and Enterprise VoIP Dinesh Verma June 2, 2006 Edgenet 2006 - Experimental Design for Flexible Network Diagnosis Yin Zhang, University of Texas at Austin June 2, 2006 Edgenet 2006 - Is An Office Without Wires Feasible? Sharad Agarwal June 2, 2006 Edgenet 2006 - Issues in Enterprise Networks Terry Gray, Jim Pepin and Mark Poepping June 1, 2006 Edgenet 2006 - Keynote - Model-Based Management of Distributed Services Kirill Tatarinov, VP Microsoft Windows & Enterprise Management Division June 1, 2006 Edgenet 2006 - Managing Corporate WiFi Networks Using DAIR Jitu Padhye June 1, 2006 Edgenet 2006 - Measuring and Monitoring Microsoft's Enterprise Network Richard Mortier June 1, 2006 Edgenet 2006 - New Directions in Enterprise Network Management Aditya Akella June 2, 2006 Edgenet 2006 - Problems and Solutions in Enterprise Network Control David A. Maltz, Ph.D., Carnegie Mellon University June 2, 2006 Edgenet 2006 - Pushing Group Communication to the Edge Will Enable Radically New Distributed Applications Ken Birman June 2, 2006 Edgenet 2006 - The Case for Comprehensive Diagnostics Chris DiFatta and Mark Poepping June 1, 2006 Edgenet 2006 - The Protection Problem in Enterprise Networks Martin Casado, Ph.D. student, Computer Science, Stanford University June 1, 2006 Edgenet 2006 - Virtual LAN as a Network Control Mechanism Tzi-cker Chiueh June 2, 2006 Edgenet 2006 - Wireless Network Measurement Challenges David Kotz, Ph.D., Computer Science, Dartmouth College June 1, 2006 Effect of Collusion in Some Network Games A look at how self-interested colluding players effect network solutions. Effective and Efficient User Interaction for Long Queries Giridhar Kumaran, Ph.D. Candidate, Department of Computer Science, University of Massachusetts Amherst 2/05/2008 Effective Scientific Data Management through Provenance Collection Yogesh Simmhan, Doctoral Candidate, Indiana University 6/12/2007 Effective Security Practices: Present and Future Internet2 Spring 2004 Member Meeting Effective Security Practices: Present and Future Effective Static Race Detection Effective Static Race Detection for Java Mayur Naik, fourth year Ph.D. student, Computer Science Department, Stanford University April 5, 2007 Effective Use of Microsoft Word for Academic Writing Efficient Actions in Dynamic Auction Environment Efficient and Robust Routing in the Presence of Computing Interests Efficient Data Dissemination in Bandwidth-Asymmetric P2P Networks Thinh Nguyen, Ph.D., Oregon State University April 28, 2006 Electric Energy Systems Computational methods for the real time simulation of energy systems. Elliptic Nets with Applications to Cryptography Katherine Stange, student, Brown University January 30, 2007 Email Activity Management: A Machine Learning Approach Nicholas Kushmerick, senior lecturer, School of Computer Science & Informatics, University College Dublin, Ireland February 27, 2006 Embedded Formal Verification Assistants in the .NET Framework Embedded Networked Sensing Redux Embedded Networked Sensing Systems Applying sensor networks. Embedded Systems Embedded system resource management. Embedded Systems Capstone Design with Professor Gaetano Boriello Emotion Recognition in Speech Signal: Experimental Study, Development and Applications Empirical Evaluation of Agile Software Development Processes: Industrial Case Studies Employing Decision Procedures for Automatic Program Analysis and Verification of Heap-Manipulating Programs Greta Yorsh, Ph.D. candidate, School of Computer Science, Tel Aviv University March 19, 2007 Enabling Internet Malware Investigation and Defense Using Virtualization Xuxian Jiang, Ph.D. candidate, Computer Science, Purdue University April 4, 2006 Enabling NASA's New Vision for Space Exploration through Human-Centered Intelligent Systems Enabling What-If Explorations in Distributed Systems Eno Thereska, PhD student, Carnegie Mellon University March 26, 2007 End-User Control in the Smart Home Anind Dey, assistant professor, Human-Computer Interaction Institute, Carnegie Mellon University June 2, 2006 Ender?s Game for Science and Engineering: Games for Real, for Now, or we Lose the Brain War Merrilea Mayo, Ph.D., Director of the Government-University-Industry Research Roundtable, National Academies 8/21/2007 Energy and Bandwidth Efficiency in Wireless Networks Wayne Stark, Ph.D., professor, Electrical Engineering and Computer Science, University of Michigan October 2, 2006 Energy Conservation Techniques in Mobile Delay-Tolerant Sensor Networks Chris Sadler, Ph.D. student, Princeton University March 21, 2007 Energy Efficient System Design and Utilization Energy Minimization for Computer Vision via Graph Cuts Engineer in Space Engineering A Secure Future Research directions for national security technology applications. Engineering Achievements of the 20th Century and Challenges for the 21st The impact of engineering on society. Engineering Complex Systems and Complex Systems Engineering Julio Ottino discusses engineering complex systems and complex systems engineering. Engineering Education in the 21st Century NAE President and UVa Professor William A. Wulf calls for a change in the way we educate our nation’s future engineers. EngineeringPerformance Using Control Theory: A One Day How-To: Control Analysisand Real world applications (Various publications) Joe Hellerstein 5/14/2007 Engineering Performance Using Control Theory: A One Day How-To: Introduction and Theory Part 1 Joe Hellerstein 5/14/2007 Engineering Performance Using Control Theory: A One Day How-To: Theory Part 2 Joe Hellerstein 5/14/2007 Enhanced Aerial Lift Controller Enhancing Creativity Through Toolkits Leveraging toolkits to create innovative interfaces. Enhancing Security of Real-World Systems with a Better Understanding of the Threats Enhancing Text Representation Through Knowledge-Based Feature Generation Evgeniy Gabrilovich, Ph.D. student, Computer Science Department, Technion Israel Institute of Technology June 15, 2006 Enhancing the Markov Chain Monte Carlo Method Nayantara Bhatnagar, Ph.D candidate, Algorithms, Combinatorics and Optimization program, Georgia Tech January 18, 2007 Entanglement Entropy in Extended Systems Enterprise Authority and Signet Privilege Management Enterprise Authority and Signet Privilege Management. Entity and Relation Types in Web Search: Annotation, Indexing and Scoring Techniques Search Summit 2007 7/18/2007 Entity Search: Are You Searching for What You Want? Search Summit 2007 7/18/2007 Entrepreneurship Environmental Science from Satellites Environmentally Immersive Programming EnviroSuite: An Environmentally-Immersive Programming Framework for Sensor Networks Liqian Luo, Ph.D. candidate, Department of Computer Science, University of Illinois at Urbana-Champaign March 12, 2007 Ephemeral Instrumentation for Lightweight Program Profiling Epigenetic Development: Generating Internal Representations through Interactions with the Real-World Environments Juyang (John) Weng, Professor, Department of Computer Science and Engineering, Michigan State University 8/20/2007 Equal Access: Computer Labs Participants describe making computing labs accessible to people with disabilities. Error Detection Using Shape Analysis with Local Reasoning Error-Tolerant Networking Protocols eScience - The Revolution is Starting eScience Workshop 2005 - Welcome Estimating Geometric Scene Context from a Single Image Estimation of Intrinsic Dimensionality Using High-Rate Vector Quantization Ethane: A Protection Architecture for Enterprise Networks Martin Casado, PhD student, Computer Science, Stanford University September 20, 2006 Evaluating Retrieval System Effectiveness Evan Kaplan, CEO and Co-founder, Aventail Aventail president is a guest. Event-Driven Simultaneous Compilation Dean Tullsen, professor, Computer Science and Engineering, UCSD September 20, 2006 Everything Bad is Good for You: How Today's Popular Culture is Actually Making Us Smarter Everything is Miscellaneous: The Power of the New Digital Disorder David Weinberger, co-author, The Cluetrain Manifesto; author, Small Pieces, Loosely Joined May 16, 2007 Evolutionarily Stable Strategies of Random Games, and the Vertices of Random Polygons Sergiu Hart, Dept of Mathematics, Dept of Economics, The Hebrew University of Jerusalem February 6, 2007 Exact 2-CSP Optimization Using Matrix Multiplication Examining Representation, Classification, and Personalization Using a Unified Framework Exceptional Situations and Program Reliability Exceptions and side-effects in atomic blocks Exhaustive Phase Order Search Space Exploration and Evaluation Prasad A. Kulkarni, Ph.D. candidate, Computer Science, Florida State University April 18, 2007 Exiting the Cleanroom: On Ecological Validity and Ubiquitous Computing Dr. Jennifer Mankoff, assistant professor, Human Computer Interaction Institute, Carnegie Mellon University June 2, 2006 Explaining Distributed Denial of Service (DDOS) Attacks on Campus Leaders Joe St Sauver, of University of Oregon, explains the effects ofDistributed Denial of Service (DDOS) Attacks. Explicit-Symbolic Modeling for Formal Verification Sérgio V. Campos, Ph.D., associate professor, Computer Science, Universidade Federal de Minas Gerais November 14, 2007 Exploiting Comparable Corpora Dragos Munteanu, Ph.D. student, University of Southern California November 29, 2006 Exploiting Hardware/Software Interactions for Embedded Systems Design Sibin Mohan, Ph.D. student, Department of Computer Science, North Carolina State University 2/5/2008 Exploiting Multiple Cores Today: Scalability and Reliability For Off-the-Shelf Software Emery Berger, Ph.D., assistant professor, University of Massachusetts, Amherst August 8, 2006 Exploiting Redundancy for Robust Sensing Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources Exploring Mars by 4-Wheel Drive Exploring the Social Institutional Dimensions of MoSoSo Design Exploring Tools and Techniques for Distributed Continuous Quality Assurance AdamPorter, Ph.D., associate professor, Department of Computer Science,Institute for Advanced Computer Studies, University of Maryland November 8, 2006 Exposing the National Water Information System to GIS through Web Services Expressive Speech-Driven Facial Animation Yong Cao, Ph. D., Assistant Professor, Computer Science Department, Virginia Tech 9/13/2007 ExScal: Elements of an Extreme Scale Wireless Sensor Network Extended Static Checking Extending Rotor with Structural Reflection to Support Reflective Languages Extending the Internet Architecture to Sensor Networks: Some Open Questions Extensible Object-Theories in HOL-OCL Burkhart Wolff, associate professor and lecturer, ETH Zürich August 24, 2006 Extracting Product Features and Opinions from Reviews Extractors for a Constant Number of Polynomially Small Min-Entropy Independent Sources Anup Rao, Ph.D. student, Computer Science, University of Texas at Austin January 19, 2007 Extremal Set Theory, Boolean Functions, and Occam's Razor Eyes on Multimodel Interaction Face Recognition Face Recognition: Opportunities and Challenges Dr. Yu Hen Hu, IEEE March 17, 2006 Fast Belief Propagation for Early Vision Fast Database and Data Streaming Operations Using Graphics Processors Fast Infinite-State Model Checking in Integer-Based Systems Faster Decoding with Synchronous Grammars and n-gram Language Models Liang Huang, 4th-year Ph.D. student, University of Pennsylvania December 11, 2006 Feature Selection through Lasso Bin Yu, Professor of Statistics, University of California at Berkeley March 6, 2006 Federal Large-Scale Networking and Opportunities for Research Universities Overview of the Large-Scale Networking program and its technical focus. Federated Security Services Federated Security Services Federating Identity Management within Higher Education and with other Federations A focus on the growing interest in federating identity management viafederations, associations of enterprises that come together to exchangeinformation about their users and resources to enable collaborationsand transactions. Federations Policy and technology issues in federations. Feedback Arc Sets and Girth in Digraphs Blair D. Sullivan, Grad Student, Mathematics Department, Princeton University 10/11/2007 Filtering of a Group Delay Equalized Delta-Sigma Modulated Envelope Signal in an EER Architecture Jorge Mártires, Ph.D. student, Electrical Engineering September 27, 2006 Fish Shtick Fitting a C^M Smooth Function to Data Charles Fefferman, Mathematics Department, Princeton University Five Forces in the Network Economy Fixing the String Kernel - A Semi-Definite Programming Approach Flexible Dynamic Linking for .NET Flow Control in Wireless Networks Minghua Chen, Ph.D. student, Electrical Engineering and Computer Sciences, University of California at Berkeley June 6, 2006 Fluid Interaction for High Resolution Wall-Size Displays Flying on Air: The Science of Inflatable Wings Find out about BIG BLUE, a project at the University of Kentucky exploring inflatable glider technology for Mars exploration. Folklore of Network Protocol Design (Anita Borg Lecture) Formal Commercial Contracts Fostering Open Source Social Moments Fountain Codes over Arbitrary Channels and Threshold Phenomena Framework for Domain-Specific Optimization at Runtime FreeSoDA Friendly Virtual Machines: Leveraging a Feedback-Control Model for Application Adaptation From Dust to Doctors: Wireless Sensor Networks for Medical Applications From GUIs to PUIs From Local to Global Visual Similarity in Space and in Time Eli Shechtman, Ph.D. student, Weizmann Institute of Science March 1, 2007 From Models to Systems: Applications of Model-based Design to Modern Large-Scale Systems Ethan Jackson, Ph.D. candidate, Computer Science, Vanderbilt University December 6, 2006 FromMulti-Lingual Character Recognition (Printed, on-line and offlinehandwritten) to Multi-model Biometric Verification and Identification From Perception and Discriminative Learning to Interactive Behavior From Personal Computers to Personal Information Environments From Promoter to Expression - A Probabilistic Framework for Inferring Regulatory Mechanisms From Sensors to Semantics: Intelligent Context for Situated Computing DonaldJ. Patterson, Assistant Professor, Donald Bren School of Informationand Computer Sciences, University of California at Irvine 10/1/2007 From Software Engineering to Software as Service: Computing Task Dependencies from Work Artifacts James D. Herbsleb, associate professor, Computer Science; director, Software Industry Center, Carnegie Mellon University August 11, 2006 From Supercomputing to the Grid From Textons to Parts: Local Image Features for Texture and Object Recognition From TimeSync to EmStar: What's Really Hard in Sensor Networks? From Wayback Machine to Weblab: New Opportunities for Social Research Michael Macy, professor and chair, Sociology, Cornell University May 24, 2006 Functional Image Synthesis Fusion of Optical and Radio Frequency Techniques: Cameras, Projectors and Wireless Tags Ramesh Raskar, Ph. D., Senior Research Scientist, MERL 6/4/2007 Future Hype: The Myths of Technology Change Bob Seidensticker, former Microsoft employee April 18, 2006 Future of Forensics G2 Microsystems Presents to Microsoft Mr. Gloekler, founder, president and ceo, Ernst & Young March 31, 2006 Gadgets for Good: How Computer Researchers Can Help Save Lives in Poor Countries Games, gamers, and digital entertainment in the home: sociological studies of computation and play Tracy Kennedy, Doctoral Candidate, Department of Sociology, University of Toronto 8/23/2007 Games@MSR - The Pleasures of Virtual/Fantasy Warfare: Learning from Counter-Strike Talmadge Wright, Ph. D, Associate Professor, Sociology, Loyola University Chicago 7/17/2007 Garbage Collection Algorithms New garbage collection algorithms: Beltway and Ulterior Reference Counting. Garbage Collection without Paging Garbage-First Garbage Collection (and a Related Compiler Optimization) Gardens Point Generics (GPG) GCspy for Rotor Gender, Lies and Video Games: Women and Computer Sciences Research on increasing the participation of females in the computer sciences. General Session: IDEA Awards Update, A Strategy for Continually Reinventing the Internet This talk considers the challenge in making fundamental changes to theInternet's architecture, and proposes a strategy for continualevolution. General Session: National LambdaRail and Internet2: Technical and Organizational Progress National LambdaRail and Internet2: Technical and Organizational Progress. General Session: The Importance of Networking in Technology Convergence A discussion on the relevance of opening new communication linksbetween industry and academia for the purpose of collaborativeresearch. Generalized Algebraic Data Types and All That Martin Sulzmann, assistant professor, School of Computing, National University of Singapore August 22, 2006 Generalized Alias Analysis on a Basis for Programming Tools Generating Parallel Transforms Using Spiral Franz Franchetti and Markus Püschel, Carnegie Mellon University September 20, 2006 Generation of dense linear algebra software for shared memory and multicore architectures Dr. Paolo Bientinesi, Ph. D. 3/25/2008 Generative Models of Discourse Eugene Charniak, Ph. D, Professor, Computer Science and Cognitive Science, Brown University 7/12/2007 Generic Entity Resolution Generic Programming in the Parallel Boost Graph Library Doug Gregor, Ph. D Researcher, Open Systems Laboratory, Indiana University 11/28/2007 Genome: Transcriptional Regulatory Modules Locating occurrences for transcriptional modules. GeoDec: Enabling Geospatial Decision Making Geometric Optics, Duality and Congestion in Sensornets Christos H. Papadimitriou, C. Lester Hogan professor, Computer Science, UC Berkeley August 10, 2006 Geometry and Expansion: A Survey of Recent Results Getting Started in Podcasting Gibbs Measures on Trees and Random Graphs Allan Sly, student, UC Berkeley November 14, 2007 Global n-Way Interactive HD over IP Video Michael Wellings describes the systems used, preparations at the remotesites and how problems were overcome for the Neptune HD project. Google Ad Systems How Google makes money through the Google ad systems. Google: A Behind-the-Scenes Look Google Fellow Jeff Dean chronicles the history of data processing atGoogle, including in-house innovations such as GFS and MapReduce. Graph Cuts without Eigenvectors Brian Kulis, Ph.D. student, University of Texas at Austin July 10, 2006 Graph Powers and Capacities Eyal Lubetzky, Ph.D. student, School of Mathematics, Tel Aviv University January 4, 2007 Grassroots, Viral, Low Cost/High Impact Learning Content Diffusion: Getting Your Brand Noticed without a Big Ad Campaign Grid Computing Using .NET Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic Group Forming and Grassroots Organizing Technology Zack Rosen, co-founder and executive director, CivicSpace Foundation March 29, 2006 Guanxi (The Art of Relationships) : Microsoft, China, and Bill Gates's Plan to Win the Road Ahead Robert Buderi and Gregory T. Huang May 9, 2006 Guidelines: Web Data Collection for Understanding and Interacting with Your Users Gumstix: It's A Small Yet Fully Functional Computer Don Anderson 9/5/2007 Hancock: A Language for Computing with Large Data Streams Hardware-Software Co-Design for General-Purpose Processors Craig Zilles, Assistant Professor, Computer Science Department, University of Illinois, Urbana-Champaign 4/16/2008 Havoc on Ntfs' Brian Hackett, PhD candidate, Computer Science Department, Stanford 10/3/2007 Hawaii's High Tech Workforce University of Hawai'i CIO David Lassner leads the discussion regardingissues in Hawaii's high tech workforce and environment. High TechHawai'i is a production of the University of Hawai'i. Hawaii's High Technology Development Corporation Find out how Hawaii looks to expand its economy through development ofcommercial high tech ventures. High Tech Hawai'i is a production of theUniversity of Hawai'i. HDTV over Internet: Bag Lunch Panel Headwinds and Tailwinds: Where is the U.S. Economy Going? Heap assertions on demand Andreas Podelski, professor, University of Freiburg, Germany 11/26/2007 Helping Kinsey Compute: Statistics with Secrecy Preserving privacy in statistical databases. Herald: Global Event Notification Hierarchical Dirichlet Processes Hierarchical Phrase-Based Translation with Suffix Arrays. Adam Lopez, Software Engineer, IBM Corporation 5/21/2007 High Fidelity Image-Based Modeling Yasutaka Furukawa, Ph.D. Candidate, University of Illinois, Urbana-Champaign 8/24/2007 High Performance Computing Without a Degree in Computer Science Emerging research at Rice promising to overcome limitations of scripting languages. High-Dimensional Computational Geometry High-Tech Entrepreneurship: An Idiosyncratic View of Technology HighlyIntegrated 3D RF Front-Ends for Convergent (Telecommunication,Computing and Entertainment) Applications: Status and Challenges HOPI Update Update on the HOPI project. How Can We Apply the Most Powerful Tools of Our Time to the Search for an Effective HIV Vaccine? How does the ASTREE analyzer deal with digital filters? Dr. Jerome Feret, Ph.D., Postdoctoral Research Fellow, Ecole Normale Superieure, Paris, France 8/16/2007 How Helpful is Network Coding? Baochun Li, associate professor, Department of Electrical and Computer Engineering, University of Toronto September 22, 2006 How Likely is Buffon's Needle to Meet a Cantor Square? Fedor Nazarov, Ph.D. Salem Prize winner 1999 April 6, 2007 How Low Can Safe Languages Go? How People Treat Interfaces Like People: Social Psychology and Design How to Disembed a Program How to Get the Most Out of a Startup Learn how to launch your own start-up. How to make Discretionary Access Control Resistant to Trojan Horses Ninghui Li, Assistant Professor, Computer Science at Purdue University 3/10/2008 How to Make Love the Bruce Campbell Way How to Survive a Robot Uprising: Tips to Defend Yourself Against the Coming Rebellion HTH - Cyber Security is Everyone's Responsibility Join industry leaders as they address cyber security issues, and howeveryone can participate in safeguarding the web. Human Computation Luis von Ahn, post-doctoral fellow, Computer Science, Carnegie Mellon University March 30, 2006 Human Computation: Channeling Human Brainpower Channeling human brainpower using computer games to solve computer problems. Human Detection and Pose from Images and Videos Bill Triggs, permanent researcher, Centre National de Recherche Scientifique October 10, 2006 Human-Level Performance on Word Analogy Questions by Latent Relational Analysis Hyperparameter and Kernel Learning for Graph Based Semi-Supervised Classification I-Room - Intelligent Collaborative Spaces for Emergency Response AustinTate, Professor, Chair, Knowledge-Based Systems, Director, ArtificialIntelligence Applications Institute, University of Edinburgh 2/8/2008 Identifying Regulatory Motifs in DNA Sequences Identifying Similar Past Events in a Continuous Monitoring System Magdalena Balazinska, Ph.D., Assistant Professor, Computer Science and Engineering Department, University of Washington 9/28/2007 Identity-Based Encryption: A Biometric Approach to Privacy Cryptographic solutions to create human biometric-based encryption. Image Segmentation using Spectral Rounding This lecture presents a new image segmentation algorithm, Spectral Roun.ding (SR) Imitating the Immune System Claus Lundegaard, associated professor, Immunological Bioinformatics, CBS, Technical University of Denmark March 23, 2007 Impala: A Middleware System for Managing Autonomic, Mobile, Wireless Sensor Networks Implementation of a Non-Strict Functional Language on Rotor Implicit Feedback: Techniques for Deployment and Evaluation Improved Gapped Alignment in BLAST Genomic Search Improving Data Recovery From Embedded Networked Sensing Systems with Fault Detection and Diagnosis Nithya Ramanathan, Ph.D Student, Computer Science, Center for Embedded Networked Sensing, UCLA 2/1/2008 Improving Information Interactions Research to improve our interaction with information. Improving Packet Delivery Efficiency Using Multi-Radio Diversity in Wireless LANs Allen Miu, Ph.D. candidate, Massachusetts Institute of Technology April 27, 2006 Improving Rotor for Dynamically Typed Languages Improving Routing Scalability Through Mobile Geographic Hashing MANETs Saumitra Das, Ph.D. candidate, School of Electrical and Computer Engineering,Purdue University, West Lafayette April 3, 2006 Improving Software Security with Precise Static and Runtime Analysis Benjamin Livshits, Ph.D. candidate, Computer Science, Stanford University June 26, 2006 Improving the Reliability of Commodity Operating Systems Nooks: a subsystem that seeks to improve operating system reliability. Improving the Reliability of Commodity Operating Systems In Search of Safer Cars/The Threat of Cholera In Search of the Joule of Computer Architecture In-Network, Physical Adaptation of Sensor Networks William J. Kaiser, PhD, Professor Electrical Engineering Department, UCLA 5/24/2007 In-Situ Model Checking of MPI Parallel Programs Ganesh Gopalakrishnan, Professor, School of Computing, University of Utah 8/27/2007 Incorporating Trust into Web Authority Search Summit 2007 7/18/2007 Increasing Concurrency using EDGE Architectures Karthikeyan Sankaralingam, Ph.D. candidate, Computer Sciences, The University of Texas at Austin May 3, 2006 India's Emerging Competitiveness Indifference is Death: Responsibility, Leadership, & Innovation Inductive Learning and Representation for Text Categorization Industry Perspectives on Optical Networking Panelists offer I2 participants an industry perspective on optical networking. Inferring Class Invariants in Object-Oriented Languages Via Abstract Interpretation Inferring Information Status for Reference Generation in Open Domains Information Flow, Modularity, and Declassification Anindya Banerjee, associate professor, Computing and Information Sciences, Kansas State University October 26, 2006 Information Fusion: Multidocument Summarization Information Fusion Information Interfaces: Blending Information Visualization and Human-Computer Interaction John Stasko, professor, Georgia Institute of Technology March 24, 2006 Information Processing Sensor Networks Challenges and progress in the field of sensor networks. Information Security Information Technologies and International Development: An Overview of Recent Results from Africa and India Dr.Michael L. Best, assistant professor, Sam Nunn School of InternationalAffairs and the School of Interactive Computing, Georgia Institute ofTechnology November 15, 2007 Information Technology and Biometrics Information Wants to be Free (but is Everywhere in Chains) Innovative Collaborative Research Applications Using Grid Technology Researchers present collaborative applications. Innovention - The Process of Innovation and Invention David Pensak, senior fellow, Wharton School of Business, University of Pennsylvania November 16, 2006 Inspired by Nature: Cockroach Robotics Learn how the Cockroach Robot can help with searching dark and dangerous places. Instruction-Based Prediction Techniques in Operating Conjecture Integrated Land Use, Transportation, and Environmental Modeling: Recent Research and Future Directions Integrating Haskell with .NET Using Rotor Integrating OLAP and Ranking: The Ranking-Cube Methodology Dong Xin, graduating Ph.D. student, Department of Computer Science, University of Illinois at Urbana-Champaign March 28, 2007 Integration and Visualization in BioInformatics Intelligent Tutoring Systems Modeling meta-cognition and affective states to improve the effectiveness of intelligent tutoring systems. Inter-Partition Networking, a Hybrid Network Platform for Collaborative Applications Interaction Design for One-Handed Use of Mobile Devices Amy Karlson, Ph.D. Candidate, Computer Science, University of Maryland, College Park 5/17/2007 Interaction Design Projects for Health and Wellness Axel Roesle, Ph. D., Assistant Professor, University of Washington 6/7/2007 Interaction Techniques for Ambiguity Resolution in Recognition-based Interfaces Interactive Machine Learning: Leveraging Human Intelligence Interactive Visual Media Interfaces for Staying in the Flow Interfaces That Influence Groups Internet 3.0: Ten Problems with Current Internet Architecture and Solutions for the Next Generation Raj Jain, professor, Computer Science and Engineering, Washington University, St. Louis, MO April 6, 2007 Internet Advertising and the Generalized Second Price Auction: Selling Billions of Dollars Worth of Keywords Internet Background Radiation Ruoming Pang, Computer Science at Princeton University April 4, 2005 Internet Congestion Control, Bandwidth-Delay Product Internet Public Policy: Finally Getting Beyond the Metaphors Internet Search Engines Internet search engine innovations. Internet Telephony: Will it Kill the Telephone Companies, the Internet, or Both? Internet/Java Internet2 Applications Ben Teitelbaum talks about the many prospects of Internet2 applications. Internet2 Fall 2003 Member Meeting - Closing Plenary Internet2 Land Speed Record Award and presentation on NEPTUNE project. Internet2 Fall 2003 Member Meeting - Opening Plenary Innovative applications and the underlying high-performance network infrastructures. Internet2 Overview I2 CEO and President, Douglas Van Houweling addresses the developmentof advanced network applications and technologies. Internet2 Update (Second Plenary) Internet2: Collaboration and Technology Transfer (Closing Plenary) Internship Projects from MSR Community Technologies Group: Social Studies of Online Discussion Groups Itai Himelboim and Alan Schussman, interns this Winter in the Community Technologies Group March 23, 2007 Interruptions on Software Teams: A Comparison of Paired and Solo Programmers Jan Chong, doctoral student, Department of Management Science and Engineering, Stanford University August 24, 2006 Introducing Nielsen Buzzmetrics Research - The Global Measurement Standard in Consumer Generated Media Navot Akiva, M.Sc., M.B.A., research scientist, Nielsen Buzzmetrics August 11, 2006 Introduction of the Mobile Robotics Lab Introduction to VLSI Design with Professor Chris Diorio Inventing Virtual Reading Teachers and Virtual Speech Therapists Inversion Transduction Grammar with Linguistic Constraints Colin Cherry, Ph.D. student, University of Alberta November 30, 2006 Invisible Engines: How Software Platforms Drive Innovation DavidEvans, founder, Market Platform Dynamics; managing director, LECG'sGlobal Competition Policy Practice; and visiting professor, UniversityCollege, London November 14, 2006 IP Network Traffic Matrix Inference and Anomaly Detection Albert Greenberg, AT&T Fellow; director, Network Measurement and Engineering Research, AT&T Labs-Research September 18, 2006 IPv6 by 2006: The Case for IPv6 Deployment Throughout the Internet2 Community by 2006 The case for IPv6. IR4TD: From PTC to Present Learn how revolutionary painting technology is making the automotive industry more environmentally friendly. Is Hardware Innovation Over? Future mobile phone functionality delivered by Bluespec using Guarded Atomic Actions synthesizing hardware Is Linux Maintainable? Is Scalable, Reliable Quantum Computation Possible? JET: Join-Exit Tree for Time Efficient Contributory Group Key Management Joint Cluster Analysis of Attribute Data and Relationship Data: Problems, Algorithms and Applications Martin Ester, Ph.D., senior and advisory systems engineer, Swissair January 8, 2007 Juicing the Orange: How to Turn Creativity into a Powerful Competitive Advantage Pat Fallon and Fred Senn, Fallon Worldwide July 11, 2006 Julia Anderson, vice president, Cap Gemini Ernst & Young Julia Anderson discusses her career. Kathryn Moler - Assistant Professor of Physics Keynote: From Smart Dust to Reliable Networks Kneser-Ney smoothing with a correcting function for small data sets Peter Taraba, Machine Learning Software Engineer, Smart Desktop, Seattle 2/22/2008 Knowledge Representation and Reasoning: Controlled Natural Language Presentation of a controlled natural language called Attempto Controlled English (ACE). Laboratory for Recognition and Organization of Speech Lambda Legal: Making the Case for Equality Kevin M. Cathcart, executive director, Lambda Legal August 3, 2006 Lambda Table: High Resolution Tiled Display Table for Interacting with Large Visualizations Language Search Engines and Machine Translation: Making MT and Human Translators Smarter Tim Hunt and Aaron Davis 7/17/2007 Large Margin Generative Models Large-scale 3D Reconstruction from Video Lattice-Based Discriminative Training: Theory and Practice Dan Povey, Ph.D., IBM's T.J. Watson Research Center December 11, 2006 LEARN Jim Williams provides a brief overview of the LEARN initiative. Learnable Similarity Functions and Their Applications in Information Integration and Clustering Mikhail Bilenko, Ph.D. candidate, Department of Computer Sciences, University of Texas at Austin March 27, 2006 Learning About the Genome: Discriminative and Generative Modeling of Heterogenous Data Learning and Competition with Finite Automata Abraham Neyman, professor, Mathematics, Hebrew University of Jerusalem February 22, 2007 Learning and Inferring Transportation Routines Learning Discriminative Models with Incomplete Data Learning Hierarchical, Nonparametric Models for Visual Scenes Researchexploring hierarchical models that use contextual and geometricrelationships for more effective learning from large, partially labeledimage databases. Learning Models of Human Activities and Interactions using Multi-Modal Wearable Sensors Tanzeem Choudhury, Ph. D., affiliate faculty member, University of Washington 9/24/2007 Learning Nonlinear Data Manifolds Learning to Label Images Rich Zemel, associate professor, Department of Computer Science, University of Toronto August 15, 2006 Learning to Transform Time Series with a Few Examples An algorithm that learns to transform time series with examples. Learning using Large Datasets Léon Bottou, Ph. D, Researcher, NEC Labs America in Princeton 12/10/2007 Leaving Microsoft to Change the World John Wood, Room To Read September 22, 2006 Lessons Learned from Applying Control Theory to Computing Sytems: A Manifesto for Resource Management Engineering Microsoft’s Joe Hellerstein explains how he applies control theory to resource management solutions in computing systems. Leveraging Fine-Grained Multithreading for Efficient SIMD Control Flow Tor M. Aamodt, Assistant Professor, Department of Electrical and Computer Engineering, University of British Columbia 2/15/2008 Life Under Your Feet: Using WSN in Soil Ecology Life-Sized Learning Lecture on computational environments, including machine learning and operations research. Lifelong user models, memory and learning Judy Kay, Principal, Computer Human Adaptive Interaction Group 10/4/2007 Limits of Obfuscation Linear Time Encodable/Decodable Codes Linked Decompositions of Networks and Polya Urns with Choice Christos H. Papadimitriou, C. Lester Hogan professor, Computer Science, UC Berkeley April 25, 2007 List Decoding of Error-Correcting Codes LiveMusic Instruction with New World Symphony and Northwestern Universityusing New High Definition Video Communications from LifeSize Live 3-way multipoint call with the opportunity for the Philadelphiaparticipants to view in high definition and ask questions. LifeSizewill also be present to answer questions about the technology andproducts. Live Transpacific High Definition Videoconferencing: A Noteworthy Keynote Live Transpacific High Definition Videoconferencing: A Noteworthy Keynote. Load Management and Fault-Tolerance in a Distributed Stream Processing System Local Chromatic Number of Quadrangulation of Surfaces Gabor Tardos February 27, 2006 Locality and Phases: Dynamic Structures of Large-Scale Program Behavior (2005) Locality and Phases: Dynamic Structures of Large-Scale Program Behavior (2006) Chen Ding, Computer Science Department, University of Rochester November 16, 2006 Locating Family Values: A Field Trial of the Whereabouts Clock Dr. Barry Brown, innovative interdisciplinary researcher December 3, 2007 Location Enhanced Web Services A discussion of open software that enables private, course grain,indoor and outdoor positioning on cellular mobile computers with noadditional hardware. Location Estimation for Activity Recognition The use of Bayesian filtering and GPS technology to track movement. Location, Time and Context in Systems: Rover - An Example Dr. Ashok K. Agrawala, professor, Computer Science and Electrical and Computer Engineering, University of Maryland November 15, 2006 Location-Based Activity Recognition DieterFox, associate professor and director, Robotics and State EstimationLab, Computer Science & Engineering, University of Washington May 17, 2006 Log-Based Architectures: Using Chip Multiprocessors to Help Software Behave Correctly Todd C. Mowry, director, Intel Research Pittsburgh; associate professor, Computer Science Department, Carnegie Mellon University September 6, 2006 Logic in Computer Science The role of logic in computer science. Logical Inference Systems The challenges of logical inference. LogTM: Log-Based Transactional Memory Looking Beyond Performance: Processors for Time Travel Satish Narayanasamy, Ph.D. candidate, Computer Science, University of California, San Diego March 15, 2007 Lost in Space: The Fall of NASA and the Dream of the New Space Age Low Distortion Embeddings for Edit Distance Yuval Rabani, Ph.D., associate professor, Technion - Israel Institute of Technology October 12, 2006 Lower Bounds for Linear Degeneracy Testing Mac OS X for UNIX Users The evolution of MAC OSX. Machine Learning Exploration Of Brain fMRI Data To Study Inhibitory Control Mechanisms Dimitris Samaras, Ph. D., Associate Professor, Stony Brook University 8/10/2007 Machine Learning Methods for Discovery of Regulatory Elements in Bacteria Machine Learning Methods for Structured and Collective Classification Thomas Hofmann April 3, 2006 Machines Reasoning About Machines Machines with Emotional Intelligence Magnet Schools, Sports Analysis: Coach's Perspective Tech Horizons host Dr. Lloyd Griffiths examines magnet school success and the math behind basketball. Making Concurrency Mainstream EdwardA. Lee, Robert S. Pepper Distinguished professor, EECS and chair,Electrical Engineering and Computer Sciences (EECS) Department, U.C.Berkeley January 12, 2007 Making Faces: A Technique for Realistic Facial Animation Capture Making Networks More Robust Making NEXRAD Precipitation Data Available to the Hydrology Community Making Semiconductors Ferromagnetic: Reasons, Challenges, and Opportunities Jacek Furdyna, Marquez Endowed Chair, Information Theory and Computer Technology, University of Notre Dame December 1, 2006 Making Smart Science Easier: The CombeChem Experience - eScience from the Laboratory to the Library Dr. Jeremy Frey, reader, School of Chemistry, University of Southampton, UK April 27, 2007 Making Wireless LANs Faster and Fairer Managing Uncertainty Using Probabilistic Databases Nilesh Dalvi, Ph.D. candidate, University of Washington April 2, 2007 Market-Based Programming Paradigms for Sensor Networks Market-Making: From Algorithms for Price-Setting to Emergent Market Properties Massive Parallelism in the TeraOPS Chip An introduction to Ambric’s new massively parallel teraOPS chip. Mathematical Analysis of Programs Mathematical Sketching: A New Approach for Creating and Exploring Dynamic Illustrations Maximizing the Spread of Influence in a Social Network ME++ Measurement and Monitoring in Wireless Sensor Networks Measurement-Driven Modeling and Design of Internet-Scale Systems Mechanism Design: Private Value Optimization Applications and research in the field of mechanism design and game theory. Media Computation: Introducing Computing Contextualized in Video and Audio Processing Mark Guzdial, Professor, School of Interactive Computing, College of Computing, Georgia Institute of Technology 3/17/2008 Mediators Moshe Tennenholtz, Ph. D., Professor, Industrial Engineering and Management, Technion 7/17/2007 Medical Management of Chronic Disease Software tools for improving the management of chronic disease. Memex Summit (Digital Memories Workshop) Mark Bolas, University of Southern California, Memex Summit July 19, 2006 MemexSummit (Digital Memories Workshop) - Collaborative Annotation, Archivaland Visualization in a Biofeedback Rehabilitation system Hari Sundaram, Arts Media and Engineerin, Arizona State University, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - College and as Assistive Technology Ed Fox, Virginia Tech, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - Content-Based Similarity Search with MyLifeBits Kai Li, Princeton University, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - Digital Memories Software Jim Gemmell, Microsoft, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - Group Discussion Memex Summit, Group Discussion July 19, 2006 Memex Summit (Digital Memories Workshop) - Introduction Jim Gemmell, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - Memex Metadata (M2) for Personal Educational Portfolio Jane Greenberg, University of North Carolina, Memex Summi July 19, 2006 Memex Summit (Digital Memories Workshop) - MyHealthBits: Advanced Personal Health Record Bambang Parmanto, University of Pittsburgh, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - Personal Audio Life Logs Dan Ellis , Columbia University, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - SenseCam and Memory Rehabilitation Georgina Browne, Addenbrooke's Hospital, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - SenseCam Work at Dublin City University Alan Smeaton, Dublin City University, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - Using Context to Evaluate Augmentative Communication Technology Richard Simpson, Ph.D., ATP, University of Pittsburgh, Memex Summit July 19, 2006 Memex Summit (Digital Memories Workshop) - What Did We See? & WikiGIS Chris Pal, University of Massachusetts, Memex Summit July 19, 2006 Memory Model = Instruction Reordering + Store Atomicity Prof. Arvind, Johnson Professor, Computer Science and Engineering, MIT May 15, 2006 Menger's Theorem for Infinite Graphs Mentoring: The People Who Lead Us Toward Our Purpose in Life Merging Computers and Biology - Conceptually and Physically / The Wellspring of Discovery Merrimac: Supercomputing with Streams The Merrimac streaming supercomputer: a new architecture for scientific computing. Meshes and Geometry Processing Metric Clustering Statistical modeling language for representing heterogeneous biological entities. Metric Geometry and Computer Science Combinatorial landscapes described through finite metric spaces and algorithms. Microphone Array for Audience Capture in Lecture Rooms Rong Hu, fourth year PhD student, Department of Computer Science, University of Missouri-Columbia August 18, 2006 Microsoft Research India: The First Year Microsoft Research India Lab's exciting and exhilarating first year. Microsoft Research, Turning Ideas Into Reality for 15 Years, 15th Anniversary Celebration Event Rick Rashid, Mark Emmert, Dan Ling, and Kevin Schofield, 15th Annivesary Celebration Event September 26, 2006 Microsoft Research, Turning Ideas Into Reality for 15 Years, 15th Anniversary Celebration Event - Keynote and Demos Dan Ling and researchers, 15th Anniversary Celebration Event September 26, 2006 Middleware: Shibboleth Case Studies Several early implementers of Shibboleth will present case studies. Mike Benson, CIO, AT&T Wireless Services Mine Query/Click Log for Collaborative Internet Search Search Summit 2007 7/18/2007 Mira and the Wind A young girl comes to terms with death of her grandfather. Mobile Communication Networks & New Business Case study of mobile multimedia. MobileASL: Making Cell Phones Accessible to the Deaf Community Richard E. Ladner, Boeing professor, Computer Science and Engineering, University of Washington December 8, 2006 Mobility for Enhancing Coverage Resolution in Sensor Networks Using mobility to improve the coverage of sensor networks. Mobility for Sensing Uncertainty Reduction in Sensor Networks Aman Kansal, Ph.D. student, University of California, Los Angeles March 23, 2006 Model Checking of Predicate Abstracted Programs without BDDs Model Checking Software Artifacts Model checking software is discussed. Model Drive Development of Enterprise Applications Model Management: Databases New interface for building database applications. Model-based Testing with Labeled Transition Systems JanTretmans, researcher, Embedded Systems Institute (ESI), Eindhoven;part-time associate professor, Radboud University Nijmegen, Netherlands August 14, 2006 Modeling and Analysis of Access Control Survivability Modeling and Facilitating Human Communication Modeling Intention in Email: Speech Acts, Information Leaks and User Ranking Methods Vitor R. Carvalho, Ph. D. Candidate, School of Computer Science, Carnegie Mellon University 2/28/2008 Modeling Science: Topic models of Scientific Journals and Other Large Document Collections David Blei, Ph.D., Assistant Professor, Computer Science, Princeton University 4/17/2007 Models as Structures: The Structural Semantics of Model-based Design Ethan Jackson, PhD candidate, Computer Science, Vanderbilt University January 30, 2007 Models for Texture, Object and Scene Recognition Solving problems in computer recognition of material, scenes, and objects in photographs. Modern Asynchronous Circuit and System Design Modular Static Analysis with Sets and Relations Viktor Kuncak, Ph.D. candidate, MIT March 22, 2006 Monitoring Distributed Data Streams Assaf Schuster, Computer Science Department, Technion Israel Institute of Technology 8/20/2007 MOP: A Generic and Efficient Runtime Verification Framework Grigore Rosu, assistant professor, University of Illinois at Urbana-Champaign (UIUC) April 27, 2007 More Natural Programming Through User Studies More than Human: Embracing the Promise of Biological Enhancement Mount Redoubt Simulation Graphic simulation of volcano fallout. Moving VoIP Beyond the Phone MS-PAC Amb. Paul Bremer MSPAC Lunch Amb. Paul Bremer February 2, 2006 MSIL User Manual MSPAC - United States Senator Ted Kennedy MSPAC Discussion and Book Signing with Senator John Kerry and Teresa Heinz Kerry Senator John Kerry and Teresa Heinz Kerry April 3, 2007 MSRSymposium on Computational Photography: "Computational Photography andBilateral Image Decomposition" and "Using Data to "Brute Force" HardProblems in Computational Photography" Alexei(Alyosha) Efros, Ph.D., assistant professor, Carnegie MellonUniversity, Frédo Durand, assistant professor, Electrical Engineeringand Computer Science Department, Massachusetts Institute of Technology 7/18/2007 MSRSymposium on Computational Photography: "Creating, Editing, and ViewingVery BIG Images" and "Image-guided optimization for interactive imagemanipulation" Michael Cohen, Matt Uyttendaele, Johannes Kopf, Dani Lischinski 7/18/2007 MSR Symposium on Computational Photography: "Factored Time-Lapse Video" and "4D Cities: Past, Present, and Future" HanspeterPfister, Gordon McKay Professor of the Practice and Director of VisualComputing, Harvard University, Frank Dellaert,assistant professor,College of Computing, Georgia Institute of Technology 7/18/2007 MSRSymposium on Computational Photography: "Removing Camera Shake from aSingle Photograph", "Object Movies, Photosynth, and other Cool Stuff",and "Some Further Thoughts on Computational Photography AaronHertzmann, Assistant Professor, Computer Science, University ofToronto, Noah Snavely, Ph.D student, Computer Science and Engineering,University of Washington 7/18/2007 MSR Technical Education Series: Designing .NET Class Libraries Krzysztof Cwalina, program manager, .NET Framework Team, Microsoft January 22, 2007 Multi-Engine Machine Translation Guided by Explicit Word Matching Multi-Camera Tracking with a Probabilistic Occupancy Grid Francois Fleuret May 19, 2006 Multi-robot Exploration Current solutions to the problems of robot localization, map building, and coordinated exploration. Multi-stack automata reachability: A New Tractable Subclass Madhusudan Parthasarathy, Ph.D., Assistant Professor, University of Illinois at Urbana-Champaign 5/15/2007 Multimedia Streaming in Self-Organized Mesh Networks Yi Cui, Ph.D., Assistant Professor, Department of Electrical Engineering and Computer Science at Vanderbilt University March 7, 2006 Multiple View Geometry and L-infinity Optimization Multiprocessor Architectures for Programmability Multiprocessor Architectures for Programmability Luis Ceze, PhD candidate, Department of Computer Science, University of Illinois Urbana-Champaign (UIUC) April 4, 2007 Music Information Retrieval: Query-By-Humming and Source Estimation BryanPardo, assistant professor, Department of Electrical Engineering andComputer Science; courtesy appointment School of Music, NorthwesternUniversity October 13, 2006 Music-Specific Audio Content Analysis Naked Conversations: How Blogs are Changing the Way Businesses Talk with Customers Shel Israel and Robert Scoble March 28, 2006 National LambdaRail (NLR) National scale infrastructure for research and experimentation in networking technologies and applications. National LambdaRail Update Progress of National LambdaRail implementation. National LambdaRail: A Fiber-based Research Infrastructure USC Professor Dr. John Silvester speaks about National LambdaRail. National Optical Fiber Infrastructure Developments in the national optical fiber infrastructure. National Priorities for Transforming Health Care Quality Applications for patient safety, biomedical ethics. Natural Language Processing New algorithms for natural language processing. Natural Scene Categorization in Humans and Computers Prof. Fei-Fei Li's, faculty member, Beckman Institute April 14, 2006 Near-optimal Sensor Placements Maximizing information while minimizing communication cost with near-optimal sensor placements. Need: How PowerPoint Adversely Mediates Thought and Possible Remedies David K. Farkas, professor, Department of Technical Communication, University of Washington June 21, 2006 Neighbourhood Component Analysis Net.TV is not TV (as we know it)! The Economics of Open Content Jeff Ubois, manager, archiving production practice, Intelligent Television , March 29, 2006 Network Architecture for Automatic Security and Policy Enforcement An overview of various approaches for automating technical policyenforcement as a condition for network access in colleges anduniversities, including approaches which allow for host isolation intospecialized networks, captive-portal-like remediation systems, andother forms of conditional network access. Network Engineering: Abilene Update Abilene network progress update. Network Engineering: National Optical Update National Optical Networking Update. Network Engineering: Performance Engineering: E2EpiPEs and FastTCP Network Engineering: Performance Engineering: E2EpiPEs and FastTCP. Network Market Design for Efficient Resource Allocation Rahul Jain, visiting scholar, University of California, Berkeley July 24, 2006 Network Performance Routing Strategies Routing traffic to achieve good network performance. Network Visualization: Two new strategies and their case study evaluations BenShneiderman, Professor, Department of Computer Science, FoundingDirector, Human-Computer Interaction Laboratory, University of Maryland 9/26/2007 Networking at Home - Directions in Connected Computing for the Consumer Neurally Inspired Algorithms for Machine Vision and Learning Neurobiology: Turing’s Enigma Solution The relationship between Turing's Enigma solution and the neurobiology of decision making. Neuromorphic VLSI for Learning and Memory Construction of a VLSI model of the hippocampus. NeuroScholar: A Practical Solution Addressing Information Overload in Systems-Level Neuroscience New Approaches for Building Cryptographic Hash Functions Thomas Ristenpart, Ph. D. Student, UC San Diego 8/1/2007 New Approaches to Identification Sensing New technologies for computational identification and sensing _ WISP and Fiberfingerprint. New Directions in Multiprocessor Synchronization This synchronization model promises to alleviate many of the problems associated with locking. New Directions in Pointer Analysis New Directions in Robust Automatic Speech Recognition New Directions in Static Analysis for Error-Detection and Garbage Collection Research with older adults illustrates key themes and issues in doing interdisciplinary research. New Locally Decodable Codes and Private Information Retrieval Schemes Sergey Yekhanin, Ph.D., Massachusetts Institute of Technology January 3, 2007 New Market Models and Algorithms Vijay Vazirani, Ph.D., fellow, ACM; author May 24, 2006 New Methods in Soil Ecology: Combining Biology and Computation New Traffic Tracking Technologies New Trends in Parametric Models from 1 to the 3-D Case Niche Envy: Marketing Discrimination in the Digital Age Joseph Turow, Robert Lewis Shayo professor of communication, Penn's Annenberg School for Communication January 30, 2007 NIST in 5 minutes 41 seconds No Ifs, Ands, or Buts: Uncovering the Simplicity of Conditionals Jonathan Edwards, research fellow, Software Design Group, MIT CSAIL November 28, 2007 Not Even Wrong Not from Scratch: What the Fine Arts brings to HCI Noun Phrase Coreference Algorithms Discussion of algorithms for noun phrase coreference resolution. Novel Digital Technologies and Women Nucleic Acid Logic Circuits for Programming Biology Discusses the design and experimental implementation of DNA-based logic gates and circuits in vitro. Object Recognition Using Pictorial Structures Object Recognition with Deformable Models Learn about algorithms that have been developed for finding objects in images using different types of deformable models. Object Recognition with Material and Shape Off the Beaten Path in Pervasive Computing Dr. Joe Marks, director, MERL Research June 5, 2006 On Graph Kernels S V N Vishwanathan, Ph. D., Principal Researcher, National ICT Australia 9/28/2007 On Online Computation On the Capacity of Information Networks On the Compressibility of NP Instances and Cryptographic Applications Moni Naor, professor, Computer Science, Weizmann Institute of Science in Rehovot, Israel August 9, 2006 On the Cost of Securing Applications: Performance and Feasibility of Capability-Based Security in the Rotor Platform On the Cruelty of Really Teaching Computer Science Redux Developing new methods for teaching computer science. On the Measure of Intersecting Families, Spectral Methods On the Nature and Conduct of Technical Research On the Power of Choosing the Shortest of Two One Dimensional DLA One-Forms and Tutte-Like Embeddings Online Approximation Techniques for Spatial Data Online Ascending Auctions for Gradually Expiring Items Online Auctions, Strategyproofness and Random Valuations Online Geospatial Data Sources A discussion about the huge number of geospatial data sources available online and how to use them. Online Science: The World-Wide Telescope Open Constraint Programming Opening Doors: Mentoring on the Internet Students develop supportive relationships with adult mentors on the Internet. Opening Plenary Internet2 Spring 2004 Member Meeting opening plenary. Opening Plenary - Challenges for Advanced Networking Challenges for advanced networking are presented. Opening Plenary - Fall 2004 Dr. Larry Faulkner, president University of Texas-Austin, begins thesession with an oratory regarding networking for research andeducation. Operation-Centric Hardware Description and Synthesis Opportunistic Spectrum Access via Dynamic Resource Allocation Mingyan Liu, Associate Professor, Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor 3/14/2008 Opportunities and Challenges in End-to-End Verification of Software Systems Opportunities and Challenges in Sensing, Inference and Context-aware Computing Anthony LaMarca, Ph. D., Associate Director, Intel Research Seattle 7/23/2007 Optimal Dynamic Auctions Mallesh Pai, graduate student, Kellogg School of Management, Northwestern University March 21, 2006 Optimal Marketing Strategies over Social Networks Mukund Sundararajan, Graduate Student 3/25/2008 oPtions: The Secret Life of Steve Jobs Daniel Lyons, senior editor, Forbes October 23, 2007 Our Infrastructures - Online And Vulnerable? Part 1 of 3 Fromelectricity usage to water consumption, from traffic lights to dams,our world is monitored by computer systems. Join a panel of experts whotake a look at the reliability of these control systems. Our Infrastructures - Online and Vulnerable? Part 2 of 3 Our Infrastructures - Online and Vulnerable? Part 3 of 3 Our Job is EasyLiving Overview of the Science Fiction Museum P2P and Online Social Networking Research at Mirage Group Reza Rejaie, Assistant Professor, Department of Computer and Information Science, University of Oregon 3/26/2008 PageRank and the Random Surfer Model Pall Melsted, Graduate Student, The Department of Mathematical Sciences, Carnegie Mellon University 1/16/2008 Pair Programming Re-Design Larry Leifer and Jan Chong March 20, 2006 Panel - Extracting Signal from Noise in Social Networking Paradigms of Worm Defense & Thoughts from an Ivory Tower ParaEval: Using Paraphrases to Improve Machine Translation and Summarization Evaluations Liang Zhou, Ph.D. student from the Information Sciences Institute April 20, 2006 Parallel Execution Models for Future Multicore Architectures Guri Sohi, faculty member and chair, Computer Sciences Department, University of Wisconsin-Madison February 17, 2006 Parallel, Real-Time Garbage Collection in Rotor Parallelizing Programs using Approximate Code Two hardware/software techniques to exploit thread-parallel resources. Parameterized Model Checking of Protocols: Two Developments Part 1 - Privacy: Reconciling Reality A discussion about new federal and state laws meant to protect our privacy. Part 1: NCWIT - Introduction and Welcome Lucy Sanders, NCWIT CEO; Bill Wulf, President, National Academy ofEngineering; Rick Rashid, Senior Vice President, Microsoft Research;Padmasree Warrior, Executive Vice President and CTO, Motorola; Dr.Kathie Olsen, NSF Deputy Director and COO; and more May 17, 2006 Part 2 - At Odds: Victims Rights vs. Free Speech A discussion about new federal and state laws meant to protect our privacy. Part 2: NCWIT - Executive Branch Panel and Dialogue Lucy Sanders, NCWIT CEO; Bill Wulf, President, National Academy ofEngineering; Rick Rashid, Senior Vice President, Microsoft Research;Padmasree Warrior, Executive Vice President and CTO, Motorola; Dr.Kathie Olsen, NSF Deputy Director and COO; and more May 17, 2006 Part 3: NCWIT - Congressional Panel and Dialogue Lucy Sanders, NCWIT CEO; Bill Wulf, President, National Academy ofEngineering; Rick Rashid, Senior Vice President, Microsoft Research;Padmasree Warrior, Executive Vice President and CTO, Motorola; Dr.Kathie Olsen, NSF Deputy Director and COO; and more May 17, 2006 Part 4: NCWIT - Remarks by Senator Obama Lucy Sanders, NCWIT CEO; Bill Wulf, President, National Academy ofEngineering; Rick Rashid, Senior Vice President, Microsoft Research;Padmasree Warrior, Executive Vice President and CTO, Motorola; Dr.Kathie Olsen, NSF Deputy Director and COO; and more May 17, 2006 Partnering with Public Television Stations Pastiche: Decentralized, Low Cost Backup Using Untrusted Internet Storage Path invariants Andrey Rybalchenko, Researcher, Max Planck Institute for Computer Science, Ecole Polytechnique Federale de Lausanne 6/14/2007 Path Projection for User-Centered Static Analysis Tools Jeff Foster, Assistant Professor, Department of Computer Science, University of Maryland, College Park 4/10/2008 Pathfinder/MonetDB: Making xQuery Scale Using the Relational Approach Paths Beyond Local Search: A Tight Bound for Randomized Fixed-Point Computation Shang-Hua Teng, full professor, Computer Science Department, Boston University 5/24/2007 Pathways in Computer Science Patterns as Signs Paying Attention to Interruption: A Human-Centered Approach to Intelligent Interruption Management Brian P. Bailey, Ph.D., assistant professor, Department of Computer Science, University of Illinois-Urbana December 12, 2006 People Pen and Computers François Guimbretière, assistant professor, University of Maryland Human-Computer Interaction Lab June 16, 2006 Perelman Perelman's Work on the Thurston's Geometrization Conjecture - 2 Perelman's Work on the Thurston's Geometrization Conjecture - 3 Personal Passion and Professional Excellence - You Can Perspectives on the Information Industry An insider’s view of Google Inc., the Internet search engine known for its clean interface and speedy, highly relevant results. Persuasive Games: The Expressive Power of Videogames Ian Bogost, PH.D., Assistant Professor, School of Literature, Communication and Culture, Georgia Institute of Technology 6/21/2007 Pharmaceutical Informatics and the Pathway to Personalized Medicines How close are we to being able to personalize medicines to meet the unique health needs of individuals? Phase-Aware Program Profiling Phonological Licensing of Grammatical Morphology in Early Speech Katherine Demuth, professor, Cognitive and Linguistic Science, Brown University November 16, 2006 Photo Tourism and Photosynth: UW CSE, Microsoft Research, and Microsoft Live Labs Create a Winner Demonstration of the latest in digital photo technology, Photosynth and Photo Tourism. Place Lab: Device Positioning Using Radio Beacons in the Wild PlanetLab: Evolution vs. Intelligent Design in Global Network Infrastructure Princeton University’s global network platform, PlanetLab, design principals, architecture and uses. Planning and Implementing Optical Networks: Two Case Studies This session provides the experiences learned in building two networks,the Third Frontier Network in Ohio, and LEARN in Texas. Play Between Worlds: Exploring Online Game Culture T. L. Taylor, associate professor, Digital Aesthetics and Communication, IT University of Copenhagen May 12, 2006 Podcasting: What's the Big Deal? Could Podcasting be the 'next big thing'? A panel of technology expertsdiscusses the possibility. High Tech Hawaii is produced by theUniversity of Hawaii. Point-Based Methods in Shape Modeling and Physical Simulation Positive Externalities Power Aware Page Allocation Power Electronics, Energy, and Environment Using power electronics to produce energy while preserving the environment. Power Management from Handhelds to DataCenters: Chasing the Next 10X Improvements Partha Ranganathan, principal research scientist, Hewlett Packard Labs September 15, 2006 Powerset and Natural Language Search Practical Analysis Tools for Large-Scale Software Practical Byzantine Fault Tolerance Pre-Execution: Staying on the Performance Curve Predicting Secret Keys via Branch Prediction Çetin Kaya Koç , Ph. D., Member, Steering Committee of CHES 2/4/2008 Predicting the 'Unpredictable' Predicting the 3-D Structures of Proteins from their Linear Sequences Computational approaches to predicting the three-dimensional structures of proteins. Predicting Tornados with Data Driven Workflows: Building a Service Oriented Grid Architecture for Mesoscale Meteorology Research Predicting Value from Design Princeton ZebraNet Project Discussion of the ZebraNet system, a mobile sensor network designed for wildlife tracking. Privacy in Cyberspace Privacy on the Internet. Privacy-Enhanced Personalization Proactive Computing Proactive Computing: A Progress Report Research on computers that anticipate our needs. Probabilistic Latent Variable Decompositions for Image and Audio Analysis Bhiksha Raj, Ph.D., staff scientist, MERL July 11, 2006 Probabilistic Methods for Mobile Robot Navigation Probabilistic Models for Complex Domains Probabilistic models for complex domains such as cells, bodies, and webpages. Probabilistic Models for Parsing Images Xiaofeng Ren, Ph.D. student, Computer Vision Group at U.C. Berkeley February 16, 2006 Probabilistically Checkable Proofs Ubiquitous computing using Context Fabric middleware. Process Extraction in an Abstract Logic of Events Bob Constable, professor and dean, CIS, Cornell University April 13, 2006 Processes without Partitions Matthew Flatt, assistant professor at the University of Utah,demonstrates a novel software approach for programmers, the PLT Scheme. Program Analysis Techniques for Pointers and Accessed Memory Regions Program Analysis with Binary Decision Diagrams Program Analysis: Binary Decision Diagrams A discussion of binary decision diagrams, scalable context-sensitive, inclusion-based pointer alias analysis. Program Composition by Non-Programmers Ken Kahn, Developer, Toon Talk 7/11/2007 Program Verification via Three-Valued Logic Analysis Alexey Loginov, University of Wisconsin at Madison April 19, 2006 Programmable Self Assembly The use of programmable self assembly to solve complex computational problems. Programming by Sketching Programming Language Infrastructures Discussion of compile time and run time language infrastructure interfaces. Programming: Secure Execution The exploitation of program vulnerabilities. Project Fabulous: Turning Grumbling into Energy Protein-Protein Interaction: A 3-Dimensional Jigsaw Puzzle Chemical and Biomolecular Engineering faculty member briefly describes his current research. Protocol Composition Logics Provably Optimal Solutions to Geometric Vision Problems Richard Hartley, Professor, Vision Science, Technology and Applications Program, National ICT, Australia 7/12/2007 Pseudorandom Walks in Directed Graphs and the RL vs. L Question PTC 2005 - The Rebirth of the Pacific Telecommunications Council Discover how Honolulu has generated enthusiasm and excitement to become'the place' for the Pacific Telecommunications Conference (PTC). Punit Renjen, Principal, Deloitte Consulting Principal at Deloitte is interviewed. Putting Computer Power to Work in an Online Learning Environment QoS-Based Resource Management Quantizing Time Quantum Information Science:: A Quantum Computer Revolution A discussion on quantum computing. Quantum Loop Gas Approach to Topological Phases of Correlated Electrons Query Processing for Large-Scale XML Message Brokering Query Processing in Sensor Networks Simple interface overcomes volatile environments. Querying Breast Cancer Image Databases QuickSilver Scalable Multicast Krzys Ostrowski, Ph.D. student, Computer Science Department, Cornell University November 9, 2006 Race-Aware Runtimes for Concurrent Software Development & Deployment RAIL2 - Runtime Assembly Instrumentation Library 2 Raising the Bar: Integrity and Passion in Life and Business: The Story of Clif Bar, Inc. Raksha: A Flexible Information Flow Architecture for Software Security MichaelDalton, 2nd year graduate student, Computer Science, StanfordUniversity, Hari Kannan, 2nd year graduate student, ElectricalEngineering, Stanford University 8/17/2007 Random Forests and the Data Sparseness Problem in Language Modeling Random Matrices and Spectral Clustering Abstract Ravi Kannan, Ph.D., Theoretical Computer Science, Applied Mathematics, Optimization and Discrete Mathematics, Yale University July 27, 2006 Random Sorting Networks Alexander Holroyd, Ph.D., University of British Columbia October 27, 2006 Random Walk and Random Aggregation, Derandomized Randomly Coloring Planar Graphs with Fewer Colors Than the Maximum Degree Juan Vera, post-doctoral researcher, Georgia Tech December 11, 2006 RAPUNSEL & CREOL - Games that Teach Kids to Program Rate Control Protocal (RCP): Congestion Control to Make Flows Complete Quickly Nandita Dukkipati, expecting Ph.D. degree in June 2007, Electrical Engineering, Stanford University April 25, 2007 Real-time Specification for Java The status and implementation of the Real-time Specification for Java. Reasoning About Reliability and Security Using Boolean Methods Reasoning with Cause and Effect Recent Developments in Linguistics - And in the UW Department of Linguistics Recent Progress in Group Editors and Operational Transformation Algorithms Records, Sums, Cases, and Exceptions: Row-polymorphism at Work Matthias Blume, assistant professor, Computer Science, Toyota Technological Institute at Chicago (TTI-C) April 30, 2007 Recovering Human Shape and Motion from Video Sequences Recurrence of the Simple Random Walk Path Ori Gurel-Gurevich, Ph. D. Student, Weizmann Institute of Science, Israel 1/2/2008 Reducing Errors in Computer Recognition of Handwritten Material Refinding Information on the Web: What Do We Do? Robert Capra, Ph.D., School of Information and Library Science, UNC Chapel Hill June 29, 2006 Refinement of Thread-Modular Verification Alexander Malkis, Ph D. Student, University of Freiburg, Germany 11/27/2007 Reformulating the HMM as a Trajectory Model by Imposing Explicit Relationship Between Static and Dynamic Features Regional Optical Networking - The Next Steps Consortium leaders of I2 discuss the current and future status of regional optical networking. Regular Extrapolation of Behavioral Models-Searching for Regular Patterns by Observation Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems Regulatory Elements in Microbial Genes Research data used to identify evolutionarily conserved patterns in DNA regulatory regions. Relational Artifacts: From Virtual Pets to Digital Dolls Sherry Turkle explores computer-effected identity issues. Relational Databases in the Social and Health Sciences: The View from Demography Samuel Clark, demographer, Sociology Department, University of Washington October 26, 2006 Relationships and Partnerships: NSF Program Update Projects underway at the National Science Foundation. Relationships and Partnerships: Politics, Law, and Technology - Bandwidth Management for the Fearless Campus Bandwidth Management, Peer to Peer application, Political Implications. Reliability Estimation During Architectural Design Reliable Feedback from Clicking Behavior in Adaptive WWW Search Rendering by Manifold Hopping A rendering technique called manifold hopping. Rendering Translucent Materials Rendering Translucent Materials Repositioning Computer Science: Increasing Diversity and Creativity in CS Education Representations of Visual Appearance for Computer Graphics Mathematical representations for challenging problems in visual appearance. Research Challenges in Software Radio Research in Educational Technology: Expanding Educational Possibilities Educational Technology Group improves education through deployments of computing technology. Resisting Denial of Service Attacks by Puzzle Outsourcing Resource Acquisition Via an Unsupervised WSD System Resource Management of Heterogeneous Wireless Networks Tajana Simunic Rosing, Ph.D., assistant professor, Computer Science Department, UCSD September 1, 2006 Resource-BasedNLP (by Hitoshi Isahara) and Construction of Large Japanese-ChineseAligned Parallel Treebank Corpus (by Kiyotaka Uchimoto) - NationalInstitute of Information and Communications Techno HitoshiIsahara, Ph. D., Leader of the Computational Linguistics Group,Director of the Thai Computational Linguistics Laboratory. KiyotakaUchimoto, Ph.D., Senior Researcher of the National Institute ofInformation and Communications Technology, Japan 12/7/2007 Rethinking Database Systems for Modern Architecture Rethinking Internet Traffic Management Using Optimization Theory Dr.Jennifer Rexford, computer science professor at Princeton University,shares fresh ideas on how to better manage Internet traffic. Rethinking Processor and System Architecture Steven Swanson, University of Washington April 26, 2006 REVEAL REVEAL: Reconstruction, Enhancement, Visualization, and Ergonomic Assessment for Laparoscopy. Revelationary Computing, Proactive Displays and The Experience UbiComp Project Reviewof Recent Research: Citrine Smart Clipboard, WhyLine InterrogativeDebugging, EdgeWrite Text Entry, and Pebbles PocketPC Software Rick Devenuti, CIO, Microsoft Corporation Rick Devenuti, Microsoft Corporation. Robert Oppenheimer - Atomic Bomb Robert Sutton - Author Robotic Reasoning A discussion about market-based planning and nonlinear dimensionality reduction. Robotic Surgery Robots Robust Constrained GSC Algorithm for Microphone Array Processing Byung-Jun Yoon, Ph.D. candidate, Department of Electrical Engineering, California Institute of Technology (Caltech) September 8, 2006 Robust Design of Arithmetic Units for Error Tolerant Applications Robust Face Recognition via Sparse Representation Yi Ma, Associate Professor, Electrical & Computer Engineering Department, University of Illinois at Urbana-Champaign 3/11/2008 Root Numbers and Ranks RoSCtor: Software Construction Within Rotor Routers: The Click System Describes the Click router system. Routing Tradeoffs in Dynamic Peer-to-Peer Networks Roving Robot Land Mine Detector Students at JHU build a robotic land mine detector. Runtime Refinement Checking for Concurrent Data Structures (the VYRD* Project: VerifYing Refinement by Runtime Detection) Russ Daggatt, Teledesic SaC: Off-the-Shelf Support for Data-Parallelism on Multicores Dr. Sven-Bodo Scholz, senior lecturer, University of Hertfordshire March 30, 2007 SAFECode: A Platform for Developing Reliable Software in Unsafe Languages Dinakar Dhurjati, Ph.D. candidate, Computer Science, University of Illinois at Urbana-Champaign April 10, 2006 Safety Vest to Reduce Injuries Johns Hopkins University students develop a safety vest to prevent injuries. SAGE: Software for Algebra and Geometry Experimentation Sally McKenzie, vice president, Eddie Bauer Sally McKenzie, Eddie Bauer. SANGAM: A System for Integrating Web Services to Investigate Stimulus-Circuitry-Gene Coupling Satan’s Computer Revisited: API Security Applying protocol ideas to study application programming interfaces (APIs). Satisfaction: How Every Great Company Listens to the Voice of the Customer Chris Denove and James D. Power IV March 9, 2006 Scalability and Extensibility in the Denali Virtual Machine Monitor Scalable Automated Methods for Software Reliability Koushik Sen, Computer Science, University of Illinois at Urbana-Champaign April 5, 2006 Scalable Automatic Methods for Software Reliability Using scalable automated testing methods to improve software reliability more efficiently. Scalable Dynamic Analysis for Automated Fault Location Rajiv Gupta, professor, Computer Science, The University of Arizona March 29, 2007 Scalable Knowledge Harvesting Scalable Program Analysis Using Boolean Satifiability Scalar Operand Networks for Parallel Microprocessors Transforming conventional microprocessors into scalable, parallel VLSI systems using the scalar operand network. Scaling Laws and Tradeoffs in Peer-to-Peer Live Multimedia Streaming Baochun Li, Ph.D., Department of Electrical and Computer Engineering, University of Toronto October 11, 2006 Scaling Routers Using Optics Combining optics and computer networking research to change router architectures. School of Interactive Arts and Technology at Simon Fraser University Seif El-Nasr, Ph. D., Assistant Professor, School of Interactive Arts and Technology, Simon Fraser University 9/12/2007 Schools Don't Want Technology, Schools Want Education Science and Engineering Gap Technology leaders explore ways to rekindle interest in the fields of science and engineering. Science Education in the 21st Century: Using the Tools of Science to Teach Science Noble Laureate Professor Carl Wieman, renowned physicist and teacher, University of British Columbia November 15, 1997 Science Friction: Where the Known Meets the Unknown SCOOP: Concurrent Object-Oriented Programming for Rotor Scott Griffin, CIO, The Boeing Company SCS '06 - Closing Keynotes - Part 1 Danah Boyd and Clay Shirky May 9, 2006 SCS '06 - Closing Keynotes - Part 2 Danah Boyd and Clay Shirky May 9, 2006 SCS '06 - Closing Keynotes - Part 3 Danah Boyd May 9, 2006 SCS '06 - Closing Keynotes - Part 4 Danah Boyd and Clay Shirky May 9, 2006 SCS '06 - Icebreaker - Part 2 Liz Lawley May 8, 2006 SCS '06 - Introductions and Icebreaker - Part 1 Danah Boyd May 8, 2006 SCS '06 - Lightning Round 1: Learning in and About Virtual Worlds - Talk 1 Constance Steinkuehler, University of Wisconsin-Madison May 8, 2006 SCS '06 - Lightning Round 1: Learning in and About Virtual Worlds - Talk 2 Tim Burke May 8, 2006 SCS '06 - Lightning Round 1: Learning in and About Virtual Worlds - Talk 3 Nic Ducheneaut, Computer Science Lab, PARC May 8, 2006 SCS '06 - Lightning Round 1: Learning in and About Virtual Worlds - Talk 4 Andy Phelps May 8, 2006 SCS '06 - Lightning Round 1: Learning in and About Virtual Worlds - Talk 5 Dan Hunter, Wharton School, University of Pennsylvania May 8, 2006 SCS '06 - Lightning Round 1: Learning in and About Virtual Worlds - Talk 6 Clay Shirky May 8, 2006 SCS '06 - Lightning Round 2: Mobile/Pervasive Social Computing - Talk 1 Rich Ling May 8, 2006 SCS '06 - Lightning Round 2: Mobile/Pervasive Social Computing - Talk 2 Dina Mehta May 8, 2006 SCS '06 - Lightning Round 2: Mobile/Pervasive Social Computing - Talk 3 Daniel Pargman, Royal Institute of Technology, Stockholm, Sweden May 8, 2006 SCS '06 - Lightning Round 2: Mobile/Pervasive Social Computing - Talk 4 Cathy Beaton May 8, 2006 SCS '06 - Lightning Round 2: Mobile/Pervasive Social Computing - Talk 5 Howard Rheingold May 8, 2006 SCS '06 - Lightning Round 2: Session Planning SCS '06 - Group Discussion May 8, 2006 SCS '06 - Lightning Round 3: Interactions in Online "Spaces" - Part 1 Julian Dibbell May 9, 2006 SCS '06 - Lightning Round 3: Interactions in Online "Spaces" - Part 2 Fernanda Viegas, MIT Media Lab May 9, 2006 SCS '06 - Lightning Round 3: Interactions in Online "Spaces" - Part 3 Kyle Brinkman May 9, 2006 SCS '06 - Lightning Round 3: Interactions in Online "Spaces" - Part 4 Judith Donath May 9, 2006 SCS '06 - Lightning Round 3: Interactions in Online "Spaces" - Part 5 Scott Golder, HP Labs May 9, 2006 SCS '06 - Lightning Round 3: Interactions in Online "Spaces" - Part 6 Karrie Karahalios, Ph.D., MIT Media Lab May 9, 2006 SCS '06 - Lightning Round 3: Session Planning SCS '06 - Group Discussion May 9, 2006 SCS '06 - Microsoft Research Welcome Liz Lawley, Dan Ling and Marc Smith May 8, 2006 SCS '06 - Reporting Back to Main Group SCS '06 - Group Discussion May 9, 2006 SCS '06 - Wrap-Up and Next Steps Wendy Kellogg and Elizabeth Churchill May 9, 2006 Seamless Innovation Through the Power of Pervasive Computing A discussion on the emerging ecosystem of Pervasive Computing and therole that emerging force will play in the processes of research andinnovation. Search Engines Considered Harmful: In Search of an Unbiased Web Ranking Search: Use of Relevance Feedback and Estimating Effectiveness of Searches Vishwa Vinay, Ph.D. student, University College London August 10, 2006 Searching for Privacy Dr. Lorrie Faith Cranor, director, CMU Usable Privacy and Security Laboratory (CUPS) July 21, 2006 Second Generation Sensor Querying Secure Content Distribution Using Untrusted Servers Secure Equilibria and Assume-Guarantee Synthesis Krishnendu Chatterjee, Ph.D. student, University of California, Berkeley October 30. 2006 Secure Personalization: Towards Trustworthy Recommender Systems* Secure Trusted Overlay Networks for Robust Privacy-Protecting Communication Secure Virtual Architecture: A Novel Foundation for Operating System Security Vikram Adve, Ph.D., Associate Professor of Computer Science, University of Illinois at Urbana-Champaign 5/22/2007 Security and Privacy in Radio Frequency Identification David Molnar, Ph.D. student, University of California, Berkeley December 7, 2006 Security Protocols for Broadcast Communications Seduced by Success: How the Best Companies Survive the 9 Traps of Winning Robert J. Herbold, Director of Herbold Group, LLC, advisor President's Council on Science and Technology 5/23/2007 Seeing Through the Clutter Self-Defending Software: Collaborative Learning for Security Self-Migration by Self-Inflation Self-Monitoring of Thread Interactions in Multithreaded Systems Self-Replicating Machines, Open Source Hardware, and the Relationship Between Information and Structure Semantic Anchoring of Domain Specific Modeling Languages Dr.Janos Sztipanovits, E. Bronson Ingram Distinguished professor,Engineering; professor, Electrical Engineering, Computer Science andComputer Engineering, Vanderbilt University June 14, 2006 Semi-Supervised Clustering: Probabilistic Models, Algorithms and Experiments Semi-Unsupervised Learning of Taxonomic and Non-Taxonomic Relationships from the Web Enrique Alfonseca, Ph.D., post-doc researcher, Tokyo Institute of Technology, Japan May 8, 2006 Semiconductor Industry, Integrated Solutions Challenges for semiconductor manufacturers. Send: Think Before You Click David Shipley, Op-Ed editor, The New York Times April 18, 2007 Sensor Networks and Ubiquitous Computing Sensor Technology for Environmental Protection Researchers look at new sensor technology for environmental protection. Sensor-Based Statistical Models of Human Interruptibility Developing statistical models that sense levels of human interruptibility. Service Placement in Stream-Based Overlay Networks Session 1: Nanotechnology, Part 1 Presentations by Ashutosh Sharma and Rudra Pratap. Session 1: Nanotechnology, Part 2 Presentations by Mohan Manoharan and Michael Wong. Session 2: Wireless - Research Opportunities and Challenges, Part 1 Presentations by David Tse and Muriel Medard. Session 2: Wireless - Research Opportunities and Challenges, Part 2 Presentations by Abhay Karndikar and Ajit Rao. Session 3: Natural Disaster Simulation and Mitigation, Part 1 Presentations by Shuyi Chen and Paula Sturdevant-Rees. Session 3: Natural Disaster Simulation and Mitigation, Part 2 Presentations by Shankar Doraiswamy and Durgesh Chandra Rai. Session 4: Interface of Engineering with Biology and Medicine, Part 1 Presentations by Mukund Thattai and David Hunter. Session 4: Interface of Engineering with Biology and Medicine, Part 2 Presentations by Kalyanasundaram Subramanian and Scott Manalis. SETI@home and Public Participation Distributed Computing ShaRE: A Run-Time System for High-Performance Virtualized Routers Shared Display Wall Based Collaboration Environment in the Control Room of the DIII-D National Fusion Facility Sharing and Abstraction in Hierarchical Reinforcement Learning Sequential decision making. Sharp Thresholds for Random Constraint Satisfaction Problems Sheldon Brown - Art Using Computer-Aided Technologies Shibboleth Today and Tomorrow Internet2 Spring 2004 Member Meeting, Shibboleth Today and Tomorrow Short Talks SICSA - Exploring Space Architecture Academics and professionals work together on space architecture. SID Grid: Collaborative Experimentation in a Sensor-Rich Laboratory Signal Processing Work of University of Cagliari Luigi Raffo, Daniel D. Giusto, Simone Secchi, Paolo Pintus and Alice Orlich February 9, 2007 Signal-Processing Framework for Forward and Inverse Rendering Signal-Processing Framework Simple Practical Methods for Estimating Distances in Large and Sparse Datasets Like the Web Ping Li, graduate student, Stanford University December 14, 2006 Simple, Scalable Network Algorithms Network algorithms for switch scheduling, web caching, and bandwidth partitioning. Simultaneous Optimization and Fairness Ashish Goel, assistant professor, Management Science and Engineering and (by courtesy) Computer Science, Stanford University May 12, 2006 Single and Multiple Document Summarization with Graph-Based Ranking Algorithms Single Image Dehazing Raanan Fattal, Ph.D., Assistant Prof., Hebrew University 4/15/2008 Singularity of Random Bernoulli Matrices Skoll: Distributed Continuous Quality Assurance Slepian-Wolf Coded Quantization for Wyner-Ziv Coding: Performance Analysis, Code Design and Applications Smart Airport Technology, Etiquette for Engineers, Visible Human Embryo, Data Visualization Smart Airport Technology, Etiquette for Engineers, Visible Human Embryo, Data Visualization Smart Cell Phones: Making Sense on Small Screens Techniques to make cell phones as functional as a networked computer. SmartBridge: A Scalable Bridge Architecture Smarter Roads, Smarter Drivers VT Transportation Institute researches a range of highway scenarios ontheir state-of-the-art Smart Road. Social and Temporal Structures in Everyday Collaboration Social Balance on Networks: The Dynamics of Friendship and Hatred Sid Redner, Ph.D. 7/31/2007 Social Catalysts: Enhancing Communication in Mediated Spaces Social Metadata and Tagging - From Trees to Tags Social Metadata and Tagging - Tesla, Tagging for the DeskTop Social Mobile Applications, Location, Privacy and the Capital of Nevada Social Network Analysis meets the Semantic Web: What FOAF Reveals About LiveJournal Social Networks: Mathematical Models Mathematical models within a social network. Social Phenomena in Virtual Communities Software and Systems Research Innovations in unstructured information management architecture. Software Development Practices and Knowledge Sharing: A Comparison of XP and Waterfall Team Behaviors Jan Chong, doctoral candidate, Department of Management Science and Engineering, Stanford University April 16, 2007 Software Synthesis for Embedded Systems Software Transactions: A Programming-Languages Perspective Overviewof work done at the University of Washington to help bring transactionsto the next generation of programming languages. Solar Revolution: The Economic Transformation of the Global Energy Industry Travis Bradford, President and founder, Prometheus Institute for Sustainable Development October 19, 2006 Solving Geometric Matching Problems Using Interval Arithmetic Optimization Some Hotter Topics in Information and Physical Security Some New Directions in Energy Minimization with Graph Cuts Some Open Problems in Large Volume Data Mining in Biomedical Applications Some Recent Advances in Gaussian Mixture Modeling for Speech Recognition Some Recent Results in Camera Calibration and Shape Reconstruction Some Uses of Orthogonal Polynomials Sound Transaction-based Reduction without Cycle Detection Source Code Evolution with Interactive Transformations Space Elevator - Fiction, Fact, and Progress Reports on Required Robotics and Carbon NanoTube Developments Specification-Based Annotation Inference Spectral Analysis for Data Mining Spectral Clustering as Optimization An academic discussion of spectral clustering algorithms. Speech User Interactions in the Project54 System Andrew L. Kun, associate professor, Electrical and Computer Engineering, University of New Hampshire October 25, 2006 SpeechPad: Multimodal Text Entry on Mobile Devices Spiritual Computing CraigWarren Smith, a Seattle native, former Harvard (Kennedy School)professor, founder of the global movement to close the Digital Divide,and for 30 years a Buddhist teacher September 5, 2006 Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable David Lie, assistant professor, Department of Electrical and Computer Engineering, University of Toronto November 3, 2006 Splitting on Demand in Satisfiability Modulo Theories Cesare Tinelli, Ph.D., associate professor, Computer Science, University of Iowa November 6, 2006 Spoken Language Support for Software Development Spontaneous Speech: Challenges and Opportunities for Parsing Spook: Science Tackles the Afterlife Squaring the triangle: Games, Second Life and Libraries John Kirriemuir, Blogger, http://www.silversprite.com 7/26/2007 Stable Marriage of Poisson and Lebesgue Stacked Graphical Learning for Text Mining Zhenzhen Kous, Ph. D Candidate, Machine Learning Department, School of Computer Science, Carnegie Mellon University 11/28/2007 State of the Art and Future Trends in Mobile Phone-based Augmented Reality Istvan Barakonyi, Software Developer Imagination Gmbh, Austria 2/14/2008 Static Analysis for Identifying and Allocating Clusters of Immortal Objects Static Analysis of Dynamic Data Structures Statistical Failure Diagnosis in Software and Systems Statistical Failure Diagnosis in Software and Systems Alice Zheng, postdoctoral fellow, Carnegie Mellon University April 2, 2007 Statistical Knowledge Zero Statistical Learning Algorithms Discussion of statistical learning algorithms. Statistical Learning and Analysis for Unconstrained Face Recognition Statistical Machine Learning for Users Modelling Search Summit 2007 7/18/2007 Statistical Modeling: Genome Data Statistical modeling language for representing heterogeneous biological entities. Stay Safe Online: High Tech Hawai Cyber security experts and law enforcement professionals talk aboutInternet risks and how you can protect yourself online. High TechHawai'i is a production of the University of Hawai'i. STEP-A Futurevision...Today Stochastic Optimal Control in Biology and Engineering Storied Experiences: Investing in Culture Hyun-Yeul Lee, Ph.D., post-doctoral fellow, MIT Media Laboratory February 5, 2007 Strategic Intuition: The Creative Spark in Human Achievement William Duggan, Professor, Columbia Business School 2/13/2008 Strategies and Innovations in Electronic Commerce Strategies for Enhancing Ethnic and Gender Diversity in Engineering and Computer Science Stream Programming: Luring Programmers into the Multicore Era New capabilities with parallel abstraction that simplify application development, becoming more appealing to programmers. Streamlining Scientific Research via Electronic Laboratory Notebooks and Wireless Sensors STRONGMAN: Scalable Security Policy Management for Large Networks Structural Comparison of Executable Objects Structure and Stability of Complex Networks Structure Discovery and Information Brokerage in Sensor Networks Leonidas Guibas, Ph.D., Professor of Computer Science, Stanford University March 15, 2006 Students Design Custom Computer Desks Mechanical engineering students at Johns Hopkins design custom computer desks for an educator with disabilities. Studies of Programmers: How Can They Inform Training and Instruction? Beth Simon, Ph.D., Computer Science and Engineering, University of California, San Diego December 11, 2006 SUDS: Thread Level Speculation with Minimal Hardware Support Processor Architecture SUDS Super Crunchers: Why Thinking-by-Numbers is the New Way to Be Smart Ian Ayres, William K. Townsend Professor, Yale Law School 9/19/2007 Supervised Dimensionality Reduction with Principal Component Analysis Shipeng Yu, Ph.D. candidate, University of Munich, Germany; guest research scientist, Siemens Corporate Technology July 17, 2006 Support Vector Machines for Structured Outputs Supporting Collaboration through Human-Centered Design Carman Neustaedter, Ph.D. candidate, University of Calgary, Canada October 26, 2006 Supporting Construction, Analysis, and Understanding of Software Models Arie Gurfinkel, Ph.D. student, Computer Science, University of Toronto April 20, 2006 Supporting Effective Interaction with Tabletop Groupware Meredith Ringel Morris, Ph.D. student, Computer Science, Stanford University February 7, 2006 Supporting Informal Collaboration in Groupware Supporting Introspection: From Circuits to Software Tim Sherwood, assistant professor, Computer Science, UC Santa Barbara September 20, 2006 Supporting Scalable Online Statistical Processing Chris Jermaine, Assistant Professor, Computer Science, University of Florida 7/20/2007 Surface Computing and Computer Vision-Based Human Computer Interaction SURFing Toward Success Surveillance Privacy Protection Howcan people protect their privacy while maintaining secure environments?One computer scientist thinks he has the answer in the form of thepioneering video surveillance software he developed. SwitchWare: Lessons Learned, and Where Next? Jonathan M. Smith, Olga and Alberico Pompa professor, Engineering and Applied Science, University of Pennsylvania December 19, 2006 Symmetry Detection and Symmetrization Mark Pauly, Ph.D., Assistant Professor, Computer Science Department, ETH Zurich, Switzerland 8/24/2007 Synchronization and Concurrency for User-Level Systems William N. Scherer III, Ph.D., Computer Science April 26, 2006 Synonym Resolution on the Web Alex Yates, senior Ph.D student, University of Washington March 2, 2007 System Errors and User Corrections in Spoken Dialogue Systems Systematic Experimentation: When Abstraction Fails Systematic experimentation in computer sciences. Systemization and Application of Large-Scale Knowledge Resources Systems Challenges in Tiered Sensor Networks Ben Greenstein, Ph.D. candidate, Computer Science, University of California, Los Angeles March 16, 2006 T-Commerce Tabletop Groupware Computing technology supports face-to-face group work through interactive tables. Tactical Iraqi - How Learning a Foreign Language Can Be Fun on a Computer Dr. W. Lewis Johnson, senior project leader, USC Taking Advantage of International Connectivity Leveraging Global Collaboration Collaborations between Internet2 and international partners. Taking Charge 2: Two Stories of Success and Self-Determination Stories of young people who are successful in school. Talk 1: A Data-Oriented Networking Architecture - Scott Shenker Talk 2: RCP: Congestion Control to Minimize Download Time - Nandita Dukkipati ScottShenker, U. C. Berkeley Computer Science Department, InternationalComputer Science Institute (ICSI) and Nandita Dukkipati, EE Ph.D.student, Stanford University September 20, 2006 Talk 1: Convergence Research in the UK; Peter Hall Talk 2: Artistic Rendering in the Convergence Area; John Collomosse Talk1: RAMP: A Research Accelerator for Multiple Processors; JohnWawrzynek/Talk 2: Electronic System Design in the Late and Post SiliconEra; Jan Rabaey John Wawrzynek and Jan M. Rabaey, University of California, Berkeley December 12, 2006 Tangible User Interfaces Papier-mâché -- a toolkit for building tangible interfaces. Teaching Your Car to Drive: A How-to-Guide for the Quintessential Back-Seat Driver A discussion of autonomous vehicle development. TechFest - Applications of Automated Reasoning Dr. Byron Cook, researcher, Microsoft Research-Cambridge March 2, 2005 TechFest 2007 - Automatically Proving Concurrent Programs Correct Byron Cook, Microsoft March 8, 2007 TechFest 2007 - Executive Keynote Rick Rashid, senior vice president, Microsoft Research; Rico Malvar, managing director, Microsoft Research March 6, 2007 Technical Computing @ Microsoft: Lectures Series on the History of Parallel Computing - Part 1 Geoffrey Fox, Ph.D., professor, Computer Science, Informatics, and Physics at Indiana University February 26, 2007 Technical Computing @ Microsoft: Lectures Series on the History of Parallel Computing - Part 2 Geoffrey Fox, Ph.D., professor, Computer Science, Informatics, and Physics, Indiana University February 27, 2007 Technical Computing @ Microsoft: Lectures Series on the History of Parallel Computing - Part 3 Geoffrey Fox, Ph.D., professor, Computer Science, Informatics, and Physics, Indiana University February 28, 2007 Technical Computing @ Microsoft: Lectures Series on the History of Parallel Computing - Part 4 Geoffrey Fox, Ph.D., professor, Computer Science, Informatics, and Physics, Indiana University March 1, 2007 Technology Design to Foster Collaboration: A Multidisciplinary Approach Technology for Developing Regions Advocating computer technology for developing regions in the world. Technology Futures Technology in the Classroom Technology in Voting Technology Matters David E. Nye, professor, Comparative American Studies and History, Warwick University June 26, 2006 Technology, Technology, Everywhere! Tele-immersion Temporal Memory Streaming Tom Wenisch, Ph.D. student, Electrical and Computer Engineering, Carnegie Mellon University April 5, 2007 Text Editing: Outlier Finding Automating repetitive text editing. Text Mining with Information Extraction Mining a database for patterns. Text Summarization: News and Beyond Textual Entailment as a Framework for Applied Semantics Ido Dagan, senior lecturer, Department of Computer Science, Bar Ilan University, Israel March 29, 2007 Textual Entailment: Framework, Learning and Applications Idan Szpektor, Ph.D. student, Bar Ilan University, Israel September 6, 2006 The "Blind Men and the Elephant" Parable and the Future of Web Search Search Summit 2007 7/18/2007 The (Mis)Behavior of Markets: A Fractal View of Risk, Ruin and Return BenoitMandelbrot, Sterling professor, Mathematical Sciences, Yale University;fellow emeritus, IBM's Thomas J. Watson Laboratory August 23, 2004 The 11th Annual Spaghetti Bridge Building Contest Freshman JHU engineers turn ordinary spaghetti into pasta power in this annual construction competition. The Alice Project: A Different Way to Teach Introductory Computer Science Caitlin Kelleher, Ph.D., graduate fellow, National Science Foundation October 4, 2006 The AltaVista Indexing and Search Engine The Art and Technology of Electronic Textiles Maggie Orth, artist and technologist, International Fashion Machines, Inc November 9, 2004 The Art of Survival The Automated Lecture Capturing and Broadcasting System in MSR's 1159 The Benefit of Adaptivity in Stochastic Optimization Jan Vondrak, member, MSRI program 'Probability, Algorithms and Statistical Physics' January 19, 2005 The Berkeley Wireless Research Center Platforms Gary Kelson, executive director, Berkeley Wireless Research Center August 8, 2005 The Bilateral Grid and a Topological Approach to Image Segmentation Sylvain Paris, PhD, postdoctoral associate, Massachusetts Institute of Technology April 20, 2007 The Body Noble and Urban Fitness Derek Noble, star of his own daily fitness lifestyle show, Urban Fitness TV February 7, 2006 The Case for Opportunistic Communication S. Keshav, Associate Professor and Canada Research Chair, School of Computer Science, University of Waterloo, Canada 1/10/2008 The Case for Technology for Developing Regions Eric Brewer, UC Berkeley February 17, 2005 The Center for Parallel and Distributed Computation The Challenges of Development-Through-Entrepreneurship: Research on Rural Computer Kiosks in India Renee Kuriyan, Ph.D. candidate, University of California, Berkeley December 8, 2006 The Computation of Economic equilibria Nikhil Devanur, Ph. D. 2/26/2008 The Computational Camera Convergence of the camera and the computer. The Connection Project: Supporting Collaboration at the University of Michigan with High Quality Video Links The Connection Project: Supporting Collaboration at the University of Michigan with High Quality Video Links. The Connection Project: Toward Supporting Virtual Collocation The Creation: An Appeal to Save Live on Earth E.O. Wilson, pulitzer prize winner twice; author; Pellegrino University Research professor, Emeritus, Harvard University October 11, 2006 The Cricket Indoor Location System Nissanka Bodhi Priyantha, Computer Science and Engineering, MIT March 21, 2005 The Culture Code: Why People Around the World Really Are Different, and the Hidden Clues to Understanding Us All Dr. Clotaire Rapaille, chairman, Archetype Discoveries Worldwide June 13, 2006 The Curse of Dimensionality for Local Learning The Design and Analysis of Simple Algorithms Allan Borodin proposes changes in the Computer Science field to more fully integrate algorithm design. The Design of a Formal Property-Specification Language The Design Process Brendan Dawes, executive creative director, Interactive Design Group, MagneticNorth February 13, 2007 The Devious Logic of Metaphors The Diameter and Mixing Time of Critical Random Graphs Asaf Nachmias, mathematics graduate student, UC Berkeley February 27, 2007 The Digital Evolution and International Competitiveness IntelChairman Craig Barrett discusses technologies on the horizon, thefuture of global competitiveness and the need for investment in basicresearch and education. The Digital Libraries and Future Technologies The Economic Downturn of Northern Virginia The Economics of Software Dependability The Elegant Solution: Toyota's Formula for Mastering Innovation Matthew May, senior advisor, University of Toyota; and director, Aevitas Learning November 16, 2006 The Ellsberg Paradox and the Neural Foundations of Decision-Making Under Certainty Ming Hsu, California Institute of Technology February 23, 2006 The Emergent Structure of Software Development Tasks How using the structure of software development tasks can improve the productivity of developers. The Equations: Icons of Knowledge Sander Bais, theoretical physicist, University of Amsterdam May 16, 2006 The Evolution of Entrepreneurship: Stanford and Silicon Valley The Final Conclusion of the Dune Series Brian Herbert, Author, Dune Novels 8/7/2007 The Flickering Mind: The False Promise of Technology in the Classroom and How Learning Can Be Saved The Future is not Framed The Future of Computing The Future of Internet2 I2 leaders contemplate the future of Internet2 technology. The Future of Internet2 and K-12 (Opening Plenary) The Garbage Collection Advantage: Improving Program Locality The Gateway to Biological Pathways: A Platform to Enable Semantic Web-Based Biological Pathway Datasets The Giant Component The Google Linux Cluster Infrastructure of Google web search. The Grid-Occam Project The Hidden Dimension of Shadows: A Rethinking of the Role of Shadows in Visualization The History and Future of Serious Games Ben Sawyer, Digitalmill 8/22/2007 The Human Experiment: Two Years and Twenty Minutes Inside Biosphere 2 Jane Poynter, sealed inside Biosphere 2 for two years; co-founder, Paragon Space Development Corporation April 5, 2007 TheImmortal Game: A History of Chess, or How 32 Carved Pieces on a BoardIlluminated Our Understanding of War, Art, Science, and the Human Brain David Shenk, author and lecturer September 20, 2006 The Impact of IT on Activities of the Research University The Impact of IT on the Broader Environment of the University The Impact of IT on the Organization and Structure of the University The Institute for Systems Biology and Frontiers in Computational Biology The Intentional Domain Workbench The Domain Workbench makes the definition, creation, editing, combination, extension, and processing of DSLs more practical. The Interdisciplinary Challenge of Building Virtual Worlds Virtual reality projects for the DisneyQuest "digital theme park." The Internet Tidal Wave The IonP2P Project: Empirical Characterizations of P2P Systems Reza Rejaie, Ph. D., Assistant Professor, Department of Computer and Information Science, University of Oregon 8/10/2007 The Jasons: The Secret History of Science's Postwar Elite Ann Finkbeiner, author; runs the graduate program, Science Writing, Johns Hopkins University April 10, 2007 The Light Portal: 3D Reconstruction and Visualization over Space and Time Ruigang Yang, Ph.D., assistant professor, Computer Science Department, University of Kentucky May 17, 2007 The Limits of Quantum Computers The Location Stack: Design, Implementation, and Use of Probabilistic Multi-sensor Location Systems The Man Who Knew Too Much: Alan Turing and the Invention of the Computer The Manticore Project John Reppy, Ph. D., Faculty, University of Chicago 3/19/2008 The Meaning of the 21st Century: A Blueprint for Ensuring Our Future James Martin, Pulitzer Prize nominee, The Wired Society 6/27/2007 The Microsoft SenseCam and Other Lifelogging Devices Alan Smeaton, Ph. D., Professor, Computing, Dublin City University 9/5/2007 The MIT Spoken Lecture Processing Project The Mobile User A focus on current initiatives and examination of the consequences ofThe Mobile User. The Nemerle Project The Neurophysiology of Decision Making: Rate Differences and Log Likelihood Ratios The New Argonauts: Regional Advantage in a Global Economy AnnaLee Saxenian, Ph.D., author January 11, 2007 The Next Catastrophe: Reducing Our Vulnerabilities to Natural, Industrial and Terrorist Disasters Charles Perrow, professor emeritus, Sociology, Yale University; author March 23, 2007 The Next Information Frontier: The Physical and mental States of Users Anytime and in Their Natural Environments The Number of Linear Extensions of the Boolean Lattice The Perfect Thing: How the iPod Shuffles Commerce, Culture, and Coolness Steven Levy, senior editor and chief technology writer, Newsweek; author February 8, 2007 The Personal Rover Project: Robotics for the Masses The Piero Project The Potential of Play: Game Innovation, Expression and Learning Tracy Fullerton, M.F.A., Assistant Professor, Interactive Media Division, USC School of Cinematic Arts 8/31/2007 The Power of Design The methodology and culture that makes Gensler unique. The Power to Change the World Creativity and diversity within the dynamic computer science industry. The Price of Anarchy of Serial Cost Sharing and Other Methods The promise, the limits, and the beauty of software Grady Booch, Scientist, IBM 7/9/2007 The Role of Empirical Study in Software Engineering Dr. Victor R. Basili, professor, Computer Science, University of Maryland September 6, 2006 The Role of Skill in Internet Use Eszter Hargittai, fellow, Center for Advanced Study in the Behavioral Sciences, Stanford University October 16, 2006 The Role of Template Engines in Code Generation The Role of the University in Sustaining Innovation Discussion on the university's role in sustaining innovation. The Scaling Limit of Diaconis-Fulton Addition Lionel Levine The SDSC Notebook: A Data Management, Collaboration and Application Development Environment for the Windows Platform The Search: How Google and Its Rivals Rewrote the Rules of Business and Transformed Our Culture The Semantic Web in Action Eric Neumann, Director, Clinical Semantics Group 1/11/2008 The Semantic Web: Myth and Reality Nigel Shadbolt, professor, Artificial Intelligence, School of Electronics and Computer Science, University of Southampton May 3, 2006 The Sharp Form of the Strong Szego Theorem The Social Atom: Why the Rich Get Richer, Cheaters Get Caught and Your Neighbor Usually Looks Like You Mark Buchanan, Theoretical Physicist, Associate Editor, Complexus 6/6/2007 The Space Elevator and Our Future Bryan Laubscher, Ph. D., Astrophysicist, Project Leader, Los Alamos National Laboratory 7/20/2007 The Stanford Data Stream Management System The Structure of Information Networks The Theory of Secure Computation The field of cryptography and secure computation is discussed. The Trouble with Physics Lee Smolin, author September 29, 2006 The Truth is Out There: Aggregating Answers from Multiple Web Sources Search Summit 2007 7/18/2007 The TStreams Model: A new approach to parallel programming Kathleen Knobe, Subspace Model of Computation 1/22/2008 The UrbanSim Project: Urban Simulation to Inform Public Decision-making Informing public decision-making about land use and transportation with the UrbanSim project. The User at the Center of it All The Weather Makers: How Man is Changing the Climate and What it Means for Life on Earth Tim Flannery, South Australian Museum / University of Adelaide April 13, 2006 The WiFi eTransit Village The Zecosystem: Cyberinfrastructure Education and Discovery for the Next Generation Thinking About Lambda Based Network Architectures and Your Applications With Internet2 and National Lambda Rail actively working to merge,there is increased interest in how lambda-based network facilitiesmight be effectively used for advanced applications. That new interestraises a number of pragmatic questions that will be answered in thisprogram. Thinking and Acting Globally: Case Studies in International Network-enriched Education Internet2 member institutions collaborate with International partnersto redefine how we understand and live in the world. Thirty Years of Social Computing: Are We Finally Ready to Scale? This is Your Brain on Music: The Science of a Human Obsession Daniel Levitin, Ph.D., associate professor, Psychology, Behavioural Neuroscience, and Music, McGill University; author September 12, 2006 Three Projects - A Creative Ensemble Go 'behind the scenes' as UPenn Digital Media Design students showcase their computer animation projects. TLC2 - Fostering Advanced Research and Learning Tool Support for Proof Engineering Anne Mulhern, graduate student, University of Wisconsin at Madison August 23, 2006 Toolkit for Construction and Maintenance of Extensible Proof Search Tactics Tools and Techniques for Prototyping Future Interactions Tools and Techniques for Understanding and Defending Real Systems Jedidiah R. Crandall, Ph.D. candidate, Computer Science Department, U.C. Davis February 26, 2007 Touched with Light: Scanned Beams Display or Capture Information at Video Rates John R. Lewis, Microvision Fellow and Author April 6, 2006 Toward an Interpersonal Neurobiology of the Developing Mind Toward Human Computer Information Retrieval Toward Practical Dynamic Software Updating for C Toward the Next Generation Interaction Space: Tangible Space Initiative Heedong Ko, Ph.D., head of Imaging and Media Research Center (IMRC) at KIST February 22, 2006 Towards a Memory Model for C++ Hans-J. Boehm, Ph.D., author June 30, 2006 Towards a New Model of Abstraction in the Engineering of Software Gregor Kiczales, principal scientist, Xerox Palo Alto Research Center May 19, 1994 Towards a Service-Oriented Architecture for Reconfigurable Networked Embedded Sensor Systems Towards a Simpler Internet Explores ways to simplify the Web and achieve a more secure, robust system. Towards Accurate Internet Distance Prediction Rongmei Zhang, Ph.D candidate, Purdue University April 14, 2006 Towards Agnostically Learning Halfspaces Adam Tauman Kalai, assistant professor, Toyota Technological Institute in Chicago February 6, 2006 Towards Concept-Based Text Understanding and Mining Towards Documenting and Automating Collateral Evolutions in Linux Device Driver Giles Muller, Ph.D., full professor, Ecole des Mines de Nantes November 9, 2006 Towards Expressive and Scalable Publish/Subscribe Towards HardLANs: Building Network Intrusion Detection to 1 Gbps and Beyond Nicholas Weaver, International Computer Science Institute in Berkeley March 27, 2006 Towards Integrating the Sciences and Technologies of Learning for Education Towards Robust and Powerful Quantum Computers Research towards building a robust large scale quantum computer. Towards Total Integration: A Successful Collaboration Integration of television tools accessed through a web interface. TQFTs and Tight Contact Structures on 3-Manifolds Tractable Learning of Structured Prediction Models Ben Taskar, Electrical Engineering and Computer Science, University of California at Berkeley April 12, 2006 Trade-Offs in Cost-Sharing Mukund Sundararajan, graduate student, Computer Science, Stanford University February 26, 2007 Trading Convexity for Scalability Léon Bottou, Ph.D., NEC Labs America, Princeton July 10, 2006 Traffic Constraints Instead of Traffic Matrices: Capabilities of a New Approach to Traffic Characterization Traffic Matrix Inference and Anomaly Detection in Large IP Networks Discussionof the progress in IP network traffic matrix inference, arguably one ofthe most important technical problems of large-scale IP networks. Training and Reality: Adventures of a Spaceflight Participant Traits in C# Transactional Coherence & Consistency Transactional, Persistent, Managed Runtime Environments Transformations for High Performance Computing Transition Invariants Translation Validation of Optimizing Compilers Transparent Interfaces: Letting the User in on the Secret Designing transparent software systems for education applications. Trends in Adaptive Computing Trends in Data Compression Turing’s Dream and the Knowledge Challenge The accumulation of knowledge to meet the challenges of artificial intelligence. Tutorial on Foundations of Probabilistic Answers to Queries Two Network Coding Talks for the Price of One: Security, Low Complexity Type Systems for Multithreaded Software Cormac Flanagan, faculty member, Computer Science, University of California, Santa Cruz March 21, 2006 Type-Safe, Generative, Binding Macros Typed Compilation of .NET Common Intermediate Language Ubiquitous Computing Research of the University of Washington Ubiquitous Computing: System Privacy Ubiquitous computing using Context Fabric middleware. Ubiquitous Context-Aware Computing: Experience and Emerging Challenges William Griswold, professor, Department of Computer Science and Engineering, University of California, San Diego March 28, 2007 Ubiquitous Reflective Technologies Winslow Burleson, Ph.D., Assistant Professor, Computer Science and Engineering Department, Arizona State University 5/21/2007 UBIT Research Program: Technology for All Unconventional Vision Sensors Discussion on new vision sensors. Uncoupled Dynamics and Strategic Equilibrium Sergiu Hart, Center of Rationality, Dept. of Economics, Dept. of Mathematics, The Hebrew University of Jerusalem February 1, 2007 Uncovering Semantic Similarities Between Query Terms Understanding and Designing for Physically Large Displays Understanding and Improving Wireless Networks Glenn Judd, Computer Science Ph.D. candidate, Carnegie Mellon University April 11, 2006 Understanding and Surviving Internet Path Failures Understanding Group Effectiveness in a Newly Formed Online Community Roderick Lee, doctorial candidate, Alfred P. Sloan Fellow, Pennsylvania State University October 26, 2006 Understanding Human Movements to Enhance HCI Environments Understanding Venture Capital An overview of startup financing and venture capital. Understanding Visual Scenes in 200 msec: Results from Human and Modeling Experiments Aude Oliva, assistant professor, Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology August 8, 2006 Underwater Robot Developing remote control systems for deep sea robots. Unified Dimensionality Reduction: Formulation, Solution and Beyond ShuichengYan, Ph. D, Postdoctoral Research Fellow, Image Formation andProcessing Lab, University of Illinois at Urbana-Champaign 6/4/2007 Unifying Logical and Statistical AI Markov logic applies to problems in information extraction, robot mapping, and social networks. Universal techniques to analyze preferential attachment trees: Global and Local analysis Shankar Bhamidi 10/9/2007 Unknowable Unsupervised Learning Computational approaches to language processing. Upcrossing Inequalities for Stationary Sequences Mike Hochman, Ph.D. Student January 8, 2007 Usabilitea: Improving Access Where Interaction Design and Semantic Web Meet USC Presents...USC CloseUp - Research From ISI New research from the USC Information Sciences Institute. User Centric and Infrastucture Aspects of Pervasive Computing User Interface Support for Today User interface support for today's information worker. Using .NET and Web Services to Build an e-Science Application: Looking for White Dwarfs Using ACTIVboard In Interactive Presentations Using Architecture and Code Optimization Techniques to Create Fast and Effective Data Compressors Martin Burtscher, assistant professor, School of Electrical and Computer Engineering, Cornell University December 4, 2006 Using Compression Models to Filter Spam and Exploiting Structural Information for Document Categorization Using Emerging Open Specifications for Enhancing XML Web Services to Build Maintainable and Secure Health Care Information Sys Using Evolution to Explore the Human Genome Using evolution to explore the human genome. Using Machine Learning to Verify Systems Using Shared Displays to Create a Collaborative Classroom Learning Environment Using Statistical Monitoring to Detect Failures in Internet Services UW Neural Systems Laboratory Research focusing on models of Bayesian inference in neurobiological circuits. UW/Microsoft 8th Symposium in Computational Linguistics William Lewis, Manuela Noske, Dong Yu February 3, 2006 Value-Sensitive Design: Informed Consent and Network Browser Security Variable-Aperture Photography Sam Hasinoff, Ph. D. candidate, University of Toronto 9/21/2007 Variance Analyses from Invariance Analyses Dr. Byron Cook, researcher, Microsoft's laboratory, Cambridge University August 8, 2006 Verifying Safety Policies with Size Properties and Alias Controls Video Synopsis: Making an Infinite Video Shorter Shmuel Peleg 6/27/2007 Video Traces: Media Rich Annotations for Learning and Teaching Viewing Privacy as a Security Property George Danezis, post-doctoral visiting fellow, Cosic group, K.U.Leuven, in Flanders, Belgium February 17, 2006 Vinegar: Leading Indicators in Query Logs Search Summit 2007 7/18/2007 VinTime: How Scheduling Theory, Scenarios, Model Checking and Slicing Can Help in the Verification of RTS Architectures Victor Braberman, Ph.D., associate professor, Computer Science Department, University of Buenos Aires (Argentina) December 5, 2006 Virtual Coupling Schemes for Position Coherency in Networked Haptic Virtual Environments Ganesh Sankaranarayanan, Ph. D., Research Associate, Human Interface Technology Laboratory (HitLab), University of Washington 1/16/2008 Virtual Customer Environments & Customer Involvement in Innovation and Value Creation Virtual Machines: The Ultimate Tool for Computer Forensics T.V Raman of Google discusses specialized web browsers. Virtual Private Machines: A Resource Abstraction for Multicore Computer Systems Virtual Reality Therapy: Using Immersive Virtual Reality Games to Help Reduce Suffering Hunter Hoffman, Ph. D., Research Scientist, Affiliate Faculty, U.W. Dept. of Radiology, Dept of Psychology, 6/6/2007 VISP: Visualizing Information Search Processes Search Summit 2007 7/18/2007 Visual Classification by a Hierarchy of Semantic Fragments Boris Epshtein, Ph.D. student, Weizmann Institute of Science March 7, 2006 Visual Interfaces for Databases A visual interface for exploring large multi-dimensional databases. Visual Recognition and Tracking for Perceptive Interfaces Trevor Darrell, associate professor, Electrical Engineering and Computer Science, Massachusetts Institute of Technology September 27, 2006 Visualizing Social Interactions and Collaboration History Visualmotor Tasks and Human Learning Models that learn human tasks in navigation. Voyagers and Voyeurs: Supporting Collaborative Information Visualization Learn about novel visualization techniques and software tools for creating and customizing interactive visualizations. Vulnerability Analysis Technique to auto-generate attack graphs. WACE 2005 - Gaia WACE 2005 - Keynote Waitomo: Web-Programming with Objects and Interfaces Peter Thiemann, Ph.D., professor, Freiburg University, Germany September 15, 2006 War, Power, Strategy Wavelets in Real-time Rendering Weifeng Sun, Ph.D., Computer Science, University of Central Florida March 1, 2007 WaveScalar: Making Architecture Fun Again Discussion of WaveScalar, a new approach to building microprocessors. We're Friends, Right? Inside Kids' Culture Weaving a Trust Fabric: Shibboleth and PKI Implementing infrastructures for higher education. Web Servers: The SYNC Project Improving the performance of Web servers with static HTTP requests. Web Services for HPC - Making Seamless Computing a Reality Welcome - Overview of the day Search Summit 2007 7/18/2007 What Analytical Performance Modeling Teaches Us About Computer Systems Design Mor Harchol-Balter, associate professor, Computer Science, Carnegie Mellon University July 13, 2006 What I Learned About Auctions Last Fall What Is "Community" Anyway? What Makes for Success in Science and Engineering Collaboratories? What the Web Means for Science Timo Hannay, director, Web Publishing, Nature Publishing Group May 11, 2007 What Would Dr. King Do To Broaden Participation in Science and Computing? Discover how robotics and other programs can boost minority participation in science and engineering. When Can Formal Methods Make a Real Difference? When I go to UVA... When Separation Logic Met Java MatthewParkinson, Royal Academy of Engineering and EPSRC postdoctoral researchfellow, Computer Laboratory, University of Cambridge August 9, 2006 Where Google and Libraries Meet Jenny Walker, corporate vice-president, Marketing, Ex Libris January 23, 2007 Which graphs are extremal graphs? Laszlo Lovasz 8/7/2007 Which Supervised Learning Method Works Best for What? An Empirical Comparison of Learning Methods and Metrics Whose Hat is That? Why Almost All K-Colorable Graphs Are Easy Dan Vilenchik, 3rd year PhD student, Tel Aviv University February 12, 2007 Will Computers Take a Quantum Leap? Find out about computer evolution and quantum computing with Robert Kuhn and the Closer To Truth panel. WindowBox: A Simple Security Model for the Connected Desktop Colloquium Winning the DARPA Grand Challenge [Robotics] Sebastian Thrun, associate professor, Computer Science; director, Stanford Artificial Intelligence Laboratory May 15, 2006 Wireless Embedded Networks/The Ecosystem and Cool Challenges Wireless Network Coding for Multiple Unicast Sessions Sudipta Sengupta, Bell Laboratories, Lucent Technologies January 8, 2007 WISELI: FORWARD with Institutional Transformation Summary of WISELI's first five years. Women and the Future of Technology - Technology and the Future of Women Women in Computing - Gala Banquet Keynote Women in Engineering, Human Embryo Project Pt. 2, Experimental Economics, P3 Conference Women in Engineering, Human Embryo Project Pt. 2, Experimental Economics Women in the History of Computer Science Words, Links, and Patterns: Novel Representations for Web-Scale Text Mining Working Together: People with Disabilities and Computer Technology Demonstration of adaptive technology and computer applications for people with disabilities. World Wide Access How to make WWW pages and other electronic resources available to people with disabilities. WorldWind XML Full-Text Search and Scoring Xtatic: Native XML Processing for C# Yahoo! Jerry and Dave's Excellent Venture Stanford students who founded Yahoo! You Can (Almost) Have it Both! Low Distortion Texture Mapping with Circle Patterns You Don't Have To Be There...Telepresence Microscopy Zero Configuration Networking with Bonjour It should be enough to keep you stimulated whilst waiting for new C9 videos. :s For the record, the title refers to a song by Emiliana Torrini. More... View All Our Microsoft Related Feeds

<img alt="" height="1" width="1"> Microsoft to patch four bugs on Tuesday Computerworld, MA - 44 minutes ago The Jet Database Engine included in Windows Vista, Windows Server 2003 SP2 and the just-released Windows XP SP3 is not vulnerable to the attacks, ... More... View All Our Microsoft Related Feeds

So I have a view that someone else wrote - Which queries other views, and so forth, eventually querying a series of tables, in a grossly overcomplicated series of events that should have been one table. Anyway, when one of the tables (Let's call it 'structures') updates, the view should update, but doesn't.* When I open the structures table in Sql Server Management Studio, the view updates immediately, as it should have done when I first queried the view. Any idea what would cause this behavior, or how to cause the view to refresh manually? More... View All Our Microsoft Related Feeds

<img alt="" height="1" width="1"> Visual Search With SearchMe Search Newz, KY - 35 minutes ago If you make use of the Windows Flip 3D features of Windows Vista as I do, this behaviour will be familiar to you. Its a far more attractive way of searching ... More... View All Our Microsoft Related Feeds

Check out all of the new functionality in the latest Zune update in my review of Zune 2.5! More... View All Our Microsoft Related Feeds

* Jose Carlos Palencia, en una de las sesiones del ReMix07, habló acerca de los principios de la web: estándares, accesibilidad y web semántica, conceptos que deberíamos utilizar en cualquier desarrollo web. Jose Carlos Palencia es el responsable del área "frontend" en Vector Software Factory. También puedes descargar la presentación que utilizó durante la sesión. Listen to the podcast(MP3) Listen to the podcast(WMA) Download the Video Watch the Video More... View All Our Microsoft Related Feeds

* ¿Qué implica hacer un desarrollo con AJAX? ¿Cuáles son las tecnologías en las que se apoya? ¿Cuál es la propuesta del framework ASP.NET AJAX? En una de las sesiones del pasado ReMix, David Salgado explicó cómo mejora la experiencia de navegación del usuario de un sitio web cuando navega por una web construida utilizando la tecnología AJAX y cómo el framework ASP.NET AJAX nos permite construir este tipo de aplicaciones de una manera sencilla y potente. David Salgado trabaja en la división de desarrollo y plataforma y de Microsoft Ibérica, ayudando a las comunidades de desarrolladores profesionales a adoptar nuevas tecnologías. Además, si te interesa,* puedes descargar tanto la presentación como las demos que David utilizó durante la ponencia.** Listen to the podcast(MP3) Listen to the podcast(WMA) Download the Video Watch the Video More... View All Our Microsoft Related Feeds

*En el último ReMix, David Carmona hizo una original demonstración, en la que vimos cómo escribir código en una aplicación WPF, desde el enlace a datos hasta controles personalizados. David Carmona gestiona y dirige el equipo técnico de comunidades de la división de desarrollo y plataforma de Microsoft Ibérica, además de participar como consejero tecnológico en numerosos proyectos de desarrollo de empresas españolas en este sector. También puedes descargar el código fuente. Listen to the podcast(MP3) Listen to the podcast(WMA) Download the Video Watch the Video More... View All Our Microsoft Related Feeds

<img alt="" height="1" width="1"> Leopard at six months: Does it live up to the early hype? Computerworld, MA - 14 hours ago Finally, with Leopard came the official version of Boot Camp, which allows you to run later versions of Windows XP or Vista natively on a Mac. ... More... View All Our Microsoft Related Feeds

Anybody know of a method that will find keywords in a post quickly, and intelligently? I'm working on a form right now that will be used for people to submit messages, comments, questions, etc. When they submit a comment, rather than send the email to me, I want to first extract keywords from their text, search those against a database of articles, suggest the articles to them, and then submit the question only after they click "None of these help". So basically, I'm forcing them to use the resources already in place before wasting my time. Any suggestions on how I should find the REAL keywords in these posts? Obviously I'll strip out 'a', 'and', 'of', etc...but I'm still a little in the dark on the full operation. Thanks in advance. More... View All Our Microsoft Related Feeds

It is hard to imagine a time when the internet wasn’t a part of our lives.* It has been over a decade since the Web transformed the Internet from an academic exercise into a common household name. Terry Crowley may today be hard at work focusing on the advanced features and capabilities which will be part of Office 14, but he was also deeply involved with the early history and evolution of the early Internet.* Join us as he shares with us his reflections of the Internet, the origins and evolution of FrontPage, experiences in Office, and his expectations for where this technology is leading us. The venerable Robert Hess conducts this interview. Low res file. Zune file. MP4 file. Listen to the podcast(MP3) Listen to the podcast(WMA) Download the Video Watch the Video More... View All Our Microsoft Related Feeds

to me. 23 today. i had a pension when i was 22 and i felt old then... it only goes downhill from here on in. More... View All Our Microsoft Related Feeds

<img alt="" height="1" width="1"> Leopard at 6 months: Does it live up to the early hype? InfoWorld, CA - 31 minutes ago Finally, with Leopard came the official version of Boot Camp, which allows you to run later versions of Windows XP or Vista natively on a Mac. ... More... View All Our Microsoft Related Feeds

<img alt="" height="1" width="1"> IE-only marketing campaign skewed Firefox, Safari numbers Computerworld, Norway - 15 hours ago On April 23, Microsoft began pushing SP1 to users who had set Windows Update to automatically download and install the upgrade. "The timing of this got us ... More... View All Our Microsoft Related Feeds

never heard this before. this is cool http://awesome.naquadah.org/screenshots/320x240-photo0.jpg More... View All Our Microsoft Related Feeds

Hi Guys I am getting error message in IE7. The Error message says "An Unhandled win 32 exception occurred in iexplorer.exe [2672]"*opens in Visual Studio Just-in-Time debugger with Yes and No option to debug but it didn't helps me. Also no one else in my company gets this error message. I talk to my companies IT folks but they don't have any idea. I have XP - SP2. Any help will be appreciate.... Thanks, MP More... View All Our Microsoft Related Feeds

<img alt="" height="1" width="1"> Yahoo, Microsoft: Off Again ... on Again? ABC News - 12 minutes ago ... wrote in a blog posting that Microsoft's struggling Internet business -- and the fallout from problems surrounding its Windows Vista OS -- make a deal ... More... View All Our Microsoft Related Feeds

Hi everyone - I'm looking for a best practice implementation of a Win32 app which uses DataContext and Linq to SQL. Specifically, I'm interested in the way it handles populating Tables (etc) of Entities in a background thread (eg. BackgroundWorker) and then forwards this to the UI for display. I'm a little confused how to do this mainly because of deferred execution. I mean, it's simply enough to grab a Table in a background operation and then pass that to the UI thread, but wouldn't it only execute the SQL to populate the table at the point that you consume the table - i.e. when you bind the table to a control? Hence, doesn't this break all the "threading laws" regarding the execution of non-UI work in the UI thread? Anyway - suffice to say, if there's a "best practice" reference implementation out there, I'd love to see it. Any clues? Thanks - /gerrod More... View All Our Microsoft Related Feeds

MS will bundle a copy Parallels Desktop with the Expression Professional subscription, which will allow folk to run it on their Macs. Not really earth-shattering news, but I wonder if this is how Microsoft intends to get around rewriting MS Office for the Mac? 'Rewrite it in Cocoa? No thanks Stevey-lad, we'll just bundle virtualisation software with the Windows version.' More... View All Our Microsoft Related Feeds

Hi All, I'm working on VS2005. We have created a customize IDE using C#* where we have custom control and designer surface.We have also incorporated option for exporting the form to jpeg, gif by first converting it in the XML format.Now I want to give a option where user can export the application in Flash also. If I can able to convert that XML format to .swf format through my application, it would be great for me or If there's any other option I can achieved my target(I want to*export my form in flash)??? Please guide me regarding the same. More... View All Our Microsoft Related Feeds

PC Manufacturers Embrace 64 Bit Vista I switched to Vista x64 a few months ago and can't imagine going back..* The biggest problem of course was having to replace some older hardware in order to get 64 bit drivers (and having fewer choices since many companies still do not have 64 bit drivers for their products).* Hopefully that will start to change now. More... View All Our Microsoft Related Feeds

Some of you may not have heard, but yesterday May 7 2008, Borland officially sold off their developer tools division. This includes all their past technologies like Tubro Pascal, Turbo Assembler, Delphi, JBuilder, Borland C, C++Builder to name a few. All sold for scratch at $23 million. That after having been picked apart by Microsoft for years losing key people like Anders Hejlsberg after Delphi 3 shipped, Chuck Jazdzewski after Delphi 5, Danny Thorpe after Delphi 6, and other key people like Paul Gross, Blake Stone, and Charlie Calvert. So anyhow, after hearing about the final demise of Delphi and Borland's other developer tool I decided to check out what exactly Borland was left with this morning by checking out their site. The first product on Borland's product list Tempo, a tool which supposedly helps IT organizations dramatically improve the visibility and control their IT portfolio. Really, that's what their claiming. They also claim with this tool "IT leaders can implement practices to efficiently identify and select the best technology investments to be made organization wide." Interesting, and they claim this is the cornerstone of their IT governance solutions. Wow, so now using Borland's tools any IT company can manage their technology effectively, just as Borland has. Wait, what!? Borland is telling me that they can help my company make IT decisions? Ahhh hahahahahaha! That's just too funny. Just how delusional are the people at Borland? Do they really think IT people aren't going to realize Borland has been so massively mismanaged and driven into the ground? What IT manager would possibly rely on them for advise on how to manage their company? Incredulous! More... View All Our Microsoft Related Feeds

Announcing: XNA Game Studio 3.0 Community Technical Preview (CTP) A preview release of XNA Game Studio 3.0 is now available through the XNA Creators Club site , with a final release scheduled for the holiday 2008 season. For those of you that prefer the shortest path to happiness, here is the direct link to the XNA Game Studio 3.0 CTP If you find a bug or want to suggest a new feature, post it on XNA Game Studio Connect. More... View All Our Microsoft Related Feeds