Works matching DE "COMPUTABLE functions"

Results: 745

INDIVISIBILITY AND UNIFORM COMPUTATIONAL STRENGTH.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 2, p. 1, doi. 10.46298/LMCS-21(222)2025

By:

GILL, KENNETH

Publication type:

Article

Linear Bounds for the Lengths of Geodesics on Manifolds with Curvature Bounded Below.

Published in:

Journal of Geometric Analysis, 2025, v. 35, n. 8, p. 1, doi. 10.1007/s12220-025-02003-6

By:

Beach, Isabel;
Contreras-Peruyero, Haydée;
Rotman, Regina;
Searle, Catherine

Publication type:

Article

Algorithmic Properties of Rogers Semilattices.

Published in:

Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 544, doi. 10.1017/bsl.2024.57

By:

Tleuliyeva, Zhansaya

Publication type:

Article

2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14–17, 2024.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 547, doi. 10.1017/bsl.2024.43
Publication type:: Article

Pure reaction automata.

Published in:

Natural Computing, 2024, v. 23, n. 2, p. 189, doi. 10.1007/s11047-024-09980-7

By:

Ascone, Rocco;
Bernardini, Giulia;
Formenti, Enrico;
Leiter, Francesco;
Manzoni, Luca

Publication type:

Article

Programmable single-stranded architectures for computing.

Published in:

Natural Computing, 2023, v. 22, n. 3, p. 563, doi. 10.1007/s11047-023-09963-0

By:

Kihara, Yu;
Seki, Shinnosuke

Publication type:

Article

On decidability and closure properties of language classes with respect to bio-operations.

Published in:

Natural Computing, 2016, v. 15, n. 2, p. 225, doi. 10.1007/s11047-015-9500-y

By:

Ibarra, Oscar

Publication type:

Article

Probability 1 computation with chemical reaction networks.

Published in:

Natural Computing, 2016, v. 15, n. 2, p. 245, doi. 10.1007/s11047-015-9501-x

By:

Cummings, Rachel;
Doty, David;
Soloveichik, David

Publication type:

Article

The physical Church thesis as an explanation of the Galileo thesis.

Published in:

Natural Computing, 2012, v. 11, n. 2, p. 247, doi. 10.1007/s11047-011-9301-x

By:

Dowek, Gilles

Publication type:

Article

Computability in planar dynamical systems.

Published in:

Natural Computing, 2011, v. 10, n. 4, p. 1295, doi. 10.1007/s11047-010-9230-0

By:

Graça, Daniel;
Zhong, Ning

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

Self-assembly of decidable sets.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 853, doi. 10.1007/s11047-010-9218-9

By:

Patitz, Matthew J.;
Summers, Scott M.

Publication type:

Article

Mutual mobile membranes with objects on surface.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 777, doi. 10.1007/s11047-011-9249-x

By:

Aman, Bogdan;
Ciobanu, Gabriel

Publication type:

Article

An Invitation to Infinitary Computability.

Published in:

PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 901, doi. 10.1002/pamm.201610439

By:

Carl, Merlin

Publication type:

Article

A gap theorem for self-shrinkers of the mean curvature flow in arbitrary codimension.

Published in:

Calculus of Variations & Partial Differential Equations, 2013, v. 46, n. 3/4, p. 879, doi. 10.1007/s00526-012-0508-1

By:

Cao, Huai-Dong;
Li, Haizhong

Publication type:

Article

Partial regularity results for subelliptic systems in the Heisenberg group.

Published in:

Calculus of Variations & Partial Differential Equations, 2008, v. 32, n. 1, p. 25, doi. 10.1007/s00526-007-0127-4

By:

Föglein, Anna

Publication type:

Article

FILTERING THE WRIGHT-FISHER DIFFUSION.

Published in:

ESAIM: Probability & Statistics, 2009, v. 13, n. 3, p. 197, doi. 10.1051/ps:2008006

By:

Chaleyat-Maurel, Mireille;
Genon-Catalot, Valentine

Publication type:

Article

Domain Optimization for the Navier-Stokes Equations by an Embedding Domain Technique.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2001, v. 81, p. 793, doi. 10.1002/zamm.200108115169

