finding a suitable estimation of stability domain around stable equilibrium points is an important issue in the study of nonlinear dynamical systems. this paper intends to apply a set of analytical-numerical methods to estimate the region of attraction for autonomous nonlinear systems. in mechanical and structural engineering, autonomous systems could be found in large deformation problems or c...

In this paper, we prove the applicability of the strong stability method to inventory models. Real life inventory problems are often very complicated and they are resolved only through approximations. Therefore, it is very important to justify these approximations and to estimate the resultant error. We study the strong stability in a periodic review inventory model with an (R, s, S) policy. Af...

Gravitational properties of domain walls in fundamental theory and their implications for the trapping of gravity are reviewed. In particular, the difficulties to embed gravity trapping configurations within gauged supergravity is reviewed and the status of the domain walls obtained via the breathing mode of sphere reduced Type IIB supergravity is presented.

Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped λ-calculus with pattern matching and term rewriting which has the property that a term is strongly normalising if its value is not ⊥. There are no disjointness or confluence conditions imposed on the rewrite rules, and under a mild but necessary condition completeness of the method i...

By studying the partition function of N = 4 topologically twisted supersymmetric Yang-Mills on four-manifolds, we make an exact strong coupling test of the Montonen-Olive strong-weak duality conjecture. Unexpected and exciting links are found with two-dimensional rational conformal field theory. One of the most remarkable known quantum field theories in four dimensions is the N = 4 supersymmetr...

If in the classical S-category P, 1) continuous mappings are replaced by compact-open strong shape (= coss) morphisms (cf. §1 or [1], §2), and 2) ∧-products are properly reinterpreted, then an S-duality theorem for arbitrary subsets X ⊂ S (rather than for compact polyhedra) holds (Theorem 2.1). 0. Introduction. In a previous paper [1] we introduced the concept of coss-shape (compact-open strong...

We study the strong approximation of a Backward SDE with finite stopping time horizon, namely the first exit time of a forward SDE from a cylindrical domain. We use the Euler scheme approach of [4, 29]. When the domain is piecewise smooth and under a non-characteristic boundary condition, we show that the associated strong error is at most of order h 1 4 −ε where h denotes the time step and ε i...

One of the essential components of a branch-and-bound based mixed-integer linear programming (MIP) solver is the branching rule. Strong branching is a method used by many state-of-the-art branching rules to select the variable to branch on. It precomputes the dual bounds of potential child nodes by solving auxiliary linear programs (LPs) and thereby helps to take good branching decisions that l...