Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Approaching the Coverability Problem Continuously

Author:A Finkel, A Finkel, A Kaiser, A Valmari, C Rackoff, E D’Osualdo, E Fraca, ED Sontag, G Delzanno, G Delzanno, G Geeraerts, G Geeraerts, J Esparza, J Esparza, J Kloos, K Cerans, KN Verma, L Bozzelli, L Moura de, P-A Reynier, SM German
Publisher:Springer Science and Business Media LLC
Abstract: The coverability problem for Petri nets plays a central role in the verification of concurrent shar…

Mining Unclassified Traffic Using Automatic Clustering Techniques

Author:Alessandro Finamore, Marco Mellia, Michela Meo
Publisher:pringe
Abstract: In this paper we present a fully unsupervised algorithm to identify classes of traffic inside an ag…

A resource-light approach to morpho-syntactic tagging

Author:Lieve Macken
Publisher:Oxford University Press (OUP)
Abstract: Abstract is not available.

Cheryl's Birthday

Author:Michael Ian Hartley, Barteld Kooi, Jerôme Lang, H van Ditmarsch, Jonathan Welton, Joseph B. W. Yeo
Publisher:Open Publishing Association
Abstract: We present four logic puzzles and after that their solutions. Joseph Yeo designed 'Cheryl's Birthda…

Interrupt Timed Automata: verification and expressiveness

Author:A Cimatti, A Pnueli, A Silberschatz, AP Sistla, B Bérard, B Bérard, B Bérard, Béatrice Bérard, C Courcoubetis, C Roos, E Asarin, E Asarin, E Fersman, EA Emerson, F Cassez, F Demichelis, G Behrmann, G Lafferriere, G Lafferriere, J McManis, JF Raskin, JP Queille, L Aceto, M Bozga, Mathieu Sassolas, ML Minsky, O Maler, P Bouyer, P Bouyer, P Bouyer, R Alur, R Alur, R Alur, R Alur, R Koymans, Serge Haddad, T Brihaye, T Brihaye, TA Henzinger, TA Henzinger, Y Kesten
Publisher:Springer Science and Business Media LLC
Abstract: We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited…

On-chip laser Doppler vibrometer for arterial pulse wave velocity measurement

Author:Roel Baets, Joris Dirckx, Yanlu Li, Patrick Segers
Publisher:The Optical Society
Abstract: Pulse wave velocity (PWV) is an important marker for cardiovascular risk. The Laser Doppler vibrome…

Probabilistic Graphical Models on Multi-Core CPUs using Java 8

Author:Hanen Borchani, Ana M. Martinez, Andres R. Masegosa
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: In this paper, we discuss software design issues related to the development of parallel computation…

Phylotastic! Making Tree-of-Life Knowledge Accessible, Reusable and Convenient

Author:Michael E. Alfaro, James P. Balhoff, Holly M. Bik, Joseph W. Brown, Karen Cranston, Helena Deus, Luke J. Harmon, Tracy A. Heath, Greg Jordan, Hilmar Lapp, Naim Matasci, Emily Jane McTavish, Peter E. Midford, Siavash Mirarab, Brian O'Meara, Matthew W. Pennell, Megan Pirrung, Enrico Pontelli, Michael S. Rosenberg, Brian Sidlauskas, Aaron Steele, Arlin Stoltzfus, Jeet Sukumaran, Gaurav Vaidya, Rutger Vos, Campbell O. Webb, Mark Westneat, Christian M. Zmasek
Publisher:
Abstract: Scientists rarely reuse expert knowledge of phylogeny, in spite of years of effort to assemble a gr…

Algorithm selection on data streams

Author:Geoffrey Holmes, Bernhard Pfahringer, Jan N. van Rijn, Joaquin Vanschoren
Publisher:Springer Science and Business Media LLC
Abstract: We explore the possibilities of meta-learning on data streams, in particular algorithm selection. I…

Frequency shifting approach towards textual transcription of heartbeat sounds

Author:Farshad Arvin, Shyamala Doraisamy, Ehsan Safar Khorasani
Publisher:pringe
Abstract: Auscultation is an approach for diagnosing many cardiovascular problems. Automatic analysis of hear…
Privacy Policy
Powered by: