Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Whitman Calculus

Author:Guichard
Publisher:David Guichard
Abstract: An introductory level single variable calculus book, covering standard topics in differential and i…

ACon: A learning-based approach to deal with uncertainty in contextual requirements at runtime

Author:Daniela Damian, Javier Franch Gutiérrez, Alessia Knauss, Haussi A. Mçller, Angela Rook, Alex Thomo
Publisher:Elsevier BV
Abstract: Context: Runtime uncertainty such as unpredictable operational environment and failure of sensors t…

Blind Interference Alignment in General Heterogeneous Networks

Author:Oliver Johnson, Vaia Kalokidou, Robert Piechocki
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Heterogeneous networks have a key role in the design of future mobile communication networks, since…

Specifying computer-supported collaboration scripts

Author:A. Harrer, A. King, A. King, A. King, A. M. O’Donnell, A. M. O’Donnell, A. S. Palincsar, A. Weinberger, Andreas Harrer, Armin Weinberger, B. Barron, B. Rosenshine, B. Y. White, C. Boxtel Van, D. F. Dansereau, D. L. Schwartz, E. Aronson, E. G. Cohen, Frank Fischer, I. Kollar, J. A. Bargh, J. Haake, Lars Kobbe, M. Baker, N. M. Webb, N. M. Webb, N. Webb, P. Dillenbourg, P. Dillenbourg, Pierre Dillenbourg, Päivi Häkkinen, R. D. Pea, R. J. Hamilton, Raija Hämäläinen
Publisher:Springer Science and Business Media LLC
Abstract: Collaboration scripts are activity programs which aim to foster collaborative learning by structuri…

Effective representation of RT-LOTOS terms by finite time petri nets

Author:A. Baltag, C. Stirling, D. Harel, J. Gerbrandy, J.A. Bergstra, J.F.A.K. Benthem van, L. Caires, L. Caires, L. Cardelli, M. Dam, M. Hennessy, P.F. Syverson, R. Fagin, R. Milner, R. Milner, W. Charatonik, W. Charatonik
Publisher:Springer Science and Business Media LLC
Abstract: The paper describes a transformational approach for the specification and formal verification of c…

An Efficient hardware implementation of the tate pairing in characteristic three

Author:Giray Komurcu, Giray Kömçrcç, Erkay Savas, Erkay Sava≈ü
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: DL systems with bilinear structure recently became an important base for cryptographic protocols su…

A Formal Theory of Key Conjuring

Author:V. Cortier, Stéphanie Delaune, G. Steel
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly c…

A Novel Gaussian Extrapolation Approach for 2D Gel Electrophoresis Saturated Protein Spots

Author:Alfonso Caiazzo, Berth, Cannistraci, Clark, Daszykowski, dos Anjos, Elisa Ficarra, Enrico M. Bucci, Görg, Hortin, Kaczmarek, Maresca, Massimo Natale, Matuzeviƒçius, Maurer, Miller, Millioni, Natale, O‚ÄôFarrel, Serackis, Srinark, Sternberg, Wheelock
Publisher:lsevie
Abstract: Analysis of images obtained from two-dimensional gel electrophoresis (2D-GE) is a topic of utmost i…

Steady-State movement related potentials for brain–computer interfacing

Author:RC Miall, K Nazarpour, P Praamstra, Saeid Sanei
Publisher:nstitute of Electrical and Electronics Engineer
Abstract: An approach for brain-computer interfacing (BCI) by analysis of steady-state movement related poten…

Flexible hybrid WDM/TDM PON architectures using wavelength selective switches

Author:Didier Colle, Goutam Das, Piet Demeester, Abhishek Dixit, Bart Lannoo, Mario Pickavet
Publisher:Elsevier BV
Abstract: Abstract is not available.
Privacy Policy
Powered by: