Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

A Bayesian model averaging approach to the quantification of overlapping peptides in an MALDI-TOF mass spectrum.

Author:Kasim Adetayo, Valkenborg Dirk, Zhu Qi, Burzykowski Tomasz
Publisher:Hindawi Limited
Abstract: In a high-resolution MALDI-TOF mass spectrum, a peptide produces multiple peaks, corresponding to t…

Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions

Author:Han Chen, Pasquale Malacaria
Publisher:Open Publishing Association
Abstract: When studying the information leakage in programs or protocols, a natural question arises: "what is…

Contracts for Abstract Processes in Service Composition

Author:Axel Legay, Benoît Caillaud, Cosimo Laneve, Giuseppe Castagna, Giuseppe Castagna, Hernán Melgratti, Kohei Honda, M. Boreale, M. Bravetti, M. Hennessy, M.G. Buscemi, Maria Grazia Buscemi, Mariangiola Dezani-Ciancaglini, R. De Nicola, R. Milner, Simon J. Gay
Publisher:Open Publishing Association
Abstract: Contracts are a well-established approach for describing and analyzing behavioral aspects of web se…

FO(FD): Extending classical logic with rule-based fixpoint definitions

Author:Abiteboul, Baader, Baelde, Barwise, Bradfield, BROES DE CAT, Cotton, Denecker, Friedmann, Gupta, Janhunen, Keinänen, Liu, MARC DENECKER, Nieuwenhuis, Park, PING HOU, Syrjänen, Tseitin, Vennekens, Wittocx
Publisher:Cambridge University Press (CUP)
Abstract: We introduce fixpoint definitions, a rule-based reformulation of fixpoint constructs. The logic FO(…

Learning Mazes with Aliasing States: An LCS Algorithm with Associative Perception

Author:Anthony Bagnall, L. Bull, L. Bull, M.V. Butz, M.V. Butz, A.R. Cassandra, P. Gerard, J. Hoffman, J.H. Holland, M. Holmes, J. Hurst, P.L. Lanzi, P.L. Lanzi, P.L. Lanzi, M.L. Littman, M.L. Littman, A.R. McCallum, K. Miyazaki, M. Métivier, C. Nevison, T. O'Hara, I.P. Pavlov, J. Pear, S. Russell, B.F. Skinner, M. Studley, R.S. Sutton, E.L. Thorndike, Z.V. Zatuchna, Z.V. Zatuchna, Z.V. Zatuchna, Zhanna V. Zatuchna
Publisher:SAGE Publications
Abstract: Learning classifier systems (LCSs) belong to a class of algorithms based on the principle of self-o…

Performance and Power Analysis of HPC Workloads on Heterogenous Multi-Node Clusters

Author:Enrico Calore, Filippo Mantovani
Publisher:MDPI AG
Abstract: Performance analysis tools allow application developers to identify and characterize the inefficien…

NIIF FULL: Una guía práctica para su aplicación

Author:López-Pérez, Quiñónez-Cabeza, and Preciado-Ramírez
Publisher:Editorial Grupo AEA
Abstract: El presente manual de NIIF proporciona una visión completa y detallada de los principales aspectos …

Mobile TFRC: a congestion control for WLANs

Author:Michel Diaz, Emmanuel Lochin, Patrick Sénac, Lei Zhang
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Based on an identification and evaluation of the subtle counterproductive interactions between the …

A methodology for the lightweight design of modern transfer machine tools

Author:Omar Cavalli, Dario Croccolo, Massimiliano De Agostinis, Stefano Fini, Giorgio Olmi, Francesco Robusto, Nicol\uf2 Vincenzi
Publisher:MDPI AG
Abstract: This paper deals with a modern design approach via finite elements in the definition of the main st…

Energy efficiency analysis of high speed triple-play services in next-generation PON deployments

Author:Didier Colle, Abhishek Dixit, Sofie Lambert, Bart Lannoo, J Montalvo, Mario Pickavet, JA Torrijos, P Vetter
Publisher:Elsevier BV
Abstract: Abstract is not available.
Privacy Policy
Powered by: