ePrints Repository

Items where Subject is "Q Science > QA Mathematics"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Type of Work | Date
Jump to: 2012 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004
Number of items at this level: 16.

2012

Lange, Christoph and Ion, Patrick and Dimou, Anastasia and Bratsas, Charalampos and Sperber, Wolfram and Kohlhase, Michael and Antoniou, Ioannis (2012) Bringing Mathematics to the Web of Data: the case of the Mathematics subject classification. In: The Semantic Web. Lecture Notes in Computer Science (7295). Springer, pp. 763-777.

Barwell, Andrew D. and Davies, Gareth and Good, Chris (2012) On the ω-limit sets of tent maps. Fundamenta Mathematicae, 217 (1). pp. 35-54. ISSN 0016-2736

Lange, Christoph and Ion, Patrick and Dimou, Anastasia and Bratsas, Charalampos and Corneli, Joseph and Sperber, Wolfram and Kohlhase, Michael and Antoniou, Ioannis (2012) Reimplementing the Mathematics subject Classification (MSC) as a Linked Open Dataset. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 458-462.

2009

Vickers, Steven (2009) The connected Vietoris powerlocale. Topology and its Applications, 156. pp. 1886-1910. ISSN 0166-8641

Welham, Patricia A and Stekel, Dov J (2009) Mathematical model of the Lux luminescence system in the terrestrial bacterium Photorhabdus luminescens. Molecular bioSystems, 5 (1). pp. 68-76. ISSN 1742-2051

2008

Gaffney, E A and Heath, J K and Kwiatkowska, M Z (2008) A mass action model of a Fibroblast Growth factor signaling pathway and its simplification. Bulletin of mathematical biology, 70 (8). pp. 2229-2263. ISSN 1522-9602

Vickers, Steven (2008) A localic theory of lower and upper integrals. Mathematical Logic Quarterly, 54 (4). pp. 109-123. ISSN 0942-5616

Jung, Achim and Moshier, M.Andrew and Vickers, Steven (2008) Presenting dcpos and dcpo algebras. Electronic Notes in Theoretical Computer Science, 219. pp. 209-229. ISSN 1571-0661

2007

Vickers, Steven (2007) Sublocales in formal topology. Journal of Symbolic Logic, 72 (2). pp. 463-482. ISSN 0022-4812

Lewis, Seth Charles and Butkovic, Peter (2007) On the job rotation problem. Discrete Optimization, 4 (2). pp. 163-174. ISSN 1572-5286

2006

Palmgren, E and Vickers, Steven (2006) Partial Horn logic and cartesian categories. Annals of Pure and Applied Logic, 143 (3). pp. 314-353. ISSN 0168-0072

2005

Vickers, Steven (2005) LOCALIC COMPLETION OF GENERALIZED METRIC SPACES I. Theory and Applications of Categories, 14 (15). pp. 328-356. ISSN 1201 - 561X

Vickers, Steven (2005) Compactness in locales and in formal topology. Annals of Pure and Applied Logic, 137 (1-3). pp. 413-438. ISSN 0168-0072

Hill, Gillian and Vickers, Steven (2005) A Language for Configuring Multi-level Specifications. Theoretical Computer Science, 351. pp. 146-166. ISSN 0304-3975

2004

Vickers, Steven and Townsend, C.F (2004) A Universal Characterization of the Double Powerlocale. Theoretical Computer Science, 316 (1-3). pp. 297-321. ISSN 0304-3975

Vickers, Steven (2004) Entailment systems for stably locally compact locales. Theoretical Computer Science, 316 (1-3). pp. 259-296. ISSN 0304-3975

This list was generated on Mon Apr 21 01:29:02 2014 IST.