Filtrer vos résultats
- 46
- 31
- 32
- 18
- 8
- 6
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 3
- 74
- 6
- 2
- 1
- 1
- 21
- 1
- 2
- 4
- 1
- 4
- 3
- 2
- 2
- 1
- 3
- 8
- 8
- 5
- 4
- 4
- 2
- 3
- 1
- 5
- 1
- 3
- 3
- 2
- 1
- 1
- 2
- 1
- 70
- 7
- 60
- 7
- 6
- 5
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 75
- 8
- 6
- 3
- 3
- 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
- 1
- 1
- 1
77 résultats
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
|
|||
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
|
|||
|
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
|
||
|
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
|
||
|
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
|
||
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
|
||
|
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
|
|||
|
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
|
|||
Introducing fractal computationCoping with Complexity, Oct 2011, Cluj, Romania
Communication dans un congrès
hal-00636376v1
|
|||
Irrationality is needed to compute with signal machines with only three speedsFRAC d'hiver 2013, Feb 2013, Montpellier, France
Communication dans un congrès
hal-00809143v1
|
|||
Small Turing universal signal machinesWCSP~'08s, Dec 2008, Cork, Ireland. pp.89--102
Communication dans un congrès
inria-00448439v1
|
|||
|
Abstract geometrical computation 7: Geometrical accumulations and computably enumerable real numbersNatural Computing, 2012, 11 (4), pp.609-622. ⟨10.1007/s11047-012-9335-8⟩
Article dans une revue
hal-00691466v1
|
||
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
|
|||
|
Parallel transient time of one-dimensional sand pileTheoretical Computer Science, 1998, 205 (1-2), pp.183-193. ⟨10.1016/S0304-3975(97)00073-X⟩
Article dans une revue
hal-03277218v1
|
||
|
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
|
||
Computing in Perfect Euclidean FrameworksAdamatzky, 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
|
|||
|
Abstract geometrical computation 1: embedding Black hole computations with rational numbersFundamenta Informaticae, 2006, 74 (4), pp.491-450
Article dans une revue
hal-00079720v1
|
||
|
Abstract geometrical computation 6: a reversible, conservative and rational based model for black hole computationInternational Journal of Unconventional Computing, 2012, 8 (1), pp.33-46
Article dans une revue
hal-00511224v1
|
||
|
Abstract geometrical computation for Black hole computation (extended abstract)MCU~'04, 2004, France. pp.176-187
Communication dans un congrès
hal-00079709v1
|
||
|
Abstract geometrical computation 3: Black holes for classical and analog computingNatural Computing, 2009, 8 (3), pp.455-472. ⟨10.1007/s11047-009-9117-0⟩
Article dans une revue
hal-00447966v1
|
||
Black hole computation: implementation with signal machinesIW PC, 2008, Wien, Austria. pp.136--158
Communication dans un congrès
inria-00448440v1
|
|||
Forcasting Black Holes in Abstract geometrical computation is Highly UnpredictableTheory and Appliacations of Models of Computations (TAMC~'06), 2006, France. pp.644-653, ⟨10.1007/11750321_61⟩
Communication dans un congrès
istex
hal-00079692v1
|
|||
|
Exact discretization of 3-speed rational signal machines22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.63-76, ⟨10.1007/978-3-319-39300-1_6⟩
Communication dans un congrès
hal-01298378v1
|
||
Machines à signaux: origine, puissance, retour au raisonnableJournée spacial computing, May 2011, LRI, Orsay, France
Communication dans un congrès
hal-00749838v1
|
|||
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
|