Hehner : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (196)
Les plus populaires
Liste
- Liste
- Tableau

1

A practical theory of programming

Eric C.R. Hehner

Journal:

Science of Computer Programming

Année:

1990

Langue:

english

Fichier:

PDF, 2.86 MB

english, 1990

2

Programming from specifications : Carroll Morgan, (Prentice-Hall International, London, 1990), Price £16.95 (paperback), ISBN 0-13-726233-7.

Eric C.R. Hehner

Journal:

Science of Computer Programming

Année:

1991

Langue:

english

Fichier:

PDF, 361 KB

english, 1991

3

Feasibility of the flash-replenishment concept in renal tissue: which parameters affect the assessment of the contrast replenishment?

Thomas Schlosser, Christoph Pohl, Christian Veltmann, Stefan Lohmaier, Jon Goenechea, Alexander Ehlgen, Jr̈g Ks̈ter, Dieter Bimmel, Stefanie Kuntz-Hehner, Harald Becher, Klaus Tiemann

Journal:

Ultrasound in Medicine & Biology

Année:

2001

Langue:

english

Fichier:

PDF, 492 KB

english, 2001

4

The impact of emission power on the destruction of echo contrast agents and on the origin of tissue harmonic signals using power pulse-inversion imaging

Klaus Tiemann, Christian Veltmann, Alexander Ghanem, Stefan Lohmaier, Matt Bruce, Stefanie Kuntz-Hehner, Christoph Pohl, Alexander Ehlgen, Thomas Schlosser, Heyder Omran, Harald Becher

Journal:

Ultrasound in Medicine & Biology

Année:

2001

Langue:

english

Fichier:

PDF, 213 KB

english, 2001

5

Special Feature: Computer Design to Minimize Memory Requirements

Journal:

Année:

1976

Langue:

english

Fichier:

PDF, 3.62 MB

english, 1976

6

Corrigendum. A New Representation of the Rational Numbers for Fast Easy Arithmetic

Hehner, E. C. R., Horspool, R. N. S.

Journal:

SIAM Journal on Computing

Année:

1980

Langue:

english

Fichier:

PDF, 46 KB

english, 1980

7

A New Representation of the Rational Numbers for Fast Easy Arithmetic

Hehner, E. C. R., Horspool, R. N. S.

Journal:

SIAM Journal on Computing

Année:

1979

Langue:

english

Fichier:

PDF, 1.27 MB

english, 1979

8

Study of the Influence of Construction Materials on the Ageing Properties of High Rate Gas Detectors

Alhussain Abuhoza, S. Biswas, U. Frankenfeld, J. Hehner, C.J. Schmidt, H.R. Schmidt

Journal:

Physics Procedia

Année:

2012

Langue:

english

Fichier:

PDF, 364 KB

english, 2012

9

An analysis of coffee leaves

Journal:

The Analyst (Royal Society of Chemistry)

Année:

1879

Langue:

english

Fichier:

PDF, 93 KB

english, 1879

10

On the action of boiling hydrochloric acid upon arsenic acid

Journal:

The Analyst (Royal Society of Chemistry)

Année:

1902

Langue:

english

Fichier:

PDF, 323 KB

english, 1902

11

Development of a GEM based detector for the CBM Muon Chamber (MUCH)

Biswas, S, Schmidt, D J, Abuhoza, A, Frankenfeld, U, Garabatos, C, Hehner, J, Kleipa, V, Morhardt, T, Schmidt, C J, Schmidt, H R, Wiechula, J

Journal:

Journal of Instrumentation

Année:

2013

Langue:

english

Fichier:

PDF, 2.30 MB

english, 2013

12

Prototyping a 2m × 0.5m MRPC-based neutron TOF-wall with steel converter plates

Röder, M, Aumann, T, Bemmerer, D, Boretzky, K, Caesar, C, Cowan, T E, Hehner, J, Heil, M, Elekes, Z, Kempe, M, Maroussov, V, Reinhardt, T P, Simon, H, Sobiella, M, Stach, D, Wagner, A, Wüstenfeld, J,

Journal:

Journal of Instrumentation

Année:

2012

Langue:

english

Fichier:

PDF, 1.01 MB

english, 2012

13

Co-stimulatory effect of nitric oxide on endothelial NF-κB implies a physiological self-amplifying mechanism

Victor Umansky, Steffen P. Hehner, Andreas Dumont, Thomas G. Hofmann, Volker Schirrmacher, Wulf Dröge, M. Lienhard Schmitz

Journal:

European Journal of Immunology

Année:

1998

Langue:

english

Fichier:

PDF, 121 KB

english, 1998

14

Glutathione is a factor of resistance of Jurkat leukemia cells to nitric oxide-mediated apoptosis

Victor Umansky, Marian Rocha, Raoul Breitkreutz, Steffen Hehner, Mariana Bucur, Natalie Erbe, Wulf Dröge, Alexey Ushmorov

Journal:

Journal of Cellular Biochemistry

Année:

2000

Langue:

english

Fichier:

PDF, 194 KB

english, 2000

15

Ueber die Nachweisung und quantitative Bestimmung freier Schwefelsäure und Salzsäure im Essig, Citronensaft und ähnlichen Flüssigkeiten

Journal:

Archiv der Pharmazie

Année:

1877

Langue:

german

Fichier:

PDF, 278 KB

german, 1877

16

CD95-induced JNK activation signals are transmitted by the death-inducing signaling complex (DISC), but not by Daxx

Thomas G. Hofmann, Andreas Möller, Steffen P. Hehner, Dominik Welsch, Wulf Dröge, M. Lienhard Schmitz

Journal:

International Journal of Cancer

Année:

2001

Langue:

english

Fichier:

PDF, 161 KB

english, 2001

17

A more complete model of communicating processes

E.C.R. Hehner, C.A.R. Hoare

Journal:

Theoretical Computer Science

Année:

1983

Langue:

english

Fichier:

PDF, 1.29 MB

english, 1983

18

Programming with Quantum Communication

Anya Tafliovich, Eric C.R. Hehner

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 372 KB

english, 2009

19

High-precision measurement of the electron drift velocity in Ne–

J. Wiechula, P. Braun-Munzinger, H. Daues, U. Frankenfeld, C. Garabatos, J. Hehner, R. Renfordt, H.R. Schmidt, H. Stelzer, D. Vranić

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Année:

2005

Langue:

english

Fichier:

PDF, 307 KB

english, 2005

20

The PANDA GEM-based TPC prototype

L. Fabbietti, H. Angerer, R. Arora, R. Beck, M. Berger, P. Bühler, M. Cargnelli, S. Doerheim, J. Hehner, N. Herrmann, C. Höppner, D. Kaiser, B. Ketzer, K. Mladen, V. Kleipa, I. Konorov, J. Kunkel, R.

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Année:

2011

Langue:

english

Fichier:

PDF, 698 KB

english, 2011

21

Variables and scopes considered formally

Eric C.R. Hehner

Journal:

Information Processing Letters

Année:

2001

Langue:

english

Fichier:

PDF, 64 KB

english, 2001

22

Specifications, programs, and total correctness

Eric C.R. Hehner

Journal:

Science of Computer Programming

Année:

1999

Langue:

english

Fichier:

PDF, 945 KB

english, 1999

23

Development of low-mass drift chambers for the HADES spectrometer

H Bokemeyer, J.l Boyard, V Chepurnov, S Chernenko, H Daues, F Dohrmann, W Enghardt, O Fateev, C Garabatos, L Glonti, E Grosse, J Hehner, T Hennino, J Kempter, W Koenig, C Müntz, L Naumann, A Petrov, J

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Année:

2002

Langue:

english

Fichier:

PDF, 590 KB

english, 2002

24

Echoscintigraphy: a new imaging modality for the reduction of color blooming and acoustic shadowing in contrast sonography

Thomas Schlosser, Christoph Pohl, Stefanie Kuntz-Hehner, Heyder Omran, Harald Becher, Klaus Tiemann

Journal:

Ultrasound in Medicine & Biology

Année:

2003

Langue:

english

Fichier:

PDF, 177 KB

english, 2003

25

The pro- or anti-apoptotic function of NF-κB is determined by the nature of the apoptotic stimulus

