A growing need exists for a quantitative measure of inspection effectiveness as an input to quantitative riskinformed in-service inspection (RI-ISI). A Probability of Detection (POD) curve could provide a suitable metric, but there can be significant problems associated with generating realistic POD curves by practical trials. The ENIQ inspection qualification methodology is used to provide hig...

In the following reflections on the understanding of truth in regard to Christian faith (or even in regard to religious faith, experience, and language in general), I advocate a relational interpretation of truth. Truth in that sense is understood not primarily as an intellectual assertion but as a qualification of a dynamic, existential, personal relation. Truth is the trustworthiness of that ...

For a general infinite system of convex inequalities in a Banach space, we study the basic constraint qualification and its relationship with other fundamental concepts, including various versions of conditions of Slater type, the Mangasarian–Fromovitz constraint qualification, as well as the Pshenichnyi–Levin–Valadier property introduced by Li, Nahak, and Singer. Applications are given in the ...

Robotics evolved as a central issue in teaching for scientific and engineering disciplines. Robotics inherently encompasses a spectrum of sciences and technologies and qualification levels. However, most current teaching approaches, related to robotics, concentrate on individual aspects or small student groups. In this paper we present the mixed-reality robotics educational approach. With our m...

Mathematical Program with Complementarity Constraints (MPCC) plays a very important role in many fields such as engineering design, economic equilibrium, multilevel game, and mathematical programming theory itself. In theory its constraints fail to satisfy a standard constraint qualification such as the linear independence constraint qualification (LICQ) or the Mangasarian-Fromovitz constraint ...

4 This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which Slater’s constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require Slater’s con...

In this paper we study nonlinear programming problems with equality, inequality, and abstract constraints where some of the functions are Fréchet differentiable at the optimal solution, some of the functions are Lipschitz near the optimal solution, and the abstract constraint set may be nonconvex. We derive Fritz John type and Karush–Kuhn–Tucker (KKT) type first order necessary optimality condi...

As a consequence of falling relative demand for low skilled labor in the OECD, people with no or minor qualification experience a deterioration of their economic situation. While flexible labor markets have led to higher wage differentials in the USA, the major problem of most European countries is the high rate of unemployment of the low skilled. To integrate currently discussed determinants o...

The SubProject 7 “Virtual Testing” [1] of the 7 FP Project APROSYS (Advanced PROtection SYStems) was aimed at development of a complete and consistent methodology for the implementation of the virtual testing of vehicles for safety improvement. Recall that by Virtual Testing we imply any analytical certification procedure which uses experimental and numerical simulation methods [2]. To achieve ...

BACKGROUND People with poor OHL have the highest level of oral diseases and the worst oral treatment results. The main aim of the present study was to investigate the degree of knowledge of the role of the dental hygienist in patients who go to a public dental facility for the first time. MATERIAL AND METHODS A semi-structured questionnaire was administered to the patients with the "face-to-f...