John Vincent Atanasoff - PDFSEARCH.IO - Document Search Engine

John Vincent Atanasoff
Results: 27

#	Item
1	Microsoft Word - Bell_Origin_of_the_Computer_History_Museum_V2.3 Add to Reading List Source URL: ed-thelen.org Language: English - Date: 2011-09-05 05:09:38 Computer History Museum Mountain View California The Computer Museum Boston Atanasoff–Berry Computer John Vincent Atanasoff Whirlwind Computer museum Computer ENIAC Computing Classes of computers History of computing hardware
2	[removed]Computer Science Colloquia BIG DATA Thursday November 7, 2013 3:40pm, B29 Atanasoff Hall Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-11-04 15:15:25 Science United States John Vincent Atanasoff National Virtual Observatory National Science Foundation
3	Department of Computer Science Alumni Newsletter winter Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-04-16 13:32:21 Vasant Honavar Iowa State University John Vincent Atanasoff Ames Iowa Department of Computer Science Carl Chang Massachusetts Institute of Technology Association of Public and Land-Grant Universities Iowa Academia
4	COLLOQUIA LECTURE HARRIS LIN Thursday, April 16, 2015 3:40 p.m. 223 Atanasoff Hall Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2015-04-09 11:00:52 Computer network security Computing Cyberwarfare Intrusion detection system Anomaly detection John Vincent Atanasoff Whitelist Computer security Security Data mining
5	Thursday, Oct. 2nd 3:40p.m. @ B29 Atanasoff Program Representation for Symbolic Analysis Symbolic analysis is a type of program analysis Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2014-10-03 09:24:23 Computer John Vincent Atanasoff Mind Science Electronics Malware Software bug Analysis
6	[removed]Computer Science Colloquia Robotic Grasping of Deformable Planar Objects Feng Guo[removed]Tom Miller Fellow Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-10-25 09:19:51 John Vincent Atanasoff Robotics Robot
7	[removed]Computer Science Colloquia Some Decidability Results for Asynchronous System Verification Samik Basu Associate Professor, Director of Software Engineering Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-10-21 10:18:08 Proof theory John Vincent Atanasoff Decidability Realizability FIFO Distributed computing Message passing Concurrent computing Inter-process communication Computing
8	Thursday, Oct. 16th 3:40p.m. @ B29 Atanasoff Verification of Asynchronous Systems: Deciding Synchronizability and Beyond Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2014-10-03 09:24:13 John Vincent Atanasoff Inter-process communication Computing Message queue
9	Microsoft Word - NL Advisory Board.doc Add to Reading List Source URL: www.scholze-simmel.at Language: English - Date: 2012-02-29 05:11:50 John Vincent Atanasoff Information technology Technology
10	Iowa State University Department of Computer Science Artificial Intelligence Research Laboratory Graduate Student Orientation Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-04-28 01:12:19 Theoretical computer science Vasant Honavar John Vincent Atanasoff Alan Turing Atanasoff–Berry Computer John von Neumann Turing machine Computer Informatics Science Mathematics Academia