→ study of elastic-plastic oscillators with noise 2 References in Engineering literature: → an elasto-plastic model with noise (Karnopp & Scharton, 1966) → estimation of the variance of the deformation (Feau, 2007) 2 / 44 Motivation: risk analysis of failure for mechanical structures under random forcing

We develop a mathematical framework of continuum neural field theory as the beginning point for an analysis of the global brain. Arguments for and against this approach are developed. Applications to cortical dynamics and learning in somato-sensory cortex, visual cortex and motor control

the semantic web formalisms nor the Conceptual Graphs Formalism are suitable for this task, and we justify the introduction of the new Unit Graphs (UGs) framework. We introduce the fundamental concepts of the UGs mathematical framework: the Unit Types hierarchy and the Unit Graphs. We then show how they may

Learning, planning, and representing knowledge at multiple levels of temporal abstraction are key, longstanding challenges for AI. In this paper we consider how these challenges can be addressed within the mathematical framework of reinforcement learning and Markov decision processes (MDPs). We

The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus with dependent types. Syntax is treated in a style similar to, but more general than, Martin-Lof's system

Abstract not found

Semantic analysis of programs is essential in optimizing compilers and program verification systems. It encompasses data flow analysis, data type determination, generation of approximate invariant

This thesis defines a set of program restructuring operations (refactorings) that support the design, evolution and reuse of object-oriented application frameworks. The focus of the thesis is on automating the refactorings in a way that preserves the behavior of a program. The refactorings

This work has been performed in collaboration with Simon K.

A mathematical framework for steganalysis is presented in this paper with linear steganography being the main focus. A mathematically formal definition of steganalysis is given. Then, active steganalysis defined as the extraction of a hidden message with little or no a priori information