Scis0000002's hierarchy-of-abstract-machines [23 articles] Export

System Sciences, 2005. HICSS '05. Proceedings of the 38th Annual Hawaii International Conference on In System Sciences, 2005. HICSS '05. Proceedings of the 38th Annual Hawaii International Conference on (2005), pp. 292-292.

by J. Scholtz, M. Crosby, P. Ward

posted to bcis coevolution collaborating hierarchy-of-abstract-machines hyperefficiency intelligences intelligent-communities intelligent-environments intelligent-infrastructures intelligent-problem-solving intelligent-societies intelligent-technologies neuroethics neurophilosophy omega-innovating quantum-computational-intelligence survivability technological-supremacy by Scis0000002 on 2009-07-07 07:38:23 as

(21 May 1993)

by G. Troll

posted to cellular-automatons dynamical-systems dynamics formalizability hierarchy-of-abstract-machines logical-frameworks proof-transformation proofability provability sequence-spaces symbolic-dynamics systems-theory transformability by Scis0000002 on 2009-06-28 15:25:50 as along with 6 people and 1 group pqnelson ansobol jrw BarrosH scis0000001 aleks Compilers

(17 October 2007)

by Peter Rowlands

posted to all-possible-scientific-theories all-possible-thoughts alphabets complexities computational-physics dimensionality discrete-symbol-manipulation discreteness dualities duality first-principles formal-physics fundamental-principles hierarchy-of-abstract-machines infinite-rewriting information-theory invariances mathematical-constants mathematical-structure-of-sciences mathematical-structures metalogics metamathematics metaphysics metascience omega-innovating omega-sciences omegainnovating omegasciences order-structures philosophy-of-science physical-constants physical-structures physics rewriting rewriting-systems symbolic-dynamics synthetic-mathematics synthetic-physics synthetic-science toes unified-theories universal-rewriting universality universes by Scis0000002 on 2009-06-27 19:26:56 as

(13 Apr 1999)

by Juergen Schmidhuber

posted to algorithmic-information-theory all-computable-universes all-possible-cosmological-theories all-possible-universes all-possible-worlds cantor-space complexities computational-complexity-theory computational-cosmology cosmological-models cosmological-theories hierarchy-of-abstract-machines representations toes universal-models universal-theories universes by Scis0000002 on 2009-06-17 22:43:59 as along with 2 people and 1 group decki tictacgo Philosophy_of_Information

Commun. ACM, Vol. 46, No. 4. (April 2003), pp. 100-102.

by Peter Wegner, Dina Goldin

posted to abstract-machines computability-theory hierarchy-of-abstract-machines by Scis0000002 on 2009-06-13 16:57:54 as along with 6 people and 2 groups noahwf Lewis pverstra scis0000001 remipannequin scottmoody macc Holonic_Tracilog_Team

(18 April 2005)

by Keith J. Holyoak, Robert Morrison

posted to argumenting computability-logic hierarchy-of-abstract-machines hierarchy-of-computabilities inferencing reasoning thinking by Scis0000002 on 2009-05-30 16:06:45 as along with 1 person willers

In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321.

by Rahma B. Ayed, Jules Desharnais, Marc Frappier, Ali Mili

posted to abstract-machines approximating approximations complexity-classes discrete-symbol-manipulation formal-development formal-language-theory formal-science hierarchy-of-abstract-machines invariances logical-frameworks logical-structures mathematical-structures metalogical-frameworks metamathematics order-structures philosophy-of-science program-transformation program-transformations proof-transformation proof-transformations proving research-frameworks speed-games transformability transformations transformers transforming by Scis0000002 on 2009-05-15 20:11:03 as along with 1 person scis0000001

Science, Vol. 324, No. 5923. (3 April 2009), pp. 85-89.

by Ross D. King, Jem Rowland, Stephen G. Oliver, et al.Michael Young, Wayne Aubrey, Emma Byrne, Maria Liakata, Magdalena Markham, Pinar Pir, Larisa N. Soldatova, Andrew Sparkes, Kenneth E. Whelan, Amanda Clare

posted to abstract-machines all-possible-sciences automatic automating brain-interfaces competitiveness computational-epistemology computational-intelligence computational-neuroscience computational-science computer-science constructivization extremal-science formal-epistemology formal-science futures grids hierarchy-of-abstract-machines hierarchy-of-machines hyperefficiency infrastructures intelligent-problem-solving logical-frameworks omega-innovating philosophy-of-science quantum-computational-intelligence quantum-computing research-frameworks robot-scientists scientific-frameworks strategies synthetic-science technological-supremacy by Scis0000002 on 2009-05-05 22:28:17 as along with 53 people and 2 groups yyfwuhan antonkratz CulCog ckai1 jcaddy thegoose tommcdonagh tonamswish qwermish axeltan ocs TobiasAbenius CameronNeylon guhjy davidcsterratt bcondon kevinemamy TRHvidsten emiko Zephyrus arne muraken vagoskar katiehumphry Effie robertknight acrmartins psique dbikard tyrell_turing Tomste renatomilani subhacom druvus ramanuja sen_cheng coela VGreiff hagechouchin443 Benja austin stober rdiaz Fortran napvasconcelos mikel_egana allysonlister dullhunk fgibson pkonings JeremyZucker jbhiatt tmmurali NaCTeM MetabolicModeling

(27 Nov 2008)

by Tomasz Paterek, Johannes Kofler, Robert Prevedel, et al.Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, Caslav Brukner

posted to hierarchy-of-abstract-machines hierarchy-of-complexity-classes hierarchy-of-decision-problems hierarchy-of-languages hypercomputability physicalized-mathematics undecidability by Scis0000002 on 2008-12-06 12:46:22 as along with 8 people billxia jrw cosenal seanc iff knapp qwermish sflammia

(10 Dec 1997)

by Peter Varga

posted to hierarchy-of-abstract-machines by Scis0000002 on 2008-11-03 21:01:43 as

Euro-Par'97 Parallel Processing (1997), pp. 662-669.

by John O'Donnell, Gudula Rünger

posted to hierarchy-of-abstract-machines parallelism by Scis0000002 on 2008-11-03 20:49:00 as

Minds and Machines (February 2003), pp. 155-186.

by E. Steinhart

posted to computability-theory hierarchy-of-abstract-machines hierarchy-of-decision-problems hierarchy-of-machines hypercomputability intelligence-order-relations neurophilosophy omega-innovating omega-sciences power-order-relations transcendence by Scis0000002 on 2008-10-11 19:57:17 as

Mathematics Magazine, Vol. 67, No. 3. (1994), pp. 214-219.

by Reinhard Illner

posted to abstract-machines all-possible-justice-machines all-possible-legal-machines approximations automatic-justice automatic-justice-models automatic-justice-theories computable-justice computational-justice computational-justice-models computational-justice-sciences computational-justice-theories constructible-justice constructive-justice constructive-justice-models constructive-justice-theories ensemble-of-justice-machines equational-justice equational-justice-theories executable-justice-theories experts formal-justice formal-justice-sciences formal-justice-theories hierarchy-of-abstract-machines judge-robots justice-machines justice-strategies justice-technologies justice-theories justices legal-machines legal-technologies logical-machines mathematical-justice mathematical-justice-sciences mathematical-justice-theories procedural-justice-model procedural-justice-theories qualitative-justice-models qualitative-justice-theories quantitative-justice-models quantitative-justice-theories quantum-justice-models quantum-justice-theories robot-judges theoretical-justice-sciences by Scis0000002 on 2008-10-10 21:49:40 as

Genetic Programming (1999), pp. 651-651.

by John Koza, Forrest Bennett, Oscar Stiffelman

posted to algorithmic-information-theory all-possible-organisms cantor-space category-of-patents category-of-products category-of-specifications category-of-technologies category-of-theories computational-creativity computational-intelligence constructibility discrete-symbol-manipulation discrete-systems epigenetics extremal-biology extremal-physics extremality genetic-programming genome-spaces genomes genomic-spaces goedel-machines hierarchy-of-abstract-machines hierarchy-of-machines hierarchy-of-systems hyperefficiency hyperplanes innovating innovativeness invariances inventing invention-machines invention-theory model-organisms omega-innovating omega-sciences omegainnovating patentability philosophy-of-science physical-systems polytopes quantum-computational-intelligence rewriting scientific-theories support symmetries synthetic-biology technical-systems toes transformability transforming by Scis0000002 on 2008-07-20 18:20:50 as

ArXiv Computer Science e-prints (April 2000)

by M. Hutter

posted to aixi computability-logic computational-games computational-intelligence gtm hierarchy-of-abstract-machines hypercomputability intelligence-order-relations order-structures partial-orders power power-order-relations total-order total-orders utm by Scis0000002 on 2008-03-04 10:49:27 as along with 2 people algorithmic scis0000001

Minds Mach., Vol. 13, No. 1. (February 2003), pp. 3-22.

by B. J. Maclennan

posted to analog-computers analog-computing biocomputing cognitive-architectures computational-neuroscience continuous-computing field-computing hierarchy-of-abstract-machines hypercomputability hypercomputing neurocomputing scattering-theory by Scis0000002 on 2007-10-07 15:53:54 as

(16 Aug 2006)

by John C. Baez, Michael Shulman

posted to 0-toposes 1-toposes cantor-paradise cohomology complete-heyting-algebras complete-lattices dualities formal-science frames heyting-algebras hierarchy-of-abstract-machines hierarchy-of-complexity-classes hierarchy-of-languages hierarchy-of-logical-frameworks hierarchy-of-sciences hierarchy-of-toposes higher-dimensional-category-theory higher-dimensional-topos-theory infinite-rewriting invariances lattice-of-sciences locales logical-frameworks mathematical-structure-of-sciences mathematical-structures metalogical-frameworks metamathematical-frameworks metamathematics metascience n-categories n-frameworks n-stacks n-strategies n-theories n-toposes omega-hierarchies omega-toposes order-structure-of-sciences order-structures philosophy-of-mathematics platonic-realm posets quantales regularities representations resource-allocation semigroups sites stacks synthetic-science topologies topos-theory unifying by Scis0000002 on 2007-08-30 22:50:10 as along with 3 people jrw proportional sleepinghead

ArXiv Nonlinear Sciences e-prints (October 2002)

by R. K. Standish

posted to algorithmic-information-theory all-possible-environments all-possible-organisms all-possible-universes all-possible-worlds category-of-programs category-of-strategies category-of-theories complexities constructivism distributedness emergence evolution evolution-theory executable-specifications executable-theories extendability extremal-biology genome-spaces goedel-machine hierarchy-of-abstract-machines hierarchy-of-machines hierarchy-of-systems interoperability logical-theories metaevolution modeling network-of-programs network-of-theories omega-innovating open-ended order-structures organisms philosophy-of-science populations-of-strategies portfolio-theory randomness species strategies synthetic-biology synthetic-worlds taxonomies taxonomy-of-theories by Scis0000002 on 2007-08-24 15:46:50 as along with 1 person tomhebbron

(2000)

by S. Colton, A. Bundy, T. Walsh

posted to agent-theory aixi argumentation argumentation-games argumentation-theory category-of-theories collaboration computability-logic computational-science developing dialogical-logic distributed distributed-operating-system experts extendability formal-digital-library formal-interoparability formal-language-theory formal-problem-solving formal-science formation game-theory goedel-machine heterogeneous hierarchy-of-abstract-machines hyperefficiency hypernetworks iff interoperability logical-theories markets mathematics mechanized-mathematics metascience mkm oops optimality order-structures philosophy-of-science problem-solving proof-search resource-allocation scientific-community semweb socio-economic-systems theory-development unified-concept-theory by Scis0000002 on 2007-07-01 16:37:59 as

Theoretical Computer Science In Computational Systems Biology, Vol. 325, No. 1. (28 September 2004), pp. 69-110.

by Vincent Danos, Cosimo Laneve

posted to biological-systems biomolecules computational-biology concurrency executable-theories extremal-biology extremal-chemistry formal-biology formal-development formal-theories formalizing hierarchy-of-abstract-machines hierarchy-of-languages hierarchy-of-machines interactomes lattice-of-types logical-structures logical-theories mathematical-biology molecular-structures proteins reverse-engineering-nature systems-biology by Scis0000002 on 2007-07-01 16:30:07 as

(26 Sep 2006)

by E. Minguzzi, M. Sanchez

posted to all-possible-universes all-possible-worlds category-of-events category-of-spacetimes category-of-theories energies hierarchy-of-abstract-machines hierarchy-of-machines hierarchy-of-spacetimes hierarchy-of-theories hierarchy-of-toposes metalogics space-times universes by Scis0000002 on 2007-06-30 15:35:54 as along with 2 people jrw proportional

pp. 259-280.

by E. Steinhart

posted to all-possible-inventions all-possible-universes all-possible-worlds category-of-contexts category-of-specifications category-of-theories computability-logic computability-theory computational-mechanics effective-topos executable-theories finitary-stochastic-hierarchy formal-development formal-logical-theories formal-science formal-theories hierarchy-of-abstract-machines hierarchy-of-complexity-classes hierarchy-of-decision-problems hierarchy-of-formal-languages hierarchy-of-machines hierarchy-of-toposes hyperefficiency innovating lattice-of-machines lattice-of-situations logical-machines logical-theories metalogics modeling omega-hierarchies omega-innovating philosophy-of-science quantum-computability superstatistics theory-development toes by Scis0000002 on 2007-06-30 15:32:17 as

In EUROMICRO 93: Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications (1993), pp. 213-220.

by J. P. Calvez, O. Pasquier

posted to algebraicity artificial-society behavior behavior-analysis behavior-models behavior-monitoring behavioral-equations computational-economics computational-justice computational-justice-sciences computational-legal-sciences computational-science computational-sociology constructive-justice-sciences distributive-justice executable-theories formal-justice-sciences hierarchy-of-abstract-machines hierarchy-of-decision-problems justice-equations justice-functions justice-models justice-systems justice-theories justices legal-systems markets mas monitoring normative-systems portfolio prevention real-time real-time-justice real-time-justice-systems regulative-systems self-measuring self-modeling self-models self-monitoring self-preventing by Scis0000002 on 2007-06-21 15:16:12 as