Haverford - PDFSEARCH.IO - Document Search Engine

Haverford
Results: 336

#	Item
261	Brief C.V. Name: Steven Lindell, Professor of Computer Science Address: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:28 Academia Knowledge Computability theory Sheila Greibach Logic Mathematical logic Theoretical computer science Complexity Computation Science Formal sciences Abstraction
262	REAL-TIME COLLABORATION TOOLS FOR DIGITAL INK Steven Lindell Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:41:46 Personal computing Computer architecture Tablet computer Document Graphics tablet Tablet Microsoft Office Document Imaging Microsoft Office Computing Software Windows XP
263	Computer Science / Math 235 Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2010-08-11 11:59:21 Information Mathematics Telecommunications engineering Forward error correction Code Noisy-channel coding theorem Shannon–Hartley theorem Binary symmetric channel Entropy Coding theory Error detection and correction Information theory
264	REAL-TIME COLLABORATION TOOLS FOR DIGITAL INK * Steven Lindell Haverford College, Haverford PA Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:41:45 Educational technology Pen computing Microsoft OneNote Graphics tablet Tablet computer Interactive whiteboard Handwriting recognition Collaborative software Computer keyboard Humanâ€“computer interaction Computing Software
265	Generalized Implicit De nitions on Finite Structures Stephane Grumbach?1 and Zoe Lacroix??2 and Steven Lindell???3 Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Finite model theory Model theory Computational complexity theory Mathematical logic Philosophical logic Structure FO HO Second-order logic Theoretical computer science Mathematics Logic
266	Inductive Classes of Finite Models Steven Lindell Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:05 Model theory Constructible universe Function Compactness theorem Μ operator Linear temporal logic Mathematics Mathematical logic Logic
267	WRPR 147B Spring 2009 General Information Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-04-10 18:03:59 Reading Linguistics Computer Computing
268	[removed]Problems A problem (in Computer Science) specifies an input/output relationship, P  I  O. Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:15 Models of computation FO Finite model theory Computability theory Formal methods P Time complexity Finite-state machine Turing machine Theoretical computer science Applied mathematics Complexity classes
269	! "# Add to Reading List Source URL: www.haverford.edu Language: Albanian - Date: 2012-03-28 11:42:01
270	Finite model theory studies the expressive power of logical languages over collections of finite structures. Over the past few decades, deep connections have emerged between finite model theory and various areas in combi Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:01 Model theory Finite model theory Computational complexity theory Metalogic Logical syntax Second-order logic FO Descriptive complexity theory First-order logic Logic Mathematical logic Mathematics

UPDATE