|
The great Yuri Gurevich is back!! Yuri is a logician, computer scientist, and inventor of abstract state machines. He currently works in Microsoft Research (he’s a member of Wolfram Schulte's RiSE team).This is the third and final part in our introductory series of lectures exploring the fundamental logical construct that powers all that we do as software engineers—the algorithm.In part 3, Dr. Gurevich teaches us about bounded complexity and the axiomatic definition of sequential algorithms.Find some time to watch this. You'll be learning about algorithms from one of the world's premiere minds in the science of logic and algorithms. In this lecture, Yuri references a few of his academic papers, which you can find here.Thank you, Yuri, for taking the time to share your extensive knowledge and gentle, kind spirit with Niner Nation. We all really appreciate it! Thanks, too, to Wes Dyer and Bart De Smet for being our live audience for this lecture and asking great questions.Part 1 Part 2
|
Video Length: 0
Date Found: April 21, 2011
Date Produced: April 21, 2011
|
|
Channel 9 |
July 11, 2011
There are two STLs: the Standard Template Library and Stephan T. Lavavej Advanced STL covers the gory details of the STL’s implementation -> you will therefore need to be versed in the basics of STL, competent in C++ (of course), and be able to pay attention! Stephan is a ...
|
Channel 9 |
July 08, 2011
Mei Liang is our guest this week. She is here to talk about the Microsoft All-In-One Code Framework, a code sample library provided by the Microsoft Community team. The Microsoft Community team monitors the MSDN forums, as well as other developer hangouts, and then creates code samples that ...
|
Channel 9 |
July 07, 2011
Barış Aktemur is an Assistant Professor of Computer Science at Özyeğin University. His research interests include runtime program generation, programming language design and semantics, static program analysis and transformation, software engineering and type theory. [source]Here, Wolfram ...
|
Channel 9 |
July 06, 2011
In this episode, Howard Dierking demonstrates a really cool sample that allows you to build a Message Handler that will automatically apply ETags. Plus, at the end, we have a bonus life-hacking talk about how a busy PM uses Scrum Pig to take control.LinksAutomatic ETag Management with Web API ...
|
Channel 9 |
July 05, 2011
There have been a lot of positive reviews of the upcoming Windows Phone 7 OS release, code named "Mango." This release is a big one. It contains over 500 new features (and over 1000 new APIs), is full of improvements - from the core OS to the performance of UI scrolling - and ...
|
|
|
|
|
|
Featured Content
Featuring websites that enhance the internet user’s experience.
|