Filtrer vos résultats
- 45
- 30
- 32
- 18
- 8
- 6
- 3
- 3
- 2
- 1
- 1
- 1
- 3
- 72
- 5
- 2
- 1
- 1
- 21
- 2
- 3
- 1
- 4
- 3
- 2
- 2
- 1
- 3
- 8
- 8
- 5
- 4
- 4
- 2
- 3
- 1
- 5
- 1
- 3
- 3
- 2
- 1
- 1
- 2
- 1
- 68
- 7
- 59
- 7
- 6
- 5
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 75
- 8
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
75 résultats
On the Power of Recursive Word-Functions Without ConcatenationDescriptional 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)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 computationHyperNet 10: The Unconventional Computation 2010 (UC '10) Hypercomputation Workshop, Jun 2010, Japan
Communication dans un congrès
hal-00483710v1
|
|||
|
Abstract geometrical computation: Turing-computing ability and unpredictable accumulations (extended abstract).[Research Report] LIP RR-2004-09, Laboratoire de l'informatique du parallélisme. 2004, 2+11p
Rapport
hal-02101865v1
|
||
|
Irrationality is needed to compute with signal machines with only three speeds9th 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
|
||
|
Massively Parallel Automata in Euclidean Space-TimeIEEE 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
|
||
|
Abstract Geometrical Computation and Computable AnalysisInternational 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 tilesNatural 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 TilesDNA 24, 2018, Jinan, China. pp.105-121, ⟨10.1007/978-3-030-00030-1_7⟩
Communication dans un congrès
hal-01828641v1
|
||
Computing Inside the Billiard Ball ModelAndrew 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 AutomataLATIN, LATIN 1995, 1995, Valparaiso, Chile. pp.230-244, ⟨10.1007/3-540-59175-3_92⟩
Communication dans un congrès
istex
hal-01559493v1
|
|||
|
Abstract geometrical computation 4: small Turing universal signal machinesTheoretical Computer Science, 2011, 412, pp.57-67. ⟨10.1016/j.tcs.2010.07.013⟩
Article dans une revue
hal-00504876v1
|
||
|
Representing Reversible Cellular Automata with Reversible Block Cellular AutomataDiscrete 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
|
||
|
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants.Theory and Applications of Models of Computation (TAMC 2012), May 2012, Beijing, China. pp.435-447
Communication dans un congrès
hal-00673603v1
|
||
L'ordinateur et les langues2012, pp.14-15
Autre publication scientifique
hal-00662507v1
|
|||
Int. J. Natural Computing 13(2), special issue on Unconventional Computation and Natural Computation (UCNC '12)springer, pp.193-283, 2014
Ouvrages
hal-00989257v1
|
|||
|
Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model3rd Conference on Computability in Europe (CiE '07), Jun 2007, Sienne, Italy. pp.238-247, ⟨10.1007/978-3-540-73001-9_25⟩
Communication dans un congrès
hal-00144173v1
|
||
Signal machines: localization of isolated accumulationJournées Calculabilités, Mar 2012, Paris, France
Communication dans un congrès
hal-00691474v1
|
|||
Machines à signaux: origine, puissance, retour au raisonnableJournée spacial computing, May 2011, LRI, Orsay, France
Communication dans un congrès
hal-00749838v1
|
|||
Intrinsic Universality of a 1-Dimensional Reversible Cellular AutomatonSTACS, 1997, Lübeck, Germany. pp.439-450, ⟨10.1007/BFb0023479⟩
Communication dans un congrès
istex
hal-01559642v1
|
|||
|
Geometrical accumulations and computably enumerable real numbers (extended abstract)UC '11, Jun 2011, Turku, Finland. pp.101-112, ⟨10.1007/978-3-642-21341-0⟩
Communication dans un congrès
hal-00601746v1
|
||
|
Abstract geometrical computation with accumulations: Beyond the Blum, Shub and Smale model4th Conf. Computability in Europe (CiE~'08) (abstracts and extended abstracts of unpublished papers), 2008, Greece. pp.107--116
Communication dans un congrès
hal-00448746v1
|
||
Cellular automata, Universality ofMeyers, Robert A. and Adamatzky, Andrew. Encyclopedia of Complexity and System Science, Springer, pp.901--913, 2009, ⟨10.1007/978-0-387-30440-3_59⟩
Chapitre d'ouvrage
inria-00448437v1
|
|||
Construction géométrique pour résoudre SAT en temps constantJournée Informatique Région Centre (JIRC), Jan 2010, Blois, France
Communication dans un congrès
hal-00454603v1
|
|||
Fractal parallelism: Solving sat in bounded space and timeISAAC '10, Dec 2010, South Korea. pp.279-290
Communication dans un congrès
hal-00511230v1
|
|||
Back to the universality of the Billiard ball modelMultiple Valued Logic, 2001, 6 (5-6), pp.423-437
Article dans une revue
hal-03277181v1
|
|||
Simulation and Intrinsic Universality Among Reversible Cellular Automata, the Partition Cellular Automata LeverageAndrew Adamatzky. Reversibility and Universality, Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday, 30, Spriger, pp.61-93, 2018, Emergence, Complexity and Computation, 978-3-319-73215-2. ⟨10.1007/978-3-319-73216-9_4⟩
Chapitre d'ouvrage
hal-01792349v1
|
|||
|
Abstract geometrical computation 8: Small machines, accumulations & rationalityJournal of Computer and System Sciences, 2018, 97, pp.182-198. ⟨10.1016/j.jcss.2018.06.001⟩
Article dans une revue
hal-01828619v1
|
||
Fundamenta Informaticae Special issue on Machines, Computations and Universality (MCU 2015)France. Fundamenta Informaticae, 155 (1-2), IOS press, 2017, ISSN 0169-2968
N°spécial de revue/special issue
hal-01621943v1
|
|||
|
Reversible conservative rational abstract geometrical computation is Turing-universal2nd 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
|