Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

Hierarchical fuzzy logic based approach for object tracking

Author:Pedro M. Couto, Aranzazu Jurio, Nuno Vieira Lopes, Pedro Melo-Pinto
Publisher:Elsevier BV
Abstract: In this paper a novel tracking approach based on fuzzy concepts is introduced. A methodology for bo…

Conceptualising teachers' professional learning with Web 2.0

Author:Kevin John Burden
Publisher:Emerald
Abstract: Purpose ‚Äì This paper seeks to identify and develop an exploratory framework for conceptualising h…

Transparent multi-core speculative parallelization of DES models with event and cross-state dependencies

Author:ALESSANDRO PELLEGRINI, Francesco QUAGLIA
Publisher:Association for Computing Machinery (ACM)
Abstract: In this article we tackle transparent parallelization of Discrete Event Simulation (DES) models to …

Smart Sampling for Lightweight Verification of Markov Decision Processes

Author:Pedro D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Publisher:Springer Science and Business Media LLC
Abstract: Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To…

Introducing mobile edge computing capabilities through distributed 5G Cloud Enabled Small Cells

Author:Maria Belesioti, Pavel Bliznakov, Thomas Michael Bohnert, Ioannis Chochliouros, Jose Oscar Fajardo, Javier Garcia Lloreda, Ioannis Giannoulakis, Leonardo Goratti, Emmanouil Kafetzakis, Pouria Sayyad Khodashenas, Fidel Liberal, Claudio Meani, Michele Paolino, Vincenzo Pii, Jordi Pérez Romero, R. Riggio, Irena Trajkovska
Publisher:Springer Science and Business Media LLC
Abstract: Current trends in broadband mobile networks are addressed towards the placement of different capabi…

Tissue-specific network-based genome wide study of amygdala imaging phenotypes to identify functional interaction modules

Author:Alzheimer’s Disease Neuroimaging Initiative, Casey S. Greene, Sungeun Kim, Kefei Liu, Jason H. Moore, Kwangsik Nho, Shannon L. Risacher, Andrew J. Saykin, Li Shen, Jingwen Yan, Xiaohui Yao
Publisher:Oxford University Press (OUP)
Abstract: Motivation: Network-based genome-wide association studies (GWAS) aim to identify functional modu…

Planning as Tabled Logic Programming

Author:Roman Bartak, Agostino Dovier, Neng-Fa Zhou
Publisher:Cambridge University Press (CUP)
Abstract: This paper describes Picat's planner, its implementation, and planning models for several domains u…

Delay Differential Analysis of Seizures in Multichannel Electrocorticography Data

Author:Sydney S. Cash, Claudia Lainscsek, Terrence J. Sejnowski, Jonathan Weyhenmeyer
Publisher:MIT Press - Journals
Abstract: High-density electrocorticogram (ECoG) electrodes are capable of recording neurophysiological data …

Static Application-Level Race Detection in STM Haskell using Contracts

Author:Romain Demeyer, Wim Vanhoof
Publisher:Open Publishing Association
Abstract: Writing concurrent programs is a hard task, even when using high-level synchronization primitives s…

ILP-based approaches to partitioning recurrent workloads upon heterogeneous multiprocessors

Author:Sanjoy K. Baruah, Vincenzo Bonifaci, Renato Bruni, Alberto MARCHETTI SPACCAMELA
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: The problem of partitioning systems of independent constrained-deadline sporadic tasks upon heterog…
Privacy Policy
Powered by: