Turing

Results: 1422



#Item
631Computability theory / Automata theory / Theory of computation / Models of computation / Church–Turing thesis / Finite-state machine / Algorithm / Decidability / Krohn–Rhodes theory / Theoretical computer science / Computer science / Mathematics

Automata theory Regular Cost Functions Contributions of the thesis

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2013-03-08 11:06:55
632Mathematics / Automata theory / Models of computation / Theory of computation / Church–Turing thesis / Finite-state machine / Algorithm / Decidability / Krohn–Rhodes theory / Theoretical computer science / Computer science / Computability theory

Automata theory Regular Cost Functions Contributions of the thesis

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2012-12-02 12:39:02
633Functional languages / Lisp programming language / Alan Turing / Association for Computing Machinery / Turing Award / Interlisp / ACL2 / Xerox Alto / Sketchpad / Computing / Software engineering / Turing Award laureates

Functional Parameterized Unit Testing

Add to Reading List

Source URL: sccpu2.cse.ust.hk

Language: English
634Differential equations / Partial differential equations / Nonlinear system / Lotka–Volterra equation / Calculus of variations / Boundary layer / Boundary value problem / Calculus / Mathematics / Mathematical analysis

PDF Document

Add to Reading List

Source URL: turing.une.edu.au

Language: English - Date: 2014-01-01 20:00:01
635Computing / Internet / Technology / XRumer / Spam in blogs / Spamming / Email / CAPTCHA

Community Position Statement on CAPTCHA [Completely Automated Public Turing Test to tell Computers and Humans Apart] The alliance of organisations listed below represents the interests of Australians with disability. Our

Add to Reading List

Source URL: accan.org.au

Language: English - Date: 2015-01-23 00:34:44
636Milton Keynes / Bletchley Park / University of Cambridge Computer Laboratory / Fellows of the British Computer Society / LEO / Outsourcing / Colossus computer / Alan Turing / The National Museum of Computing / Buckinghamshire / United Kingdom / Counties of England

LEO COMPUTERS SOCIETY Newsletter of Recent Events and Future Plans 1954 Leo Computers Ltd ISSUE AUTUMN 2014

Add to Reading List

Source URL: www.leo-computers.org.uk

Language: English - Date: 2014-10-12 09:57:12
637Automata theory / Computer science / Computability theory / Turing machine / Finite-state machine / Linear bounded automaton / Decision problem / Theory of computation / Theoretical computer science / Models of computation

AUTOMATA Thus far we have been concerned with two major topics: the discovery of an appropriate model for computation and an examination of the intrinsic properties of computation in general. We found that since Turing m

Add to Reading List

Source URL: www.cs.uky.edu

Language: English - Date: 2001-02-14 12:47:25
638Automata theory / Turing machine / Computer science / Deterministic pushdown automaton / Finite-state machine / Linear bounded automaton / National Parliamentary Debate Association / NP / Pushdown automaton / Theory of computation / Models of computation / Theoretical computer science

Overview Lecture T2: Turing Machines Attempt to understand essential nature of computation by studying properties of simple machine models.

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2001-02-02 11:59:52
639Digital media / Spamming / Alan Turing / CAPTCHA / Artificial intelligence / Science

Community Position Statement on CAPTCHA [Completely Automated Public Turing Test to tell Computers and Humans Apart] The alliance of organisations listed below represents the interests of Australians with disability. Our

Add to Reading List

Source URL: accan.org.au

Language: English - Date: 2015-01-23 00:34:48
640Turing machine / XML / XML schema / JSON / Turing / Emacs / JavaScript / Computing / Software / Markup languages

Working with YANG Data Models and Instances Using (Mainly) pyang Ladislav Lhotka ⟨[removed]⟩ 20 July 2014

Add to Reading List

Source URL: www.ietf.org

Language: English - Date: 2014-11-24 12:13:14
UPDATE