新規登録 | ログイン | FAQ      [?] 

タグ: foundations [85 articles]

Recent papers classified by the tag foundations.
  • On Two Metaphors for Learning and the Dangers of Choosing Just One
    Educational Researcher, Vol. 27, No. 2. (1998), pp. 4-13.
    by Anna Sfard
    posted to aquisition background constructivism foundations instructionism learning mathematics mathgamespatterns participation theory by yish on 2006-02-17 11:29:53 as ***** along with 3 people and 4 groups pedagogicapprentice esayre TransformingPerspectives mathgamespatterns dtl vds-arg eni
  • notes Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939
    (15 October 1989)
    by Ludwig Wittgenstein
    edited by Cora Diamond
    posted to foundations ijceell06 infinity language mathematics narrative philosophy by yish on 2006-02-13 15:29:37 as ** along with 1 person and 4 groups NitinCR mathgamespatterns dtl vds-arg eni
  • Reliability-based design for transmission line structure foundations
    Computers and Geotechnics, Vol. 26, No. 3-4. (April 2000), pp. 169-185.
    by Kok-Kwang Phoon, Fred H Kulhawy, Mircea D Grigoriu
    posted to foundations line reliability transmission by xapc2 on 2008-07-29 18:53:42 as read
  • The polyadic pi-calculus: a tutorial
    (1993), pp. 203-246.
    by R Milner
    edited by FL Bauer, W Brauer, H Schwichtenberg
    posted to concurrent foundations pi-calculus process by wneumann on 2005-03-22 16:57:10 as **** along with 5 people stagediver cogumbreiro calvins neuralwarp jpaulo007
  • On Conway and Kochen's "Thou shalt not clone one bit!"
    (11 Aug 2008)
    by David N Mermin
    posted to - foundations quantum by uma_physics on 2008-08-13 18:05:42 as ***** along with 1 person eswar_physics
  • On the absence of a measurement problem in quantum computer science
    (11 Aug 2008)
    by David N Mermin
    posted to - foundations quantum by uma_physics on 2008-08-13 18:07:32 as ***** along with 1 person eswar_physics
  • How real are real numbers?
    (29 Nov 2004)
    by GJ Chaitin
    posted to foundations numbers real by ujarmatokyaniv on 2007-06-16 01:11:51 as **** along with 1 person scis0000001
  • Variational Formulation for Quaternionic Quantum Mechanics
    (24 Sep 2008)
    by CAM de Melo, BM Pimentel
    posted to quaternions quaternionicquantummechanics quantummechanicsfoundations foundations by tarampam on 2008-10-01 14:11:20 as ** along with 1 person LWelch
  • Completeness of Linear Refutation for Theories with Equality
    J. ACM, Vol. 18, No. 1. (January 1971), pp. 126-136.
    by CL Chang, JR Slagle
    posted to foundations logic theorem_proving theories_of_equality by stavros on 2006-01-17 23:56:27 as *****
  • Existential assertions and quantum levels on the tree of the situation calculus
    Artif. Intell., Vol. 170, No. 6. (May 2006), pp. 643-652.
    by Francesco Savelli
    posted to situation_calculus foundations ai by stavros on 2007-10-26 06:18:54 as read along with 1 person rfk
  • Proving Properties of States in the Situation Calculus
    Artificial Intelligence, Vol. 64, No. 2. (1993), pp. 337-351.
    by Raymond Reiter
    posted to ai foundations logic reasoning_about_action situation_calculus by stavros on 2007-06-20 23:16:57 as read
  • Incomplete Information in Relational Databases
    J. ACM, Vol. 31, No. 4. (October 1984), pp. 761-791.
    by Tomasz Imielinski, Witold Lipski
    posted to ai databases foundations incomplete_knowledge logic by stavros on 2005-09-22 00:30:47 as **** along with 2 people and 1 group jog fsautomata WebTech
  • notes Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions
    Vol. Volume 5 (1990), pp. 23-67.
    by Lehnart Schubert
    edited by Henry E Kyburg, Ronald P Loui, Greg N Carlson
    posted to ai depth foundations frame_problem logic reasoning_about_action by stavros on 2005-09-21 23:44:02 as **
  • Toward a mathematical theory of plan synthesis
    (1987)
    by EPD Pednault
    posted to ai foundations situation_calculus by stavros on 2007-02-12 20:51:51 as read
  • Report Carding: A Model for Foundation Portfolio Assessment
    American Journal of Evaluation, Vol. 26, No. 4. (1 December 2005), pp. 518-531.
    by Connie C Schmitz, Barbara A Schillo
    posted to cri crinovah evaluation foundations by shelby on 2006-08-09 01:53:13 as ***** along with 1 person and 1 group juni06 CRI
  • Community Foundations: A Growing Resource for Community Development
    Nonprofit Management and Leadership, Vol. 12, No. 1. (2001), pp. 7-24.
    by Joanne G Carman
    posted to cri crinovah foundations by shelby on 2006-09-13 02:39:43 as *** along with 1 group CRI
  • Community Foundation Performance: Bridging Community Resources and Needs
    Nonprofit and Voluntary Sector Quarterly, Vol. 35, No. 2. (1 June 2006), pp. 267-287.
    by Chao Guo, William A Brown
    posted to crinovah foundations philanthropy by shelby on 2006-09-13 02:35:11 as ** along with 1 group CRI
  • What Evaluation Could Do to Support Foundations: A Framework with Nine Component Parts
    American Journal of Evaluation, Vol. 22, No. 1. (1 March 2001), pp. 13-28.
    by Eleanor Chelimsky
    posted to cri evaluation foundations by shelby on 2006-08-09 01:58:20 as ***** along with 1 person and 1 group juni06 CRI
  • Foundation Approaches to Effectiveness: A Typology
    Nonprofit and Voluntary Sector Quarterly, Vol. 35, No. 3. (1 September 2006), pp. 510-516.
    by Francie Ostrower
    posted to foundations philanthropy by shelby on 2006-08-06 01:19:28 as *** along with 1 group CRI
  • Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs
    History and Philosophy of Logic, Vol. 25 (2004), pp. 79-94.
    by Richard Zach
    posted to epsilon foundations hilbert history history_of_logic mathematics philosophy_of_mathematics proof_theory by rzach on 2005-03-14 15:37:52 as read along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
  • Does Mathematics Need New Axioms?
    The Bulletin of Symbolic Logic, Vol. 6, No. 4. (2000), pp. 401-446.
    by Solomon Feferman, Harvey M Friedman, Penelope Maddy, John R Steel
    posted to foundations philosophy_of_mathematics set_theory by rzach on 2005-03-16 18:05:04 as **** along with 2 people and 3 groups A_Olympia Ed Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
  • An ordinal analysis of parameter free Π<sup>1</sup><sub>2</sub>-comprehension
    Archive for Mathematical Logic, Vol. 44, No. 3. (April 2005), pp. 263-362.
    by Michael Rathjen
    posted to foundations proof_theory by rzach on 2005-06-09 17:57:06 as ** along with 1 person and 1 group htowsner LogicPhilMath
  • Between Russell and Hilbert: Behmann on the Foundations of Mathematics
    The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 303-330.
    by Paolo Mancosu
    posted to behmann foundations hilbert history_of_logic philosophy_of_mathematics principia_mathematica russell by rzach on 2005-03-16 18:07:20 as read along with 1 group LogicPhilMath
  • Tarski's System of Geometry
    The Bulletin of Symbolic Logic, Vol. 5, No. 2. (1999), pp. 175-214.
    by Alfred Tarski, Steven Givant
    posted to foundations geometry history history_of_logic logic mathematics tarski by rzach on 2005-03-16 18:09:28 as *** along with 2 people and 3 groups shankar A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
  • The Mathematical Development of Set Theory from Cantor to Cohen
    The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71.
    by Akihiro Kanamori
    posted to foundations history_of_logic set_theory by rzach on 2005-03-14 17:38:18 as **** along with 6 people and 3 groups A_Olympia recordmymind aeagle ds Scis0000002 ansobol Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
  • Hilbert's Programs: 1917-1922
    The Bulletin of Symbolic Logic, Vol. 5, No. 1. (1999), pp. 1-44.
    by Wilfried Sieg
    posted to finitism foundations hilbert history history_of_logic logic russell by rzach on 2005-03-16 18:08:48 as read along with 1 group LogicPhilMath
  • An ordinal analysis of stability
    Archive for Mathematical Logic, Vol. 44, No. 1. (January 2005), pp. 1-62.
    by Michael Rathjen
    posted to foundations proof_theory by rzach on 2005-06-09 17:59:20 as ** along with 1 person and 1 group htowsner LogicPhilMath
  • An axiomatic basis for computer programming
    Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
    by CAR Hoare
    posted to computer foundations geometry logical mathematics programming techniques by rgb on 2006-08-04 10:09:15 as ** along with 11 people and 5 groups jkominek leonardo rwtodd dsilva jff jbrown calvins flavian_vasile _Anne_ bfraser zuleger Crypto GraphTheory pileWorks Foundations-of-Programming TMC
  • Software Product Line Engineering: Foundations, Principles and Techniques
    (2005)
    by Klaus Pohl, Günter Böckle, Frank J van der Linden
    posted to foundations product-line-engineering by RalfMitschke on 2008-03-26 12:51:37 as read
  • Two dogmas about quantum mechanics
    (19 May 2008)
    by Jeffrey Bub, Itamar Pitowsky
    posted to theory quantum physics philsci philosophy foundations by qwermish on 2008-10-10 13:08:36 as ** along with 2 people and 1 group eswar_physics pak Philosophy of physics
  • Quantum Bayesianism: A Study
    (13 Apr 2008)
    by Christopher G Timpson
    posted to bayes foundations philosophy philsci physics probability quantum theory by qwermish on 2008-04-20 16:19:41 as * along with 2 people and 1 group proportional Scis0000002 Philosophy of physics
  • Time-Reversal Experiments in Dipolar-Coupled Spin Systems
    Physical Review B, Vol. 3, No. 3. (1 February 1971), 684.
    by W-K Rhim, A Pines, JS Waugh
    posted to foundations physics statmech theory thermodynamics by qwermish on 2007-11-01 07:57:33 as **** along with 1 group Philosophy of physics
  • Partial Differential Equations of Physics
    (27 Feb 1996)
    by Robert Geroch
    posted to theory physics mathematics foundations by qwermish on 2008-10-07 13:35:30 as ** along with 1 group Philosophy of physics
  • The Spin-Echo Experiment and Statistical Mechanics
    Foundations of Physics Letters, Vol. 18, No. 7. (December 2005), pp. 621-635.
    by Peter Ainsworth
    posted to foundations philosophy philsci physics statmech thermodynamics by qwermish on 2007-10-25 11:02:45 as read along with 1 group Philosophy of physics
  • Fundamental Constants
    (31 Aug 2007)
    by Frank Wilczek
    posted to foundations physics theory by qwermish on 2008-03-20 18:34:28 as * along with 5 people Michael_Sherbon proportional NitinCR misha pak
  • Foundations of statistical mechanics
    Reports on Progress in Physics, Vol. 42, No. 12. (1979), pp. 1937-2006.
    by O Penrose
    posted to foundations philosophy philsci physics review statmech theory thermodynamics by qwermish on 2007-11-02 07:46:26 as ** along with 1 person and 1 group petrF Philosophy of physics
  • Rethinking the theoretical foundation of sociobiology.
    The Quarterly review of biology, Vol. 82, No. 4. (December 2007), pp. 327-348.
    by DS Wilson, EO Wilson
    posted to biology evolution foundations philosophy philsci sociobiology by qwermish on 2008-05-18 04:27:00 as read
  • A Field Guide to Recent Work on the Foundations of Statistical Mechanics
    (2 Apr 2008)
    by Roman Frigg
    posted to theory statmech physics philsci philosophy foundations by qwermish on 2008-10-10 08:21:06 as ** along with 1 group Philosophy of physics
  • Quantum Theory From Five Reasonable Axioms
    (25 Sep 2001)
    by Lucien Hardy
    posted to foundations physics quantum theory by qwermish on 2007-08-31 07:17:24 as *** along with 7 people ansobol jrw wnoise TooMuchCoffeeMan scis0000001 kevina NitinCR
  • The Spin-Echo Experiments and the Second Law of Thermodynamics
    Foundations of Physics, Vol. 28, No. 8. (1998), pp. 1237-1270.
    by T Ridderbos, M Redhead
    posted to foundations philosophy philsci physics statmech theory by qwermish on 2007-10-16 09:46:39 as read along with 1 group Philosophy of physics
  • Information Bottlenecks, Causal States, and Statistical Relevance Bases: How to Represent Relevant Information in Memoryless Transduction
    (16 Jun 2000)
    by Cosma R Shalizi, James P Crutchfield
    posted to causality complexity computation foundations statmech theory by qwermish on 2007-09-09 11:36:22 as ****
  • Foundations of relational particle dynamics
    Classical and Quantum Gravity, Vol. 25, No. 2. (2008), 025003.
    by Edward Anderson
    posted to theory physics foundations dynamics by qwermish on 2008-10-10 13:03:16 as ** along with 2 people A_Olympia proportional
  • Can one build a quantum hard drive? A no-go theorem for storing quantum information in equilibrium systems
    (28 Mar 2006)
    by Robert Alicki, Michal Horodecki
    posted to foundations by peterjlove on 2006-06-15 23:46:37 as ** along with 1 person proportional
  • Notes on the Conway-Kochen Twin Argument
    (17 Apr 2006)
    by Stephen L Adler
    posted to foundations by peterjlove on 2006-06-15 22:33:44 as **
  • Hardy's criterion of nonlocality for mixed states
    (20 Mar 2006)
    by Giancarlo Ghirardi, Luca Marinatto
    posted to foundations by peterjlove on 2006-06-15 23:39:02 as **
  • The limits of counterfactual computation
    (10 Jun 2006)
    by Graeme Mitchison, Richard Jozsa
    posted to foundations by peterjlove on 2006-06-15 22:05:53 as ** along with 1 person hweel20060612
  • Generalized Bloch Spheres for m-Qubit States
    (3 Jan 2006)
    by Klaus Dietz
    posted to foundations by peterjlove on 2006-06-16 00:07:20 as ** along with 1 person jrw
  • Non-negative discrete Wigner functions
    (1 Feb 2006)
    by D Gross
    posted to foundations by peterjlove on 2006-06-15 23:52:03 as ** along with 3 people wnoise proportional eyliu
  • Fundamental decoherence from quantum gravity: a pedagogical review
    (22 Mar 2006)
    by Rodolfo Gambini, Rafael Porto, Jorge Pullin
    posted to foundations by peterjlove on 2006-06-15 23:49:35 as ** along with 2 people jrw proportional
  • Quantum gravitational decoherence
    (17 Apr 2006)
    by Robert Bingham, Tito J Mendonca, Charles HT Wang
    posted to foundations by peterjlove on 2006-06-15 23:49:14 as ** along with 1 person proportional
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/foundations

    Result page: 1 2 Next 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.