The paper deals with the constitutive relation error (CRE) concept which has been widely used over the last 40 years for verification and validation of computational mechanics models. It more specifically focuses on the beneficial use of model reduction based on proper generalized decomposition (PGD) into this CRE concept. Indeed, it is shown that a PGD formulation can facilitate the constructi...

This paper is devoted to the exact resolution of a strongly NP -hard resource-constrained scheduling problem, the Process Move Programming problem, which arises in relation to the operability of certain high-availability real-time distributed systems. Based on the study of the polytope defined as the convex hull of the incidence vectors of the admissible process move programs, we present a bran...

In this paper we study two lattices of significant particular closure systems on a finite set, namely the union stable closure systems and the convex geometries. Using the notion of (admissible) quasi-closed set and of (deletable) closed set we determine the covering relation ≺ of these lattices and the changes induced, for instance, on the irreducible elements when one goes from C to C ′ where...

Dirac cohomology is a new tool to study unitary and admissible representations of semisimple Lie groups. It was introduced by Vogan and further studied by Kostant and ourselves [V2], [HP1], [K4]. The aim of this paper is to study the Dirac cohomology for the Kostant cubic Dirac operator and its relation to Lie algebra cohomology. We show that the Dirac cohomology coincides with the correspondin...

In a recent survey of the literature on the relation between information and confirmation, Crupi and Tentori (2014) claim that the former is a fruitful source of insight into the latter, with two well-known measures of confirmation being definable purely information-theoretically. I argue that of the two explicata of semantic information (due originally to Bar Hillel and Carnap) which are consi...

A new discretization concept for optimal control problems with control constraints is introduced which utilizes for the discretization of the control variable the relation between adjoint state and control. Its key feature is not to discretize the space of admissible controls but to implicitly utilize the first order optimality conditions and the discretization of the state and adjoint equation...

Call a set of integers {b1, b2, . . . , bk} admissible if for any prime p, at least one congruence class modulo p does not contain any of the bi. Let ρ ∗(x) be the size of the largest admissible set in [1, x]. The Prime k-tuples Conjecture states that any for any admissible set, there are infinitely many n such that n+b1, n+b2, . . . n+bk are simultaneously prime. In 1974, Hensley and Richards ...

This paper concerns character sheaves of connected reductive algebraic groups defined over non-Archimedean local fields and their relation with characters of smooth representations. Although character sheaves were devised with characters of representations of finite groups of Lie type in mind, character sheaves are perfectly well defined for reductive algebraic groups over any algebraically clo...

Abstract. In this paper we consider the hyperbolic-elliptic system of two conservation laws that describes the dynamics of an elastic material governed by a non-monotone strain-stress function. Following Abeyaratne and Knowles, we propose a notion of admissible weak solution for this system in the class of functions with bounded variation. The formulation includes an entropy inequality, a kinet...

By using the concept of the weak subordination, we examine the stability a class of analytic functions in the unit disk is said to be stable if it is closed under weak subordination for a class of admissible functions in complex Banach spaces. The stability of analytic functions in the following classes is discussed: Bloch class, little Bloch class, hyperbolic little Bloch class, extend Bloch c...