Works matching DE "TURING machines"

Results: 659

The NP-completeness of the Consistency Problem for Systems of Diophantine Equations over Finite Configurations.

Published in:

Siberian Mathematical Journal, 2025, v. 66, n. 3, p. 702, doi. 10.1134/S0037446625030103

By:

Kogabaev, N. T.

Publication type:

Article

A Symmetry-Based Computational Framework for Motor Skill Optimization: Integrating Screw Theory and Ecological Perception.

Published in:

Symmetry (20738994), 2025, v. 17, n. 5, p. 715, doi. 10.3390/sym17050715

By:

Kim, Wangdo;
Ottes, Wanda

Publication type:

Article

Tableau with Holes: Clarifying NP-Completeness.

Published in:

Symmetry (20738994), 2025, v. 17, n. 5, p. 677, doi. 10.3390/sym17050677

By:

Daylight, Edgar Graham

Publication type:

Article

The paradox of denial and mystification of machine intelligence in the Chinese room.

Published in:

South African Journal of Philosophy, 2022, v. 41, n. 3, p. 253, doi. 10.1080/02580136.2022.2087314

By:

Asodun, Fatai

Publication type:

Article

Abstract geometrical computation 12: generating representation of infinite countable linear orderings.

Published in:

Natural Computing, 2025, v. 24, n. 1, p. 67, doi. 10.1007/s11047-024-10005-6

By:

Durand-Lose, Jérôme

Publication type:

Article

Verification and computation in restricted Tile Automata.

Published in:

Natural Computing, 2024, v. 23, n. 2, p. 387, doi. 10.1007/s11047-021-09875-x

By:

Caballero, David;
Gomez, Timothy;
Schweller, Robert;
Wylie, Tim

Publication type:

Article

Preface.

Published in:

Natural Computing, 2024, v. 23, n. 2, p. 345, doi. 10.1007/s11047-024-09985-2

By:

Patitz, Matt;
Geary, Cody

Publication type:

Article

About reversibility in sP colonies and reaction systems.

Published in:

Natural Computing, 2023, v. 22, n. 1, p. 27, doi. 10.1007/s11047-022-09922-1

By:

Cienciala, Ludek;
Ciencialová, Lucie;
Csuhaj-Varjú, Erzsébet

Publication type:

Article

Complexity-theoretic aspects of expanding cellular automata.

Published in:

Natural Computing, 2022, v. 21, n. 1, p. 53, doi. 10.1007/s11047-020-09814-2

By:

Modanese, Augusto

Publication type:

Article

Self-healing turing-universal computation in morphogenetic systems.

Published in:

Natural Computing, 2021, v. 20, n. 4, p. 739, doi. 10.1007/s11047-021-09860-4

By:

Sosík, Petr;
Garzon, Max;
Drastík, Jan

Publication type:

Article

Waiting for the rapture: What can we do with computers to (hopefully) witness the emergence of life?

Published in:

Natural Computing, 2019, v. 18, n. 3, p. 489, doi. 10.1007/s11047-017-9644-z

By:

Toffoli, Tommaso

Publication type:

Article

Simplifying the role of signals in tile self-assembly.

Published in:

Natural Computing, 2019, v. 18, n. 2, p. 383, doi. 10.1007/s11047-018-9676-z

By:

Kari, Lila;
Simjour, Amirhossein

Publication type:

Article

Self-assembly of shapes at constant scale using repulsive forces.

Published in:

Natural Computing, 2019, v. 18, n. 1, p. 93, doi. 10.1007/s11047-018-9707-9

By:

Luchsinger, Austin;
Schweller, Robert;
Wylie, Tim

Publication type:

Article

Real-time computability of real numbers by chemical reaction networks.

Published in:

Natural Computing, 2019, v. 18, n. 1, p. 63, doi. 10.1007/s11047-018-9706-x

By:

Huang, Xiang;
Klinge, Titus H.;
Lathrop, James I.;
Li, Xiaoyuan;
Lutz, Jack H.

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

Monodirectional P systems.

Published in:

Natural Computing, 2016, v. 15, n. 4, p. 551, doi. 10.1007/s11047-016-9565-2

By:

Leporati, Alberto;
Manzoni, Luca;
Mauri, Giancarlo;
Porreca, Antonio;
Zandron, Claudio

Publication type:

Article

One-dimensional staged self-assembly.

Published in:

Natural Computing, 2013, v. 12, n. 2, p. 247, doi. 10.1007/s11047-012-9359-0

By:

Demaine, Erik;
Eisenstat, Sarah;
Ishaque, Mashhood;
Winslow, Andrew

Publication type:

Article

Turing patterns with Turing machines: emergence and low-level structure formation.

Published in:

Natural Computing, 2013, v. 12, n. 2, p. 291, doi. 10.1007/s11047-013-9363-z

By:

Zenil, Hector

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

Unconventional complexity measures for unconventional computers.

Published in:

Natural Computing, 2011, v. 10, n. 4, p. 1245, doi. 10.1007/s11047-010-9226-9

By:

Blakey, Ed

Publication type:

Article

Unwinding performance and power on Colossus, an unconventional computer.

Published in:

Natural Computing, 2011, v. 10, n. 4, p. 1383, doi. 10.1007/s11047-010-9225-x

By:

Wells, Benjamin

Publication type:

Article

Abstract geometrical computation 5: embedding computable analysis.

Published in:

Natural Computing, 2011, v. 10, n. 4, p. 1261, doi. 10.1007/s11047-010-9229-6

By:

Durand-Lose, Jérôme

Publication type:

Article

P systems with active membranes: trading time for space.

Published in:

Natural Computing, 2011, v. 10, n. 1, p. 167, doi. 10.1007/s11047-010-9189-x

By:

Porreca, Antonio E.;
Leporati, Alberto;
Mauri, Giancarlo;
Zandron, Claudio

Publication type:

Article

Output concepts for accelerated Turing machines.

Published in:

Natural Computing, 2010, v. 9, n. 4, p. 853, doi. 10.1007/s11047-010-9197-x

By:

Potgieter, Petrus;
Rosinger, Elemér

Publication type:

Article

On the computational complexity of spiking neural P systems.

Published in:

Natural Computing, 2010, v. 9, n. 4, p. 831, doi. 10.1007/s11047-010-9213-1

By:

Neary, Turlough

Publication type:

Article

Complexity-preserving simulations among three variants of accepting networks of evolutionary processors.

Published in:

Natural Computing, 2011, v. 10, n. 1, p. 429, doi. 10.1007/s11047-010-9238-5

By:

Bottoni, Paolo;
Labella, Anna;
Manea, Florin;
Mitrana, Victor;
Petre, Ion;
Sempere, Jose M.

Publication type:

Article

Preface to the Special Issue Unconventional Computing 2008.

Published in:

2010

By:

Calude, Cristian;
Costa, José

Publication type:

Editorial

Stochastic automated search methods in cellular automata: the discovery of tens of thousands of glider guns.

Published in:

Natural Computing, 2010, v. 9, n. 3, p. 513, doi. 10.1007/s11047-009-9109-0

By:

Sapin, E.;
Adamatzky, A.;
Collet, P.;
Bull, L.

Publication type:

Article

The computational status of physics.

Published in:

Natural Computing, 2009, v. 8, n. 3, p. 517, doi. 10.1007/s11047-009-9115-2

By:

Mike Stannett

Publication type:

Article

General relativistic hypercomputing and foundation of mathematics.

Published in:

Natural Computing, 2009, v. 8, n. 3, p. 499

By:

Hajnal Andréka;
István Németi;
Péter Németi

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

On length-separating test tube systems.

Published in:

Natural Computing, 2008, v. 7, n. 2, p. 167

By:

Sergey Verlan

Publication type:

Article

A lightweight regular model checking approach for parameterized systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 207, doi. 10.1007/s10009-011-0213-y

By:

Delzanno, Giorgio;
Rezine, Ahmed

Publication type:

Article

THE COMPUTATIONAL AND PRAGMATIC APPROACH TO THE DYNAMICS OF SCIENCE.

Published in:

Filozofia i Nauka, 2020, v. 8, n. 1, p. 31, doi. 10.37240/FiN.2020.8.1.2

By:

Marciszewski, Witold

Publication type:

Article

An Alternative Representation of Turing Machines by Means of the Iota-Delta Function.

Published in:

Complex Systems, 2024, v. 32, n. 4, p. 381, doi. 10.25088/ComplexSystems.32.4.381

By:

de Sena Monteiro Ozelim, Luan Carlos;
Brasil Cavalcante, André Luís;
Rowland, Todd;
Baetens, Jan M.

Publication type:

Article

