Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

75 résultats
Page :
triés par

On the Power of Recursive Word-Functions Without Concatenation

 Jérôme Durand-Lose
Descriptional Complexity of Formal Systems, 2022, Debrecen, Hungary. pp.30-42, ⟨10.1007/978-3-031-13257-5_3⟩
Communication dans un congrès hal-03765152v1

Int. J. Fundamenta Informaticae, 91(1-2), special issue on Machines, Computations and Universality (MCU '07)

 Maurice Margenstern , Jérôme Durand-Lose
IOS Press, pp.1-195, 2009, Fundamenta Informaticae, 91(1 and 2), ⟨10.3233/FI-2009-0029⟩
Ouvrages hal-00461203v1

A reversible and conservative model based on rational signal machines for Black hole computation

 Jérôme Durand-Lose
HyperNet 10: The Unconventional Computation 2010 (UC '10) Hypercomputation Workshop, Jun 2010, Japan
Communication dans un congrès hal-00483710v1
Image document

Abstract geometrical computation: Turing-computing ability and unpredictable accumulations (extended abstract).

 Jérôme Durand-Lose
[Research Report] LIP RR-2004-09, Laboratoire de l'informatique du parallélisme. 2004, 2+11p
Rapport hal-02101865v1
Image document

Irrationality is needed to compute with signal machines with only three speeds

 Jérôme Durand-Lose
9th Conference on Computability in Europe 2013, Jul 2013, Milan, Italy. pp.108-119, ⟨10.1007/978-3-642-39053-1_12⟩
Communication dans un congrès hal-00807227v1
Image document

Massively Parallel Automata in Euclidean Space-Time

 Denys Duchier , Jérôme Durand-Lose , Maxime Senot
IEEE 4th International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW~'10): Spatial Computing Workshop (SCW '10), 2010, Budapest, Hungary. pp.104-109, ⟨10.1109/SASOW.2010.23⟩
Communication dans un congrès hal-00511958v1
Image document

Abstract Geometrical Computation and Computable Analysis

 Jérôme Durand-Lose
International Conference on Unconventional Computation 2009 (UC~'09), Aug 2009, Portugal. pp.158-167, ⟨10.1007/978-3-642-03745-0_20⟩
Communication dans un congrès hal-00447965v1

Self-assembly of 3-D structures using 2-D folding tiles

 Jérôme Durand-Lose , Jacob Hendricks , Matthew Patitz , Ian Perkins , Michael Sharp
Natural Computing, 2020, 19 (2), pp.337-355. ⟨10.1007/s11047-019-09751-9⟩
Article dans une revue hal-02178978v1

Self-Assembly of 3-d Structures Using 2-d Folding Tiles

 Jérôme Durand-Lose , Jacob Hendricks , Matthew J. Patitz , Ian Perkins , Michael Sharp
DNA 24, 2018, Jinan, China. pp.105-121, ⟨10.1007/978-3-030-00030-1_7⟩
Communication dans un congrès hal-01828641v1
Image document

Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants.

 Denys Duchier , Jérôme Durand-Lose , Maxime Senot
Theory and Applications of Models of Computation (TAMC 2012), May 2012, Beijing, China. pp.435-447
Communication dans un congrès hal-00673603v1

Computing Inside the Billiard Ball Model

 Jérôme Durand-Lose
Andrew Adamatzky. Collision-Based Computing, Springer London, pp.135-160, 2002, ⟨10.1007/978-1-4471-0129-1_6⟩
Chapitre d'ouvrage hal-03277146v1

Reversible Cellular Automaton Able to Simulate Any Other Reversible One Using Partitioning Automata

 Jérôme Durand-Lose
LATIN, LATIN 1995, 1995, Valparaiso, Chile. pp.230-244, ⟨10.1007/3-540-59175-3_92⟩
Communication dans un congrès istex hal-01559493v1
Image document

Abstract geometrical computation 4: small Turing universal signal machines

 Jérôme Durand-Lose
Theoretical Computer Science, 2011, 412, pp.57-67. ⟨10.1016/j.tcs.2010.07.013⟩
Article dans une revue hal-00504876v1
Image document

Representing Reversible Cellular Automata with Reversible Block Cellular Automata

 Jérôme Durand-Lose
Discrete Models: Combinatorics, Computation, and Geometry, DM-CCG 2001, 2001, Paris, France. pp.145-154, ⟨10.46298/dmtcs.2297⟩
Communication dans un congrès hal-01182977v1

L'ordinateur et les langues

 Gabriel Bergounioux , Emmanuel Schang , Denis Maurel , Agata Savary , Jérôme Durand-Lose , et al.
2012, pp.14-15
Autre publication scientifique hal-00662507v1

Int. J. Natural Computing 13(2), special issue on Unconventional Computation and Natural Computation (UCNC '12)

 Jérôme Durand-Lose , Nataša Jonoska
springer, pp.193-283, 2014
Ouvrages hal-00989257v1

Fundamenta Informaticae Special issue on Machines, Computations and Universality (MCU 2015)

 Jérôme Durand-Lose , Jarkko Kari , Benedek Nagy
France. Fundamenta Informaticae, 155 (1-2), IOS press, 2017, ISSN 0169-2968
N°spécial de revue/special issue hal-01621943v1
Image document

Reversible conservative rational abstract geometrical computation is Turing-universal

 Jérôme Durand-Lose
2nd Conference on Computability in Europe (CiE '06), Jun 2006, Swansea, United Kingdom. pp.163-172, ⟨10.1007/11780342_18⟩
Communication dans un congrès hal-00079687v1

Reversible space–time simulation of cellular automata

 Jérôme Durand-Lose
Theoretical Computer Science, 2000, 246 (1-2), pp.117-129. ⟨10.1016/S0304-3975(99)00075-4⟩
Article dans une revue hal-03277188v1

Computing in Perfect Euclidean Frameworks

 Jérôme Durand-Lose
Adamatzky, Andrew. Advances in Unconventional Computing, 23, Springer, pp.141-163, 2016, Emergence, Complexity and Computation, ⟨10.1007/978-3-319-33924-5_6⟩
Chapitre d'ouvrage hal-01251455v1
Image document

Abstract geometrical computation for Black hole computation (extended abstract)

 Jérôme Durand-Lose
[Research Report] LIP RR-2004-15, Laboratoire de l'informatique du parallélisme. 2004, 2+11p
Rapport hal-02101791v1

Special Issue on MCU 2018

 Jérôme Durand-Lose , Jarkko Kari , Sergey Verlan
Machines, Computations and Universality 2018, Fundamenta Informaticae, 181 (2-3), 2021
N°spécial de revue/special issue hal-03427217v1
Image document

Abstract geometrical computation 1: embedding Black hole computations with rational numbers

 Jérôme Durand-Lose
Fundamenta Informaticae, 2006, 74 (4), pp.491-450
Article dans une revue hal-00079720v1
Image document

Abstract geometrical computation 6: a reversible, conservative and rational based model for black hole computation

 Jérôme Durand-Lose
International Journal of Unconventional Computing, 2012, 8 (1), pp.33-46
Article dans une revue hal-00511224v1

Machines, Computations, and Universality

 Jérôme Durand-Lose , György Vaszil
13419, Springer International Publishing, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-13502-6⟩
Proceedings/Recueil des communications hal-03765155v1

Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems

 Jérôme Durand-Lose , Maurice Margenstern , Klaus Sutner
World Scientific Publishing, pp.1419-1522, 2012, ⟨10.1142/S012905411202008X⟩
Ouvrages hal-00806285v1

Token-Based Self-Stabilizing Uniform Algorithms

 Joffroy Beauquier , Maria Gradinariu , Colette Johnen , Jérôme Durand-Lose
Journal of Parallel and Distributed Computing, 2002, 62 (5), pp.899-921. ⟨10.1006/jpdc.2001.1832⟩
Article dans une revue istex hal-03277271v1

Abstract Geometrical Computation 10: An Intrinsically Universal Family of Signal Machines

 Florent Becker , Tom Besson , Jérôme Durand-Lose , Aurélien Emmanuel , Mohammad-Hadi Foroughmand-Araabi , et al.
ACM Transactions on Computation Theory, 2021, 13 (1), pp.1-31. ⟨10.1145/3442359⟩
Article dans une revue hal-03126362v1

Introducing fractal computation

 Jérôme Durand-Lose
Coping with Complexity, Oct 2011, Cluj, Romania
Communication dans un congrès hal-00636376v1
Image document

Abstract Geometrical Computation 11: Slanted Firing Squad Synchronisation on Signal Machines

 Jérôme Durand-Lose , Aurélien Emmanuel
Theoretical Computer Science, 2021, 894, pp.103--120. ⟨10.1016/j.tcs.2021.06.009⟩
Article dans une revue hal-03266838v1
Page :