ePrints Repository

Items where Subject is "Q Science > QA Mathematics > QA75 Electronic computers. Computer science"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Type of Work | Date
Number of items at this level: 34.

Article

Melnikoff, Stephen Jonathan and Quigley, Steven Francis (2003) Implementing log-add algorithm in hardware. Electronics Letters, 39 (12). pp. 939-941.

Vickers, Steven (2004) The double powerlocale and exponentiation: A case study in geometric logic. Theory and Applications of Categories, 12 (13). pp. 272-422. ISSN 1201-561X

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

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

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

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

Miconi, Thomas (2008) Evolution and complexity: the double-edged sword. Artificial Life, 14 (3). pp. 325-344.

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

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

Whitacre, James M and Bender, Axel (2010) Networked buffering: a basic mechanism for distributed robustness in complex adaptive systems. Theoretical Biology and Medical Modelling, 7 (1). p. 20. ISSN 1742-4682

Lewis, P R and Marrow, P and Yao, X (2010) Resource Allocation in Decentralised Computational Systems: An Evolutionary Market-Based Approach. Autonomous Agents and Multi-Agent Systems, 21 (2). pp. 143-171.

Rowan, Mark (2011) Effects of compensation, connectivity and tau in a computational model of Alzheimer's Disease. Proceedings of the International Joint Conference on Neural Networks.

Book Section

Melnikoff, Stephen Jonathan and James-Roxby, P B and Quigley, Steven Francis and Russell, Martin (2000) Reconfigurable Computing for Speech Recognition: Preliminary Findings. In: Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000, Villach, Austria, August 27-30, 2000. Proceedings. Lecture Notes in Computer Science, 1896 (1896). Springer Verlag, pp. 495-504. ISBN Series ISSN 0302-9743

Melnikoff, Stephen Jonathan and Quigley, Steven Francis and Russell, Martin (2001) Implementing a Hidden Markov Model Speech Recognition System in Programmable Logic. In: Field-Programmable Logic and Applications, 11th International Conference, FPL 2001. Proceedings. Lecture Notes in Computer Science (2147). Springer Verlag, pp. 81-90. ISBN Series ISSN 0302-9743

Melnikoff, Stephen Jonathan and Quigley, Steven Francis and Russell, Martin (2002) Implementing a simple continuous speech recognition system on an FPGA. In: Field-Programmable Custom Computing Machines, 2002. Proceedings. 10th Annual IEEE Symposium on FPGAs for Custom Computing Machines (FCCM 2002). IEEE, pp. 275-276.

Melnikoff, Stephen Jonathan and Quigley, Steven Francis and Russell, Martin (2002) Performing speech recognition on multiple parallel files using continuous hidden Markov models on an FPGA. In: Field-Programmable Technology, 2002. (FPT). Proceedings. IEEE, pp. 399-402.

Melnikoff, Stephen Jonathan and Quigley, Steven Francis and Russell, Martin (2002) Speech Recognition on an FPGA Using Discrete and Continuous Hidden Markov Models. In: Field-Programmable Logic and Applications. Reconfigurable Computing Is Going Mainstream 12th International Conference, FPL 2002, Montpellier, France September 2-4, 2002. Proceedings. Lecture Notes in Computer Science (2438). Springer Verlag, pp. 202-211. ISBN Series ISSN 0302-9743

Wilson, Scott (2008) SPATIAL SWARM GRANULATION. In: Proceedings of 2008 International Computer Music Conference. SARC, ICMA, Belfast. ISBN 0-9713192-6-X

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.

Kerber, Manfred and Lange, Christoph and Rowat, Colin (2012) Formal representation and proof for cooperative games. In: Symposium on Mathematical Practice and Cognition II. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), pp. 15-18. ISBN 978-1-908187-10-9

Tankink, Carst and Lange, Christoph and Urban, Josef (2012) Point-and-write — documenting formal mathematics by reference. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 169-185.

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.

Lange, Christoph and Kutz, Oliver and Mossakowski, Till and Grüninger, Michael (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 463-467.

Conference or Workshop Item

Lewis, P R and Marrow, P and Yao, X (2008) Evolutionary market agents for resource allocation in decentralised systems. In: Parallel Problem Solving From Nature - PPSN X, 13-17 September, 2008, Dortmund, Germany.

Melhuish, Jonathan and Beale, Russell (2008) News not noise: socially aware information filtering. In: BCS HCI2008, Liverpool.

Hawes, Nick and Wyatt, Jeremy and Sloman, Aaron (2008) Exploring Design Space For An Integrated Intelligent System. In: Twenty-eighth {SGAI} International Conference on Artificial Intelligence, December 2008, Cambridge, England.

Vrevcko, Alen and Skovcaj, Danijel and Hawes, Nick and Leonardis, Aleš (2009) A Computer Vision Integration Model for a Multi-modal Cognitive System. In: Accepted at 2009 IEEE/RSJ International Conference on Intelligent RObots and Systems.

Lewis, P R and Marrow, P and Yao, X (2009) Evolutionary market agents and heterogeneous service providers: Achieving desired resource allocations. In: Proceedings of the 2009 IEEE Congress on Evolutionary Computation (CEC 2009).

Hawes, Nick and Brenner, Michael and Sjöö, Kristoffer (2009) Planning as an architectural control mechanism. In: 4th ACM/IEEE international conference on Human robot interaction.

Duff, Damien Jade and Wyatt, Jeremy and Stolkin, Rustam (2010) Motion estimation using physical simulation. In: IEEE International Conference on Robotics and Automation, May 3-7 2010, Alaska, USA.

Nallur, Vivek and Bahsoon, Rami (2010) Self-adapting applications based on QA requirements in the cloud using market-based heuristics. In: ServiceWave 2010, Ghent, Belgium.

Duff, Damien Jade and Morwald, Thomas and Stolkin, Rustam and Wyatt, Jeremy (2011) Physical simulation for monocular 3D model based tracking. In: IEEE International Conference on Robotics and Automation, May 9-13, 2011, Shanghai, China.

Lange, Christoph and Mossakowski, Till and Kutz, Oliver (2012) LoLa: a modular ontology of logics, languages and translations. In: Modular Ontologies, 2012-07-24, Graz, Austria.

This list was generated on Fri Jul 25 01:30:29 2014 IST.