Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

Study on the use of metadata for digital learning objects in university institutional repositories (MODERI)

Author:Gema Bueno-de-la-Fuente, Antonio Hernández Pérez, Bonifacio Martún-Galán, Eva Marúa Méndez Rodrúguez, David Rodrúguez-Mateos
Publisher:Informa UK Limited
Abstract: Metadata is a core issue for the creation of repositories. Different institutional repositories hav…

Finding efficient nonlinear functions by means of genetic programming

Author:Julio C. Hernández, Pedro Isasi, Cristóbal Luque
Publisher:Springer Science and Business Media LLC
Abstract: 7th International Conference, KES 2003. Proceedings, Part I. Oxford, UK, September 3-5, 2003The des…

Building nearest prototype classifiers using a Michigan approach PSO

Author:Alejandro Cervantes, Inés M. Galván, Pedro Isasi
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: IEEE Swarm Intelligence Symposium. Honolulu, HI, 1-5 april 2007This paper presents an application o…

Comparing MapReduce and pipeline implementations for counting triangles

Author:Ana Edelmira Pasarella Sánchez, Maria-Esther Vidal, Ana Cristina Zoltan Torres
Publisher:Open Publishing Association
Abstract: A common method to define a parallel solution for a computational problem consists in finding a way…

Modelling MAC-Layer Communications in Wireless Systems

Author:Andrea Cerone, Matthew Hennessy, Massimo Merro
Publisher:Logical Methods in Computer Science e.V.
Abstract: We present a timed process calculus for modelling wireless networks in which individual stations br…

Automated Meter Reading and SCADA Application for Wireless Sensor Network

Author:Julio Barbancho Concejero, Joaquún Luque Rodrúguez, Francisco Javier Molina Cantero
Publisher:Springer Science and Business Media LLC
Abstract: Currently, there are many technologies available to automate public utilities services (water, gas…

The Synthesis of Logic Programs from Inductive Proofs

Author:Alan Bundy, A. Smaill, G. Wiggins
Publisher:Springer Science and Business Media LLC
Abstract: Abstract is not available.

Verification of interlocking systems using statistical model checking

Author:Quentin Cappart, Axel Legay, Christophe Limbree, Jean Quilbeuf, Pierre Schaus, Louis-Marie Traonouez
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: In the railway domain, an interlocking is the system ensuring safe train traffic inside a station b…

Brain Tumor Vascular Network Segmentation from Micro-Tomography

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

Maximum Production Of Transmission Messages Rate For Service Discovery Protocols

Author:ISJ Al-Mejibli, MJ Colley
Publisher:Academy and Industry Research Collaboration Center (AIRCC)
Abstract: Minimizing the number of dropped User Datagram Protocol (UDP) messages in a network is regarded as …
Privacy Policy
Powered by: