Computer Science
48 Entries
- Recent
- Most Viewed
- Top Rated
-
Language(s)
-
1 hour, 21 minutes, 16 secondsC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of nC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity Jul 01, 2010 at 3:34 PM
19
In mathematics, computer science, and related subjects, an 'algorithm' is an effective method for solving a problem expressed as a finite sequence of instructions. Algorithms are used for calculation, data processing, and many other fields. (In more advanced or abstract settings, the instructions do… -
50 minutes, 40 secondsA Conversation with Jaron LanierJaron Lanier is an extraordinary individual. He is the father of virtual reality, a forceful pundit for "software humanism," an accomplished musician, a philosopher, and a Microsoft Partner Architect working on cloud computing problems in the Extreme Computing group. For three… -
58 minutes, 30 secondsBart De Smet: Observations on IQbservable - The Dual of IQueryableYou first learned about Rx on C9. We've led you through the basic concepts of reactive programming to the deep mathematical foundation behind Rx (interface duality). By now, you should understand that IObservable is the dual of IEnumerable. Today, you will learn some new… -
56 minutes, 11 secondsE2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed SystemsA distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. -Leslie Lamport. Leslie Lamport is a computer scientist and mathematician best known for his work with distributed systems. In fact, Dr. Lamport’s research… -
59 minutes, 29 secondsErik Meijer: Rebel with a CauseOver thousands of years, language has evolved in order to provide mankind a mechanism for making it easier to communicate with one another. Today, the world is filled with a wide variety of languages, some of which are radically different from one another, while others bear striking… -
48 minutes, 42 secondsC9 Conversations: Yuri Gurevich On Logic, Imperative, Abstraction and AlgorithmsWelcome to the latest installment of C9 Conversations. For this episode, we were very fortunate to get a chance to converse openly with one of the world’s preeminent mathematical logicians, the great Yuri Gurevich. Dr. Gurevich is Professor Emeritus of Electrical Engineering and Computer… -
58 minutes, 31 secondsMaria Klawe: Scholar, Scientist and Microsoft Board MemberDr. Maria Klawe joined the board of directors of Microsoft in 2009. She is a distinguished computer scientist, scholar and president of Harvey Mudd College. If that's not enough, she's also an accomplished artist. We had to catch up with Maria for WM_IN to learn about her… -
American Idol for the rest of usThis morning, Rick Rashid, Senior VP for Microsoft Research kicked off our annual TechFest; an event here on the Redmond campus that celebrates the genius of Microsoft Research's worldwide labs by presenting more than 150 demos and 24 lectures. Think of it as a kind of exhibition of cutting-edge…
