Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

Algorithms For Extracting Timeliness Graphs

Author:A. Mostéfaoui, C. Dwork, D. Dolev, M. Hutle, M. Larrea, M.K. Aguilera, M.K. Aguilera, M.K. Aguilera, T.D. Chandra
Publisher:Springer Science and Business Media LLC
Abstract: We consider asynchronous message-passing systems in which some links are timely and processes may c…

Accurate,robust and harmonized implementation of morpho-functional imaging in treatment planning for personalized radiotherapy

Author:José Antonio Baeza, Marcin Balcerzyk, Francisco Javier Garcúa-Gómez, Elisa Eugenia Jiménez Ortega, Antonio Leal Plaza, √Ångel Parrado-Gallego, Ana Rita Pereira Barbeiro, Ana Marúa Ureba Sánchez, Amadeo Wals-Zurita
Publisher:Public Library of Science (PLoS)
Abstract: In this work we present a methodology able to use harmonized PET/CT imaging in dose painting by num…

Asteroid modeling for testing spacecraft approach and landing

Author:Martin Dunstan, Iain Martin, Steve Parkes, Nick Rowell
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Abstract is not available.

A Network Coding Approach to Loss Tomography

Author:Christina Fragouli, Minas Gjoka, Athina Markopoulou, Pegah Sattari
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Network tomography aims at inferring internal network characteristics based on measurements at the …

BurstProbe: Debugging Time-Critical Data Delivery in Wireless Sensor Networks

Author:James Brown, Ben McCarthy, Utz Roedig, Cormac J. Sreenan, Thiemo Voigt
Publisher:Springer Science and Business Media LLC
Abstract: In this paper we present BurstProbe, a new technique to accurately measure link burstiness in a wir…

A formally verified compiler back-end

Author:A Dold, A Dold, A Hobor, A Pnueli, ACJ Fox, AJ Chlipala, AW Appel, AW Appel, AW Appel, BK Rosen, C Lindig, CW Barrett, D Cachera, D Lacey, D Leinenbach, D Leinenbach, E Eide, F Henderson, G Barthe, G Barthe, G Barthe, G Barthe, G Clemmensen, G Goos, G Klein, G Li, G Li, G Morrisett, G Morrisett, GA Kildall, GC Necula, GC Necula, GC Necula, GC Necula, GJ Chaitin, GP Huet, H-J Boehm, IBM Corporation, J Chen, J Guttman, J Knoop, J Knoop, J McCarthy, J-B Tristan, J-B Tristan, JO Blech, JR Ellis, JS Moore, JS Moore, L Beringer, L Chirica, L George, L Rideau, LD Zuck, M Huisman, M Mçller-Olm, M Strecker, MA Dave, N Benton, P Letouzey, P Letouzey, PH Hartel, PW O‚ÄôHearn, Q Huang, R Milner, R St√§rk, S Beyer, S Blazy, S Blazy, S Coupet-Grimal, S Gulwani, S Lerner, SL Peyton Jones, SS Muchnick, TC Hales, WM McKeeman, X Feng, X Leroy, X Leroy, X Leroy, X Leroy, X Rival, Xavier Leroy, Y Bertot, Y Bertot, Z Shao
Publisher:Springer Science and Business Media LLC
Abstract: This article describes the development and formal verification (proof of semantic preservation) of …

Integrated Support for Handoff Management and Context-Awareness in Heterogeneous Wireless Networks

Author:BELLAVISTA P, MARCELLO CINQUE, DOMENICO COTRONEO, FOSCHINI L.
Publisher:Association for Computing Machinery (ACM)
Abstract: The overwhelming success of mobile devices and wireless communications is stressing the need for th…

dWatch: a Personal Wrist Watch for Smart Environments

Author:Dario Bonino, Fulvio Corno, Luigi De Russis
Publisher:lsevie
Abstract: Intelligent environments, such as smart homes or domotic systems, have the potential to support peo…

Disjunctive Answer Set Solvers via Templates

Author:Remi Brochenin, Yuliya Lierler, Marco Maratea
Publisher:Cambridge University Press (CUP)
Abstract: Answer set programming is a declarative programming paradigm oriented towards difficult combinatori…

BioCloud Search EnGene: Surfing Biological Data on the Cloud

Author:NICOLETTA DESSI, GABRIELE MILIA, Pascariello E, BARBARA PES
Publisher:Springer Science and Business Media LLC
Abstract: The massive production and spread of biomedical data around the web introduces new challenges relat…
Powered by: