We study physical situation considered by Einstein (Ann. Physik, 17, 1905) for his first derivation of mass-energy equivalence and show that the derivation includes hidden conditions which jeopardize correctness and completeness of Einstein’s derivation for the mass-energy equivalence.

We study the problem of answering instance queries over non-Horn ontologies by rewriting them into Datalog programs or FirstOrder queries (FOQs). We consider the basic non-Horn language ELU , which extends EL with disjunctions. Both Datalog-rewritability and FOrewritability of instance queries have been recently shown to be decidable for ALC ontologies (and hence also for ELU); however, existin...

In this paper we study first order optimality conditions for the class of generalized semi-infinite programming problems (GSIPs). We extend various wellknown constraint qualifications for finite programming problems to GSIPs and analyze the extent to which a corresponding Karush-Kuhn-Tucker (KKT) condition depends on these extensions. It is shown that in general the KKT condition for GSIPs take...

The fragmentation process of primordial-gas cores during prestellar collapse is studied using three-dimensional nested-grid hydrodynamics. Starting from the initial central number density of nc ∼ 10 cm, we follow the evolution of rotating spherical cores up to the stellar density nc ≃ 10 cm. An initial condition of the cores is specified by three parameters: the ratios of the rotation and therm...

Abstrac t . There are well-known first-order sufficient conditions for a point x o to be a strict locally optimal solution of a nonlinear programming problem. In this paper, we show that these conditions also guarantee that Xo is an isolated stationary point of the considered program provided a constraint qualification holds. This result has an interesting application to finite convergence of a...

In this paper, we present an impulsive version of Filippov's Theorem for the first-order nonresonance impulsive differential inclusion y (t) − λy(t) ∈ F (t, y(t)), a.e. characterize the jump of the solutions at impulse points t k (k = 1,. .. , m.). Then the relaxed problem is considered and a Filippov-Wasewski result is obtained. We also consider periodic solutions of the first order impulsive ...