Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Lexical definition

Publications associées (25)

Online Authenticated-Encryption and its Nonce-Reuse Misuse-Resistance

Damian Vizár, Reza Reyhanitabar

A definition of online authenticated-encryption (OAE), call it OAE1, was given by Fleischmann, Forler, and Lucks (2012). It has become a popular definitional target because, despite allowing encryption to be online, security is supposed to be maintained ev ...

Springer2015

Bivariate Matrix Functions

Daniel Kressner

A definition of bivariate matrix functions is introduced and some theoretical as well as algorithmic aspects are analyzed. It is shown that our framework naturally extends the usual notion of (univariate) matrix functions and allows to unify existing resul ...

Element2014

Morphological Computation and Morphological Control: Steps Toward a Formal Theory and Applications

Morphological computation can be loosely defined as the exploitation of the shape, material properties, and physical dynamics of a physical system to improve the efficiency of a computation. Morphological control is the application of morphological computi ...

Mit Press2013

Some considerations on wearable antennas

Anja Skrivervik, Jovanche Trajkovikj

There has been a huge increase in interest for wearable communication devices in the last ten years. Applications are manifold, ranging from rescue to fashion over medical devices and safety, leading to the definition of new standards for Body Area Network ...

Ieee2013

Towards a Theory of Glue

Simon Bliudze

We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a setting sufficiently general to provide insight into how the component-base ...

2012