Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Formally based semi-automatic implementation of an open security protocol

Author:Alfredo Pironti, Barthe, Basin, Bengtson, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Blanchet, Blanchet, Blanchet, Blanchet, Davide Pozza, Dolev, Durante, Escobar, Grandy, Hubbers, Jeon, Jçrjens, Jçrjens, Kiyomoto, Lowe, Lowe, Marché, McDermott, Moebius, Mödersheim, O‚ÄôShea, Pironti, Pironti, Pironti, Pozza, Riccardo Sisto, Song, Tobler
Publisher:lsevier Scienc
Abstract: International audienceThis paper presents an experiment in which an implementation of the client si…

Modelling multiscale aspects of colorectal cancer

Author:Carina M. Edwards, Helen M. Byrne, Ingeborg M. M. van Leeuwen, Isthrinayagy S. Krishnarajah, Kamel Ariffin Mohd Atan, Matthew D. Johnston, Philip K. Maini, S. Jonathan Chapman, Walter F. Bodmer
Publisher:
Abstract: Colorectal cancer (CRC) is responsible for nearly half a million deaths annually world-wide [11]. W…

Multiple return separation for a full-field ranger via continuous waveform modelling

Author:Michael J. Cree, Adrian A. Dorrington, John Peter Godbaz
Publisher:SPIE-Intl Soc Optical Eng
Abstract: We present two novel Poisson noise Maximum Likelihood based methods for identifying the individual …

Fuzzy memoization for floating-point multimedia applications

Author:Jesís Corbal San Adrián, Mateo Valero Cortés, Carlos √Ålvarez Martúnez
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Instruction memoization is a promising technique to reduce the power consumption and increase the p…

Enlarging instruction streams

Author:Alejandro Ramúrez Bellido, Oliverio J. Santana Jaria, Mateo Valero Cortés
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: The stream fetch engine is a high-performance fetch architecture based on the concept of an instruc…

Real-time lattice boltzmann shallow waters method for breaking wave simulations

Author:AT Layton, C Obrecht, C Yuksel, G Thömmes, H Lee, J Tölke, JG Zhou, JG Zhou, M Geveler, R Salmon, S Hou, X He, X Wei, YH Qian
Publisher:Springer Science and Business Media LLC
Abstract: We present a new approach for the simulation of surfacebased fluids based in a hybrid formulation o…

Hypercube algorithms on mesh connected multicomputers

Author:Luis Manuel Díaz de Cerio Ripalda, Antonio María González Colás, Miguel Valero García
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: A new methodology named CALMANT (CC-cube Algorithms on Meshes and Tori) for mapping a type of algor…

Data generator for evaluating ETL process quality

Author:Alberto Abelló Gamazo, Petar Jovanovic, Emona Naku√ßi, Vasileios Theodorou
Publisher:Elsevier BV
Abstract: Obtaining the right set of data for evaluating the fulfillment of different quality factors in the …

Assessing spatiotemporal correlations from data for short-term traffic prediction using multi-task learning

Author:Jordi Casas Vilaró, Ricard Gavald√† Mestre, Rafael Mena Yedra
Publisher:Elsevier BV
Abstract: Traffic flow prediction is a fundamental problem for efficient transportation control and managemen…

Towards the Design of Heuristics by Means of Self-Assembly

Author:Dario Landa-Silva, Elham Kashefi, German Terrazas, Natalio Krasnogor, Prakash Panangaden, S. Barry Cooper
Publisher:Open Publishing Association
Abstract: The current investigations on hyper-heuristics design have sprung up in two different flavours: heu…
Privacy Policy
Powered by: