muller peter - Academia.edu (original) (raw)

Papers by muller peter

Science of Computer Programming, 2006

Classical specification and verification techniques support invariants for individual objects who... more Classical specification and verification techniques support invariants for individual objects whose fields are primitive values, but are unsound for invariants involving more complex object structures. However, such non-trivial object structures are common, and occur in lists, hash tables, and when systems are built in layers.

International Journal of Cancer, 1984

SV40 transformants of human embryo fibroblasts showed an enhanced chemotactic response to fibrone... more SV40 transformants of human embryo fibroblasts showed an enhanced chemotactic response to fibronectin and conditioned medium of fibroblasts in comparison to the non-transformed cells. An even higher chemotactic response was characteristic for a malignant human fibrosarcoma cell line, whereas cells derived from low-grade malignant dermatofibrosarcoma showed a normal response in the Boyden chamber assay. The high stimulation of chemotaxis is paralleled by a reduced synthesis and an altered deposition of fibronectin in the pericellular matrix of these cells. Both high chemotactic response and lack of deposition of fibronectin may play a role in tissue invasion and formation of metastasis by malignant tumors.

$Research paper thumbnail of Intrinsic Josephson effects in Bi_{2}Sr_{2}CaCu_{2}O_{8} single crystals$

Physical Review Letters, 1992

We have observed Josephson coupling between CuO double layers in Bi2Sr2CaCu20& single crystals by... more We have observed Josephson coupling between CuO double layers in Bi2Sr2CaCu20& single crystals by direct measurements of ac and dc Josephson effects with current flow along the r axis. The results show that a small Bi2Sr2CaCu20& single crystal behaves like a series array of Josephson junctions which can exhibit mutual phase locking.

European Journal of Clinical Pharmacology, 1994

Valsartan (CGP 48933), a specific blocker of the angiotensin II (Ang II) receptor subtype 1 (AT1 ... more Valsartan (CGP 48933), a specific blocker of the angiotensin II (Ang II) receptor subtype 1 (AT1 receptor) was administered in single, oral doses of 40 mg and 80 mg to six healthy, normotensive male volunteers in a double-blind, placebo-controlled, randomized crossover trial. The aims of the study were a) to assess the extent, time course and dose-dependency of inhibition of the pressor effect of exogenous Ang II; and b) to attempt to correlate AT1 receptor blockade with the drug levels in plasma and with other markers of biological activity of the trial drug such as plasma renin activity (PRA). Using the Finapres device and i.v. bolus injections of exogenous Ang II, AT1 receptor blockade was assessed by measuring blood pressure (BP) and heart rate (HR) on a beat-by-beat basis. A dose-response curve for Ang II was obtained for each subject before and at 2,4, 6,8 and 24h after administration of placebo and of the two doses of valsartan. PRA was measured with a conventional radioimmunoassay method. Data evaluation included a) descriptive analysis of the changes of the Ang II dose-response curves after valsartan, as compared to the curve on placebo; b) calculation of the pressor dose D30 of Ang II at each timepoint, using linear regression; c) assessment of the effect of 4 μg Ang II on systolic BP and HR and the calculation of the percentage inhibition of these effects after valsartan; d) description of the relationship between drug levels in plasma and the measures of AT1 blockade, including pharmacokinetic-pharmacodynamic modeling with an Emax model for the percentage inhibition of systolic BP and HR. It is concluded that (a) the methodology used is suitable to evaluate AT1 receptor blockade in man; (b) instead of using a full dose-response curve for Ang II at each timepoint, an abbreviated approach with only one pre-determined Ang II dose may be adopted without substantial loss of information; (c) valsartan is an inhibitor of the AT1 receptor in man, with a mean Emax of 74% and a mean IC50 of 0.53 μmol·1−1 for the blood pressure response to exogenous Ang II; (d) receptor blockade after single oral doses of 40 mg and 80 mg valsartan reaches its maximum at 2 h and is detectable up to 24 h after administration; (e) despite a doubling of systemic exposure, the relationship between dose and receptor blockade appears to be rather flat in the dose range 40 to 80 mg; and (f) valsartan is well tolerated by healthy subjects in the dose range tested.

International Journal of Control, 1994

... inputs including unknown measurement disturbances. Based on the unknown-inputobserver design,... more ... inputs including unknown measurement disturbances. Based on the unknown-inputobserver design, a systematic treatment of designing fault detection and isolation (FDI) observers is provided. The core of the FDI observer ...

A Hoare-style programming logic for the sequential kernel of Java is presented. It handles recurs... more A Hoare-style programming logic for the sequential kernel of Java is presented. It handles recursive methods, class and interface types, subtyping, inheritance, dynamic and static binding, aliasing via object references, and encapsulation. The logic is proved sound w.r.t. an SOS semantics by embedding both into higher-order logic.

Journal of Physical Oceanography, 1997

A simple linear model is used to estimate the decadal response of the extratropical ocean to wind... more A simple linear model is used to estimate the decadal response of the extratropical ocean to wind stress forcing, assuming a flat bottom, a mean state at rest, and no dissipation. The barotropic fields are governed by a time-dependent Sverdrup balance, the baroclinic ones by the ...

Lecture Notes in Computer Science, 2002

IEEE Transactions on Automatic Control, 1992

... It is ready to verify that rank EL =-m - q. To this point, if the pair {A,, C,} is observable... more ... It is ready to verify that rank EL =-m - q. To this point, if the pair {A,, C,} is observable or detectable, following the conventional Luenberger observer design procedure (eg, [15]), one can design a reduced-order observer for the unknown-input-free system (10) as = (A, - LE',). ...

Chaos Solitons & Fractals, 1995

The model based algorithm for the calculation of the spectrum of Lyapunov exponents is generalize... more The model based algorithm for the calculation of the spectrum of Lyapunov exponents is generalized for nonlinear dynamical systems with discontinuities. As the main result, the required linearized equations have to be supplemented by certain transition conditions at the instants of discontinuities.