CiteULike: scis0000001's library 3173 articles

In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, Vol. 2 (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

along with 1 person Scis0000002

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, G. J. 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

In International Conference on Theorem Proving in Higher Order Logics (TPHOLs) (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

In TACS '94: Proceedings of the International Conference on Theoretical Aspects of Computer Software (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 2 people web03 hamish

Heterogeneous Development Graphs and Heterogeneous Borrowing

In Foundations of Software Science and Computation Structure (2002), pp. 326-341.

by Till Mossakowski

posted to development-graph formal-development heterogeneity by scis0000001 on 2007-05-22 20:05:49 as

along with 1 person network01

Modelling Cooperative Behaviour for Resource Access

In Working Notes of 3rd ModelAge Workshop: Formal Models of Agents (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

along with 1 person patveck

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

In Conference on Automated Deduction (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 2 people hgfernan 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 (24 Mar 1995), pp. 85-126.

by Edward Witten

posted to m-theory string-theory by scis0000001 on 2007-05-22 14:35:01 as

along with 2 people NitinCR azurewelkin

Unity of Superstring Dualities

Nuclear Physics B, Vol. 438 (13 Jan 1995), pp. 109-137.

by C. M. Hull, P. K. Townsend

posted to m-theory string-theory by scis0000001 on 2007-05-22 14:33:21 as

along with 1 person NitinCR

Eleven-dimensional origin of string/string duality: a one-loop test

Nuclear Physics B, Vol. 452 (February 1995), pp. 261-282.

by M. J. Duff, J. T. 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 J. L. 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

In Cooperative Knowledge Processing (1996), pp. 212-229.

by F. M. T. Brazier, Dunin B. Keplicz, N. R. Jennings, J. Treur

edited by S. Kirn, G. M. P. 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

In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World : Multi-Agent System Engineering (MAAMAW-99), Vol. 1647 (~March0--~February 1999), pp. 8-27.

by Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. 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

In Proceedings of the 13th International Conference on Automated Deduction, (New Brunswick, NJ), Vol. 1104 (1996), pp. 463-477.

by David Cyrluk, Patrick Lincoln, Natarajan Shankar

edited by M. A. Mcrobbie, J. K. 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 J. L. 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 R. T. 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 N. D. Mermin

posted to qm relational-physics by scis0000001 on 2007-05-20 18:14:23 as

along with 1 person pqnelson

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

	$My PDF martins_06_fractal.pdf$ Fractal properties and small-scale structure of cosmic string networks [My Copy] Phys. Rev. D, Vol. 73, No. 4. (February 2006), 043515. by C. J. Martins, E. P. Shellard posted to fractal network by scis0000001 on 2007-05-23 00:47:42 as along with 3 people Continuum jrw Scis0000002
	Ordering Dynamics of Topological Defect Networks [My Copy] 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 [My Copy] ArXiv General Relativity and Quantum Cosmology e-prints (January 2001) by R. M. 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 [My Copy] Journal of Mathematical Physics, Vol. 47, No. 11. (2006) by Dawe R. A. 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 [My Copy] In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000) by Jon Kleinberg posted to algorithmic small-world-network by scis0000001 on 2007-05-23 00:20:15 as along with 38 people and 11 groups ariels pirapira semantic01 brewbooks mhofree sototozo pick600 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 [My Copy] 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 [My Copy] (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 [My Copy] by Anind K. Dey, Tim Sohn posted to end-user-programming by scis0000001 on 2007-05-22 20:55:44 as along with 2 people mboehmer knud
	Marquise: creating complete user interfaces by demonstration [My Copy] In CHI '93: Proceedings of the SIGCHI conference on Human factors in computing systems (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-cs-mini-students
	Validating the unit correctness of spreadsheet programs [My Copy] (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 [My Copy] by Henry Lieberman posted to games imitation programming-by-example by scis0000001 on 2007-05-22 20:45:05 as
	End-user software engineering [My Copy] (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 [My Copy] New Generation Computing, Vol. 15, No. 1. (1997), pp. 27-58. by O. Arnold, K. P. 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 [My Copy] In Proceedings of Mathematical Foundation of Computer Science (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 [My Copy] (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 [My Copy] 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 [My Copy] In Workshop on Algebraic Development Techniques (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 [My Copy] In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (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 [My Copy] In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, Vol. 2 (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 [My Copy] 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 along with 1 person Scis0000002
	Bounded Model Property for Multi-Context Sytems [My Copy] by F. Roelofsen posted to multi-context-sytem by scis0000001 on 2007-05-22 20:22:04 as
	Illustrating the Michelson-Morley experiment [My Copy] ArXiv Physics e-prints (October 2005) by B. Rothenstein, S. Popescu, G. J. 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 [My Copy] 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 [My Copy] In International Conference on Theorem Proving in Higher Order Logics (TPHOLs) (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 [My Copy] In TACS '94: Proceedings of the International Conference on Theoretical Aspects of Computer Software (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 [My Copy] 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 [My Copy] 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 2 people web03 hamish
	Heterogeneous Development Graphs and Heterogeneous Borrowing [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 326-341. by Till Mossakowski posted to development-graph formal-development heterogeneity by scis0000001 on 2007-05-22 20:05:49 as along with 1 person network01
	Modelling Cooperative Behaviour for Resource Access [My Copy] In Working Notes of 3rd ModelAge Workshop: Formal Models of Agents (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 along with 1 person patveck
	Perspective Switching Using Theories and Interpretations [My Copy] 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 [My Copy] In Conference on Automated Deduction (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 [My Copy] (16 Feb 2001) by Peter Woit posted to string-theory by scis0000001 on 2007-05-22 14:48:52 as along with 2 people hgfernan raghu
	Scientific alternatives to the anthropic principle [My Copy] (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 [My Copy] 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 [My Copy] Nuclear Physics B, Vol. 443 (24 Mar 1995), pp. 85-126. by Edward Witten posted to m-theory string-theory by scis0000001 on 2007-05-22 14:35:01 as along with 2 people NitinCR azurewelkin
	Unity of Superstring Dualities [My Copy] Nuclear Physics B, Vol. 438 (13 Jan 1995), pp. 109-137. by C. M. Hull, P. K. Townsend posted to m-theory string-theory by scis0000001 on 2007-05-22 14:33:21 as along with 1 person NitinCR
	Eleven-dimensional origin of string/string duality: a one-loop test [My Copy] Nuclear Physics B, Vol. 452 (February 1995), pp. 261-282. by M. J. Duff, J. T. 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 [My Copy] 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 [My Copy] Software Specification and Design, 1996., Proceedings of the 8th International Workshop on (1996), pp. 46-55. by J. L. 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 [My Copy] In Cooperative Knowledge Processing (1996), pp. 212-229. by F. M. T. Brazier, Dunin B. Keplicz, N. R. Jennings, J. Treur edited by S. Kirn, G. M. P. 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 [My Copy] In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World : Multi-Agent System Engineering (MAAMAW-99), Vol. 1647 (~March0--~February 1999), pp. 8-27. by Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. 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 [My Copy] 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 [My Copy] In Proceedings of the 13th International Conference on Automated Deduction, (New Brunswick, NJ), Vol. 1104 (1996), pp. 463-477. by David Cyrluk, Patrick Lincoln, Natarajan Shankar edited by M. A. Mcrobbie, J. K. 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 [My Copy] No. MIT/LCS/TM-361. (1988) by J. L. 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 [My Copy] (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 [My Copy] ArXiv Physics e-prints (June 2004) by R. T. Cahill posted to frame-dragging gravity by scis0000001 on 2007-05-20 18:17:36 as
	What is quantum mechanics trying to tell us? [My Copy] American Journal of Physics, Vol. 66 (September 1998), pp. 753-767. by N. D. Mermin posted to qm relational-physics by scis0000001 on 2007-05-20 18:14:23 as along with 1 person pqnelson
	Conventions in relativity theory and quantum mechanics [My Copy] 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 [My Copy] 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 [My Copy] (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

scis0000001's library 3173 articles Export

scis0000001's tags