Barbara Kaltschmidt, Christian Kaltschmidt, Thomas G. Hofmann, Steffen P. Hehner, Wulf Dröge, M. Lienhard Schmitz

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 656 KB

english, 2000

26

Blood Flow Assessment by Ultrasound-Induced Destruction of Echocontrast Agents Using Harmonic Power Doppler Imaging: Which Parameters Determine Contrast Replenishment Curves?

Jörg Köster, Thomas Schlosser, Christoph Pohl, Christoph Lentz, Stefan Lohmaier, Christian Veltmann, Stefanie Kuntz-Hehner, Heyder Omran, Berndt Lüderitz, Harald Becher, Klaus Tiemann

Journal:

Echocardiography

Année:

2001

Langue:

english

Fichier:

PDF, 206 KB

english, 2001

27

Subendocardial Steal Effect Seen with Real-Time Perfusion Imaging at Low Emission Power during Adenosine Stress: Replenishment M-Mode Processing Allows Visualization of Vertical Steal

Klaus Tiemann, Alexander Ghanem, Thomas Schlosser, Alexander Ehlgen, Stefanie Kuntz-Hehner, Markus Haushofer, Dieter Bimmel, Mirela Borovac, Navin C. Nanda, Heyder Omran, Harald Becher

Journal:

Echocardiography

Année:

2001

Langue:

english

Fichier:

PDF, 908 KB

english, 2001

28

On removing the machine from the language

Eric C. R. Hehner

Journal:

Acta Informatica

Année:

1978

Langue:

english

Fichier:

PDF, 832 KB

english, 1978

29

Termination conventions and comparative semantics

Eric C. R. Hehner, Andrew J. Malton

Journal:

Acta Informatica

Année:

1988

Langue:

english

Fichier:

PDF, 643 KB

english, 1988

30

Predicative methodology

Eric C. R. Hehner, Lorene E. Gupta, Andrew J. Malton

Journal:

Acta Informatica

Année:

1986

Langue:

english

Fichier:

PDF, 827 KB

english, 1986

31

do considered od: A contribution to the programming calculus

Eric C. R. Hehner

Journal:

Acta Informatica

Année:

1979

Langue:

english

Fichier:

PDF, 885 KB

english, 1979

32

Eine neue Methode der Zuckertitrirung mit ammoniakalischer Kupferlösung

F. W. Pavy, Otto Hehner

Journal:

Analytical and Bioanalytical Chemistry

Année:

1880

Langue:

german

Fichier:

PDF, 192 KB

german, 1880

33

Alkoholtafeln

Journal:

Analytical and Bioanalytical Chemistry

Année:

1880

Langue:

german

Fichier:

PDF, 303 KB

german, 1880

34

From boolean algebra to unified algebra

Eric C. R. Hehner

Journal:

The Mathematical Intelligencer

Année:

2004

Langue:

english

Fichier:

PDF, 1.92 MB

english, 2004

35

A probability perspective

Eric C. R. Hehner

Journal:

Formal Aspects of Computing

Année:

2011

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2011

36

Formalization of Time and Space

Eric C. R. Hehner

Journal:

Formal Aspects of Computing

Année:

1998

Langue:

english

Fichier:

PDF, 146 KB

english, 1998

37

L-carnitine and creatine in Friedreich’s ataxia. A randomized, placebo-controlled crossover trial

L. Schöls, J. Zange, M. Abele, M. Schillings, G. Skipka, S. Kuntz-Hehner, M. C. P. van Beekvelt, W. N. J. M. Colier, K. Müller, T. Klockgether, H. Przuntek, M. Vorgerd

Journal:

Journal of Neural Transmission

Année:

2005

Langue:

english

Fichier:

PDF, 145 KB

english, 2005

38

A methodology for programming with concurrency: An informal presentation

Christian Lengauer, Eric C.R. Hehner

Journal:

Science of Computer Programming

Année:

1982

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1982

39

Real Time Myocardial Contrast Echocardiography During Supine Bicycle Stress and Continuous Infusion of Contrast Agent. Cutoff Values for Myocardial Contrast Replenishment Discriminating Abnormal Myocardial Perfusion

