Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

MaSiF: Machine learning guided auto-tuning of parallel skeletons

Author:Murray Cole, Alexander Collins, Christian Fensch, Hugh Leather
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Abstract is not available.

Evaluation of live human-computer music-making: Quantitative and qualitative approaches

Author:N Bryan-Kinns, MD Plumbley, A Robertson, D Stowell
Publisher:Elsevier BV
Abstract: NOTICE: this is the author‚Äôs version of a work that was accepted for publication in International…

Permission-Based Separation Logic for Multithreaded Java Programs

Author:Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin
Publisher:Logical Methods in Computer Science e.V.
Abstract: This paper presents a program logic for reasoning about multithreaded Java-like programs with dynam…

Coauthor prediction for junior researchers

Author:P Brusilovsky, S Han, D He, Z Yue
Publisher:Springer Science and Business Media LLC
Abstract: Research collaboration can bring in different perspectives and generate more productive results. Ho…

Isotactics as a foundation for alignment and abstraction of behavioral models

Author:Artem Polyvyanyy, Matthias Weidlich, Mathias Weske
Publisher:pringe
Abstract: There are many use cases in business process management that require the comparison of behavioral m…

Epidemic spreading on preferred degree adaptive networks

Author:Shivakumar Jolad, Wenjia Liu, Beate Schmittmann, Beate Schmittmann, R. Zia
Publisher:Public Library of Science (PLoS)
Abstract: We study the standard SIS model of epidemic spreading on networks where individuals have a fluctuat…

Infrared evidence of a Slater metal-insulator transition in NaOsO3

Author:Masao Arai, Paola Di Pietro, Odeta Limaj, Stefano Lupi, Andrea Perucchi, Ulrich Schade, Ying Sun, Irene Lo Vecchio, Kazunari Yamaura
Publisher:Springer Science and Business Media LLC
Abstract: The magnetically driven metal-insulator transition (MIT) was predicted by Slater in the fifties. He…

Browsing a digital library: A new approach for the New Zealand digital library

Author:Sally Jo Cunningham, Dana McKay
Publisher:Springer Science and Business Media LLC
Abstract: Browsing is part of the information seeking process, used when information needs are ill-defined or…

Sometimes the Internet reads the question wrong: children’s search strategies & difficulties

Author:Sally Jo Cunningham, Annika Hinze, Nicholas Vanderschantz
Publisher:Wiley
Abstract: When children search for information on a given topic, how do they go about searching for and retri…

Predictive input delay compensation for motion control systems

Author:Eray Abdurrahman Baran, Asif Sabanovic, Asif Şabanoviç
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: This paper presents an analytical approach for the prediction of future motion to be used in input …
Privacy Policy
Powered by: