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

bigbossman さんのウォッチリスト [1000+ articles]

最近追加された論文の中で bigbossman さんの設定条件に合うもののリストです
  • Fractal properties and small-scale structure of cosmic string networks
    Phys. Rev. D, Vol. 73, No. 4. (February 2006), 043515.
    by CJ Martins, EP Shellard
    posted to fractal network by scis0000001 on 2007-05-23 00:47:42 as ** along with 2 people Scis0000002 jrw
  • Ordering Dynamics of Topological Defect Networks
    ArXiv High Energy Physics - Phenomenology e-prints (December 1997)
  • Falaco Solitons, Cosmic Strings in a Swimming Pool
    ArXiv General Relativity and Quantum Cosmology e-prints (January 2001)
    by RM Kiehn
    posted to oscillons solitons topological-defect topological-defects by scis0000001 on 2007-05-23 00:31:43 as **
  • Noncommutative geometry, topology, and the standard model vacuum
    Journal of Mathematical Physics, Vol. 47, No. 11. (2006)
    by Dawe RA Martins
    posted to noncommutative quantum-vacuum standard-model by scis0000001 on 2007-05-23 00:29:04 as **
  • Video Sketches: Exploring Pervasive Computing Interaction Designs
    Pervasive Computing, IEEE, Vol. 4, No. 4. (2005), pp. 91-94.
    posted to sketches by scis0000001 on 2007-05-22 21:01:54 as ** along with 2 people locatellimp pe3
  • iCAP: An Informal Tool for Interactive Prototyping of Context-Aware Applications
    (2003)
    by T Sohn, A Dey
    posted to interactive prototyping specification by scis0000001 on 2007-05-22 20:58:05 as ** along with 1 person knud
  • Supporting End User Programming of Context-Aware Applications
    by Anind K Dey, Tim Sohn
    posted to end-user-programming by scis0000001 on 2007-05-22 20:55:44 as ** along with 1 person knud
  • Marquise: creating complete user interfaces by demonstration
    (1993), pp. 293-300.
    by Brad A Myers, Richard G Mcdaniel, David S Kosbie
  • Validating the unit correctness of spreadsheet programs
    (2004)
    posted to end-user-programming programming spreadsheet by scis0000001 on 2007-05-22 20:50:38 as **
  • Art Imitates Life: Programming by Example as an Imitation Game
    by Henry Lieberman
    posted to games imitation programming-by-example by scis0000001 on 2007-05-22 20:45:05 as **
  • End-user software engineering
    (2004)
    posted to end-user-programming by scis0000001 on 2007-05-22 20:36:28 as **
  • Inductive Program Synthesis for Therapy Plan Generation
    New Generation Computing, Vol. 15, No. 1. (1997), pp. 27-58.
    by O Arnold, KP Jantke
    posted to program synthesis by scis0000001 on 2007-05-22 20:35:23 as **
  • Deliverables: A categorical approach to program development in type theory
    (1993)
    by James Mckinna, Rod Burstall
    posted to category-theory programming type-theory by scis0000001 on 2007-05-22 20:31:19 as **
  • Constructive category theory
    (1998)
    by G Huet, A Ibi
    posted to category-theory constructive-category-theory by scis0000001 on 2007-05-22 20:30:04 as **
  • On a Mathematical Comparison between Hierarchy and Network with a Classification of Coordination Structures
    Comput. Math. Organ. Theory, Vol. 7, No. 4. (December 2001), pp. 311-330.
    by Kazunari Ishida, Toshizumi Ohta
  • Static semantic analysis and theorem proving for CASL
    (1997), pp. 333-348.
    by Till Mossakowski, Kolyang, Bernd K Bruckner
    posted to casl proof specification by scis0000001 on 2007-05-22 20:26:37 as **
  • The Nuprl Open Logical Environment
    (2000), pp. 170-176.
    by Stuart F Allen, Robert L Constable, Rich Eaton, Christoph Kreitz, Lori Lorigo
    posted to atp nuprl by scis0000001 on 2007-05-22 20:24:27 as **
  • Contextual Reasoning Is NP-Complete
    (1996), pp. 621-626.
    by Fabio Massacci
    edited by Howard Shrobe, Ted Senator
  • Theories, Implementations, and Transformations
    ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002. Proceedings (2002), pp. 131-138.
    by Eric Hehner, Ioannis T Kassios
    posted to formal-development by scis0000001 on 2007-05-22 20:23:16 as **
  • Bounded Model Property for Multi-Context Sytems
    posted to multi-context-sytem by scis0000001 on 2007-05-22 20:22:04 as **
  • Illustrating the Michelson-Morley experiment
    ArXiv Physics e-prints (October 2005)
    posted to michelson-morley-experiment by scis0000001 on 2007-05-22 20:18:39 as **
  • The Michelson-Morley experiment and the cosmic velocity of the Earth
    ArXiv Physics e-prints (November 2003)
    posted to michelson-morley-experiment by scis0000001 on 2007-05-22 20:17:49 as **
  • Formal Design Environments
    (2002)
    posted to formal-development by scis0000001 on 2007-05-22 20:16:40 as **
  • Proof by Pointing
    (1994), pp. 141-160.
    by Yves Bertot, Gilles Kahn, Laurent Th&\#233;ry
    posted to proof by scis0000001 on 2007-05-22 20:15:21 as ** along with 1 person cappetschulat
  • Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
    J Logic Computation, Vol. 3, No. 1. (1 February 1993), pp. 47-61.
    by Peter J Robinson, John Staples
    posted to formalizing hierarchy mathematics reasoning by scis0000001 on 2007-05-22 20:12:36 as **
  • Collaborative Mathematics Environments
    by Paul Chew, Robert L Constable, Keshav Pingali, Steve Vavasis, Richard Zippel
    posted to mathbus mkm by scis0000001 on 2007-05-22 20:07:33 as ** along with 1 person hamish
  • Heterogeneous Development Graphs and Heterogeneous Borrowing
    (2002), pp. 326-341.
    by Till Mossakowski
    posted to development-graph formal-development heterogeneity by scis0000001 on 2007-05-22 20:05:49 as **
  • Modelling Cooperative Behaviour for Resource Access
    (1996)
    by Frances Brazier, Jan Treur, Pascal van Eck
    edited by Pierre Y Schobbens
    posted to resource-allocation by scis0000001 on 2007-05-22 20:03:19 as **
  • Perspective Switching Using Theories and Interpretations
    by William M Farmer
  • Little Theories
    (1992), pp. 567-581.
    by William M Farmer, Joshua D Guttman, Javier F Thayer
  • String Theory: An Evaluation
    (16 Feb 2001)
    by Peter Woit
    posted to string-theory by scis0000001 on 2007-05-22 14:48:52 as ** along with 1 person raghu
  • Scientific alternatives to the anthropic principle
    (29 Jul 2004)
    by Lee Smolin
    posted to anthropic-principle by scis0000001 on 2007-05-22 14:42:41 as ** along with 1 person NitinCR
  • Introduction to Branes and M-Theory for Relativists and Cosmologists
    Progress of Theoretical Physics Supplement, Vol. 148 (2002), pp. 1-28.
    by N Ohta
    posted to m-theory string-theory by scis0000001 on 2007-05-22 14:39:55 as **
  • String theory dynamics in various dimensions
    Nuclear Physics B, Vol. 443 (February 1995), pp. 85-126.
    by E Witten
    posted to m-theory string-theory by scis0000001 on 2007-05-22 14:35:01 as ** along with 1 person azurewelkin
  • Unity of superstring dualities
    Nuclear Physics B, Vol. 438 (February 1995), pp. 109-137.
    by CM Hull, PK Townsend
    posted to m-theory string-theory by scis0000001 on 2007-05-22 14:33:21 as **
  • Eleven-dimensional origin of string/string duality: a one-loop test
    Nuclear Physics B, Vol. 452 (February 1995), pp. 261-282.
    by MJ Duff, JT Liu, R Minasian
    posted to m-theory string-theory by scis0000001 on 2007-05-22 14:30:20 as **
  • Regular representations and Huang-Lepowsky's tensor functors for vertex operator algebras
    ArXiv Mathematics e-prints (March 2001)
    by H Li
    posted to functors tensor by scis0000001 on 2007-05-22 14:27:52 as **
  • A mathematical toolbox for the software architect
    Software Specification and Design, 1996., Proceedings of the 8th International Workshop on (1996), pp. 46-55.
    by JL Fiadeiro, T Maibaum
    posted to category-of-programs by scis0000001 on 2007-05-22 14:23:47 as **
  • Modelling Distributed Industrial Processes in a Multi-Agent Framework
    (1996), pp. 212-229.
    by FMT Brazier, Dunin B Keplicz, NR Jennings, J Treur
    edited by S Kirn, GMP O'Hare
    posted to distributed enterprise mas modeling production by scis0000001 on 2007-05-21 15:04:10 as **
  • Specification of Behavioural Requirements within Compositional Multi-agent System Design
    Vol. 1647 (~March0--~February 1999), pp. 8-27.
    by Daniela E Herlea, Catholijn M Jonker, Jan Treur, Niek JE Wijngaards
    edited by Francisco J Garijo, Magnus Boman
    posted to mas requirements specification by scis0000001 on 2007-05-21 15:01:23 as ** along with 1 person Scis0000002
  • A New Approach for Specification and Verification of Distributed Agents
    by Andrew M Mironov, Virendra C Bhavsar
    posted to mas specification verification by scis0000001 on 2007-05-21 14:59:24 as **
  • On Shostak's decision procedure for combinations of theories
    Vol. 1104 (1996), pp. 463-477.
    by David Cyrluk, Patrick Lincoln, Natarajan Shankar
    edited by MA Mcrobbie, JK Slaney
  • A LATTICE-STRUCTURED PROOF TECHNIQUE APPLIED TO A MINIMUM SPANNING TREE ALGORITHM
    No. MIT/LCS/TM-361. (1988)
    by JL Welch, L Lamport, N Lynch
    posted to lattice mst proof by scis0000001 on 2007-05-21 14:57:57 as **
  • Transformers for symbolic computation and formal deduction
    (2000)
    posted to deduction symbolic-computation transformer by scis0000001 on 2007-05-21 14:57:09 as **
  • Novel Gravity Probe B Frame-Dragging Effect
    ArXiv Physics e-prints (June 2004)
    by RT Cahill
    posted to frame-dragging gravity by scis0000001 on 2007-05-20 18:17:36 as **
  • What is quantum mechanics trying to tell us?
    American Journal of Physics, Vol. 66 (September 1998), pp. 753-767.
    by ND Mermin
    posted to qm relational-physics by scis0000001 on 2007-05-20 18:14:23 as **
  • Conventions in relativity theory and quantum mechanics
    ArXiv Quantum Physics e-prints (October 2001)
    by K Svozil
    posted to qm relativity social-norms by scis0000001 on 2007-05-20 18:12:24 as **
  • A New Light-Speed Anisotropy Experiment: Absolute Motion and Gravitational Waves Detected
    ArXiv Physics e-prints (October 2006)
    posted to experiments michelson-morley-experiment by scis0000001 on 2007-05-20 01:39:12 as **
  • Re-Analysis of Michelson-Morley Experiments Reveals Agreement with COBE Cosmic Background Radiation Preferred Frame so Impacting on Interpretation of General Relativity
    (24 May 2002)
    by Reginald T Cahill, Kirsty Kitto
  • From Devs To Formal
    by Methods C Approach
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/bigbossman/watchlist

    Result page: 1 2 3 4 5 6 7 8 9 10 Next 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.