Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium 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: