This project deals mainly with Differential Forms on smooth Riemannian manifolds and their applications through the properties of their classical Differential and Integral Operators. The calculus of Differential Forms ...

This project concerns Evolution Equations in Banach spaces and lies at the interface between Functional Analysis, Dynamical Systems, Modeling Theory and Natural Sciences. Evolution Equations include Partial Di erential ...

The cardinal goal to the study of theory of Partial Differential Equations (PDEs) is to insure or find out properties of solutions of PDE that are not directly at- tainable by direct analytical means. Certain function ...

This Project primarily falls into the field of Linear Functional Analysis and its Applications to Eigenvalue problems. It concerns the study of Compact Lin- ear Operators (i.e., bounded linear operators which map the ...

This project lies at the interface between Nonlinear Functional Anal- ysis, unconstrained Optimization and Critical point theory. It concerns mainly the Ambrosetti-Rabinowitz's Mountain Pass Theorem which is a min-max ...

This project is at the interface between Nonlinear Functional Analysis, Con- vex Analysis and Di erential Equations. It concerns one of the most powerful methods often used to solve optimization problems with constraints; ...

This project is at the interface between Analysis, Natural Sciences and Modeling Theory. It deals with Floquet Theory (also re ered to as Floquet-Lyapunov theory) which is the main tool of the theory of periodic ordinary ...

This work concerns one of the most important tools to solve well-posed problems in the the- ory of evolution equations (e.g di usion equation, wave equations, ...) and in the theory of stochastic process, namely the ...

Questions about controllability and stability arise in almost every dynamical system problem. As a result, controllability and stability are one of the most extensively studied subjects in system theory. A departure point ...

Multi-robot networks use wireless communication to provide wide-ranging services such as aerial surveillance and unmanned delivery. However, effective coordination between multiple robots requires trust, making them ...

Transferring data between ICs accounts for a growing proportion of system power in wearable and mobile systems. Reducing signal transitions reduces the dynamic power dissipated in this data transfer, but traditional ...

© 2017, Mathematical Sciences Publishers. All rights reserved.We study the space of oriented genus-g subsurfaces of a fixed manifold M and, in particular, its homological properties. We construct a “scanning map” which ...

We analyze reported patches for three existing generate-and-validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate systems is to accept only plausible patches that ...

While there has been an increase in the design and development of Personal Health Record (PHR) systems in the developed world, little has been done to explore the utility of these systems in the developing world. Despite ...

Clouds are an important feature of any real or simulated environment in which the sky is visible. Their amorphous, ever-changing and illuminated features make the sky vivid and beautiful. However, these features increase ...

Data matching, also referred to as data linkage or field matching, is a technique used to combine multiple data sources into one data set. Data matching is used for data integration in a number of sectors and industries; ...

It is well discussed and understood that there is still a need for suitable security for the Internet of Things. It is however still not clear how existing or emerging security paradigms can be effectively applied to a ...

We analyze reported patches for three existing generate-and-validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate systems is to accept only plausible patches that ...

We present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a large code database that contains many past successful human patches. It defines the probabilistic model ...

We present Targeted Automatic Patching (TAP), an automatic buffer and integer overflow discovery and patching system. Starting with an application and a seed input that the application processes correctly, TAP dynamically ...