Works matching DE "TURING (Computer program language)"

Results: 72

DYNAMICS AND SPATIOTEMPORAL PATTERN FORMATIONS OF A HOMOGENEOUS REACTION-DIFFUSION THOMAS MODEL.

Published in:

Discrete & Continuous Dynamical Systems - Series S, 2017, v. 10, n. 5, p. 1149, doi. 10.3934/dcdss.2017062

By:

HONGYAN ZHANG;
SIYU LIU;
YUE ZHANG

Publication type:

Article

PATTERN DYNAMICS OF A DELAYED ECO-EPIDEMIOLOGICAL MODEL WITH DISEASE IN THE PREDATOR.

Published in:

Discrete & Continuous Dynamical Systems - Series S, 2017, v. 10, n. 5, p. 1025, doi. 10.3934/dcdss.2017054

By:

JING LI;
ZHEN JIN;
GUI-QUAN SUN;
LI-PENG SONG

Publication type:

Article

STEADY STATES OF A SEL'KOV-SCHNAKENBERG REACTION-DIFFUSION SYSTEM.

Published in:

Discrete & Continuous Dynamical Systems - Series S, 2017, v. 10, n. 5, p. 1009, doi. 10.3934/dcdss.2017053

By:

BO LI;
XIAOYAN ZHANG

Publication type:

Article

Small Universal Bacteria and Plasmid Computing Systems.

Published in:

Molecules, 2018, v. 23, n. 6, p. 1307, doi. 10.3390/molecules23061307

By:

Wang, Xun;
Zheng, Pan;
Ma, Tongmao;
Song, Tao

Publication type:

Article

Towards a quantum programming language.

Published in:

Mathematical Structures in Computer Science, 2004, v. 14, n. 4, p. 527, doi. 10.1017/s0960129504004256

By:

PETER SELINGER

Publication type:

Article

Full contract verification for ATL using symbolic execution.

Published in:

Software & Systems Modeling, 2018, v. 17, n. 3, p. 815, doi. 10.1007/s10270-016-0548-7

By:

Oakes, Bentley James;
Troya, Javier;
Lúcio, Levi;
Wimmer, Manuel

Publication type:

Article

Resiliency to multiple nucleation in temperature-1 self-assembly.

Published in:

Natural Computing, 2018, v. 17, n. 1, p. 31, doi. 10.1007/s11047-017-9662-x

By:

Patitz, Matthew J.;
Schweller, Robert;
Rogers, Trent A.;
Summers, Scott M.;
Winslow, Andrew

Publication type:

Article

Deterministic function computation with chemical reaction networks.

Published in:

Natural Computing, 2014, v. 13, n. 4, p. 517, doi. 10.1007/s11047-013-9393-6

By:

Chen, Ho-Lin;
Doty, David;
Soloveichik, David

Publication type:

Article

Graph-theoretic formalization of hybridization in DNA sticker complexes.

Published in:

Natural Computing, 2013, v. 12, n. 2, p. 223, doi. 10.1007/s11047-013-9361-1

By:

Brijder, Robert;
Gillis, Joris;
Bussche, Jan

Publication type:

Article

Membrane system models for super-Turing paradigms.

Published in:

Natural Computing, 2012, v. 11, n. 2, p. 253, doi. 10.1007/s11047-011-9291-8

By:

Gheorghe, Marian;
Stannett, Mike

Publication type:

Article

Supertasks do not increase computational power.

Published in:

Natural Computing, 2012, v. 11, n. 1, p. 51, doi. 10.1007/s11047-011-9280-y

By:

Shagrir, Oron

Publication type:

Article

Computation with finite stochastic chemical reaction networks.

Published in:

Natural Computing, 2008, v. 7, n. 4, p. 615, doi. 10.1007/s11047-008-9067-y

By:

David Soloveichik;
Matthew Cook

Publication type:

Article

On the universality of peptide computing.

Published in:

Natural Computing, 2008, v. 7, n. 1, p. 71, doi. 10.1007/s11047-007-9045-9

By:

M. Sakthi Balan

Publication type:

Article

Turing: Beyond the original concept.

Published in:

2012

By:

Kanan, Christopher

Publication type:

Letter

