Recently developed kinetic theory for neuronal network dynamics has been demonstrated to be a powerful theoretical framework for investigating coarse-grained dynamical properties of neuronal networks. The kinetic equations are a system of (1+1)dimensional nonlinear partial differential equations (PDE) on a bounded domain with the following features: (i) the boundary conditions are nonlinear and...

When implementing production software for fixed-point engine control units (ECUs) it is important to consider the code optimization and code verification strategies for the embedded algorithms. System and software engineers work together to design algorithms that satisfy the system performance requirements without significant numerical quantization results. Software engineers and suppliers in m...

The purpose of this note is to strengthen the results of [3 ] and to indicate a very brief derivation of some theorems announced without proof in [ l ; 3 ] . We begin by indicating a correction to [3]. Let Si and S2 be Riemann surfaces, ƒ an orientation preserving (orientation reversing) homeomorphism of bounded eccentricity of Si onto 52 and [ƒ] the homotopy class of/; then (Si, [ƒ], S2) is ca...

Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce differential dynamic logic as a new logic with which correctness properties of hybrid...

Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce differential dynamic logic as a new logic with which correctness properties of hybrid...

We present an approach for blind separation of acoustic sources produced from multiple speakers mixed in realistic room environments. We first transform recorded signals into the time-frequency domain to make mixing become instantaneous. We then separate the sources in each frequency bin based on an independent component analysis (ICA) algorithm. For the present paper, we choose the complex ver...

In this paper, we work with the notion of the measure of nonhyperconvexity introduced by Cianciaruso and De Pascale [6] in order to obtain new fixed-point theorems in hyperconvex metric spaces. This class of metric spaces was introduced by Aronszajn and Panitchpakdi [1] in 1956 to study problems on extension of uniformly continuous mappings. Several and interesting properties of these spaces we...

semantic properties is repeated here. Instead of mapping the intended domain on the Herbrand Universe and using specialized unification, programming is done directly in the intended domain using its natural constraints. We thus use an algebraic framework as well as a logic programming one. This revision of the scheme is called CLP which stands for Constraint Logic Programming. A CLP program con...

This report addresses a number of issues involving fixed-point arithmetic in Ada. A number of possible Ada 9X requirements are suggested for consideration. Ada includes a facility for declaration of and arithmetic on fixed-point values. The model is deliberately intended to be as close as possible to the Ada floating-point model, including the notion of model numbers and model intervals. The ma...

Model-based numerical analysis is an important branch of the model-based performance evaluation. Especially state-oriented formalisms and methods based on Markovian processes, like stochastic Petri nets and Markov chains, have been successfully adopted because they are mathematically well understood and allow the intuitive modeling of many processes of the real world. However, these methods are...