Tomasz Miszalski-Jamka, Stefanie Kuntz-Hehner, Harald Schmidt, Christoph Hammerstingl, Klaus Tiemann, Alexander Ghanem, Clemens Troatz, Berndt Lüderitz, Heyder Omran

Journal:

Echocardiography

Année:

2007

Langue:

english

Fichier:

PDF, 762 KB

english, 2007

40

Inhibition of tyrosine phosphatases induces apoptosis independent from the CD95 system

Hehner, Steffen P, Hofmann, Thomas G, Dröge, Wulf, Schmitz, M Lienhard

Journal:

Cell Death & Differentiation

Année:

1999

Langue:

english

Fichier:

PDF, 525 KB

english, 1999

41

Hydrogen peroxide-induced apoptosis is CD95-independent, requires the release of mitochondria-derived reactive oxygen species and the activation of NF-κB

Dumont, Andreas, Hehner, Steffen P, Hofmann, Thomas G, Ueffing, Marius, Dröge, Wulf, Schmitz, M Lienhard

Journal:

Année:

1999

Langue:

english

Fichier:

PDF, 601 KB

english, 1999

42

Repression of NF-κB impairs HeLa cell proliferation by functional interference with cell cycle checkpoint regulators

Kaltschmidt, Barbara, Kaltschmidt, Christian, Hehner, Steffen P, Dröge, Wulf, Schmitz, M Lienhard

Journal:

Année:

1999

Langue:

english

Fichier:

PDF, 796 KB

english, 1999

43

Caspase-dependent cleavage and inactivation of the Vav1 proto-oncogene product during apoptosis prevents IL-2 transcription

Hofmann, Thomas G, Hehner, Steffen P, Dröge, Wulf, Schmitz, M Lienhard

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 687 KB

english, 2000

44

Zur Herstellung arsenfreien Zinks

Journal:

Analytical and Bioanalytical Chemistry

Année:

1906

Langue:

german

Fichier:

PDF, 52 KB

german, 1906

45

Nachweis von Formaldehyd, insbesondere in der Milch

R. T. Thomson, H. D. Richmond, L. K. Boseley, S. Rideal, O. Hehner, K. Farnsteiner, G. Denigès, A. Jorissen, J. Mayrhofer

Journal:

Analytical and Bioanalytical Chemistry

Année:

1900

Langue:

german

Fichier:

PDF, 255 KB

german, 1900

46

Zusammensetzung und Analyse des Wachses

Otto Hehner, Hübl, E. Dieterich, Fr. Nafzger, Friedrich Schwald, H. Stürcke, Karl Labler, C. Liebermann, H. Long, A. Clareng

Journal:

Analytical and Bioanalytical Chemistry

Année:

1886

Langue:

german

Fichier:

PDF, 410 KB

german, 1886

47

Ueber Zuckerbestimmung

Soxhlet, Paul Degener, Otto Hehner, Princip, D. Sidersky

Journal:

Analytical and Bioanalytical Chemistry

Année:

1883

Langue:

german

Fichier:

PDF, 612 KB

german, 1883

48

Untersuchung der Milch

Louis Janke, P. Vieth, Hehner, Clausnizer, Mayer, J. A. Kaiser

Journal:

Analytical and Bioanalytical Chemistry

Année:

1883

Langue:

german

Fichier:

PDF, 293 KB

german, 1883

49

Zur Werthbestimmung von Sulfocarbonaten

O. Hehner, H. S. Carpenter, E. Lombard de Bouquet, Alf Gélis, Thommeret-Gélis

Journal:

Analytical and Bioanalytical Chemistry

Année:

1883

Langue:

german

Fichier:

PDF, 110 KB

german, 1883

50

Bestimmung und Untersuchung der Fette

Wilm, P. Bässler, W. Maxwell, E. Schulze, August Stellwaag, K. Hazura, Edmund J. Mills, Thomas Akitt, Anton Thum, O. Schweissinger, W. F. Lowe, N. Morse, W. M. Burton, A. H. Allen, Otto Hehner, Rowlan

Journal:

Analytical and Bioanalytical Chemistry

Année:

1892

Langue:

german

Fichier:

PDF, 874 KB

german, 1892