The Dynamics of Turing Patterns for Morphogen-Regulated Growing Domains with Cellular Response Delays.

Published in:

Bulletin of Mathematical Biology, 2011, v. 73, n. 11, p. 2527, doi. 10.1007/s11538-011-9634-8

By:

Seirin Lee, S.;
Gaffney, E.;
Baker, R.

Publication type:

Article

Prompt enumerations and relative randomness.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 877, doi. 10.1093/logcom/exq049

By:

Morphett, Anthony

Publication type:

Article

Compactness arguments with effectively closed sets for the study of relative randomness.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 679, doi. 10.1093/logcom/exq036

By:

Barmpalias, George

Publication type:

Article

Least enumerations of partial structures.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 717, doi. 10.1093/logcom/exq038

By:

Ditchev, Angel V.

Publication type:

Article

Algorithmic reducibilities of algebraic structures.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 831, doi. 10.1093/logcom/exq046

By:

Kalimullin, Iskander

Publication type:

Article

Turing and enumeration jumps in the Ershov hierarchy.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 737, doi. 10.1093/logcom/exq039

By:

Faizrahmanov, Marat Kh.;
Kalimullin, Iskander Sh.

Publication type:

Article

Counting the back-and-forth types.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 857, doi. 10.1093/logcom/exq048

By:

Montalbán, Antonio

Publication type:

Article

Properties of the jump classes.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 845, doi. 10.1093/logcom/exq047

By:

Lewis, Andrew E. M.

Publication type:

Article

Model-theoretic properties of the n-c.e. degrees.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 669, doi. 10.1093/logcom/exq034

By:

Arslanov, Marat M.

Publication type:

Article

On the Turing Degrees of Weakly Computable Real Numbers.

Published in:

Journal of Logic & Computation, 2003, v. 13, n. 2, p. 159, doi. 10.1093/logcom/13.2.159

By:

Xizhong Zheng

Publication type:

Article

Metacomputable.

Published in:

Entropy, 2017, v. 19, n. 11, p. 630, doi. 10.3390/e19110630

By:

Bołtúc, Piotr

Publication type:

Article

The promise of analog computation.

Published in:

International Journal of General Systems, 2014, v. 43, n. 7, p. 682, doi. 10.1080/03081079.2014.920997

By:

MacLennan, B.J.

Publication type:

Article

The electric charge and magnetisation distribution of the nucleon: evidence of a subatomic Turing wave pattern.

Published in:

International Journal of General Systems, 2008, v. 37, n. 6, p. 649, doi. 10.1080/03081070802367457

By:

LaViolette, Paul A.

Publication type:

Article

Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs.

Published in:

Acta Informatica, 2007, v. 44, n. 5, p. 345, doi. 10.1007/s00236-007-0051-2

By:

Iwamoto, Chuzo;
Hatayama, Naoki;
Nakashiba, Yoshiaki;
Morita, Kenichi;
Imai, Katsunobu

Publication type:

Article

Denjoy, Demuth and density.

Published in:

Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500044

By:

Bienvenu, Laurent;
Hölzl, Rupert;
Miller, Joseph S.;
Nies, André

Publication type:

Article

B. Jack Copeland (ed), The Essential Turing.

Published in:

2007

By:

Eden, Amnon

Publication type:

Book Review

A new approach to Turing completeness in Baba is You.

Published in:

International Journal of High School Research, 2023, v. 5, n. 7, p. 140, doi. 10.36838/v5i7.23

By:

Su, Caleb J.

Publication type:

Article

What Question Would Turing Pose Today?

Published in:

AI Magazine, 2012, v. 33, n. 4, p. 73, doi. 10.1609/aimag.v33i4.2441

By:

Grosz, Barbara J.

Publication type:

Article

Simple Matrix Grammars and Their Leftmost Variants.

Published in:

International Journal of Foundations of Computer Science, 2016, v. 27, n. 3, p. 359, doi. 10.1142/S0129054116400141

By:

Meduna, Alexander;
Soukup, Ondřej

Publication type:

Article

ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1083, doi. 10.1142/S0129054114400255

By:

ATIG, MOHAMED FAOUZI;
KUMAR, K. NARAYAN;
SAIVASAN, PRAKASH

Publication type:

Article

