Registrati | Log in | FAQ      [?] 

Tag metascience [33 articles]

Articoli recentemente classificati sotto il tag metascience.
  • The Semantic or Model-Theoretic View of Theories and Scientific Realism
    Synthese (June 2001), pp. 325-345.
    by A Chakravartty
    posted to higher-order local-mathematics metalevel-architectures metalevel-frameworks metalogical-frameworks metascience metascientific-frameworks multi-language-systems by Scis0000002 on 2008-05-05 14:17:34 as **
  • 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
  • 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 **
  • Lectures on n-Categories and Cohomology
    (16 Aug 2006)
    by John C Baez, Michael Shulman
    posted to cohomology hierarchy-of-languages hierarchy-of-logical-frameworks hierarchy-of-sciences hierarchy-of-toposes higher-dimensional-category-theory higher-dimensional-topos-theory metalogical-frameworks metascience n-categories n-toposes omega-toposes topos-theory by Scis0000002 on 2007-08-30 22:50:10 as ** along with 3 people jrw proportional sleepinghead
  • Semantics and Conceptual Change
    The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
    by Jerrold J Katz
    posted to all-scientific-theories category-of-theories ensemble-theories formal-theories logical-theories metalogical-frameworks metalogics metamathematical-frameworks metascience metascientific-frameworks philosophy-of-science scientific-models scientific-theories theories by Scis0000002 on 2008-07-14 09:49:08 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
  • 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
  • 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 **
  • Relationalism vs. Bayesianism
    (7 Mar 2006)
    by Thomas Marlow
    posted to relationalism relational-structures 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
  • 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 **
  • 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 **
  • Is “the theory of everything” merely the ultimate ensemble theory?
    (1 Dec 1998)
    by Max Tegmark
    posted to accessibility all-categorical-structures all-mathematical-structures all-possible-worlds complexity computability computability-theory constructivization control controlability decision-procedure exploitation exploiting exploration exploring extendability extraction formal-interoperability formalization-hypothesis formal-problem-solving formal-science formal-theories goedel-machine hierarchy-of-machines higher-dimensional-category-theory hypercomputability hypercomputing hyperefficiency intelligence-order-relations interconnectivity interoperability mathematical-structures metaevolution metalogical-frameworks metalogics metamathematical-frameworks metamathematics metaphilosophy metascience metaselection philosophy-of-science physical-structures power presentation quantum-computability regularities representation resource-allocation selection specification survivability topos-theory transformation by Scis0000002 on 2007-07-15 18:08:19 as ** along with 1 person scis0000001
  • 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 category-of-sciences hierarchy-of-sciences lattice-of-sciences metascience philosophy-of-science by Scis0000002 on 2008-07-18 11:58:05 as ** along with 1 person samjshah
  • 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
  • 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 ** along with 1 person Scis0000002
  • 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
  • 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 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 **
  • 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
  • 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 **
  • 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 **
  • 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
  • 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
  • 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
  • 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 **
  • 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 **
  • 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 phoenixzxl jyuh iramjohn tayzerhouse05 sci91078
  • 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
  • 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
  • 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 somasanyal AnneB dpf
    • Puoi citare questa pagina come: http://www.citeulike.org/tag/metascience

    RIS BibTeX
    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.