Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

A History of BlockingQueues

Author:Amighi, Anders P. Ravn, Dovland, Gordon J. Pace, Gotsman, Haack, Leavens, Marieke Huisman, Marina Zaharieva-Stojanovski, O'Hearn, Owicki, Reynolds, Schellhorn, Soundararajan, Stefan Blom, Vafeiadis
Publisher:Open Publishing Association
Abstract: This paper describes a way to formally specify the behaviour of concurrent data structures. When sp…

Special issue on smart interactions in cyber-physical systems: Humans, agents, robots, machines, and sensors

Author:Donghan Kim, Gerard Jounghyun Kim, Eric T. Matson, Sebastian Alberto Rodriguez
Publisher:Wiley
Abstract: In recent years, there has been increasing interaction between humans and non‚Äêhuman systems as we…

Parallel simulation of Population Dynamics P systems: updates and roadmap

Author:Luis Felipe Macúas Ramos, Miguel √Ångel Martúnez del Amor, Mario de Jesís Pérez Jiménez, Luis Valencia Cabrera
Publisher:Springer Science and Business Media LLC
Abstract: Population Dynamics P systems are a type of multienvironment P systems that serve as a formal mode…

Improving HyLTL model checking of hybrid systems

Author:Davide Bresolin
Publisher:Open Publishing Association
Abstract: The problem of model-checking hybrid systems is a long-time challenge in the scientific community. …

Synthesis of a compact wind profile using evolutionary algorithms for wind turbine system with storage

Author:Jamel Belhadj, Malek Belouda, Amine Jaafar, Xavier Roboam, Bruno Sareni
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: In this paper, the authors investigate two methodologies for synthesizing compact wind speed profil…

Vascular network segmentation: an unsupervised approach

Author:Xavier Descombes, Abdelhakim El Boustani, Caroline Fonta, Géraldine Le Duc, Franck Plouraboué, Raphael Serduc, Timm Weitkamp
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Micro-tomography produces high resolution images of biological structures such as vascular networks…

The size of BDDs and other data structures in temporal logics model checking

Author:Andrea FERRARA, Paolo LIBERATORE, Marco SCHAERF
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Temporal Logic Model Checking is a verification method in which we describe a system, the model, an…

Performance of a TV white space database with different terrain resolutions and propagation models

Author:O. Alfahad, A.M. Fanan, M. Mehdawi, N.G. Riley
Publisher:Centre for Evaluation in Education and Science (CEON/CEES)
Abstract: Cognitive Radio has now become a realistic option for the solution of the spectrum scarcity problem…

Insights into the development of strategy from a complexity perspective

Author:Amanda Gregory, Mark Ronan
Publisher:Springer Science and Business Media LLC
Abstract: This paper provides an account of an ongoing project with an independent school in the UK. The proj…

A3 thinking approach to support knowledge-driven design

Author:Ahmed Al-Ashaab, P. Ewers, A. Kassam, Maksim Maksimovic, Norhairin Mohd Saad, Essam Shehab, L. Zhu
Publisher:Springer Science and Business Media LLC
Abstract: Problem solving is a crucial skill in product development. Any lack of effective decision making at…
Privacy Policy
Powered by: