Antibiotic Resistance in Intensive Care Unit Areas

Autor: Daschner, F., Langmaack, H., Wiedemann, B.

Publikováno v: Infection Control, 1983 Sep 01. 4(5), 382-387.

Externí odkaz: https://www.jstor.org/stable/30142579

Serumspiegelkontrollen von Tobramycin und Amikacin unter klinischen Routine-Therapiebedingungen

Autor: Eiermann T, Daschner F, Stark Gb, Langmaack H

Publikováno v: DMW - Deutsche Medizinische Wochenschrift. 107:1182-1184

576 serum levels at peak and before the next dosage (end level) were determined during clinical treatment conditions using radioimmunoassay in 131 patients treated with tobramycin or amikacin because of life-threatening infections. Only 42.8% of tobr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::87668a45847920ca5f23508a20e8d023
https://doi.org/10.1055/s-2008-1070098

Compositional Verification of Real-Time Applications

Autor: Hooman, J.J.M., Roever, de, W.P., Langmaack, H., Pnueli, A.

Publikováno v: Compositionality: The Significant Difference ISBN: 9783540654933
COMPOS
Compositionality : The Significant Difference (Proceedings COMPOS'97, Bad Malente, Germany, September 1997; Revised Lectures), 276-300
STARTPAGE=276;ENDPAGE=300;TITLE=Compositionality : The Significant Difference (Proceedings COMPOS'97, Bad Malente, Germany, September 1997; Revised Lectures)

To support top-down design of distributed real-time systems, a framework of mixed terms has been incorporated in the verification system PVS. Programs and assertional specifications are treated in a uniform way. We focus on the timed behaviour of par

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d89e3541b968e3546095223302d5d917
https://doi.org/10.1007/3-540-49213-5_10

PREVALENCE OF FLUOROQUINOLONE RESISTANCE IN EUROPE

Autor: KRESKEN, M HAFNER, D MITTERMAYER, H VERBIST, L and BERGOGNEBEREZIN, E GIAMARELLOU, H ESPOSITO, S VANKLINGEREN, B KAYSER, FH REEVES, DS WIEDEMANN, B ROTTER, M and WEWALKA, G AICHINGER, W BREITFELLNER, G SCHINDLER, J and STRATCHUNSKY, L LAUWERS, S OSTERRIETH, P VERSCHRAEGEN, G and VANLANDYT, H MERTENS, A KARTLEVEN, J POTVLIEGHE, C and FUSSLE, R LUTTICKEN, R HOPKEN, MS FABRICIUS, K WERNER, H and ULLMANN, U NICULESCU, ER LANGMAACK, H RINGELMANN, R and MACHKA, K OPFERKUCH, W DASCHNER, F MANNHEIM, W WAGNER, J and ROHR, HP SCHAFER, V WITTE, W KELLER, P NAUMANN, G and HUOVINEN, P AVRIL, P BEBEAR, P DABERNAT, H DRUGEON, P DUVAL, P FLEURETTE, P GROSSET, P MONTEIL, H and SCHEFTEL, JP THABAUT, P VERON, M AVLAMIS, A KATRACHOURA, A KOUMENTAKOU, I PAPOUTSAKI, L BARON, F RIGOLI, R and DELALLA, F SCARPELLINI, P BALDELLI, F CANZANO, G and CASERTA, I ORTISI, T MAGLIANO, E ROZENBERGARSKA, M and WAGENVOORT, JHT DEGENER, J VANGRIETHYSEN, AJA HEINZER, I and PEDUZZI, R PIFFORETTI, JC MUNZINGER, J ARDER, HP and SCHOPFER, K BREER, C BILLE, J SIEGRIST, H AUCKENTHALER, R MODDE, H FREY, R BODMER, T WISE, R SPENCER, R and FELMINGHAM, D GOLDIERO, F

Since 1984, when the first fluoroquinolone, norfloxacin, was marketed in Europe, there has been a marked increase in the usage of this class of drugs. In order to evaluate the influence of this drug usage on the prevalence of resistance to fluoroquin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2127::50049436f470cfcb09ab2bb0edb69b54
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3046121

A formal semantics for Z and the link between Z and the relational algebra

Autor: van Diepen, M.J., Hee, van, K.M., Bjorner, D., Hoare, C.A.R., Langmaack, H.

Publikováno v: VDM'90, VDM and Z-Formal Methods in Software Development (Proceedings Third International Symposium of VDM Europe, Kiel, Germany, April 17-21, 1990), 526-551
STARTPAGE=526;ENDPAGE=551;TITLE=VDM'90, VDM and Z-Formal Methods in Software Development (Proceedings Third International Symposium of VDM Europe, Kiel, Germany, April 17-21, 1990)
Lecture Notes in Computer Science ISBN: 9783540525134
VDM Europe

A formal semantics for Z based on naive settheory is presented. In this approach a so-called Zbase is postulated to be used in the definition of a Zscript (a specification). From a Zbase we may construct a more powerfull Zbase by a Zscript. This allo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27b91f762d7e07a78de5748a390af175
https://research.tue.nl/en/publications/2c603000-fc3e-4a5f-8ddf-a8221d50be98