The paper extends the concepts of dominance and p-dissipativity to the non-smooth family of linear complementarity systems. Dominance generalizes incremental stability whereas p-dissipativity generalizes incremental passivity. The generalization aims at an interconnection theory for the design and analysis of switching and oscillatory systems. The approach is illustrated by a detailed study of ...

We formulate a sound and complete assume-guarantee framework for reasoning compositionally about safety properties of component behaviours. The specification of a component, which constrains the temporal ordering of input and output interactions with the environment, is expressed in terms of two prefix-closed sets of traces: an assumption and guarantee. The framework supports dynamic reasoning ...

A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the notions of holistic and incremental hyperproperties. Systems specified holistically tend to be more intuitive but difficult to reason about, whereas incremental specifications have a straightforward verification approach. Sinc...

We propose category theory, the mathematical theory of structure, as a vehicle for defining ontologies in an unambiguous language with analytical and constructive features. Specifically, we apply categorical logic and model theory, based upon viewing an ontology as a sub-category of a category of theories expressed in a formal logic. In addition to providing mathematical rigor, this approach ha...

Game theory has been successfully used to analyze situations in several areas, such as economics, politics, sociology and biology. The Incremental Funding Method (IFM) is a well known technique for optimizing the financial return of software projects under monopolistic conditions. This paper presents a new approach for the maximization of software projects’ financial returns under duopolistic s...

The authors hypothesized that reactions to performance feedback depend on whether one's lay theory of intelligence is supported or violated. In Study 1, following improvement feedback, all participants generally exhibited positive affect, but entity theorists (who believe that intelligence is fixed) displayed more anxiety and more effort to restore prediction confidence than did incremental the...

How people maintain and repair their self-esteem has been a topic of widespread interest. In this article, the authors ask, What determines whether people will use direct, remedial actions, or defensive actions? In three studies, they tested the hypothesis that a belief in fixed intelligence (entity theory) would produce defensiveness, whereas a belief in improvable intelligence (incremental th...

Nowacki in [1] presented a uniqueness theorem for the solutions of the initial boundary value problems in linear thermopiezoelectricity referred to a natural state, i.e., without initial fields. The equations of nonlinear thermoelectroelasticity were given in Tiersten [2]. Yang [3] then derived from [2] the equations for infinitesimal incremental fields superposed on finite biasing fields in a ...

the aim of the present study was to examine the effect of menstrual cycle on substrate metabolism, energy expenditure and performance during exhaustive incremental exercise in female students. for this purpose, 15 female students (mean age 21.17 ± 1.47 years, bmi 20.55 ± 1.71 kg/m2) participated voluntarily in this study. the design was adjusted in three stages: bleeding, follicular and the lat...

A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beliefs about previous input. Under some circumstances, such an error-correction capability might induce comprehenders to adopt grammatical analyses that are inconsistent with the true input. Here we present a formal model...