REPRESENTATIONS AND CHARACTERIZATIONS OF LANGUAGES IN CHOMSKY HIERARCHY BY MEANS OF INSERTION-DELETION SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 859, doi. 10.1142/S0129054108006005

By:

P&#xIDA;;un, Gheorghe;
PÉrez-JimÉnez, Mario J.;
Yokomori, Takashi

Publication type:

Article

AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 1, p. 49, doi. 10.1142/S0129054106003693

By:

Cardelli, Luca;
Păun, Gheorghe

Publication type:

Article

Introduction to POS: A Protocol Operational Semantics.

Published in:

International Journal of Cooperative Information Systems, 2001, v. 10, n. 1/2, p. 101, doi. 10.1142/S0218843001000278

By:

Koning, Jean-Luc;
Oudeyer, Pierre-Yves

Publication type:

Article

The Length of Infinite Time Turing Machine Computations.

Published in:

Bulletin of the London Mathematical Society, 2000, v. 32, n. 2, p. 129, doi. 10.1112/S0024609399006657

By:

Welch, P. D.

Publication type:

Article

Approximate Self-Assembly of the Sierpinski Triangle.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 3, p. 372, doi. 10.1007/s00224-011-9345-4

By:

Lutz, Jack;
Shutters, Brad

Publication type:

Article

Computability of Countable Subshifts in One Dimension.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 3, p. 352, doi. 10.1007/s00224-011-9358-z

By:

Cenzer, Douglas;
Dashti, Ali;
Toska, Ferit;
Wyman, Sebastian

Publication type:

Article

On Empirical Meaning of Randomness with Respect to Parametric Families of Probability Distributions.

Published in:

Theory of Computing Systems, 2012, v. 50, n. 2, p. 296, doi. 10.1007/s00224-010-9300-9

By:

V'yugin, Vladimir

Publication type:

Article

The Navigational Power of Web Browsers.

Published in:

Theory of Computing Systems, 2012, v. 50, n. 2, p. 213, doi. 10.1007/s00224-010-9294-3

By:

Bielecki, Michał;
Hidders, Jan;
Paredaens, Jan;
Spielmann, Marc;
Tyszkiewicz, Jerzy;
Bussche, Jan

Publication type:

Article

Constructive Dimension and Turing Degrees.

Published in:

Theory of Computing Systems, 2009, v. 45, n. 4, p. 740, doi. 10.1007/s00224-009-9170-1

By:

Bienvenu, Laurent;
Doty, David;
Stephan, Frank

Publication type:

Article

On the Power of Unambiguity in Alternating Machines.

Published in:

Theory of Computing Systems, 2007, v. 41, n. 2, p. 291, doi. 10.1007/s00224-007-2014-y

By:

Spakowski, Holger;
Tripathi, Rahul

Publication type:

Article

Complex networks: Patterns of complexity.

Published in:

Nature Physics, 2010, v. 6, n. 7, p. 480, doi. 10.1038/nphys1722

By:

Pastor-Satorras, Romualdo;
Vespignani, Alessandro

Publication type:

Article

COMPARISON OF ALGORITHMS FOR EVOLUTIONARY- PROGRAMMING THE TURING MACHINE IMPLEMENTED IN WOLFRAM MATHEMATICA AND MICROSOFT .NET FRAMEWORK.

Published in:

Annals of DAAAM & Proceedings, 2011, p. 1539

By:

Kouril, Lukas;
Jasek, Roman

Publication type:

Article

TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 1, doi. 10.1017/jsl.2016.73

By:

Marker, David;
Miller, Russell

Publication type:

Article

FROM BI-IMMUNITY TO ABSOLUTE UNDECIDABILITY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 4, p. 1218, doi. 10.2178/jsl.7804120

By:

BIENVENU, LAURENT;
DAY, ADAM R.;
HÖLZL, RUPERT

Publication type:

Article

SPECTRA OF ATOMIC THEORIES.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 4, p. 1189, doi. 10.2178/jsl.7804100

By:

ANDREWS, URI;
KNIGHT, JULIA F.

Publication type:

Article

Perl and Undecidability: Rice's Theorem.

Published in:

Perl Review, 2008, v. 4, n. 3, p. 23

By:

Kegler, Jeffrey

Publication type:

Article