the present work is the successful extension of an improved equation of state (eos) to refrigerant fluids. the objective is the prediction of isothermal and saturated liquid densities of refrigerants. two temperature-independent parameters appearing in the modified eos are closely related to critical point properties of refrigerant fluids. our results showed that, the proposed eos can predict w...

Given a graph F , a graph G is uniquely F -saturated if F is not a subgraph of G and adding any edge of the complement to G completes exactly one copy of F . In this paper we study uniquely Ct-saturated graphs. We prove the following: (1) a graph is uniquely C5-saturated if and only if it is a friendship graph. (2) There are no uniquely C6-saturated graphs or uniquely C7-saturated graphs. (3) F...

A graph G is uniquely Kr-saturated if it contains no clique with r vertices and if for all edges e in the complement, G + e has a unique clique with r vertices. Previously, few examples of uniquely Kr-saturated graphs were known, and little was known about their properties. We search for these graphs by adapting orbital branching, a technique originally developed for symmetric integer linear pr...

We give an exposition of results of Baldwin-Shelah [2] on saturated free algebras, at the level of generality of complete first order theories T with a saturated model M which is in the algebraic closure of an indiscernible set. We then make some new observations when M is a saturated free algebra, analogous to (more difficult) results for the free group, such as a description of forking.

Motivated both by the work of Anstee, Griggs, and Sali on forbidden submatrices and also by the extremal sat-function for graphs, we introduce sat-type problems for matrices. Let F be a family of k-row matrices. A matrix M is called F-admissible if M contains no submatrix F ∈ F (as a row and column permutation of F ). A matrix M without repeated columns is F-saturated if M is F-admissible but t...

In this paper, we introduce the concepts of saturated T syntopogenous spaces and we prove basic properties of this spaces. We show that the category of perfect saturated T -syntopogenous spaces is isomorphic to category of I -topological spaces 2010 AMS Classification: 54A40

the dysesthesia and paresthesia that occurs in laboratory rats after spinal cord injury (sci) results in autophagia. this self-destructive behavior interferes with functional assessments in designed studies and jeopardizes the health of the injured rat. in this study, we evaluated role of saturated picric acid in the prevention of autophagia and self-mutilation. all rats were anesthetized with ...

You will use a tunable diode laser to carry out spectroscopic studies of the rubidium atom. You will measure the Doppler-broadened absorption profiles of the D2 transitions at 780 nm and then use the technique of saturated absorption spectroscopy to improve the resolution beyond the Doppler limit and measure the nuclear hyperfine splittings, which are less than 1 ppm of the wavelength. A FabryP...

Compact codes, recently introduced (ref. 1), have been applied to all known bicyclic saturated hydrocarbons as the first step in a systematic deriving compact codes for more complex ring systems. The codes are compared with IUPAC nomenclature for bicyclic compounds, as well as with WLN (Wiswesser Line Notation). Advantages of the compact codes are outlined, including qualified algebraic manipul...

In many systems the state variables are defined on a compact set of the state space. To estimate the states of such systems, the constrained particle filters have been used with some success. The performance of the standard particle filters can be improved if the measurement information is used during the importance sampling of the filtering phase. It has been shown that the particles obtained ...