kaqui's watchlist [more than 800 articles] Export Sort

Recent papers matching kaqui's watchlist criteria

Hide details

	Logics for the Relational Syllogistic [My Copy] (4 Aug 2008) by Ian Pratt-Hartmann, Lawrence S. Moss posted to syllogism natrual logic by sgwyj on 2010-01-02 11:02:52 as
	The Logic of Partitions: Introduction to the Dual of the Logic of Subsets [My Copy] (29 Dec 2009) by David Ellerman posted to philosophy mathematics logic category-theory by jrw on 2009-12-31 20:18:00 as
	Categorifying measure theory: a roadmap [My Copy] (24 Dec 2009) by G. Rodrigues posted to mathematics category-theory analysis by jrw on 2009-12-31 19:43:48 as
	Identifying Drug Effects via Pathway Alterations using an Integer Linear Programming Optimization Formulation on Phosphoproteomic Data [My Copy] PLoS Comput Biol In PLoS Comput Biol, Vol. 5, No. 12. (4 December 2009), e1000591. by Alexander Mitsos, Ioannis N. Melas, Paraskeuas Siminelakis, Aikaterini D. Chairakaki, Julio Saez-Rodriguez, Leonidas G. Alexopoulos posted to signaling programming pathway network logic linear drug cls-anton by ptrobajo on 2009-12-31 14:00:09 as along with 5 people agomez karthikraman renatomilani pedrobeltrao shikin
	Derived Algebraic Geometry II: Noncommutative Algebra [My Copy] (19 Sep 2007) by Jacob Lurie posted to mathematics category-theory algebra by jrw on 2009-12-30 20:25:00 as
	Derived Algebraic Geometry V: Structured Spaces [My Copy] (4 May 2009) by Jacob Lurie posted to mathematics category-theory by jrw on 2009-12-30 02:12:19 as
	Frontal eye field neurons signal changes in decision criteria [My Copy] Nature Neuroscience, Vol. 12, No. 11. (25 October 2009), pp. 1458-1462. by Vincent P. Ferrera, Marianna Yanike, Carlos Cassanello posted to monkey frontal_eye_field category_boundary category by ybysk on 2009-12-29 05:55:37 as along with 2 people PaperCollector sschafer
	A non-classical logic for information retrieval [My Copy] The Computer Journal, Vol. 29, No. 6. (1 June 1986), pp. 481-485. by C. J. van Rijsbergen posted to refs-tfm logic ir by abellogin on 2009-12-27 01:43:27 as along with 2 people mthomure qili
	Duality for Convexity [My Copy] (19 Nov 2009) by Bart Jacobs posted to quantum physics mathematics category-theory by jrw on 2009-12-22 22:56:45 as along with 1 person ansobol
	Visual search in noise: revealing the influence of structural cues by gaze-contingent classification image analysis. [My Copy] Journal of vision, Vol. 6, No. 4. (2006), pp. 379-386. by Umesh Rajashekar, Alan C. Bovik, Lawrence K. Cormack posted to visual_search review face decision category by nishiokov on 2009-12-20 11:16:31 as
	Formal systems and recursive functions [My Copy] (1965) by Logic Colloquium, John N. Crossley, Michael A. E. Dummett, et al. Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science, Symposium on Recursive Functions edited by John N. Crossley, Michael A. E. Dummett posted to logic by perezcarballo on 2009-12-18 17:35:36 as
	Asynchronous Games 3 An Innocent Model of Linear Logic [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 122 (07 March 2005), pp. 171-192. by Paul-André Melliès, posted to proof-theory linear-logic denotational-semantics category-theory by kmga on 2009-12-18 14:15:35 as
	Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary [My Copy] Web Semantics: Science, Services and Agents on the World Wide Web In Selcted Papers from the International Semantic Web Conference, 2004 - ISWC, 2004, Vol. 3, No. 2-3. (October 2005), pp. 79-115. by H TERHORST, posted to logic entailment decidability consistency complexity by beho on 2009-12-15 13:24:20 as along with 2 people pchampin jiangbo
	RDF Entailment as a Graph Homomorphism [My Copy] The Semantic Web – ISWC 2005 In The Semantic Web – ISWC 2005 (2005), pp. 82-96. by Jean-François Baget posted to semantic_web logic homomorphism entailment by beho on 2009-12-15 11:44:14 as along with 1 person nmoreau
	Non-canonical isomorphisms [My Copy] (10 Dec 2009) by Stephen Lack posted to mathematics category-theory by jrw on 2009-12-14 19:58:47 as
	Expressivity of Second Order Propositional Modal Logic [My Copy] Journal of Philosophical Logic, Vol. 35, No. 2. (29 April 2006), pp. 209-223. by Balder ten Cate posted to second order modal logic by sgwyj on 2009-12-12 20:30:56 as
	The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications [My Copy] The Semantic Web – ISWC 2004 (2004), pp. 229-243. by Holger Knublauch, Ray W. Fergerson, Natalya F. Noy, Mark A. Musen posted to owl logic development_platform architecture by mvantol1 to the group WDM group of WIS section (TUDelft) on 2009-12-11 23:25:18 as along with 5 people mektas lafuente argo dominikb1888 fongenae
	Ionads: a generalised notion of topological space [My Copy] (8 Dec 2009) by Richard Garner posted to topos-theory mathematics geometry category-theory by jrw on 2009-12-09 06:27:27 as
	Discussion on Supervisory Control by Solving Automata Equation [My Copy] (5 Dec 2009) by Victor Bushkov, Nina Yevtushenko, Tiziano Villa posted to synthesis supervisory logic equations control automata by victorbushkov on 2009-12-08 21:41:28 as
	The ontology of biological sequences [My Copy] BMC Bioinformatics, Vol. 10, No. 1. (18 November 2009), 377. by Robert Hoehndorf, Janet Kelso, Heinrich Herre posted to so sequences ontology logic formal by cjm on 2009-12-07 03:28:38 as along with 11 people and 2 groups sillitoe dswan richardbickerton druvus guhjy operon mjbell allysonlister kshameer barriot dullhunk Orengo Group Journal Picks Journal picks
	Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction [My Copy] Molecular Systems Biology In Mol Syst Biol, Vol. 5 (01 December 2009) by Julio Saez-Rodriguez, Leonidas G. Alexopoulos, Jonathan Epperlein, et al.Regina Samaga, Douglas A. Lauffenburger, Steffen Klamt, Peter K. Sorger posted to cls-anton signaling protein logic by ptrobajo on 2009-12-06 20:07:34 as along with 4 people provero verdicchio lalexopo karthikraman
	Immanence and Validity [My Copy] Dialectica, Vol. 45, No. 2-3. (1991), pp. 219-230. by W. V. Quine posted to logic loci-classici by benoitstpierre on 2009-12-05 16:34:57 as
	From Finite Sets to Feynman Diagrams [My Copy] ArXiv Mathematics e-prints (20 Apr 2000) by John C. Baez, James Dolan posted to mathematical-physics john-baez category-theory categorification by JoseBrox on 2009-12-01 12:23:17 as along with 3 people jrw pqnelson scis0000001
	A Prehistory of n-Categorical Physics [My Copy] (18 Aug 2009) by John C. Baez, Aaron Lauda posted to newbie n-categories mathematical-physics john-baez history-of-physics category-theory by JoseBrox on 2009-12-01 12:22:05 as along with 4 people jrw melvineloy janpaniev NitinCR
	Objects of Categories as Complex Numbers [My Copy] (30 Dec 2002) by Marcelo Fiore, Tom Leinster posted to universal-algebra favourite complex-numbers category-theory by JoseBrox on 2009-12-01 12:19:38 as along with 1 person jrw
	Inference and update [My Copy] Synthese, Vol. 169, No. 2. (1 July 2009), pp. 283-300. by Fernando Velázquez-Quesada posted to logic by brianhill on 2009-12-01 09:14:53 as
	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458. by Martin Hyland, John Power posted to universal-algebra lawvere-theories category-theory by pedagand on 2009-11-29 15:42:14 as along with 8 people christiankissig zednenem madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	A Framework for Evaluating the Effectiveness of Performance Measurement Systems [My Copy] Social Science Research Network Working Paper Series (01 April 2009) by Lori C. Powers posted to theories systems performance of models measurement logic evaluations effectiveness change by lcpowers on 2009-11-29 12:16:00 as
	?, Part 1: Dilators [My Copy] Annals of Mathematical Logic, Vol. 21, No. 2-3. (December 1981), pp. 75-219. by J. Girard posted to recursion-theory logic by yoriyuki on 2009-11-28 10:59:49 as
	Marketing solutions in accordance with the S-D logic: Co-creating value with customer network actors [My Copy] Industrial Marketing Management In The Transition from Product to Service in Business Markets, Vol. 37, No. 3. (May 2008), pp. 270-277. by Bernard Cova, Robert Salle posted to service-dominant logic by seisonseis on 2009-11-27 10:52:40 as along with 1 person opekkari
	A computational definition of the notion of vectorial space [My Copy] (20 Nov 2009) by Pablo Arrighi, Gilles Dowek posted to logic linear-algebra algorithm by ansobol on 2009-11-25 12:11:47 as along with 1 person JoseBrox
	Niceness theorems [My Copy] (31 Oct 2008) by Michiel Hazewinkel posted to metamath exposition category-theory by JoseBrox on 2009-11-24 18:11:08 as along with 1 person ansobol
	Diagrammatic Inference [My Copy] (20 Nov 2009) by Dominique Duval posted to mathematics logic category-theory by jrw on 2009-11-23 05:12:48 as
	Compositional verification of real-time systems [My Copy] Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on In Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (7 July 1994), pp. 458-465. by E. Chang, Z. Manna, A. Pnueli posted to real_time_systems metric_temporal_logic logic linear_temporal_logic by Lewisham on 2009-11-22 20:09:41 as along with 1 group StFX Centre for Logic and Information
	A short note on infinity-groupoids and the period map for projective manifolds [My Copy] (19 Nov 2009) by Domenico Fiorenza, Elena Martinengo posted to mathematics geometry category-theory by jrw on 2009-11-21 22:30:52 as along with 1 person deepthought
	Formal Languages and Compilation (Texts in Computer Science) [My Copy] (31 January 2009) by Stefano C. Reghizzi posted to programming logic by lehalle on 2009-11-21 07:38:19 as
	Generalized Ultrametrics, Domains And An Application To Computational Logic [My Copy] Irish Mathematical Society Bulletin, Vol. 41 (1998), pp. 31-43. by Anthony K. Seda, Pascal Hitzler posted to ultrametric logic by jcreed on 2009-11-20 17:03:39 as
	Cultural route to the emergence of linguistic categories [My Copy] Proceedings of the National Academy of Sciences (3 June 2008), 0802485105. by Andrea Puglisi, Andrea Baronchelli, Vittorio Loreto posted to symbols_and_meanings natural_languages linguistic_categories language_games language games emergence discrimination cooperation category_structure category agents by celik on 2009-11-19 23:17:30 as along with 6 people voiklis junwang4 tjpp briordan annasafar baronka
	A simulation of business-to-business decision making in a relationship marketing context☆ [My Copy] Industrial Marketing Management, Vol. 38, No. 8. (21 November 2009), pp. 994-1005. by Alison Watkins, Ronald P. Hill posted to simulation relationship_communication marketing_models managing_marketing logic decisions business_context by seisonseis on 2009-11-18 12:45:01 as along with 1 person dynaopto
	“What’s it Worth to Me?” Three interpretive studies of the relative roles of task-oriented and reflexive processes in separate versus joint value construction [My Copy] Journal of Economic Psychology, Vol. 30, No. 6. (28 December 2009), pp. 840-858. by Stephen J. Gould, Thomas Kramer posted to value service logic co-production by seisonseis on 2009-11-18 09:09:32 as
	Generalized enrichment of categories [My Copy] (23 Apr 2002) by Tom Leinster posted to mathematics category-theory by jrw on 2009-11-17 04:08:16 as
	Finiteness obstructions and Euler characteristics of categories [My Copy] (24 Aug 2009) by Thomas M. Fiore, Wolfgang Lück, Roman Sauer posted to mathematics geometry category-theory by jrw on 2009-11-17 03:51:30 as
	On the asymptotic magnitude of subsets of Euclidean space [My Copy] (11 Aug 2009) by Tom Leinster, Simon Willerton posted to mathematics geometry category-theory analysis by jrw on 2009-11-17 00:56:47 as
	The surprise examination or unexpected hanging paradox [My Copy] (6 Sep 2005) by Timothy Y. Chow posted to paradox logic by mvermaat on 2009-11-16 09:57:15 as
	A Cheerful Introduction to Forcing and the Continuum Hypothesis [My Copy] (14 Dec 2007) by Kenny Easwaran posted to zfc set-theory logic forcing by JoseBrox on 2009-11-16 00:46:30 as along with 3 people and 1 group proportional dmitri83 archernikov Model theory
	A Brief History of Future Set Theory [My Copy] (27 Jul 2008) by Werner Depauli-Schimanovich posted to zfc set-theory naive-set-theory logic by JoseBrox on 2009-11-16 00:44:22 as along with 1 person ansobol
	Countable Lawvere Theories and Computational Effects [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 161 (31 August 2006), pp. 59-71. by J. Power posted to monads lawvere-theories category-theory by pedagand on 2009-11-14 15:29:54 as along with 1 person christiankissig
	Simplicial Databases [My Copy] (13 Apr 2009) by David I. Spivak posted to simplices databases category-theory by jcreed on 2009-11-13 21:58:24 as
	A System of Axiomatic Set Theory--Part I [My Copy] The Journal of Symbolic Logic, Vol. 2, No. 1. (1937), pp. 65-77. by Paul Bernays posted to system set_theory logic axiom by ajholanda on 2009-11-13 13:29:45 as
	Lectures on derived and triangulated categories [My Copy] (8 Apr 2007) by Behrang Noohi posted to category by crescent on 2009-11-13 08:35:34 as along with 1 person clakhani

Note: You may cite this page as: http://www.citeulike.org/user/kaqui/watchlist

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

category	10
logic	9
theory	3
hilbert	2
quantum	2
topoi	1
paraconsistent	1
hybrid	1
exogenous	1
higher-order	1
n-categories	1
modal	1
entanglement	1
algebra	1
manifesto	1
measure	1
eqpl	1

kaqui's watchlist [more than 800 articles] Export Sort

kaqui's tags