Software engineers have identified many problem areas regarding the development of software. There is a need for improving system and program quality at design level, ensuring that design costs remain within the budget, ...

© 2017 American Physical Society. A computational framework is proposed for the linear modal and nonmodal analysis of fluid systems consisting of a periodic array of n identical units. A formulation in either time or ...

This paper presents new stability results for matrix Wiener–Hopf factorization. The first part of the paper examines conditions for stability of Wiener–Hopf factorization in the Daniele–Khrapkov class. The second part of ...

In this research work, we study and analyse Hindmarsh-Rose neuronal system with time delay. Considering the fast sub-system of the model, all the possible non-negative equilibria are obtained and their local as well as ...

We study the mean-field limit of the Kuramoto model of globally coupled oscillators. By studying the evolution in Fourier space and understanding the domain of dependence, we show a global stability result. Moreover, we ...

In this thesis, the stability of the family of subextremal Kerr-Newman space- times is studied in the case of linear scalar perturbations. That is, nondegenerate energy bounds (NEB) and integrated local energy decay ...

It is known theoretically that infinitely long fluid loaded plates in mean flow exhibit a range of unusual phenomena in the 'long time' limit. These include convective instability, absolute instability and negative energy ...

Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of ...

We derive stability criteria for saddle points of a class of nonsmooth optimization problems in Hilbert spaces arising in PDE-constrained optimization, using metric regularity of infinite-dimensional set-valued mappings. ...

The stability of steady convective exchange flow with a rectangular planform in an unbounded three-dimensional porous medium is explored. The base flow comprises a balance between vertical advection with amplitude A in ...

This work is based on notes provided by Manuel Blum, which are paraphrased in section I, and which contain the examples used in the appendix. The main portion of this report was written by Bernard Neumann, who generalized ...

An increasing number of parameter estimation tasks involve the use of at least two information sources, one complete but limited, the other abundant but incomplete. Standard algorithms such as EM (or em) used in this context ...

Thousands of competing autonomous systems (ASes) mustcooperate with each other to provide global Internet connectivity.These ASes encode various economic, business,and performance decisions in their routing policies. The ...

We prove Wise’s W-cycles conjecture: Consider a compact graph Γ′ immersing into another graph Γ. For any immersed cycle Λ : S¹ → Γ, we consider the map Λ′ from the circular components S of the pullback to Γ′. Unless Λ′ is ...

We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR s staged repair strategy combines a rich space of potential repairs with a ...

We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR's staged repair strategy combines a rich space of potential repairs with a ...

This paper describes a fully implemented computational architecture that controls the Utah-MIT dextrous hand and other complex robots. Robots like the Utah-MIT hand are characterized by large numbers of actuators and ...

We have designed the Standard Map Machine(SMM) as an answer to the intensive computational requirements involved in the study of chaotic behavior in nonlinear systems. The high-speed and high-precision performance of ...

This thesis constitutes a first attempt to derive aspects of standard model particle physics from little more than an algebra. Here, we argue that physical concepts such as particles, causality, and irreversible time may ...

This is the first of a two-part presentation which deals with certain computer controlled manipulator problems. This first part discusses a model which is designed to address problems of motor control, motor learning, ...