Automatization of Universal Cellular Automaton Discoveries: A New Approach to Stream Duplication.

Published in:

Complex Systems, 2020, v. 29, n. 1, p. 77, doi. 10.25088/ComplexSystems.29.1.77

By:

Sapin, Emmanuel

Publication type:

Article

Universality of Wolfram's 2, 3 Turing Machine.

Published in:

Complex Systems, 2020, v. 29, n. 1, p. 1, doi. 10.25088/ComplexSystems.29.1.1

By:

Smith, Alex

Publication type:

Article

Emergent Open-Endedness from Contagion of the Fittest.

Published in:

Complex Systems, 2018, v. 27, n. 4, p. 369, doi. 10.25088/ComplexSystems.27.4.369

By:

Abrahão, Felipe S.;
Wehmuth, Klaus;
Ziviani, Artur

Publication type:

Article

Exploring Halting Times for Unconventional Halting Schemes.

Published in:

Complex Systems, 2018, v. 27, n. 1, p. 86, doi. 10.25088/ComplexSystems.27.1.85

By:

Krzyzanska, Katarzyna

Publication type:

Article

The Slowdown Theorem: A Lower Bound for Computational Irreducibility in Physical Systems.

Published in:

Complex Systems, 2018, v. 27, n. 2, p. 177, doi. 10.25088/ComplexSystems.27.2.177

By:

Gorard, Jonathan

Publication type:

Article

On interpreting Chaitin's incompleteness theorem.

Published in:

Journal of Philosophical Logic, 1998, v. 27, n. 6, p. 569, doi. 10.1023/A:1004305315546

By:

Raatikainen, Panu

Publication type:

Article

A Survey on Cellular Automata with the Application in Pseudo Random Number Generation.

Published in:

Journal of Network & Information Security, 2017, v. 5, n. 2, p. 12

By:

Poornima, I. Gethzi Ahila;
Paramasivan, B.;
Pitchai, K. Mohaideen;
Bhuvaeswari, M.

Publication type:

Article

Ideal Mechanization: Exploring the Machine Metaphor through Theory and Performance.

Published in:

Arts (2076-0752), 2019, v. 8, n. 2, p. 67, doi. 10.3390/arts8020067

By:

LaViers, Amy

Publication type:

Article

Dental Caries Detection Using Neural Turing Machines (NTM) and High Intensity Color Detection (NTM-HICD) Model.

Published in:

Revue d'Intelligence Artificielle, 2024, v. 38, n. 2, p. 671, doi. 10.18280/ria.380231

By:

Sindhu, Sunkara Naga;
Prasad, Raavi Satya

Publication type:

Article

ANALOGICITY IN COMPUTER SCIENCE. METHODOLOGICAL ANALYSIS.

Published in:

Acta Biologica Cracoviensia Series Botanica, 2020, v. 63, n. 1, p. 69, doi. 10.2478/slgr-2020-0028

By:

Stacewicz, Paweł

Publication type:

Article

IMPLICIT AND EXPLICIT EXAMPLES OF THE PHENOMENON OF DEVIANT ENCODINGS.

Published in:

Acta Biologica Cracoviensia Series Botanica, 2020, v. 63, n. 1, p. 53, doi. 10.2478/slgr-2020-0027

By:

Quinon, Paula

Publication type:

Article

INTRODUCTION TO THE ISSUE: CONTEMPORARY PHILOSOPHY OF INFORMATICS.

Published in:

Acta Biologica Cracoviensia Series Botanica, 2020, v. 63, n. 1, p. 17, doi. 10.2478/slgr-2020-0024

By:

Stacewicz, Paweł;
Koszowy, Marcin

Publication type:

Article

On the undecidability and descriptional complexity of synchronized regular expressions.

Published in:

Acta Informatica, 2023, v. 60, n. 3, p. 257, doi. 10.1007/s00236-023-00439-3

By:

Xie, Jingnan;
Hunt III, Harry B.

Publication type:

Article

Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs.

Published in:

Acta Informatica, 2023, v. 60, n. 1, p. 59, doi. 10.1007/s00236-022-00422-4

By:

Dolev, Shlomi;
Li, Yin

Publication type:

Article

An instruction set for reversible Turing machines.

Published in:

Acta Informatica, 2021, v. 58, n. 4, p. 377, doi. 10.1007/s00236-020-00388-1

By:

Morita, Kenichi

Publication type:

Article