Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Developing conceptual glossaries for the Latin vulgate bible.

Author:Andrew Wilson
Publisher:Oxford University Press (OUP)
Abstract: A conceptual glossary is a textual reference work that combines the features of a thesaurus and an …

Promoting independent learning skills using video on digital language laboratories

Author:Anderson G., Bailey R., Boud D., Debbie Wagener, Hammond M., Hill B., Peters O.
Publisher:Informa UK Limited
Abstract: This is the author's PDF version of an article published in Computer assisted language learning ¬©2…

Collaborative Filtering via Group-Structured Dictionary Learning

Author:F. Ricci, G. Takács, K. Goldberg, L. Bottou, R. Jenatton
Publisher:Springer Science and Business Media LLC
Abstract: Structured sparse coding and the related structured dictionary learning problems are novel research…

On Global Types and Multi-Party Session

Author:B. Genest, C. Chao, G. Castagna, K. Honda, K. Honda, K. Takeuchi, L. Bettini, L. Caires, M. Boreale, M. Bravetti, M. Bravetti, M. Bravetti, M. Carbone, M. Dezani-Ciancaglini, N. Yoshida, R. Milner, R.J. Parikh, Z. Qiu
Publisher:Logical Methods in Computer Science e.V.
Abstract: Global types are formal specifications that describe communication protocols in terms of their glob…

Statistical Model Checking for Stochastic Hybrid Systems

Author:Alexandre David, Alexandre David, Alexandre David, Alexandre David, Alexandre David, Alexandre David, Alexandre David, Amir Pnueli, Ananda Basu, Ananda Basu, Ananda Basu, Ansgar Fehnker, Axel Legay, Axel Legay, Cyrille Jegourel, Cyrille Jegourel, Daniel T. Gillespie, Danny B√∏gsted Poulsen, Dehui Du, Edmund Clarke, Ezio Bartocci, Gerd Behrmann, Haijun Gong, H√•kan L. S. Younes, Joost-Pieter Katoen, José M. G. Vilar, Jo√£o Martins, Kim G. Larsen, Kim Guldstrand Larsen, Koushik Sen, Luca Bortolussi, Marius Mikuƒçionis, Naama Barkai, Paolo Ballarini, Paolo Zuliani, Paolo Zuliani, Peter E. Bulychev, Peter E. Bulychev, Rajeev Alur, Rodolfo Gómez, Ron Koymans, S. Laplante, Sean Sedwards, Sumit Kumar Jha
Publisher:Open Publishing Association
Abstract: This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensio…

Reclaiming the energy of a schedule: models and algorithms

Author:Guillaume Aupy, Anne Benoit, Fanny Dufossé, Yves Robert
Publisher:Wiley
Abstract: We consider a task graph to be executed on a set of processors. We assume that the mapping is given…

Modular session types for objects

Author:António Ravara, Nils Gesbert, Simon J. Gay, T. Vasconcelos, Vasco
Publisher:Logical Methods in Computer Science e.V.
Abstract: Session types allow communication protocols to be specified type-theoretically so that protocol imp…

Management-related information on Spanish university library web pages

Author:Ana Reyes Pacios Lozano
Publisher:Emerald
Abstract: A typological analysis of the management-related documents that Spanish university libraries show o…

Evolutionary cellular configurations for designing feed-forward neural networks architectures

Author:Inés M. Galván, Germán Gutiérrez Sánchez, Pedro Isasi, José Manuel Molina López, Marúa Araceli Sanchis de Miguel
Publisher:Springer Science and Business Media LLC
Abstract: Proceeding of: 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2…

Coverage prediction and optimization algorithms for indoor environments

Author:Wout Joseph, Luc Martens, David Plets, Emmeric Tanghe, Kris Vanhecke
Publisher:Springer Science and Business Media LLC
Abstract: A heuristic algorithm is developed for the prediction of indoor coverage. Measurements on one floor…
Privacy Policy
Powered by: