- UHRA Home
- Browsing by Author
Browsing by Author "Centre for Computer Science and Informatics Research"
Now showing items 181-200 of 1210
-
Compiler-support for robust multi-core computing
Kirner, Raimund; Herhut, Stephan; Scholz, Sven-Bodo (Springer Nature, 2010)Embedded computing is characterised by the limited availability of computing resources. Further, embedded systems are often used in safety-critical applications with real-time constraints. Thus, the software development ... -
A complete 5 Gb/s throughput quadrature sub carrier system featuring zero-latency carrier and data synchronization
Kourtessis, P.; Dudley, S.; Quinlan, T.; Walker, S.D.; Tyler, E.J.; Penty, R.V.; White, I.H. (2002) -
A complete 8-GHz QPSK-MODEM featuring novel subcarrier and data synchronization for optical communications
Kourtessis, P.; Walker, S.D. (2007) -
The complexity of quantified constraints using the algebraic formulation
Carvalho, Catarina; Martin, Barnaby; Zhuk, Dmitriy (2017-11-07) -
The complexity of quantified constraints: Collapsibility, switchability and the algebraic formulation
Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby; Zhuk, Dmitriy (2023-01-18)Let A be an idempotent algebra on a finite domain. By mediating between results of Chen and Zhuk, we argue that if A satisfies the polynomially generated powers property (PGP) and B is a constraint language invariant under ... -
Complexity Reduction: Local Activity Ranking By Resource Entropy For QoS-aware Cloud Scheduling
Chen, Huikai; Wang, Frank Zhigang; Migliavacca, Matteo; Chua, Leon O.; Helian, Na (Institute of Electrical and Electronics Engineers (IEEE), 2016-09-01)The principle of local activity originated from electronic circuits, but can easily translate into other non-electrical homogeneous/heterogeneous media. Cloud resource is an example of a locally-active device, which is the ... -
Component Interfaces with Loosely Synchronous Communication
Kirner, Raimund; Maurer, Simon; Tveretina, Olga (Institute of Electrical and Electronics Engineers (IEEE), 2021-08-13)Interface automata have been introduced as a way to advance from value and domain descriptions of type systems to temporal interface descriptions. The original introduction of interface automata used a notion of buffered ... -
Computation of Empowerment for an Autonomous Underwater Vehicle
Catenacci Volpi, Nicola; De Palma, Daniela; Polani, Daniel; Indiveri, Giovanni (2016-02-25)The paper addresses the computation of the information-theoretic empowerment measure for a simplified vertical plane dynamic model of an eFolaga autonomous underwater vehicle. Empowerment can be used to measure how much ... -
Computational Intelligence in Electrophysiology: Trends and Open Problems
Gunay, C.; Smolinski, T.G.; Lytton, W.W.; Morse, T.M.; Gleeson, P.; Crook, S.; Steuber, Volker; Silver, R.A.; Voicu, H.; Andrews, P.; Bokil, H.; Maniar, H.; Loader, C.; Mehta, S.; Kleinfeld, D.; Thomson, D.; Mitra, P.P.; Aaron, G.; Fellous, J-M. (Springer Nature, 2008)This chapter constitutes mini-proceedings of the Workshop on Physiology Databases and Analysis Software that was a part of the Annual Computational Neuroscience Meeting CNS*2007 that took place in July 2007 in Toronto, ... -
Computational models of synaptic delay adaptation by phosphorylation of metabotropic glutamate receptors.
Steuber, Volker; van Ooyen, A.; Willshaw, D. J. (1998) -
Computational Properties of Cell Regulatory Pathways through Petri Nets
Dini, Paolo (Springer Nature, 2016-03)The paper develops a Petri net model of a negative feedback oscillator, Case 2a from Tyson et al. (Curr. Opin. Cell Biol. 15, 221–231, 2003), in order to be able to perform the holonomy decomposition of the automaton derived ... -
Computational scientific discovery and cognitive science theories
Addis, Mark; Sozou, Peter; Lane, Peter; Gobet, Fernand (Springer Nature, 2016) -
A computational study of parallel fibre LTD as a learning mechanism in cerebellar Purkinje cells
Steuber, Volker; De Schutter, E. (2000) -
Computational understanding and manipulation of symmetries
Egri-Nagy, Attila; Nehaniv, C.L. (Springer Nature, 2015-01)For natural and artificial systems with some symmetry structure, computational understanding and manipulation can be achieved without learning by exploiting the algebraic structure. This algebraic coordinatization is based ... -
Computer adaptive assessment and its use in the development of a student model for blended learning
Barker, T.; Lilley, Mariana; Britton, C. (2006)This paper presents an overview of our work on the--development and testing of an automated feedback tool based on Computer-Adaptive Testing. Computer-adaptive tests (CATs) are software applications that adapt the presentation ... -
A computer adaptive test that facilitates the modification of previously entered responses : An empirical study
Lilley, Mariana; Barker, T. (2004)In a computer-adaptive test (CAT), learners are not usually allowed to revise previously entered responses. In this paper, we present findings from our most recent empirical study, which involved two groups of learners and ... -
Computer Simulation Environments
Gleeson, Padraig; Silver, Angus; Steuber, Volker (Springer Nature, 2010) -
Computing in the 21st century : nanocircuitry, defect tolerance and quantum logic - Discussion
Christianson, B.; Williams, N. S.; Beth, T.; Williams, R. S. (1998-08-15) -
Configuring Cloud-Service Interfaces Using Flow Inheritance
Zaichenkov, Pavel; Tveretina, Olga; Shafarenko, Alex (2016-06-01)Technologies for composition of loosely-coupled web services in a modular and flexible way are in high demand today. On the one hand, the services must be flexible enough to be reused in a variety of contexts. On the other ... -
Connection Strategies in Associative Memory Models
Chen, W.; Maex, R.; Adams, R.G.; Calcraft, L.; Steuber, Volker; Davey, N. (2009)The problem we address in this paper is that of finding effective and parsimonious patterns of connectivity in sparse associative memories. This problem must be addressed in real neuronal systems, so results in artificial ...