In this paper‎, ‎we propose a modification of the second order method‎ ‎introduced in [‎‎Q. Li and ‎X‎. ‎Y. ‎Wu‎, A two-step explicit $P$-stable method for solving second order initial value problems‎, ‎textit{‎Appl‎. ‎Math‎. ‎Comput‎.}‎ {‎138}‎ (2003)‎, no. 2-3, ‎435--442‎] for the numerical solution of‎ ‎IVPs for second order ODEs‎. ‎The numerical results obtained by the‎ ‎new method for some...

a detailed study of ostracoda changes against the stable isotopes of carbon and oxygen acrossthe cenomanian-turonian boundary mass extinction has been fully documented in one section, the south ofengland. this section comprises the uppermost cenomanian to lowermost turonian strata. the comparisonbetween the results obtained in this research and two rival models for the cenomanian-turonian bound...

The remediation of groundwater contaminated with benzene, toluene, ethylbenzene, and the xylenes (BTEX) typically involves in situ biodegradation. Although the mechanisms of aerobic BTEX biodegradation in laboratory cultures have been well studied, less is known about the microorganisms responsible in mixed culture samples or at contaminated sites. In this study, the microorganisms responsible ...

Traceability and authentication of meat and meat products are major concern for consumers, producers and retailers. In Europe, several areas produce high quality dry cured hams under Protected Designation Origin. Efficient and objective methods must be developed to assess origin of dry cured hams. This paper is focused on methods to assess geographical origin, rearing systems and processing con...

BACKGROUND Antibody antioxidized low density lipoproteins (oxLDL) might play a role both in atherogenesis and in the pathogenesis of acute coronary syndromes. METHODS AND RESULTS Antibody titres to oxLDL and levels of C-reactive protein were compared in unstable angina, stable angina or peripheral artery disease. Antibody titres to LDL oxidated by CuSO(4)for 2, 4 and 18 h (Cu-oxLDL-Ab(2-4-18)...

An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stable models of logic programs are closely connected to stable expansions of a class of autoepistemic theories, this algorithm points to a link between stable expansions of a class of autoepistemic theories and ATMS struct...

A sufficient condition for uniqueness is identified on the preferences in the marriage problem, i.e. two-sided one-to-one matching with non transferable utility. For small economies this condition is also necessary. This class of preferences is broad and they are of particular relevance in economic applications.  2000 Elsevier Science S.A. All rights reserved.

We define the median stable matching for two-sided matching markets with wages and prove constructively that it exists. Journal of Economic Literature Classification Numbers: C71, C78.