Ander - PDFSEARCH.IO - Document Search Engine

Ander
Results: 571

#	Item
41	Co-evolutie en soortvorming Tessa Verhoef, vierdejaars AI studente aan de RUG () Eén van de charmes van kunstmatige intelligentie is dat onderzoek op dit gebied vaak een brug slaat naar allerlei ander Add to Reading List Source URL: www.deconnectie.com Language: Dutch - Date: 2008-10-16 19:46:28
42	Jetzt Sonnenkraftwerk checken Prüfung von Solaranlagen verhindert Ertragseinbußen Der Spezialist prüft, ob die Anlage durch die Witterung Schaden genommen hat, kontrolliert die Anschlüsse und beseitigt Laub und ander Add to Reading List Source URL: www.regionale-energieagentur-ulm.de Language: German - Date: 2015-04-13 05:20:39
43	Algebraische Dynamische Programmierung Janis Voigtl¨ander Universit¨ at Bonn 13. Juli 2012 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:10
44	Door die jarenlange expertise weten wij wat er speelt en zijn wij als geen ander in staat trends, ontwikkelingen en maatschappelijke vraagstukken te duiden en in een breder onderwijskader te plaatsen. Dat doen we op een Add to Reading List Source URL: downloads.slo.nl Language: Dutch - Date: 2015-01-26 05:59:49
45	Fortgeschrittene Funktionale Programmierung 9. Vorlesung Janis Voigtl¨ander Universit¨ Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11
46	Freie Theoreme — Was und Wie (Haskell in Leipzig 3) Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:10
47	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net
48	Discovering Counterexamples (and Proof Ingredients) for Knuth-likek-Principles Moritz F¨ urneisen and Janis Voigtl¨ander University of Bonn Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Constructible universe Maths24
49	Automatic Testing of Operation Invariance Tobias G¨odderz and Janis Voigtl¨ander University of Bonn, Germany, {goedderz,jv}@cs.uni-bonn.de Abstract. We present an approach to automatically generating operation invarian Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2015-02-26 03:09:41 Abstract data types Computing Software engineering Queue Double-ended queue FIFO Abstraction
50	Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Wellfoundedness Mathematical logic Mathematics Constructible universe Proof theory Logic Ordinal numbers CurryHoward correspondence Conjugate element