We characterize the boundary ∂Σ of the solution set Σ of a parametric linear system A(p)x = b(p) where the elements of the n×n matrix and the right-hand side vector depend on a number of parameters p varying within interval bounds. The characterization of ∂Σ is by means of pieces of parametric hypersurfaces, the latter represented by their coordinate functions depending on corresponding subsets...

Mortar samples were saturated with NaCl solutions of various concentrations and subjected to freeze– thaw cycles. Passive and active acoustic emission (AE) testing was conducted. The freezing temperature of the NaCl solutions in mortar corresponded with the sudden observation of passive AE events. The acoustic energy and damage parameter were calculated to evaluate the extent of freeze–thaw dam...

The diagnosis of polycythaemia vera (PV) has been established upon sets of clinical criteria, which require the presence of absolute erythrocytosis (AE). The most recent clinical criteria for PV, published by the World Health Organization (WHO) in 2001, also required AE, and stated that the measured red cell mass (RCM) could be replaced by a surrogate marker for AE; a haemoglobin (Hb) value of ...

∂tφ+ ∂xf(φ) = 0, φ(x, 0) = φ0(x). In particular, when two components take the same initial value as φ0, the exact solution of conservation laws is precisely captured by the approximate system. In this paper we develop a class of local Alternating Evolution (AE) schemes, where we take advantage of high accuracy of the AE approximation. Our approach is based on a sliding average of the AE system ...

We consider the problem of under and over-approximating image general vector-valued functions over bounded sets, apply proposed solution to estimation reachable sets uncertain non-linear discrete-time dynamical systems. Such a combination over-approximations is very valuable for verification properties controlled Over-approximations prove correct, while under-approximations can be used falsific...

Execution Originally a program flow analysis for sequential programs [Gustafsson et al, 2006] Finds constraints on program flow through a kind of symbolic execution – “abstract execution” (AE) AE executes the program with abstract states, representing sets of real (“concrete”) states Can be seen as a a kind of value analysis (abstract interpretation) We have extended it with time [Gustafsson et...

carum copticum is a grassy and annual plant which is believed to have several therapeutic effects, including anti-asthmatic properties. we have therefore studied the bronchodilatory and anticholinergic effects of 4 rnl aqueous extract (ae), 0.0 5 ml ethanol extract (ee), and 0.0 0 5 ml essential oil (eo) of carum copticum and 1 rnl of a 5 mm solution of its main ingredient, thymol (t), in compa...

studies of postmeiotic chromosomes have been impeded by the thick exine of immature pollen grains. chromosome staining of immature and adult pollen grains through conven-tional acetocarmine procedure is tedious and often leads to unsatisfactory results. an acetocarmine stain, used in conjugation with carnoy’s solution as fixative for 72 hrs or until the chlorophyll-containing tissues of spike b...