727 Ergebnisse für: algorithm
-
Andrew Tanenbaum - MINIX 3: A Reliable and Secure Operating System - Codemotion Rome 2015 - YouTube
https://www.youtube.com/watch?v=jiGjp7JHiYs
Andrew Tanenbaum talk @ Codemotion Rome 2015: "MINIX 3: A Reliable and Secure Operating System"
-
Augmented Social Cognition Research Blog from PARC: Mapping the Contents in Wikipedia
http://asc-parc.blogspot.de/2009/04/mapping-contents-in-wikipedia.html
Keine Beschreibung vorhanden.
-
15 Sorting Algorithms in 6 Minutes - YouTube
https://www.youtube.com/watch?v=kPRA0W1kECg
Visualization and "audibilization" of 15 Sorting Algorithms in 6 Minutes. Sorts random shuffles of integers, with both speed and the number of items adapted ...
-
Madagascan Tenrecs Use Quills To Communicate - Madagascar, Lost Worlds, Preview - BBC Two - YouTube
https://www.youtube.com/watch?v=W9kJKu4cpXM
SUBSCRIBE to the OFFICIAL BBC YouTube channel: https://bit.ly/2IXqEIn LAUNCH BBC iPlayer to access Live TV and Box Sets: https://bbc.in/2J18jYJ More about th...
-
Sort - Pictorial Janus - YouTube
https://www.youtube.com/watch?v=3brhGS7Jyh4
Pictorial Janus at Paderborn is a joint effort of Marita Duecker, Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Mueller, and Christoph Tahedl. ...
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ... - Google Books
http://books.google.de/books?id=11zwnn9_p3MC
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint…
-
Formal Languages and Applications - Carlos Martin-Vide, Victor Mitrana - Google Books
https://books.google.de/books?id=Qc9s48Kv-Y4C
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible manner and accompanied by many references and directions…
-
Mouthwatering Records
http://www.mouthwateringrecords.com/
mouthwatering records is a switzerland based independent label publishing, management and artist developpement company run by andreas ryser and daniel jakob working with the promotion company prolog music
-
Dynamic State Variable Models in Ecology: Methods and Applications - Colin W. Clark, Marc Mangel - Google Books
https://books.google.de/books?id=CLi_wUxONE8C
This book introduces readers to a set of powerful and extremely flexible modeling techniques, starting at "square one" and continuing with carefully chosen applications. Some of these applications of methodology include insect oviposition behavior,…
-
Early Anthropogenic Transformations of Earth's Climate - YouTube
https://www.youtube.com/watch?v=4K7vJcofw4Y
Bill Ruddiman's talk summarizes evidence that early agriculture emitted sufficient amount of greenhouse gases (CO2 and CH4) to reverse natural downward trend...
