Tag algebraicity [31 articles] Export

Recent papers classified by the tag algebraicity.

	A Coalgebraic Description of Web Interactions [My Copy] Theoretical Computer Science (2003), pp. 271-283. by Daniela Cancila, Furio Honsell posted to transactions semigroups semigroupoids semantic-web interactions interacting coalgebroids coalgebras coalgebraicity coalgebraic behaviours automatons algebroids algebraicity algebraic-semiotics by isotelesis on 2009-09-12 03:16:37 as along with 1 person Scis0000002
	Chu spaces as a semantic bridge between linear logic and mathematics [My Copy] Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471. by Vaughan Pratt posted to algebraic-structures algebraicity algorithmic-information-theory algorithmic-statistics all-algebraic-categories all-algebraic-structures all-relational-structures all-small-categories category-theory chu-space computability-logic conceptual-structures discrete-geometry fca information-distance interactivity lattice linear-logic logical-information-system mathematical-structures mathematics relational-structures representation semantics stone-gamut transformation unified-concept-theory by isotelesis on 2009-07-16 16:57:02 as along with 1 person scis0000001
	The properties of high-dimensional data spaces: implications for exploring gene and protein expression data [My Copy] Nat Rev Cancer, Vol. 8, No. 1. (01 January 2008), pp. 37-49. by Robert Clarke, Habtom W. Ressom, Antai Wang, et al.Jianhua Xuan, Minetta C. Liu, Edmund A. Gehan, Yue Wang posted to algebraicity biological-structures gene-expression genes genome-spaces genomes genomic-spaces geometricity higher-dimensional information-theory kernel-methods mathematical-biology mathematical-structures protein-expression proteins proteomic-spaces by Scis0000002 on 2009-07-09 09:42:11 as along with 17 people and 1 group Zephyrus aviad_work ipark-kaist isimpson baizhang bertelsen ptrobajo jfr guhjy tmmurali dwf frohike cjeans nedwards shikin blackm0k brianb Bioinformatics
	Algebraic Approaches to Stability Analysis of Biological Systems [My Copy] Mathematics in Computer Science, Vol. 1, No. 3. (3 March 2008), pp. 507-539. by Wei Niu, Dongming Wang posted to algebraic-methods algebraicity biodynamics biological-constants biological-dynamics biological-models biological-structures biological-systems biological-theories calibrating invariances organisms parameters signatures stability symmetries thresholds units by Scis0000002 on 2009-07-07 08:58:40 as
	Algebraicity under bijective morphisms and nonprojective varieties [My Copy] Mathematische Zeitschrift, Vol. 191, No. 2. (1 June 1986), pp. 253-260. by Axel Vogt posted to algebraicity varieties by Scis0000002 on 2009-05-27 12:19:37 as
	Topical categories of domains [My Copy] Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616. by Steven Vickers posted to algebraicity algebras category-theory constructivity domain-theory domains fol geometricity locales stone-duality topological-spaces topos-theory toposes by Scis0000002 on 2009-05-27 11:14:06 as
	Predictability of Real-Time Systems: A Process-Algebraic Approach [My Copy] pp. 82-93. by V. Natarajan, R. Cleaveland posted to algebraicity by Scis0000002 on 2009-04-30 22:14:53 as along with 1 person scis0000001
	Quantum algorithms for algebraic problems [My Copy] (2 Dec 2008) by Andrew M. Childs, Wim van Dam posted to algebraic-methods algebraic-problems algebraicity quantum-algorithms quantum-computing by Scis0000002 on 2009-04-20 22:30:26 as along with 6 people jarekadam jrw linchen jaeseung yinzhangqi sflammia
	The Algebra of Grand Unified Theories [My Copy] (9 Apr 2009) by John C. Baez, John Huerta posted to algebraicity unified-theories by Scis0000002 on 2009-04-13 22:17:55 as along with 3 people josefonseca NitinCR melvineloy
	Unifying theories in different institutions [My Copy] (1996) by M. Arrais, J. Fiadeiro posted to abstract-model-theory algebraicity economic-frameworks economic-models economic-theories institutional-economics institutional-frameworks institutional-model-theory institutions justice-infrastructures justice-theories legal-frameworks logical-frameworks logical-institutions logical-theories new-institutional-economics regulatory-frameworks unifying by Scis0000002 on 2009-04-04 11:20:56 as along with 1 person scis0000001
	Theoroidal Maps as Algebraic Simulations [My Copy] : Recent Trends in Algebraic Development Techniques (2005), pp. 126-143. by Narciso Martí-Oliet, José Meseguer, Miguel Palomino posted to abstract-model-theory algebraicity institutional-model-theory metascience philosophy-of-science by Scis0000002 on 2008-12-25 16:02:06 as along with 1 person scis0000001
	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Lectures (Lecture Notes in Computer Science) [My Copy] (28 May 2002) by Roland Backhouse, Roy Crole, Jeremy Gibbons posted to algebraic-methods algebraicity category-of-specifications coalgebraic-methods coalgebraicity formal-methods functional-programming specification specifications by Scis0000002 on 2008-09-13 16:35:46 as along with 1 person DavidChemouil
	On the Role of Category Theory in the Area of Algebraic Specification [My Copy] In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48. by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter posted to algebraic-methods algebraicity formal-methods specifications by Scis0000002 on 2008-09-07 10:07:43 as along with 1 person scis0000001
	Moduli of objects in dg-categories [My Copy] (4 May 2007) by B. Toen, M. Vaquie posted to algebraicity geometricity by Scis0000002 on 2008-09-07 10:05:18 as along with 1 person jshadlen
	Covariance, Geometricity, Setting, and Dynamical Structures on Cosmological Manifold [My Copy] (14 Mar 2006) by Vladimir S. Mashkevich posted to algebraicity geometricity manifolds by Scis0000002 on 2008-09-07 10:00:46 as
	A COMPARISON OF SIMULATION TECHNIQUES AND ALGEBRAIC TECHNIQUES FOR VERIFYING CONCURRENT SYSTEMS [My Copy] No. MIT/LCS/TM-499. (1993) by N. Lynch, R. Segala posted to algebraic-methods algebraicity formal-methods simulating verifying by Scis0000002 on 2008-09-06 06:24:16 as along with 1 person znmeb
	An Algebraic Approach to Granularity in Qualitative Time and Space Representation [My Copy] In IJCAI (1) (1995), pp. 894-900. by Jme Euzenat posted to algebraicity granularities granularity qualitative scale-spaces space-time by Scis0000002 on 2008-01-30 13:44:27 as
	The algebra of searching [My Copy] (2000) by J. Spivey, S. Seres posted to algebraicity searching by Scis0000002 on 2007-11-24 14:14:52 as along with 1 person Carol_Perryman
	Algebraic approach to Quantum Field Theory [My Copy] ArXiv Mathematical Physics e-prints (November 2004) by R. Brunetti, K. Fredenhagen posted to algebraicity qft quantum-field-theory by Scis0000002 on 2007-09-30 13:22:27 as
	The Skolem-Löwenheim theorem in toposes [My Copy] Studia Logica, Vol. 42, No. 4. (21 December 1983), pp. 461-475. by Marek Zawadowski posted to algebraicity categorical-logic compactness-theorem countability model-theory skolem-loewenheim-theorem topos-theory by Scis0000002 on 2007-09-02 15:09:31 as
	Kernel theorems and nuclearity in idempotent mathematics. An algebraic approach [My Copy] Journal of Mathematical Sciences, Vol. 141, No. 4. (March 2007), pp. 1417-1428. by Litvinov, G., Shpiz, G. posted to algebraicity extremal-mathematics kernels nuclearity by Scis0000002 on 2007-08-28 14:52:57 as
	Geometric theories and modal logic in the calculus of structures [My Copy] (2005) by R. Hein posted to algebraicity calculus-of-structures constructive-logic constructivity geometric-logic geometric-theories grothendieck-toposes meta-level-architectures modal-logic by Scis0000002 on 2007-08-04 09:23:23 as
	Algebraic Algorithmics: Theory and Applications [My Copy] pp. 6-15. by G. E. Tseitlin posted to algebraicity computability metaalgebras by Scis0000002 on 2007-07-29 18:26:25 as
	Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks [My Copy] Axiomathes, Vol. 16, No. 1. (15 March 2006), pp. 65-122. by I. Baianu, R. Brown, G. Georgescu, J. Glazebrook posted to algebraicity biodynamics biological-dynamics biological-structures category-of-quantum-automata dynamics epigenetics formal-biology groupoids hd higher-dimensional-algebra higher-dimensional-category-theory higher-dimensional-topos-theory hyperalgebras hypergroups hyperstructures lukasiewicz-moisil-algebras mathematical-biology mathematical-structures metalogics neurodynamics nonlinearity omega-algebras omega-categories omegaalgebras organismal-structures quantum-genetics relational-biology superalgebras supercategories topos-theory transforming by Scis0000002 on 2007-07-11 14:59:22 as along with 2 people Constructivity CurAbility
	Normative systems and their revision: an algebraic approach [My Copy] Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104. by Lars Lindahl, Jan Odelstad posted to algebraic algebraic-justice algebraic-justice-theories algebraic-legal-theories algebraic-methods algebraic-theories algebraicity category-of-normative-systems category-of-specifications category-of-theories coalgebraic-methods combination computational-justice-sciences computational-legal-sciences control-systems emergence evolution formal-justice-sciences formal-legal-sciences formal-methods formal-theories fractality heterogeneous-theories hierarchy-of-legal-frameworks hierarchy-of-normative-systems hyperplanes justice-frameworks justice-infrastructures justices lattice-of-frameworks lattice-of-legal-frameworks lattice-of-norms lattice-of-specifications lattice-of-theories legal-frameworks logical-frameworks mathematical-justice metalogical-frameworks normative-structures normative-systems norms order-structures regulative-architectures regulative-infrastructures regulative-models regulative-structures regulative-systems regulative-theories resilience rules specification specifications survivability by Scis0000002 on 2007-06-21 17:51:31 as along with 2 people fdechesn hipcathobbes
	Real-time behavior monitoring for multi-processor systems [My Copy] In EUROMICRO 93: Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications (1993), pp. 213-220. by J. P. Calvez, O. Pasquier posted to algebraicity artificial-society behavior behavior-analysis behavior-models behavior-monitoring behavioral-equations computational-economics computational-justice computational-justice-sciences computational-legal-sciences computational-science computational-sociology constructive-justice-sciences distributive-justice executable-theories formal-justice-sciences hierarchy-of-abstract-machines hierarchy-of-decision-problems justice-equations justice-functions justice-models justice-systems justice-theories justices legal-systems markets mas monitoring normative-systems portfolio prevention real-time real-time-justice real-time-justice-systems regulative-systems self-measuring self-modeling self-models self-monitoring self-preventing by Scis0000002 on 2007-06-21 15:16:12 as
	The category of complete lattices as a category of algebras [My Copy] Algebra Universalis, Vol. 26, No. 3. (21 October 1989), pp. 367-379. by Jan Reiterman posted to algebra algebraicity category-of-algebras category-of-complete-lattices complete lattice by scis0000001 on 2007-05-11 09:49:45 as along with 1 person Scis0000002
	Algebraic unsolvability of the problem of lyapunov stability and the problem of topological classification of singular points of an analytic system of differential equations [My Copy] Functional Analysis and Its Applications, Vol. 4, No. 3. (1 July 1970), pp. 173-180. by V. I. Arnol'd posted to algebraic algebraicity space-of-streams streams unsolvability by scis0000001 on 2007-04-08 14:59:42 as
	Domains for Computation in Mathematics, Physics and Exact Real Arithmetic [My Copy] The Bulletin of Symbolic Logic, Vol. 3, No. 4. (1997), pp. 401-452. by Abbas Edalat posted to algebraicity applications behavior-space computability-theory computational-epistemology computational-science continuity domain-theory dynamical-system ifs incremental measure-theory probability-theory process-space process-theory program-space proof-space space-of-distributions space-of-probability-distributions space-of-processes space-of-programs space-of-proofs state-space topological-space topology by scis0000001 on 2007-02-16 14:02:29 as along with 1 person Scis0000002
	On the algebraic structure of combinatorial problems [My Copy] Theoretical Computer Science, Vol. 200, No. 1--2. (1998), pp. 185-204. by Peter Jeavons posted to algebraic algebraicity combinatorial combinatorics by scis0000001 on 2007-02-13 10:42:19 as
	Ideal Models of Spaces [My Copy] by Keye Martin posted to algebraicity category-of-ideals chu-space countability domain-theory enumerability ideal-domains ideal-models ideal-partial-orders ideals metrizability order-theory partial-order quantitative-domain-theory self-similarity semantics topological-space topology by scis0000001 on 2007-01-30 10:10:36 as

