Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Engineering a static verification tool for GPU kernels

Author:A.F. Donaldson, C. Barrett, C. Flanagan, C.-T. Chou, E. Bardsley, J. Ferrante, J.-C. Filliâtre, K.L. McMillan, L. Moura de, M. Barnett, P. Collingbourne, R. Karrenberg, W.-F. Chiang, Z. Rakamarić
Publisher:Springer Science and Business Media LLC
Abstract: We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify,…

Improving the quality of the personalized electronic program guide

Author:Kieran McDonald, Dermot O'Sullivan, Alan F. Smeaton, Barry Smyth, David C. Wilson
Publisher:Springer Science and Business Media LLC
Abstract: As Digital TV subscribers are offered more and more channels, it is becoming increasingly difficult…

An integrated MEWMA-ANN scheme towards balanced monitoring and accurate diagnosis of bivariate process mean shifts

Author:Adnan Hassan, Ibrahim Masood
Publisher:Elsevier BV
Abstract: Various artificial neural networks (ANN)-based pattern recognition schemes have been developed for …

An architecture for a focused trend parallel web crawler with the application of clickstream analysis

Author:Fatemeh Ahmadi-Abkenari, Ali Selamat
Publisher:Elsevier BV
Abstract: The tremendous growth of the Web poses many challenges for all-purpose single-process crawlers incl…

Automatic application object migration in sensor networks

Author:Paul Hunkin, Anthony James McGregor
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Object migration in wireless sensor networks has the potential to reduce energy consumption for a w…

PDF-Malware Detection: A Survey and Taxonomy of Current Techniques

Author:L. Aniello, R. Baldoni, M. Elingiusti, L. Querzoni
Publisher:Springer Science and Business Media LLC
Abstract: Portable Document Format, more commonly known as PDF, has become, in the last 20 years, a standard …

Neurophysiological Profile of Antismoking Campaigns

Author:Pietro Aricò, Fabio Babiloni, Giulia Cartocci, Paolo Di Feo, Bianca M. S. Inguscio, Marco Mancini, Enrica Modica, Davide Perrotta, Dario Rossi
Publisher:Hindawi Limited
Abstract: Over the past few decades, antismoking public service announcements (PSAs) have been used by govern…

TFBSTools: an R/bioconductor package for transcription factor binding site analysis.

Author:B Lenhard, G Tan
Publisher:Oxford University Press (OUP)
Abstract: Summary: The ability to efficiently investigate transcription factor binding sites (TFBSs) genome-w…

Automated Error-Detection and Repair for Compositional Software Specifications

Author:D Alrajeh, R Craven
Publisher:Springer Science and Business Media LLC
Abstract: Abstract is not available.

Network-Aware Stream Query Processing in Mobile Ad-Hoc Networks

Author:D O'Keeffe, PR Pietzuch, T Salonidis
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Abstract is not available.
Privacy Policy
Powered by: