A note on Grzegorczyk's logic

Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively: Grz corresponds (in ZF) to a class of frames, which does not provably coincide with upwards well‐founded posets in ZF alone. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Monotone strain-stress models for shape memory alloys hysteresis loop and pseudoelastic behaviorx

To describe the behavior of Shape Memory Alloy we use a thermomechanical model, founded on a free energy which is a convex function with respect to the strain and to the martensitic volume fraction, and a concave one with respect to the temperature. The material parameters of the model are experimentally determined.Received: November 26, 2001; revised: March 20, 2002     

Eine colorimetrische Methode zur Bestimmung von ?thylenchlorhydrin

Ohne Zusammenfassung     

Morse theory from an algebraic viewpoint

Forman's discrete Morse theory is studied from an algebraic viewpoint, and we show how this theory can be extended to chain complexes of modules over arbitrary rings. As applications we compute the homologies of a certain family of nilpotent Lie algebras, and show how the algebraic Morse theory can be used to derive the classical Anick resolution as well as a new two-sided Anick resolution.

     

Oscillation of solutions of impulsive nonlinear parabolic differential-difference equations

Sufficient conditions for oscillation of the solutions of impulsive nonlinear parabolic differential-difference equations are obtained.     

Is combining meta‐GGA correlation functionals with the OPTX exchange functional useful?

The recent generalized gradient approximation (GGA) density functional OCS1 of Handy and Cohen is implemented in the deMon code and tested on a carefully selected set of problems. OCS1 is found to be accurate for molecular atomization energies, transition metal–ligand bonds, and systems with intramolecular hydrogen bonds. However, OCS1 encounters problems for systems with intermolecular hydrogen bonds. It also tends to elongate bond lengths systematically, and sometimes significantly. The OPTX exchange is combined with three meta‐GGA correlation functionals, Lap3, τ1, and τ2, the latter reported for the first time. The new meta‐GGA scheme OPTX exchange plus τ2 correlation called Oτ2 yields improved molecular geometries, NMR shielding constants, and an improved barrier height for the H+H₂ reaction. © 2005 Wiley Periodicals, Inc. Int J Quantum Chem, 2006     

Über mehrfache Vektoren und ihre Produkte sowie deren Anwendung in der Elastizitätstheorie

Ohne Zusammenfassung     

Zur Kenntnis der Überwallungsharze

Ohne ZusammenfassungHerrn A. Landsiedl, der uns bei dieser Arbeit unterstützte, sagen wir den besten Dank.     

Predicting air quality: Improvements through advanced methods to integrate models and measurements

Air quality prediction plays an important role in the management of our environment. Computational power and efficiencies have advanced to the point where chemical transport models can predict pollution in an urban air shed with spatial resolution less than a kilometer, and cover the globe with a horizontal resolution of less than 50 km. Predicting air quality remains a challenge due to the complexity of the governing processes and the strong coupling across scales. While air quality prediction is closely aligned with weather prediction, there are important differences, including the role of pollution emissions and their associated large uncertainties. Improvements in air quality prediction require a close integration of observations. As more atmospheric chemical observations become available chemical data assimilation is expected to play an essential role in air quality forecasting. In this paper advances in air quality forecasting are discussed with an emphasis on data assimilation. Applications of the four-dimensional variational method (4D-Var) and the ensemble Kalman filter (EnKF) approach are presented and the computation challenges are discussed.