Note: You may cite this page as: http://www.citeulike.org/tag/algebraicity

algebraic-methods	6
category-theory	4
formal-methods	4
geometricity	4
mathematical-structures	4
topos-theory	4
algebraic	3
biological-structures	3
category-of-specifications	3
chu-space	3
coalgebraicity	3
domain-theory	3
lattice	3
semantics	3
specification	3
specifications	3
unified-concept-theory	3
abstract-model-theory	2
algebraic-semiotics	2
algebraic-structures	2
algebroids	2
algorithmic-information-theory	2
algorithmic-statistics	2
all-algebraic-categories	2
all-algebraic-structures	2
all-relational-structures	2
all-small-categories	2
automatons	2
behaviours	2
biodynamics	2
biological-dynamics	2
coalgebraic	2
coalgebraic-methods	2
coalgebras	2
coalgebroids	2
computability-logic	2
computational-justice-sciences	2
computational-legal-sciences	2
computational-science	2
conceptual-structures	2
constructivity	2
countability	2
discrete-geometry	2
fca	2
formal-justice-sciences	2
higher-dimensional-category-theory	2
hyperalgebras	2
information-distance	2
institutional-model-theory	2
interacting	2
interactions	2
interactivity	2
justice-infrastructures	2
justice-theories	2
justices	2
lattice-of-specifications	2
legal-frameworks	2
linear-logic	2
logical-frameworks	2
logical-information-system	2
mathematical-biology	2
mathematics	2
metascience	2
normative-systems	2
regulative-systems	2
relational-structures	2
representation	2
semantic-web	2
semigroupoids	2
semigroups	2
stone-gamut	2
topological-space	2
topology	2
transactions	2
transformation	2
unified-theories	2
unifying	2
algebra	1
calibrating	1
category-of-complete-lattices	1
classifying-categories	1
computational-economics	1
computational-sociology	1
control-systems	1
domains	1
hd	1
hierarchy-of-abstract-machines	1
higher-dimensional-algebra	1
indexed-categories	1
institutions	1
kernels	1
model-theory	1
norms	1
organismal-structures	1
proof-space	1
proteomic-spaces	1
regulative-models	1
regulatory-frameworks	1
toposes	1
varieties	1

Tag algebraicity [31 articles] Export

Related Tags