By:

Slawig, Thomas

Publication type:

Article

Adaptive galerkin boundary element methods.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1998, v. 78, p. 909, doi. 10.1002/zamm.19980781527

By:

Faermann, Birgit

Publication type:

Article

Emergence and computability.

Published in:

Emergence: Complexity & Organization, 2007, v. 9, n. 1/2, p. 120

By:

Boschetti, Fabio;
Gray, Randall

Publication type:

Article

Register machines with counters.

Published in:

Doklady Mathematics, 2017, v. 96, n. 2, p. 486, doi. 10.1134/S1064562417050222

By:

Savitskii, I.

Publication type:

Article

Smooth finitely computable functions are affine, or why quantum systems cause waves.

Published in:

Doklady Mathematics, 2015, v. 92, n. 3, p. 655, doi. 10.1134/S1064562415060022

By:

Anashin, V.

Publication type:

Article

The existence of strongly computable representations in the class of Boolean algebras.

Published in:

Doklady Mathematics, 2012, v. 86, n. 1, p. 469, doi. 10.1134/S1064562412040084

By:

Leontyeva, M.

Publication type:

Article

Do all roads lead to Rome? (Or reductions for dummy travelers).

Published in:

Computer Science Education, 2010, v. 20, n. 3, p. 181, doi. 10.1080/08993408.2010.501226

By:

Kilpelainen, Pekka

Publication type:

Article

Non-determinism: An abstract concept in computer science studies.

Published in:

Computer Science Education, 2007, v. 17, n. 4, p. 243, doi. 10.1080/08993400701442885

By:

Armoni, Michal;
Gal-Ezer, Judith

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

Communication and Compatibility: The Case of Alan Mathison Turing.

Published in:

Communication Quarterly, 1993, v. 41, n. 1, p. 90, doi. 10.1080/01463379309369870

By:

Chesebro, James W.

Publication type:

Article

Reversible Watson-Crick automata.

Published in:

Acta Informatica, 2017, v. 54, n. 5, p. 487, doi. 10.1007/s00236-016-0267-0

By:

Chatterjee, Kingshuk;
Ray, Kumar

Publication type:

Article

Instruction sequence processing operators.

Published in:

Acta Informatica, 2012, v. 49, n. 3, p. 139, doi. 10.1007/s00236-012-0154-2

By:

Bergstra, J.;
Middelburg, C.

Publication type:

Article

The unreasonable ineffectiveness of mathematics in economics.

Published in:

Cambridge Journal of Economics, 2005, v. 29, n. 6, p. 849, doi. 10.1093/cje/bei084

By:

Velupillai, K. Vela

Publication type:

Article

On bonded sequential and parallel insertion systems.

Published in:

RAIRO - Theoretical Informatics & Applications, 2018, v. 52, n. 2-4, p. 127, doi. 10.1051/ita/2018010

By:

Bordihn, Henning;
Nagy, Benedek;
Vaszil, György;
Holzer, Markus;
Truthe, Bianca;
Firdaus Yosman, Ahmad

Publication type:

Article

OPTIMAL STRATEGY SYNTHESIS FOR REQUEST-RESPONSE GAMES.

Published in:

RAIRO - Theoretical Informatics & Applications, 2015, v. 49, n. 3, p. 179, doi. 10.1051/ita/2015005

By:

HORN, FLORIAN;
THOMAS, WOLFGANG;
WALLMEIER, NICO;
ZIMMERMANN, MARTIN

Publication type:

Article

INDUCTIVE COMPUTATIONS ON GRAPHS DEFINED BY CLIQUE-WIDTH EXPRESSIONS.

Published in:

RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 3, p. 625, doi. 10.1051/ita/2009010

By:

CARRÈRE, FRÉDÉRIQUE

Publication type:

Article

New Order-Revealing Encryption with Shorter Ciphertexts.

Published in:

Information (2078-2489), 2020, v. 11, n. 10, p. 457, doi. 10.3390/info11100457

By:

Kim, Kee Sung

Publication type:

Article

Information Theory and Computational Thermodynamics: Lessons for Biology from Physics.

Published in:

Information (2078-2489), 2012, v. 3, n. 4, p. 739, doi. 10.3390/info3040739

By:

Zenil, Hector

Publication type:

Article

Rational vs. Real Computation.

Published in:

International Journal of Software & Informatics, 2013, v. 7, n. 4, p. 629

By:

Gomaa, Walid

Publication type:

Article

Kalimullin Pairs of … ω-Enumeration Degrees.

Published in:

International Journal of Software & Informatics, 2011, v. 5, n. 4, p. 637

By:

Soskov, Ivan N.;
Soskova, Mariya I.

Publication type:

Article

A NOTE ON COUNTABILITY.

Published in:

Think: Philosophy for Everyone, 2018, v. 17, n. 50, p. 57, doi. 10.1017/S1477175618000210

By:

Epstein, Richard L.

Publication type:

Article

Automated design of error-resilient and hardware-efficient deep neural networks.

Published in:

Neural Computing & Applications, 2020, v. 32, n. 24, p. 18327, doi. 10.1007/s00521-020-04969-6

By:

Schorn, Christoph;
Elsken, Thomas;
Vogel, Sebastian;
Runge, Armin;
Guntoro, Andre;
Ascheid, Gerd

Publication type:

Article

AN ARTIFICIAL IMMUNE SYSTEM APPROACH TO AUTOMATED PROGRAM VERIFICATION: TOWARDS A THEORY OF UNDECIDABILITY IN BIOLOGICAL COMPUTING.

Published in:

Interdisciplinary Description of Complex Systems, 2021, v. 19, n. 4, p. 491, doi. 10.7906/indecs.19.4.3

By:

Banerjee, Soumya

Publication type:

Article

Elementêre topologie en berekeningsuniversaliteit.

Published in:

Suid-Afrikaanse Tydskrif vir Natuurwetenskap en Tegnologie, 2008, v. 27, n. 4, p. 287

By:

POTGIETER, P. H.

Publication type:

Article

Normality preserving operations for Cantor series expansions and associated fractals. II.

Published in:

New York Journal of Mathematics, 2015, v. 21, p. 1311

By:

Airey, Dylan;
Mance, Bill;
Vandehey, Joseph

Publication type:

Article

Digital Architectural Design as Exploration of Computable Functions.

Published in:

International Journal of Architectural Computing, 2010, v. 8, n. 1, p. 1, doi. 10.1260/1478-0771.8.1.1

By:

Kotnik, Toni

Publication type:

Article

Simplified error bounds for turning point expansions.

Published in:

Analysis & Applications, 2021, v. 19, n. 4, p. 647, doi. 10.1142/S0219530520500104

By:

Dunster, T. M.;
Gil, A.;
Segura, J.

Publication type:

Article

Learning from Different Teachers.

Published in:

Machine Learning, 2003, v. 51, n. 2, p. 137, doi. 10.1023/A:1022854802097

By:

Dana Angluin;
Mārti၆š Kriķis

Publication type:

Article

Special section on Cellular Automata.

Published in:

2013

By:

D'Alotto, Lou;
Nystrom, James;
Spataro, William

Publication type:

Editorial

Emergence, Computation and the Freedom Degree Loss Information Principle in Complex Systems.

Published in:

Foundations of Science, 2017, v. 22, n. 4, p. 863, doi. 10.1007/s10699-016-9503-x

By:

Licata, Ignazio;
Minati, Gianfranco

Publication type:

Article

New Computational Paradigms.

Published in:

2011

By:

Kristiansen, Lars

Publication type:

Book Review

Turing Spectra of the Automorphism Groups of the Order on the Rationals.

Published in:

Siberian Mathematical Journal, 2024, v. 65, n. 6, p. 1373, doi. 10.1134/S0037446624060119

By:

Morozov, A. S.

Publication type:

Article

Multiagent Temporal Logics, Unification Problems, and Admissibilities.

Published in:

Siberian Mathematical Journal, 2022, v. 63, n. 4, p. 769, doi. 10.1134/S0037446622040176

By:

Rybakov, V. V.

Publication type:

Article