• Suche: "Turing (Computer program language)"

Treffer 1 - 20 von 248

1

A Turing Tale.
Daylight, Edgar G.
Communications of the ACM. Oct2014, Vol. 57 Issue 10, p36-38. 3p.

Zeitschrift
Merkliste
2

Stop Chasing the AI Illusion.
Croy, Tim ; Kaptanoglu, Sinan ; LeVine, Michael N. ; et al.
Communications of the ACM. Apr2007, Vol. 50 Issue 4, p7-9. 3p.

Zeitschrift
Merkliste
3

From Dennett to transformers : emergent properties, Kolmogorov complexity, and the Turing-computability of human intelligence
Abela, John

Artificial intelligence... Artificial intelligence... Turing (Computer program... Object-oriented programm... Kolmogorov complexity Pattern recognition syst...
Fachzeitschrift
Merkliste
4

THE TURING PROGRAMMING LANGUAGE.
Holt, R.C. ; Cordy, J.R.
Communications of the ACM. Dec1988, Vol. 31 Issue 12, p1410-1423. 14p. 4 Diagrams.

Zeitschrift
Merkliste
5

Constructive Dimension and Turing Degrees.
Bienvenu, Laurent ; Doty, David ; Stephan, Frank
Theory of Computing Systems. Nov2009, Vol. 45 Issue 4, p740-755. 16p.

Fachzeitschrift
Merkliste
6

On the Power of Unambiguity in Alternating Machines.
Spakowski, Holger ; Tripathi, Rahul
Theory of Computing Systems. Aug2007, Vol. 41 Issue 2, p291-326. 36p. 1 Diagram.

Fachzeitschrift
Merkliste
7

A new approach to Turing completeness in Baba is You.
Su, Caleb J.
International Journal of High School Research; Dec2023, Vol. 5 Issue 7, p140-146, 7p

TURING (Computer program... VIDEO games SYSTEMS software COMPUTATIONAL complexity COMPUTER science
Fachzeitschrift
Merkliste
8

Full contract verification for ATL using symbolic execution.
Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; et al.
Software & Systems Modeling. Jul2018, Vol. 17 Issue 3, p815-849. 35p.

TURING (Computer program... COMPUTER software develo... PROGRAMMING languages SYSTEMS design COMPUTER software
Fachzeitschrift
Merkliste
9

On Turing Instability in Nonhomogeneous Reaction-Diffusion CNN’s.
Goras, Liviu ; Ungureanu, Paul ; Chua, Leon O.
IEEE Transactions on Circuits & Systems. Part I: Regular Papers. Oct2017, Vol. 64 Issue 10, p2748-2760. 13p.

Zeitschrift
Merkliste
10

Simple Matrix Grammars and Their Leftmost Variants.
Meduna, Alexander ; Soukup, Ondřej
International Journal of Foundations of Computer Science. Feb2016, Vol. 27 Issue 3, p359-373. 15p.

Fachzeitschrift
Merkliste
11

Metacomputable.
Bołtúc, Piotr
Entropy. Nov2017, Vol. 19 Issue 11, p630. 18p.

TURING (Computer program... COMPUTABLE model theory MATHEMATICAL functions s... INDUSTRIAL robots MONISM
Fachzeitschrift
Merkliste
12

Where join preservation fails in the bounded Turing degrees of c.e. sets.
Losert, Nadine
Information & Computation. Oct2017, Vol. 256, p185-195. 11p.

SET theory TURING (Computer program... COMPUTABLE functions MONOTONE operators MATHEMATICS theorems
Fachzeitschrift
Merkliste
13

How to Make a Meaningful Comparison of Models: The Church-Turing Thesis Over the Reals.
Pégny, Maël
Minds & Machines. Dec2016, Vol. 26 Issue 4, p359-388. 30p.

TURING (Computer program... CELLULAR automata INTEGERS TURING machines COMPUTER simulation
Fachzeitschrift
Merkliste
14

Turing instability and pattern induced by cross-diffusion in a predator-prey system with Allee effect.
Peng, Yahong ; Zhang, Tonghua
Applied Mathematics & Computation. Feb2016, Vol. 275, p1-12. 12p.

TURING (Computer program... STABILITY theory DIFFUSION processes PREDATION ALLEE effect SET theory
Fachzeitschrift
Merkliste
15

Turing degrees of reals of positive effective packing dimension
Downey, Rod ; Greenberg, Noam
Information Processing Letters. Nov2008, Vol. 108 Issue 5, p298-303. 6p.

Fachzeitschrift
Merkliste
16

Transition from Turing stripe patterns to hexagonal patterns induced by polarized electric fields.
Wen-Qiang Chen ; Hong Zhang ; He-Ping Ying ; et al.
Journal of Chemical Physics; 10/21/2007, Vol. 127 Issue 15, p154708, 6p, 5 Black and White Photographs, 4 Graphs

ELECTRIC fields ELECTROMAGNETIC fields TURING (Computer program... FIELD theory (Physics) CONTINUUM mechanics MAGNETIC fields
Fachzeitschrift
Merkliste
17

Algebraic Approaches to Nondeterminism: An Overview.
Walicki, MichaŁ ; Meldal, Sigurd
ACM Computing Surveys. Mar97, Vol. 29 Issue 1, p30-81. 51p.

Fachzeitschrift
Merkliste
18

ACM Awards Highlight Computer Science Conference.
Communications of the ACM. May92, Vol. 35 Issue 5, ACM Member Net. p2-3. 1p.

Zeitschrift
Merkliste
19

Stephen Arthur Cook 1982 ACM Turing Award Recipient.
Communications of the ACM. Jun83, Vol. 26 Issue 6, p400-400. 1p.

Zeitschrift
Merkliste
20

acm forum.
Backus, John ; Bachman, Charles W. ; Knuth, Donald E. ; et al.
Communications of the ACM. Feb1979, Vol. 22 Issue 2, p138-138. 1p.

Zeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter