Scis0000002's Top Recommendations

These recommendations were last updated about 4 hours ago.

	Relational databases and indexed categories [My Copy] (1992) by R. Rosebrugh, R. Wood posted by 2 people jrw scis0000001
	Specifying diagram animation with rewrite systems [My Copy] (1997) by B. Meyer, K. Marriott posted by 2 people jrw scis0000001
	Formalization of visual mathematical notations [My Copy] (1997) by B. Meyer posted by 2 people jrw scis0000001
	Category theory based on combinatory logic [My Copy] Archive for Mathematical Logic, Vol. 24, No. 1. (1 December 1984), pp. 1-16. by M. W. Bunder posted by 3 people jrw scis0000001 pirapira
	A database of categories [My Copy] J. Symb. Comput., Vol. 35, No. 2. (February 2003), pp. 127-135. by Michael Fleming, Ryan Gunther, Robert Rosebrugh posted by 4 people isotelesis jrw scis0000001 pirapira
	From Finite Sets to Feynman Diagrams [My Copy] ArXiv Mathematics e-prints (20 Apr 2000) by John C. Baez, James Dolan posted by 3 people jrw pqnelson scis0000001
	Structures in higher-dimensional category theory [My Copy] ArXiv Mathematics e-prints (September 2001) by T. Leinster posted by 2 people jrw scis0000001
	Weak n-categories: opetopic and multitopic foundations [My Copy] ArXiv Mathematics e-prints (April 2003) by E. Cheng posted by 2 people jrw scis0000001
	A comparison between two logical formalisms for rewriting [My Copy] ArXiv Computer Science e-prints (January 2006) by M. Palomino posted by 2 people jrw scis0000001
	2-Categorical Specification of Partial Algebras [My Copy] by Martin G. Rhode, Uwe Wolter posted by 2 people jrw scis0000001
	Context-sensitive rewriting strategies [My Copy] (2000) by S. Lucas posted by 2 people jrw scis0000001
	The Logical Meeting Point of Multiset Rewriting and Process Algebra [My Copy] by I. Cervesato posted by 2 people jrw scis0000001
	Rewriting Logic as a Framework for Building Generic Tools for Verifying Concurrent Systems [My Copy] (1998) by Martin Leucker posted by 2 people jrw scis0000001
	Scientific collaboration networks. II. Shortest paths, weighted networks, and centrality [My Copy] Physical Review E, Vol. 64, No. 1. (28 Jun 2001), 016132. by M. E. J. Newman posted by 9 people hendysh orahcio diamantis jrw ddahlem scis0000001 somasanyal flavian_vasile dpf
	A Categorical Quantum Logic [My Copy] ArXiv Quantum Physics e-prints (15 Dec 2005) by Samson Abramsky, Ross Duncan posted by 3 people aleks jrw scis0000001
	Physical Traces: Quantum vs. Classical Information Processing [My Copy] ArXiv Computer Science e-prints (July 2002) by S. Abramsky, B. Coecke posted by 2 people jrw scis0000001
	A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted by 6 people GorgeousNicko prydzews jrw proportional scis0000001 gpi
	Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience [My Copy] ArXiv Mathematics e-prints (June 2003) by R. Brown, T. Porter posted by 2 people jrw scis0000001
	A Topos Foundation for Theories of Physics: IV. Categories of Systems [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted by 6 people GorgeousNicko prydzews jrw proportional scis0000001 gpi
	Operational Domain Theory and Topology of a Sequential Programming Language [My Copy] In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005), pp. 427-436. by Ho W. Kin posted by 2 people jrw scis0000001
	Automated Generation of Layout and Control for Quantum Circuits [My Copy] (2 Apr 2007) by Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz posted by 2 people jrw scis0000001
	Axiomatic Rewriting Theory 1: A diagrammatic standardization theorem [My Copy] (2002) by P. Mellies posted by 2 people jrw scis0000001
	Categories in concurrency [My Copy] (1997) by G. Winskel, M. Nielsen posted by 2 people jrw scis0000001
	A Categorical Approach to Simulations [My Copy] : Algebra and Coalgebra in Computer Science (2005), pp. 313-330. by Miguel Palomino, José Meseguer, Narciso Martí-Oliet posted by 2 people jrw scis0000001
	Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity [My Copy] In Category Theory and Computer Science (1995), pp. 3-23. by Dusko Pavlovic posted by 2 people jrw scis0000001
	Categorical Fixed Point Calculus [My Copy] In Proceedings 6th Int.\ Conf.\ on Category Theory in Computer Science, CTCS'95, Cambridge, {UK}, 7-11 Aug 1995, Vol. 953 (1995), pp. 159-179. by Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude edited by D. Pitt, D. E. Rydeheard, P. Johnstone posted by 2 people jrw scis0000001
	A categorical outlook on relational modalities and simulations [My Copy] (2002) by C. Hermida posted by 2 people jrw scis0000001
	Category Theory as Coherently Constructive Lattice Theory: An Illustration [My Copy] No. 94-43. (1994) by Roland Backhouse, Marcel Bijsterveld posted by 4 people ansobol jrw zednenem scis0000001
	Categorical Semantics of Parallel Program Design [My Copy] Science of Computer Programming, Vol. 28, No. 2-3. (1997), pp. 111-138. by Jose L. Fiadeiro, T. S. E. Maibaum posted by 2 people jrw scis0000001
	Process Realizability [My Copy] (2000) by S. Abramsky posted by 2 people jrw scis0000001
	Quantum Logic in Intuitionistic Perspective [My Copy] (22 Apr 2002) by Bob Coecke posted by 3 people jrw scis0000001 mp4man
	Visualizing a Knowledge Domain's Intellectual Structure [My Copy] Computer, Vol. 34, No. 3. (2001), pp. 65-71. by Chaomei Chen, Ray J. Paul posted by 2 people jrw scis0000001
	On Topological Hierarchies of Temporal Properties [My Copy] Fundamenta Informaticae, Vol. 41, No. 3. (2000), pp. 259-294. by Christel Baier, Marta Z. Kwiatkowska posted by 2 people jrw scis0000001
	Categorical Models for Concurrency: Independence, Fairness and Dataflow [My Copy] by Thomas T. Hildebrandt posted by 3 people blog01 jrw scis0000001
	Higher dimensional automata revisited [My Copy] Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 525-548. by Vaughan R. Pratt posted by 2 people jrw scis0000001
	Domain Theory for Concurrency [My Copy] (2003) by M. Nygaard posted by 2 people jrw scis0000001
	Presheaf Models for Concurrency [My Copy] In CSL (1996), pp. 58-75. by Gian L. Cattani, Glynn Winskel posted by 2 people jrw scis0000001
	The homotopy theory of equivalence relations [My Copy] (12 Nov 2006) by Finnur Larusson posted by 5 people jrw TooMuchCoffeeMan dmitri83 scis0000001 archernikov
	Meaningful Information [My Copy] (27 Aug 2002) by Paul Vitanyi posted by 3 people ansobol jrw scis0000001
	Symmetry and Self-Organization in Complex Systems [My Copy] (12 Sep 2006) by B. D. Macarthur, J. W. Anderson posted by 8 people Kovanen ansobol jrw ddahlem gane5h scis0000001 pile Langam
	Bayesian Kernel Methods [My Copy] by Alexander J. Smola, Bernhard Schölkopf posted by 2 people jrw scis0000001
	Noncommutative Field Theory [My Copy] (18 Oct 2001) by Michael R. Douglas, Nikita A. Nekrasov posted by 5 people guygurari jrw proportional scis0000001 artur
	Relational physics with real rods and clocks and the measurement problem of quantum mechanics [My Copy] (30 Aug 2006) by Rodolfo Gambini, Jorge Pullin posted by 3 people jrw proportional scis0000001
	An Introduction to Noncommutative Geometry [My Copy] (28 Aug 2006) by Joseph C. Varilly posted by 6 people ansobol jrw mumrah jlopez proportional scis0000001
	Higher-Dimensional Algebra and Planck-Scale Physics [My Copy] (4 Feb 1999) by John C. Baez posted by 2 people jrw scis0000001
	Quantum Quandaries: a Category-Theoretic Perspective [My Copy] (14 Apr 2004) by John C. Baez posted by 5 people leemond31 christiankissig jrw scis0000001 artur
	Noncommutative Symmetries and Gravity [My Copy] (24 Aug 2006) by Paolo Aschieri posted by 3 people jrw proportional scis0000001
	Updating Probabilities [My Copy] (17 Aug 2006) by Ariel Caticha, Adom Giffin posted by 4 people ansobol jrw proportional scis0000001
	Quantum fractals on n-spheres [My Copy] (14 Aug 2006) by Arkadiusz Jadczyk posted by 3 people jrw proportional scis0000001
	A New Approach to Quantising Space-Time: I. Quantising on a General Category [My Copy] (24 Dec 2003) by C. J. Isham posted by 5 people jrw proportional scis0000001 rgb pileWorks
	Quantum geometry and quantum algorithms [My Copy] (28 Jul 2006) by S. Garnerone, A. Marzuoli, M. Rasetti posted by 3 people jrw proportional scis0000001
	A Small World Network of Prime Numbers [My Copy] (24 Jul 2006) by Anjan K. Chandra, Subinay Dasgupta posted by 5 people ansobol jrw scis0000001 rgb pileWorks
	Graph mining: Laws, generators, and algorithms [My Copy] ACM Comput. Surv., Vol. 38, No. 1. (2006) by Deepayan Chakrabarti, Christos Faloutsos posted by 40 people eustachediemert dcombe makrehchi thegoose Social Web Adaptive-Web denisparra conservatism mmcgloho EmreSevinc Torsten_Holmer pdlug jrw mapio tmmurali ChaTo scis0000001 bigbossman AbnerCYH rgb joergkurtwegner graphminer azygmunt Repton jaspervoskuilen nvemuri iris_2001 InternetAlgorithms tuttle furykerry kozaki Molecular-Modelling Drug-Design Cheminformatics pileWorks AGH-IISG CSBBGraphTheory Community_SSTZ styliani krisl
	An Introduction to Quantum Entanglement: a Geometric Approach [My Copy] (27 Jun 2006) by Karol Zyczkowski, Ingemar Bengtsson posted by 9 people Black Holes and Quantum Information willrubens pawelsobko linchen ansobol jrw proportional scis0000001 aetherane
	Symmetry, Gravity and Noncommutativity [My Copy] (23 Jun 2006) by Richard J. Szabo posted by 4 people jrw mumrah proportional scis0000001
	A Review on Optimal Path and Minimal Spanning Trees in Random Weighted Networks [My Copy] (14 Jun 2006) by L. A. Braunstein, Z. Wu, Y. Chen, et al.S. V. Buldyrev, S. Sreenivasan, T. Kalisky, R. Cohen, E. Lopez, S. Havlin, H. E. Stanley posted by 4 people ansobol jrw scis0000001 tjpp
	Discreteness and the origin of probability in quantum mechanics [My Copy] (7 Jun 2006) by Roman V. Buniy, Stephen D. H. Hsu, A. Zee posted by 4 people jrw proportional BuckeyePhysicist scis0000001
	A general theory of self-similarity II: recognition [My Copy] (15 Nov 2004) by Tom Leinster posted by 2 people jrw scis0000001
	A general theory of self-similarity I [My Copy] (15 Nov 2004) by Tom Leinster posted by 2 people jrw scis0000001
	Operads in Higher-Dimensional Category Theory [My Copy] (16 Nov 2000) by Tom Leinster posted by 2 people jrw scis0000001
	Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience [My Copy] (13 Jun 2003) by R. Brown, T. Porter posted by 7 people ansobol jrw scis0000001 tmiya mstone rgb pileWorks
	Comments on noncommutative gravity [My Copy] (11 May 2006) by Luis Alvarez-Gaume, Frank Meyer, Miguel A. Vazquez-Mozo posted by 3 people jrw scis0000001 matrix1329
	Loop Quantum Geometry: A primer [My Copy] (13 Jul 2005) by Alejandro Corichi posted by 2 people jrw scis0000001
	Trees, ultrametrics, and noncommutative geometry [My Copy] (4 May 2006) by Bruce Hughes posted by 4 people ansobol jrw TooMuchCoffeeMan scis0000001
	Relational Quantum Mechanics [My Copy] (24 Feb 1997) by Carlo Rovelli posted by 5 people egcavalcanti pqnelson jrw scis0000001 NitinCR
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted by 16 people pedagand robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur pileWorks masteraka popx marcinzalewski
	Algebraic Quantum Field Theory [My Copy] (14 Feb 2006) by Hans Halvorson, Michael Mueger posted by 9 people ansobol jrw rahul proportional madhadron syoyo scis0000001 Kazuki SRL
	Generalizing Quantum Mechanics for Quantum Spacetime [My Copy] (2 Feb 2006) by James B. Hartle posted by 6 people melvineloy jrw mumrah proportional BrendaChng scis0000001
	The topology of covert conflict [My Copy] (23 Jan 2006) by Shishir Nagarja posted by 5 people michaelbanks ansobol jrw scis0000001 dquercia
	Loop Quantum Cosmology [My Copy] (20 Jan 2006) by Martin Bojowald posted by 6 people pvmoniz Quantum Gravity Tavakoli jrw proportional scis0000001
	From Physics to Number Theory via Noncommutative Geometry. Part I: Quantum Statistical Mechanics of Q-lattices [My Copy] (6 Apr 2004) by Alain Connes, Matilde Marcolli posted by 9 people A_Olympia ansobol jrw lieven scis0000001 NitinCR Philosophy_of_Information Blog_and_Wiki_Research NoncommutativeGeometry
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	The rewriting calculus --- Part [My Copy] (2001) by H. Cirstea, C. Kirchner posted by 3 people jrw kavabean scis0000001
	Quantum mechanics without spacetime: a case for noncommutative geometry [My Copy] (9 Oct 2005) by T. P. Singh posted by 2 people jrw scis0000001
	A categorical semantics of quantum protocols [My Copy] (30 Apr 2004) by Samson Abramsky, Bob Coecke posted by 7 people christiankissig pqnelson jrw greg_restall dmitri83 scis0000001 eswar_physics
	Kindergarten Quantum Mechanics [My Copy] (4 Oct 2005) by Bob Coecke posted by 9 people jjray kalvala pqnelson uma_physics ansobol jrw madhadron scis0000001 eswar_physics
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted by 36 people ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins SRL SRG_at_UCD complogic mmarcus jimburton Lambda the Ultimate namin dvgb jkominek pedagand
	Information-theoretic principle entails orthomodularity of a lattice [My Copy] (15 Sep 2005) by Alexei Grinbaum posted by 2 people jrw scis0000001
	Cosmological Redshift in a Relational Quantum Theory [My Copy] (18 Aug 2005) by Charles Francis posted by 3 people jrw proportional scis0000001
	Higher Operads, Higher Categories [My Copy] (2 May 2003) by Tom Leinster posted by 6 people jrw wnoise dmitri83 scis0000001 mstone jedal
	Quantum Mechanics as Quantum Information (and only a little more) [My Copy] (8 May 2002) by Christopher A. Fuchs posted by 12 people egcavalcanti Philosophy of physics qwermish paradox ansobol jrw wnoise gane5h scis0000001 misha kas random3f
	Quantum Theory From Five Reasonable Axioms [My Copy] (25 Sep 2001) by Lucien Hardy posted by 11 people nagyd csferrie paradox ansobol jrw wnoise TooMuchCoffeeMan scis0000001 kevina NitinCR qwermish
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure [My Copy] (16 June 2005) by Bob Coecke posted by 2 people jrw scis0000001
	Computational Mechanics: Pattern and Prediction, Structure and Simplicity [My Copy] (19 June 2000) by Cosma R. Shalizi, James P. Crutchfield posted by 11 people Bochmann ansobol jrw jack BarrosH scis0000001 livingthingdan qwermish Vision livingthing abominable
	Rewrite Systems [My Copy] In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) (1990), pp. 243-320. by Nachum Dershowitz, Jean-Pierre Jouannaud posted by 7 people rgrig jrw radico scis0000001 ronjferg dara SRG_at_UCD
	Quantum Aspects of Semantic Analysis and Symbolic Artificial Intelligence [My Copy] (19 February 2004) by Diederik Aerts, Marek Czachor posted by 2 people jrw scis0000001
	Planck Fluctuations, Measurement Uncertainties and the Holographic Principle [My Copy] (4 May 2005) by Manfred Requardt posted by 3 people jrw proportional scis0000001
	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted by 34 people mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins SRG_at_UCD pileWorks cognominal benchambers kazuya hayeah mmarcus donniejones18
	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 by 50 people ariels pirapira semantic01 brewbooks mhofree sototozo pick600 camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem scis0000001 bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ gvdh Social Web casst122 mpotamias kaks paulovn pedagand wangjava
	Process Physics: Inertia, Gravity and the Quantum [My Copy] (29 October 2001) by Reginald T. Cahill posted by 5 people A_Olympia jrw scis0000001 Philosophy_of_Information Blog_and_Wiki_Research
	How real are real numbers? [My Copy] (24 November 2004) by G. J. Chaitin posted by 16 people qwermish sourada mafwood A_Olympia DineshGaitonde jrw ChaTo xtizon proportional BrendaChng scis0000001 jimburton Philosophy_of_Information Blog_and_Wiki_Research SamB watson
	Social Structure and Opinion Formation [My Copy] (20 July 2004) by Fang Wu, Bernardo A. Huberman posted by 23 people MehdiMoussaid nettraq rnagarajan korakot mafwood A_Olympia PatrickD americanfrog nazareno jrw cameronfactor dsteinbock proportional gphroh scis0000001 krisl shashikant adriandefroment anansi Philosophy_of_Information Blog_and_Wiki_Research Wikipedia studentx
	Searching in metric spaces [My Copy] (1999) by C. Avez, E. Navarro, Baeza G. Yates, R. Marroqu posted by 3 people algorithmic Continuum scis0000001
	A New Version Of Algorithmic Information Theory [My Copy] by Chaitin Ibm posted by 2 people algorithmic scis0000001
	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 by 1 person scis0000001
	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 by 1 person scis0000001
	Art Imitates Life: Programming by Example as an Imitation Game [My Copy] by Henry Lieberman posted by 1 person scis0000001
	Validating the unit correctness of spreadsheet programs [My Copy] (2004) by T. Antoniu, P. Steckler, S. Krishnamurthi, E. Neuwirth, M. Felleisen posted by 1 person scis0000001
	End-user software engineering [My Copy] (2004) by M. Burnett, C. Cook, G. Rothermel posted by 1 person scis0000001