Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di scis0000001 library [3173 articles]

Articoli aggiunti di recente nella biblioteca di scis0000001 .
  • 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 jrw Scis0000002
  • Ordering Dynamics of Topological Defect Networks
    ArXiv High Energy Physics - Phenomenology e-prints (December 1997)
    by M Hindmarsh
    posted to dynamics ordering topological-defect by scis0000001 on 2007-05-23 00:42:06 as ** along with 1 person Scis0000002
  • 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 **
  • The Small-World Phenomenon: An Algorithmic Perspective
    (# 2000)
    by Jon Kleinberg
    posted to algorithmic small-world-network by scis0000001 on 2007-05-23 00:20:15 as ** along with 31 people and 11 groups camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry gvdh casst122 mpotamias kaks paulovn pedagand wangjava Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ Social Web
  • Video Sketches: Exploring Pervasive Computing Interaction Designs
    Pervasive Computing, IEEE, Vol. 4, No. 4. (2005), pp. 91-94.
    by J Zimmerman
    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
    posted to end-user-programming by scis0000001 on 2007-05-22 20:53:48 as ** along with 3 people and 2 groups DiegoMoya turadg hcii-cs-mini CMU-HCII hcii-areas
  • Validating the unit correctness of spreadsheet programs
    (2004)
    by T Antoniu, P Steckler, S Krishnamurthi, E Neuwirth, M Felleisen
    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)
    by M Burnett, C Cook, G Rothermel
    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
    posted to classification coordination hierarchy network by scis0000001 on 2007-05-22 20:28:18 as ** along with 1 person and 1 group pverstra macc
  • 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
    posted to contextual-reasoning inferencing np-completeness by scis0000001 on 2007-05-22 20:24:14 as ** along with 1 person and 1 group mahler Rightscom
  • 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
    by F Roelofsen
    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)
    by B Rothenstein, S Popescu, GJ Spix
    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)
    by M Consoli, E Costanzo
    posted to michelson-morley-experiment by scis0000001 on 2007-05-22 20:17:49 as **
  • Formal Design Environments
    (2002)
    by B Aydemir, A Granicz, J Hickey
    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
    posted to interpretation logical-theories views by scis0000001 on 2007-05-22 20:00:36 as ** along with 1 person Scis0000002
  • Little Theories
    (1992), pp. 567-581.
    by William M Farmer, Joshua D Guttman, Javier F Thayer
    posted to formal-methods network-of-theories by scis0000001 on 2007-05-22 19:55:11 as ** along with 2 people and 2 groups A_Olympia Scis0000002 Philosophy_of_Information Blog_and_Wiki_Research
  • 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 3 people terning NitinCR hardingp
  • 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
    posted to category-of-theories combination decision-procedure by scis0000001 on 2007-05-21 14:58:56 as ** along with 1 person pmatos
  • 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)
    by W Farmer, M Mohrenschildt
    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)
    by Cahill
    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
    posted to experiments formal-methods michelson-morley-experiment validation verification by scis0000001 on 2007-05-20 01:36:08 as ** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
    • Puoi citare questa pagina come: http://www.citeulike.org/user/scis0000001

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX