registrieren | anmelden | FAQ      [?] 

Tag metascience [33 articles]

Recent papers classified by the tag metascience.
  • Semantics and Conceptual Change
    The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
    by Jerrold J Katz
    posted to theories scientific-theories scientific-models philosophy-of-science metascientific-frameworks metascience metamathematical-frameworks metalogics metalogical-frameworks logical-theories formal-theories ensemble-theories category-of-theories all-scientific-theories by Scis0000002 on 2008-07-14 09:49:08 as **
  • Combining active learning with inductive logic programming to close the loop in machine learning
    (1999)
    by S Muggleton, C Bryant, C Page, M Sternberg
    edited by S Colton
    posted to active-learning computational-epistemology computational-learning computational-science experiment-selection hyperefficiency ilp inquiry-calculus metascience robotics by Scis0000002 on 2007-07-30 13:56:03 as **
  • Agent based cooperative theory formation in pure mathematics
    (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 dialogical-logic distributed distributed-operating-system experts extendability formal-digital-library formal-interoparability formal-problem-solving formal-science formation game-theory goedel-machine heterogeneous hyperefficiency hypernetworks iff interoperability logical-theories markets mathematics mechanized-mathematics metascience mkm oops optimality 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 **
  • Talking Heads: Language, Metalanguage, and the Semiotics of Subjectivity
    (01 November 1997)
    by Benjamin Lee
    posted to category-of-interactions category-of-theories cultural-evolution dynamics formal-philosophy hierarchy-of-machines intelligence-order-relations interactivity interoperability intersubjectivity metaevolution metalanguages metalayer-architectures meta-level-architectures metalogical-frameworks metamathematical-frameworks metamathematics metaphilosophical-frameworks metaphilosophy metascience neurophilosophy neuroscience objectivity philosophical-frameworks philosophy-of-science relativity scientific-community self-reflectivity semantics semiotics subjectivity synthetic-science by Scis0000002 on 2007-07-10 09:40:57 as ** along with 1 person 13matt
  • The necessity of trans-scientific frameworks for doing interdisciplinary research: Developed from a conference paper for paradigms lost and paradigms gained: negotiating interdisciplinarity in the twenty-first century, Calgary, May 2001
    Kybernetes: The International Journal of Systems & Cybernetics, Vol. 35, No. 3-4. (March 2006), pp. 403-425.
    by Brier, Saren
    posted to metalogical-frameworks metaphilosophical-frameworks metaphilosophy metascience metascientific-frameworks scientific-frameworks topos-morphisms unified-concept-theory by Scis0000002 on 2007-09-02 14:38:08 as **
  • System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
    (1999), pp. 202-206.
    by Frank Pfenning, Carsten Schürmann
    edited by H Ganzinger
    posted to computational-logic formal-digital-libraries formal-digital-library general-logics interoperability metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions twelf unified-concept-theory universal-logic by Scis0000002 on 2007-07-10 09:20:53 as **
  • Relationalism vs. Bayesianism
    (7 Mar 2006)
    by Thomas Marlow
    posted to relationalism relational philsci philosophy-of-science metascientific-frameworks metascience metalogical-frameworks bayesianism bayesian by Scis0000002 on 2008-04-27 20:48:15 as ** along with 2 people and 1 group jrw qwermish Philosophy of physics
  • Maude as a Formal Meta-tool
    (1999), pp. 1684-1703.
    by Manuel Clavel, Fransisco Duran, Steven Eker, Jose Meseguer, Mark O Stehr
    posted to meta-tool metascience by Scis0000002 on 2007-07-06 14:10:24 as **
  • Nonlinear Self-Duality and Supersymmetry
    by Sergei M Kuzenko, Stefan Theisen
    posted to category-theory duality extendability extendibility higher-dimensional-category-theory idealization metalogical-frameworks metamathematical-frameworks metamathematics metascience modeling nonlinearity omega-categories philosophy-of-science regularities stone-duality topos-theory by Scis0000002 on 2007-08-31 00:40:31 as ** along with 1 person scis0000001
  • Lectures on n-Categories and Cohomology
    (16 Aug 2006)
    by John C Baez, Michael Shulman
    posted to topos-theory omega-toposes n-toposes n-categories metascience metalogical-frameworks higher-dimensional-topos-theory higher-dimensional-category-theory hierarchy-of-toposes hierarchy-of-sciences hierarchy-of-logical-frameworks hierarchy-of-languages cohomology by Scis0000002 on 2007-08-30 22:50:10 as ** along with 3 people jrw proportional sleepinghead
  • General logics and logical frameworks
    (1994), pp. 355-391.
    by Narciso Mart&\#237;-Oliet, Jos&\#233; Meseguer
    posted to computational-logic general-logics interoperability logical-frameworks maude metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions unified-concept-theory universal-logic by Scis0000002 on 2007-07-06 14:06:18 as ** along with 1 person scis0000001
  • The Semantic or Model-Theoretic View of Theories and Scientific Realism
    Synthese (June 2001), pp. 325-345.
    by A Chakravartty
    posted to multi-language-systems metascientific-frameworks metascience metalogical-frameworks metalevel-frameworks metalevel-architectures local-mathematics higher-order by Scis0000002 on 2008-05-05 14:17:34 as **
  • Scientific Graphs and the Hierarchy of the Sciences: A Latourian Survey of Inscription Practices
    Social Studies of Science, Vol. 30, No. 1. (2000), pp. 73-94.
    by Laurence D Smith, Lisa A Best, Alan D Stubbs, John Johnston, Andrea B Archibald
    posted to philosophy-of-science metascience lattice-of-sciences hierarchy-of-sciences category-of-sciences by Scis0000002 on 2008-07-18 11:58:05 as ** along with 1 person samjshah
  • Is “the theory of everything” merely the ultimate ensemble theory?
    (1 Dec 1998)
    by Max Tegmark
    posted to transformation topos-theory survivability specification selection resource-allocation representation regularities quantum-computability presentation power physical-structures philosophy-of-science metaselection metascience metaphilosophy metamathematics metamathematical-frameworks metalogics metalogical-frameworks metaevolution mathematical-structures interoperability interconnectivity intelligence-order-relations hyperefficiency hypercomputing hypercomputability higher-dimensional-category-theory hierarchy-of-machines goedel-machine formal-theories formal-science formal-problem-solving formalization-hypothesis formal-interoperability extraction extendability exploring exploration exploiting exploitation decision-procedure controlability control constructivization computability-theory computability complexity all-possible-worlds all-mathematical-structures all-categorical-structures accessibility by Scis0000002 on 2007-07-15 18:08:19 as ** along with 1 person scis0000001
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
    posted to adaptability aixi all-logical-theories atp autonomic-computing bias biops chu-space computability-logic computational-epistemology computational-learning computational-mathematics computational-science domain-theory dynamics efficiency formal-development formal-system generalized-kolmogorov-complexity goedel-machine gtm iff inference inference-dynamics interactivity lattice-of-theories least-time machine-learning metaevolution metalogic-programming metalogics metascience model-selection oops optimality paraconsistency problem-solving proof-search reinforcement-learning resource-allocation robotics searching self-adaptation self-managing self-reference semweb speed-prior survivability temporal-logic universal-search universality utility by scis0000001 on 2006-09-15 14:13:48 as ** along with 1 person Scis0000002
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to algorithmic-information-theory category-of-languages category-of-systems category-of-theories category-theory classicality computability-logic deep-inference dev effective-topos executable formal formal-development formal-language formal-language-theory formal-science formal-system formalization higher-dimensional-category-theory higher-dimensional-topos-theory hyperdoctrine iff intuitionistic-logic logics managed-logic metamodeling metascience modeling nonclassicality operational parchments physics quantum-domain-theory quantum-institutions representation rewriting-logic theory-development theory-selection topos topos-selection topos-theory unified-concept-theory by scis0000001 on 2007-04-12 08:08:24 as ** along with 5 people jrw proportional madhadron gpi Scis0000002
  • What Is a Concept?
    Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
    by Joseph Goguen
    posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as ** along with 7 people and 2 groups garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
  • A Hierarchical Community of Experts
    (1997)
    by Geoffrey E Hinton, Brian Sallans, Zoubin Ghahramani
    edited by Michael I Jordan
    posted to computational-learning computational-sociology ensemble experts hierarchy hyper-economy hyperefficiency hypernetwork iff metascience mixture neuroscience optimality organization-theory portfolio principal-agent-theory problem-solving semweb by scis0000001 on 2007-04-16 13:24:31 as ** along with 1 person and 1 group bpacker vision-ng
  • Principal-agent theory and the structure of science policy, revisited: science in policy and the US Report on Carcinogens
    pp. 347-357.
    by David H Guston
    posted to metascience principal-agent-theory by scis0000001 on 2007-03-17 13:35:55 as **
  • Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)
    (28 July 1997)
    by Jon Barwise, Jerry Seligman
    posted to algorithmic-information-theory category-of-theories channel-theory chu-space computational-neuroscience computational-science formal-development formal-science granularity iff information-flow lattice-of-theories metascience temporal unified-concept-theory by scis0000001 on 2006-09-23 13:50:41 as ** along with 2 people and 1 group msakai aleks Compilers
  • NP Markets, or How To Get Everyone Else to Solve Your Intractable Problems
    by David M Pennock
    posted to collaboration collaborative-problem-solving crowdsourcing distributed e-science efficiency iff markets metascience mkm optimality prediction-market problem-solving semweb by scis0000001 on 2007-04-09 14:20:34 as **
  • A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract)
    (1999), pp. 489-493.
    by Jingde Cheng
    posted to discovery epistemology metascience modeling by scis0000001 on 2006-11-24 13:13:27 as **
  • An Interactive Environment for Scientific Modeling and Discovery
    (2002)
    by Javier N Sanchez, Pat Langley
    posted to api collaboration computational-epistemology e-science epistemology ide interactive-epistemology metascience methodology modeling research scide theory-development theory-development-environment tide tool toolkit by scis0000001 on 2006-09-19 12:57:45 as **
  • A study in the foundations of programming methodology: specifications, institutions, charters and parchments
    (1986), pp. 313-333.
    by JA Goguen, RM Burstall
    posted to category-theory charters iff institutions logics managed-logic metalogics metascience parchments programming specifications by scis0000001 on 2006-12-30 21:54:09 as **
  • A Taxonomy of Theories
    by Anthony A Aaby
    posted to algorithmic-information-theory all-logical-theories category-of-theories computational-science dev e-science formal-development formal-science formalization hierarchy-of-theories iff institutions interoperability lattice lattice-of-theories logical-theories mda metamodeling metascience metatheory ontology ontology-development optimality parchments representation rm-odp semweb standards taxonomy taxonomy-of-theories theory theory-development unified-concept-theory by scis0000001 on 2006-09-08 13:28:12 as **
  • On the Role of Category Theory in the Area of Algebraic Specification
    (1996), pp. 17-48.
    by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter
    posted to algebraicity category-of-specifications category-theory classifying-categories concurrency configuration-space formal-development higher-dimensional-category-theory indexed-categories lattice-of-specifications metascience sketch-theory specification specification-lattice specifications-lattice topos-theory unified-concept-theory by scis0000001 on 2007-05-15 14:30:26 as **
  • Scientific Workflow Management and the Kepler System
    (2005)
    by B Ludscher, I Altintas, C Berkley, D Higgins, E Jaeger, M Jones, E Lee, J Tao, Y Zhao
    posted to desktop e-science grid management metaprocess metascience scide science scientific sciwm semweb toolkit workflow by scis0000001 on 2006-09-19 13:35:02 as ** along with 1 person jamescford
  • How to succeed in science: a concise guide for young biomedical scientists. Part II: making discoveries.
    Nature reviews. Molecular cell biology (10 April 2008)
    by Jonathan W W Yewdell
    posted to metascience by renatomilani on 2008-05-23 19:54:53 as ** along with 5 people sci91078 phoenixzxl iramjohn tayzerhouse05 jyuh
  • notes Writing good software engineering research papers: minitutorial
    (2003), pp. 726-736.
    by Mary Shaw
    posted to metascience softwareengineering writing by rblake on 2007-02-23 03:53:39 as read along with 8 people and 3 groups jolilius hayashi pejo benavides maike abecker japarejo alphabetagamma TUCS-ES_Lab tdg uiuc-cs
  • An evaluation of the ninth SOSP submissions or how (and how not) to write a good systems paper
    SIGGRAPH Comput. Graph., Vol. 22, No. 5. (October 1988), pp. 264-266.
    by Roy Levin, David D Redell
    posted to metascience writing by rblake on 2007-03-26 19:44:01 as *** along with 1 person and 2 groups HenryR uiuc-cs The Atlas Room
  • notes Who is the best connected scientist? A study of scientific coauthorship networks
    (28 Nov 2000)
    by MEJ Newman
    posted to citation metascience socialnetworks by rblake on 2006-10-04 20:42:48 as read along with 13 people and 4 groups korakot A_Olympia pdlug ldietz craigwilson rp311 cristinaalp avivagabriel dbatorski fwkroon azygmunt somasanyal andreacapocci Philosophy_of_Information Blog_and_Wiki_Research uiuc-cs AGH-IISG
  • The simultaneous evolution of author and paper networks.
    Proc Natl Acad Sci U S A, Vol. 101 Suppl 1 (6 April 2004), pp. 5266-5273.
    by K Börner, JT Maru, RL Goldstone
    posted to graph metascience socialnetwork by calamar on 2007-06-28 19:40:45 as ***** along with 4 people cmmorel yoh eyliu fwkroon
  • Scientific collaboration networks. I. Network construction and fundamental results
    Physical Review E, Vol. 64, No. 1. (28 June 2001), 016131.
    by MEJ Newman
    posted to graph metascience socialnetwork by calamar on 2007-06-28 19:38:39 as ** along with 3 people dpf somasanyal AnneB
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/metascience

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.