Kooperativer Bibliotheksverbund

UID:

Format: 1 Online-Ressource (84 pages)

ISBN: 9781470400262

Series Statement: Memoirs of the American Mathematical Society v.1

Note: Description based on publisher supplied metadata and other sources

Additional Edition: 9780821812785

Language: English

Keywords: Electronic books

UID:

Format: Online-Ressource, 84 Seiten

ISBN: 9783743859777

Note: Lizenzpflichtig

Language: English

Keywords: Fantasy ; Erzählende Literatur

URN: urn:nbn:de:101:1-2018091719250515372196

URL: https://nbn-resolving.org/urn:nbn:de:101:1-2018091719250515372196

URL: https://d-nb.info/1167207033/34

UID:

Format: 1 Online-Ressource (XVIII, 493 p)

Edition: 1st ed. 1984

ISBN: 9789400963283

Series Statement: Mathematics and Its Applications 14

Additional Edition: Printed edition 9789400963306

Additional Edition: Printed edition 9789027717108

Additional Edition: Printed edition 9789400963290

Language: English

DOI: 10.1007/978-94-009-6328-3

URL: https://doi.org/10.1007/978-94-009-6328-3

UID:

Format: 1 online resource (506 pages)

ISBN: 9789400963283

Series Statement: Mathematics and Its Applications Ser. v.14

Note: Description based on publisher supplied metadata and other sources

Additional Edition: 9789027717108

Additional Edition: Erscheint auch als Druck-Ausgabe 9789027717108

Language: English

URL: lizenzpflichtig

UID:

Format: XIII, 421 p. 8 illus. , online resource.

Edition: 1st ed. 1991.

ISBN: 9781447131809

Content: Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones is internationally known as the developer of the VDM system of formal notation (Vienna Development Method). This book describes the requirements, concepts, and realisation of the mural system. The authors present systematically and completely the results of this substantial research project, from the basic theoretical level to its effective implementation. The book will be of equal interest to academics working on formal methods at research level (and perhaps to graduate research students), and to practitioners and software engineers who are using - or who will have to use for defence contracts, etc. - formal methods.

Note: 1General introduction -- 1.1 Formal methods -- 1.2 VDM development -- 1.3 The IPSE 2.5 project -- 1.4 Proof assistant requirements -- 2 Introduction to mural -- 2.1 General introduction -- 2.2 The proof assistant -- 2.3 The VDM support tool -- 2.4 Reasoning about developments -- 3 Instantiation -- 3.1 Symbolic logic in mural -- 3.2 Classical first order predicate calculus -- 3.3 Some common data types -- 3.4 More complicated formulations -- 3.5 The theory of VDM -- 3.6 Some other logics -- 4 Foundation -- 4.1 Preamble -- 4.2 Syntax -- 4.3 Natural Deduction rules -- 4.4 Rule Schemas and instantiation -- 4.5 The mural store -- 4.6 Syntactic contexts and well-formedness -- 4.7 Proofs -- 4.8 Morphisms -- 4.9 Pattern matching -- 4.10 Reading the full specification -- 4.11 Limitations of the mural approach -- 5 The tactic language -- 5.1 Mechanising proof in mural -- 5.2 The language -- 5.3 The implementation of tactics -- 5.4 Examples -- 6 Implementing the mural proof assistant -- 6.1 The process of implementation -- 6.2 The implementation -- 6.3 Lessons learnt and advice to the young -- 6.4 The future -- 6.5 The final word -- 7 Supporting formal software development -- 7.1 Abstract specification -- 7.2 Relating specifications -- 7.3 Support for reasoning about formal developments -- 8 The mural VDM Support Tool -- 8.1 Specifying VDM developments in VDM -- 8.2 Theories from specifications -- 8.3 Scope for growth -- 9 Foundations of specification animation -- 9.1 Approaches to animation -- 9.2 Denotational semantics of symbolic execution -- 9.3 Operational semantics of symbolic execution -- 9.4 Theories to support symbolic execution -- 9.5 Conclusions -- 10 Case Studies -- 10.1 Specifications in VDM -- 10.2 Transformation of VDM into mural -theories -- 10.3 A watchdog for a reactor system -- 10.4 An algorithm for topological sorting -- 10.5 Theories for VDM in mural -- 11 Conclusions -- 11.1 Experimental use of mural -- 11.2 Detailed observations -- 11.3 Further developments -- 11.4 Summary -- Appendices -- A Summary of VDM Notation -- B Glossary of terms -- C The Specification of the Proof Assistant -- C.1 The Raw Syntax -- C.2 Subterm Access and Editing -- C.3 Sequents and Rules -- C.4 Instantiation and Pattern-matching -- C.5 Signatures -- C.6 Theories -- C.7 Morphisms and Theory Morphisms -- C.8 Proofs -- C.9 The Store -- D The specification of the animation tool -- D.1 Data structure and some auxiliary functions -- D.2 Operations -- E The Theorem Prover's House.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783540196518

Additional Edition: Printed edition: ISBN 9781447131816

Language: English

DOI: 10.1007/978-1-4471-3180-9

URL: https://doi.org/10.1007/978-1-4471-3180-9

UID:

Format: Online-Ressource (1011 p) , illustrations, tables

Edition: Online-Ausg. Chester, Vt NewsBank, inc 2008 U.S. Congressional Serial Set, 1817-1980

Series Statement: United States congressional serial set serial set no. 12003

Note: A reevaluation of data on atmospheric turbulence and airplane gust loads for application in spectral calculations, by Harry Press, May T. Meadows, and Ivan Hadlock, NACA [No. 1272], p. 489 , A special method for finding body distortions that reduce the wave drag of wing and body combinations at supersonic speeds, by Harvard Lomax and Maz A. Heaslet, NACA [No. 1282], p. 709 , A study of the zero-lift drag-rise characteristics of wing-body combinations near the speed of sound, by Richard T. Whitcomb, NACA [No. 1273], p. 519 , A theory for stability and buzz pulsation amplitude in ram jets and an experimental investigation including scale effects, by Robert L. Trimpi, NACA [No. 1265], p. 295 , A thermal equation for flame quenching, by A.E. Potter, Jr., and A.L. Berlad, NACA [No. 1264], p. 287 , A wind-tunnel test technique for measuring the dynamic rotary stability derivatives at subsonic and supersonic speeds, by Benjamin H. Beam, NACA [No. 1258], p. 165 , An analysis of the stability and ultimate compressive strength of short sheet-stringer panels with special reference to the influence of the riveted connection between sheet and stringer, by Joseph W. Semonian and James P. Peterson, NACA [No. 1255], p. 113 , Axially symmetric shapes with minimum wave drag, by Max. A. Heaslet and Franklyn B. Fuller, NACA [No. 1256], p. 131 , Charts for estimating performance of high-performance helicopters, by Alfred Gessow and Robert J. Tapscott, NACA [No. 1266], p. 319 , Contributions on the mechanics of boundary-layer-transition, by G.B. Schubauer and P.S. Kelbanoff, National Bureau of Standards, [No. 1289], p. 853 , Cooperative investigation of relationship between static and fatigue properties of wrought N-155 alloy at elevated temperatures, by NACA Subcommittee on Power-Plant Materials, [No. 1288, p. 817 , Development of craze and impact resistance in glazing plastics by multiaxial stretching, by G.M. Kline, I. Wolock, B.M. Axilrod, M.A. Sherman, D.A. George, and V. Cohen, National Bureau of Standards, [No. 1290], p. 865 , Effect of interaction on landing-gear behavior and dynamic leads in a flexible airplane structure, by Francis E. Cook and Benjamin Milwitzky, NACA [No. 1278], p. 619 , Extrapolation techniques applied to matrix methods in neutron diffusion problems, by Robert R. McCready, NACA [No. 1283], p. 747 , Flight determination of drag of normal-shock nose inlets with various cowling profiles at Mach numbers from 0.9 to 1.5, by R.I. Sears, C.F. Merlet, and L.W. Putland, NACA [No. 1281], p. 689 , Friction, wear, and surface damage of metals as affected by solid surface films, by Edmond E. Bisson, Robert L. Johnson, Max A. Swikert and Douglas Godfrey, NACA [No. 1254], p. 91 , Interaction of a free flame front with a turbulence field, by Maurice Tucker, NACA [No. 1277], p. 599 , Investigation of the aerodynamic characteristics of a model wing-propeller combination and of the wing and propeller separately at angles of attack up to 90 [degrees], by Richard E. Kuhn and John W. Draper, NACA [No. 1263], p. 247 , Lift hysteresis at stall as an unsteady boundary-layer phenomenon, by Franklin K. Moore, NACA [No. 1291], p. 881 , List of technical reports, p. III , On boattail bodies of revolution having minimum wave drag, by Keith C. Harder and Conrad Rennemann, Jr., NACA [No. 1271], p. 479 , On the kernel function of the integral equation relating lift and downwash distributions of oscillating wings in supersonic flow, by Charles E. Watkins and Julian H. Berman, NACA [No. 1287], p. 147 , Plastic deformation of aluminum single crystals at elevated temperatures, by R.D. Johnson, A.P. Young, and A.D. Schwope, Battelle Memorial Institute, [No. 1267], p. 353 , Propagation of free flame in a turbulent gas stream, by William R. Mickelsen and Norman E. Ernstein, NACA [No. 1286], p. 773 , Review of experimental investigations of liquid-metal heat transfer, by Bernard Lubarsky and Samuel J. Kaufman, NACA [No. 1270], p. 445 , Second-order subsonic airfoil theory including edge effects, by Milton D. Van Dyke, NACA [No. 1274], p. 541 , Some possibilities of using gas mixtures other than air in aerodynamic research, by Dean R. Chapman, NACA [No. 1259], p. 179 , Spark ignition of flowing gases, by Clyde C. Swett, Jr., NACA [No. 1287], p. 799 , Studies of the speed stability of a tandem helicopter in forward flight, by Robert J. Tapscott and Kenneth B. Amer, NACA [No. 1260], p. 201 , Summary of derived gust velocities obtained from measurements within thunderstorms, by H.B. Tolefson, NACA [No. 1285], p. 765 , Table of contents, p. II , The near noise field of static jets and some model studies of devises for noise reduction, by Leslie W. Lassiter and Harvey H. Hubbard, NACA [No. 1261], p. 213 , The proper combination of lift loading for least drag on a supersonic wing, by Frederick C. Grant, NACA [No. 1275], p. 565 , Theoretical analysis of incompressible flow through a radial-inlet centrifugal impeller at various weight flows, by James J. Kramer, Vasily D. Prian, and Chung-Hua Wu, NACA [No. 1279], p. 649 , Theoretical and experimental investigation of the effect of tunnel walls on the forces on an oscillating airfoil in two-dimensional subsonic compressible flow, by Harry L. Runyan, Donald S. Woolston, and A. Gerald Rainey, NACA [No. 1262], p. 225 , Theoretical calculations of the pressures, forces, and moments at supersonic speeds due to various lateral motions actin on thin isolated vertical tails, by Kenneth Margolis and Percy J. Bobbitt, NACA [No. 1268], p. 385 , Theoretical investigation of flutter of two-dimensional flat panels with one surface exposed to supersonic potential flow, by Herbert C. Nelson and Herbert J. Cunningham, NACA [No. 1280], p. 665 , Theoretical span load distributions and rolling moments for sideslipping wings of arbitrary plan form in incompressible flow, by M.J. Queijo, NACA [No. 1269], p. 429 , Theory of wing-body drag at supersonic speeds, by Robert T. Jones, NACA [No. 1284], p. 757 , Wind-tunnel and flight investigations of the use of leading-edge area suction for the purpose of increasing the maximum lift coefficient of a 35 [degree] swept-wing airplane, by Curt A. Helzhauser and Richard S. Bray, NACA [No. 1276], p. 575 , © 2008 by NewsBank, Inc. All rights reserved

Language: English

URL: Volltext  (Deutschlandweit zugänglich)

UID:

Format: Online-Ressource (1011 p) , illustrations, tables

Edition: Online-Ausg. Chester, Vt NewsBank, inc 2008 U.S. Congressional Serial Set, 1817-1980

Series Statement: United States congressional serial set serial set no. 12003

Note: A reevaluation of data on atmospheric turbulence and airplane gust loads for application in spectral calculations, by Harry Press, May T. Meadows, and Ivan Hadlock, NACA [No. 1272], p. 489 , A special method for finding body distortions that reduce the wave drag of wing and body combinations at supersonic speeds, by Harvard Lomax and Maz A. Heaslet, NACA [No. 1282], p. 709 , A study of the zero-lift drag-rise characteristics of wing-body combinations near the speed of sound, by Richard T. Whitcomb, NACA [No. 1273], p. 519 , A theory for stability and buzz pulsation amplitude in ram jets and an experimental investigation including scale effects, by Robert L. Trimpi, NACA [No. 1265], p. 295 , A thermal equation for flame quenching, by A.E. Potter, Jr., and A.L. Berlad, NACA [No. 1264], p. 287 , A wind-tunnel test technique for measuring the dynamic rotary stability derivatives at subsonic and supersonic speeds, by Benjamin H. Beam, NACA [No. 1258], p. 165 , An analysis of the stability and ultimate compressive strength of short sheet-stringer panels with special reference to the influence of the riveted connection between sheet and stringer, by Joseph W. Semonian and James P. Peterson, NACA [No. 1255], p. 113 , Axially symmetric shapes with minimum wave drag, by Max. A. Heaslet and Franklyn B. Fuller, NACA [No. 1256], p. 131 , Charts for estimating performance of high-performance helicopters, by Alfred Gessow and Robert J. Tapscott, NACA [No. 1266], p. 319 , Contributions on the mechanics of boundary-layer-transition, by G.B. Schubauer and P.S. Kelbanoff, National Bureau of Standards, [No. 1289], p. 853 , Cooperative investigation of relationship between static and fatigue properties of wrought N-155 alloy at elevated temperatures, by NACA Subcommittee on Power-Plant Materials, [No. 1288, p. 817 , Development of craze and impact resistance in glazing plastics by multiaxial stretching, by G.M. Kline, I. Wolock, B.M. Axilrod, M.A. Sherman, D.A. George, and V. Cohen, National Bureau of Standards, [No. 1290], p. 865 , Effect of interaction on landing-gear behavior and dynamic leads in a flexible airplane structure, by Francis E. Cook and Benjamin Milwitzky, NACA [No. 1278], p. 619 , Extrapolation techniques applied to matrix methods in neutron diffusion problems, by Robert R. McCready, NACA [No. 1283], p. 747 , Flight determination of drag of normal-shock nose inlets with various cowling profiles at Mach numbers from 0.9 to 1.5, by R.I. Sears, C.F. Merlet, and L.W. Putland, NACA [No. 1281], p. 689 , Friction, wear, and surface damage of metals as affected by solid surface films, by Edmond E. Bisson, Robert L. Johnson, Max A. Swikert and Douglas Godfrey, NACA [No. 1254], p. 91 , Interaction of a free flame front with a turbulence field, by Maurice Tucker, NACA [No. 1277], p. 599 , Investigation of the aerodynamic characteristics of a model wing-propeller combination and of the wing and propeller separately at angles of attack up to 90 [degrees], by Richard E. Kuhn and John W. Draper, NACA [No. 1263], p. 247 , Lift hysteresis at stall as an unsteady boundary-layer phenomenon, by Franklin K. Moore, NACA [No. 1291], p. 881 , List of technical reports, p. III , On boattail bodies of revolution having minimum wave drag, by Keith C. Harder and Conrad Rennemann, Jr., NACA [No. 1271], p. 479 , On the kernel function of the integral equation relating lift and downwash distributions of oscillating wings in supersonic flow, by Charles E. Watkins and Julian H. Berman, NACA [No. 1287], p. 147 , Plastic deformation of aluminum single crystals at elevated temperatures, by R.D. Johnson, A.P. Young, and A.D. Schwope, Battelle Memorial Institute, [No. 1267], p. 353 , Propagation of free flame in a turbulent gas stream, by William R. Mickelsen and Norman E. Ernstein, NACA [No. 1286], p. 773 , Review of experimental investigations of liquid-metal heat transfer, by Bernard Lubarsky and Samuel J. Kaufman, NACA [No. 1270], p. 445 , Second-order subsonic airfoil theory including edge effects, by Milton D. Van Dyke, NACA [No. 1274], p. 541 , Some possibilities of using gas mixtures other than air in aerodynamic research, by Dean R. Chapman, NACA [No. 1259], p. 179 , Spark ignition of flowing gases, by Clyde C. Swett, Jr., NACA [No. 1287], p. 799 , Studies of the speed stability of a tandem helicopter in forward flight, by Robert J. Tapscott and Kenneth B. Amer, NACA [No. 1260], p. 201 , Summary of derived gust velocities obtained from measurements within thunderstorms, by H.B. Tolefson, NACA [No. 1285], p. 765 , Table of contents, p. II , The near noise field of static jets and some model studies of devises for noise reduction, by Leslie W. Lassiter and Harvey H. Hubbard, NACA [No. 1261], p. 213 , The proper combination of lift loading for least drag on a supersonic wing, by Frederick C. Grant, NACA [No. 1275], p. 565 , Theoretical analysis of incompressible flow through a radial-inlet centrifugal impeller at various weight flows, by James J. Kramer, Vasily D. Prian, and Chung-Hua Wu, NACA [No. 1279], p. 649 , Theoretical and experimental investigation of the effect of tunnel walls on the forces on an oscillating airfoil in two-dimensional subsonic compressible flow, by Harry L. Runyan, Donald S. Woolston, and A. Gerald Rainey, NACA [No. 1262], p. 225 , Theoretical calculations of the pressures, forces, and moments at supersonic speeds due to various lateral motions actin on thin isolated vertical tails, by Kenneth Margolis and Percy J. Bobbitt, NACA [No. 1268], p. 385 , Theoretical investigation of flutter of two-dimensional flat panels with one surface exposed to supersonic potential flow, by Herbert C. Nelson and Herbert J. Cunningham, NACA [No. 1280], p. 665 , Theoretical span load distributions and rolling moments for sideslipping wings of arbitrary plan form in incompressible flow, by M.J. Queijo, NACA [No. 1269], p. 429 , Theory of wing-body drag at supersonic speeds, by Robert T. Jones, NACA [No. 1284], p. 757 , Wind-tunnel and flight investigations of the use of leading-edge area suction for the purpose of increasing the maximum lift coefficient of a 35 [degree] swept-wing airplane, by Curt A. Helzhauser and Richard S. Bray, NACA [No. 1276], p. 575 , © 2008 by NewsBank, Inc. All rights reserved

Language: English

URL: Volltext  (Deutschlandweit zugänglich)

UID:

Format: 1 online resource (909 p.) , Num. figs

Edition: Reprint 2019

ISBN: 9783110871944

Note: Mode of access: Internet via World Wide Web , In English

Additional Edition: 9783110105964

Language: English

DOI: 10.1515/9783110871944

URL: https://doi.org/10.1515/9783110871944

URL: https://www.degruyter.com/isbn/9783110871944

URL: Cover

UID:

Format: 1 Online-Ressource (688 p.)

Edition: Reprint 2021

Edition: 2022

ISBN: 9783112542385

Series Statement: Abhandlungen der Akademie der Wissenschaften der DDR/ N. Mathematik, Naturwissenschaften, Technik 1988, 1

Additional Edition: 9783112542378

Language: English

DOI: 10.1515/9783112542385

URL: https://doi.org/10.1515/9783112542385

URL: https://www.degruyter.com/isbn/9783112542385

URL: Cover

UID:

Format: 1 online resource (688 p.)

Edition: Reprint 2021

ISBN: 9783112542385

Series Statement: Abhandlungen der Akademie der Wissenschaften der DDR/ N. Mathematik, Naturwissenschaften, Technik ; 1988, 1

Note: Frontmatter -- , Preface -- , In memoriam VILÉM LAUFBERGER -- , CONTENTS -- , PLENARY LECTURES -- , One Century Electrocardiography In man -- , My first 25 years in electrocardiology -- , Gating properties of cardiac sodium channels -- , Computer Modelling in Cardiac Electrophysiologic -- , Body Surface Potential Mapping in Children -- , Features of ventricular septal activation in the cardiac electric -- , Mechanisms of antiarrhythmics -- , Clinical Application of Magnetocardiographic Measurements -- , Comparison of mathematical and geometrical approach in spacecraft and in our triaxicardiometric (Polarcardiographic) programs -- , YOUNG INVESTIGATORS AWARD -- , Transcavitary Conduction and the Mean Frontal Q R S Axis -- , localization of accessory atrioventricular connections and origin of ventricular tachycardia in patients with malignant tachyarrhythmias by electrocardiographic, electrophysiologic and scintigraphic techniques -- , Correlation between biomagnetic localization of primary cardiac sources obtained by different models and radiographic-echocardiographic images -- , Functional significance of a negative U wave in the exercise electrocardiogram -- , COMPONENTS OF THE HEART RATE POWER SPECTRUM DURING INDIVIDUAL SLEEP STAGES AND THEIR ASSOCIATION TO-CENTRAL HEMODYNAMICS -- , Nondipolarity Estimation - an Additional Diagnostic Information in Myocardial Infarction ? -- , FUNDAMENTALS OF CARDIAC EXITATION -- , Transient outward current in mammalian ventricular fibres and its role in the control of action potential configuration -- , Bioelectric activity of frog atrium cells with non-typical impulse activity -- , Antiarrhythmic effects of Ca channel blockers on canine Purkinje fibers -- , Intercellular interaction In frog heart -- , Technical aspects of intercellular electrotonic interaction investigation in the myocardium -- , Extracellular K+and Ca 2+ actlvities (a K+ 0,a0Ca2+ ) at the region of suction electrode placed on the ventral wall of frog ventricular epicardium during the development of monophasic action potential (MAP) caused by the negative pressure -- , The histology of the atrioventricular nodal cells in the human heart -- , Structural and functional organization of atrioventricular conducting system in the avian heart -- , MODELLING OF HEART ACTIVITY -- , Modelling of isopotential and field strength distribution in the human thorax -- , Theoretical analysis of magnetic fields resulting from heart activity -- , Computer Simulation of the Electrical and Magnetical Heart Field -- , DECARTO: A new concept for analyzing and presenting orthogonal electrocardiographic signals -- , Computer Simulation of Cardiac Excitation in the Hypertrophic Heart -- , A Study of the Diagnostic Informativity of BSPM Based on a Multipolar Cardiac Source Model -- , The usefulness of multipoles in differentiation of human cardiac electric fields -- , A Computer Model of Cardiac Rhythm and Heart - Pacemaker Interface -- , Higher Degree Multidipolar Components Sum on the VCG Spherical Surface -- , Modelling and simulation of the ventricular excitation and repolarization in relation to the heart mechanics -- , Dynamic Anisotropy of Atrioventricular Nodal Conduction? Computer Modelling Experiments -- , Instability of Multipole Model of Cardiogenerator Caused by Measurement Errors -- , BODY SURFACE MAPPING-THEORY AND METHODS -- , Body Surface Isopotential Maps Properties after the Transfer Coefficient Unification -- , Electromagnetic field of heart contraction kinetics. Electromagnetic kin etocardiography: theory and clinical application -- , Data acquisition for ECG-mapping -- , System for clinical mapping and modelling the heart generator -- , How to image the differences between CEF-norm and actual condition of cardiac electric field using threedimensional isopotential maps without colour graphics ? -- , A BSPM Infrastructure: Product Description and Applications -- , Spread of the atrial activation on the chest surface in healthy girls -- , Application of a bedside Microcomputer System far ECG Mapping after Myocardial Infarction -- , The Transfer Coefficient Unification Method for the Body Surface Potential Distribution Processing -- , Automatic QRS Onset Detection of BSPM by Spatial and Temporal Approach -- , Experimental Investigation of Cardiac Electric Field -- , BODY SURFACE MAPPING-CLINICAL APPLICATION -- , An analysis of multiple ECG leads in the patients with posterior myocardial infarction -- , RECOGNITION OF MYOCARDIAL ISCHEMIC AREAS BY COMPUTERIZED STRESS PRECORDIAL MAPPING -- , Electrocardiographic isopotential exercise and oesophageal stimulation maps in the diagnosis of myocardial ischaemia -- , Usefulness of the QRST integral maps to detact vulnerability to malignant arrhythmias in patients with old myocardial infarction. -- , Nondipolarity of QRST area map and the ventricular arrhythmias following myocardial infarction -- , Characteristic Features of the Cardioelectric Fields Mapped in Patients with Essential and Renal Hypertension -- , USE OF COMPUTER SYSTEMS TO DEVELOP NOVEL APPROACHES TO ELECTROCARDIOGRAPHIC ANALYSIS -- , Specific features of the integral cardiac topograms in the patients with myocarditis -- , Estimation of the dipolar content of total body surface potential distribution in WPW syndrome -- , MAGNETOCARDIOGRAPHY -- , High resolution magnetocardiography -- , The Influence Of Inhomogeneities On ECG And MCG Mapping -- , On basic models for magnetocardiographic studies -- , The DC SQUID SYSTEM 3 - a new tool for investigations of magnetic activities of the heart -- , Electromagnetic kinetocardiography. Measurement technique, hardware and software -- , VECTORCARDIOGRAPHY -- , THE RELATIONSHIP BETWEEN THE 12-LEAD STANDARD ECG AND THE XYZ VECTOR LEADS -- , Planarity of the spatial QRS loop. Comparative analysis in normals, infarcts, ventricular hypertrophies and intraventricular conduction defects -- , New routine VCG-analysis with high diagnostic power in LVH and RVH -- , Vectorcardiographic identification of anteroapical infarction -- , Normal areas of Frank VCG instantaneous vector end-points - comparison with the VA program evaluation -- , Shape of the QRS loop and the stability of transformation coefficients between two different VCG lead systems -- , VCG study of the S-T segment changes in pts with MI treated or not with i.v. Streptoki nase -- , DEVELOPMENTAL ELECTROCARDIOLOGY -- , Experimental Simulation of the Postnatal Decrease of Pulmonary Vascular Resistance: Effect on the ECG -- , Conception and results of neonatal electrocardiographic screening -- , Some aspects of the body surface mapping and echocardiographic findings in healthy children -- , FRANK ECG of adolescents -- , Prevalence and clinical relevance of different physiological variants of right ventricular conduction in infancy, childhood and adolescence -- , May primary septal hypertrophic cardiomyopathy be responsible for sudden infant death syndrome ? Relevancy of electrovectorcardiographie investigation. -- , Electrocardiography in hypertrophic cardiomyopathy -- , ECG of Postnatally Growing Guinea Pigs with Carbon Monoxide Induced Cardiomegaly -- , Some quantitative parameters of the QRS complex obtained from body surface potential maps of normal children -- , Swimming Exercise in Postnatally Growing Hats: Influence on Various ECG Parameters -- , Experimental body surfact isopotential mapping in healthy, swimming and sympathectomized young rats -- , EXERCISE ELECTROCARDIOLOGY -- , Prognostic value of different exercise-ECG-signs, ten years follow-up. , The Erfurt Intervention Study -- , Improved Diagnosis of Cardiac Dysrhythmias During Stress-Tests Using Bipolar Oesophageal ECG -- , The importance of- BOG to determine the autonomic nervous control of cardiac action during thermal stress -- , Electrocardiographic Changes in Men Under Hypokinesia and Physical Exercise -- , FACILITIES OF EGG TELEMETRY IN PHYSICAL MEDICINE -- , Modified ECG Functional Teat for Prognosis of Rehabilitation Effect in Patients after Myocardial Infarction -- , Comparison of exercise precordial mapping and exercise thallium scintigraphy in the diagnosis of coronary artery disease -- , Frequency analysis of ECG during bycicle exercise in patients with ischaemic heart disease -- , Significance of the ascending type of ST-segment depression during diagnostic exercise ECG In patients with ischaemic heart disease -- , DIAGNOSTIC OF MYOCARDIAL INFARCTION -- , Effect of infarct location on the incidence of silent Myocardial ischemia in patients with transmural Myocardial infarction -- , Discriminant body surface potential map patterns in anterior and inferior myocardial infarction -- , Correlation g〉f myocardial infarction development character and disturbances of coronary blood flow -- , Contribution of the on-line computer ECG mapping to the rapid diagnostics of myocardial Infarction size and Localization -- , VCG semi-quantitative evaluation of infarcted area in the acute phase of MI and after 6 months of follow-up: clinical and prognostic correlations -- , ECG Patterns in Subjects with Self-Reported Old Myocardial Infarctions Results from a Cross-Sectional Population Study -- , Repolarization waye abnormalities and symptomatic coronary artery disease -- , Transtelephonic 12-lead ECG service centers in the Netherlands. -- , ECG criteria and thrombolysis in acute myocardial infarction -- , The Quantitation of Regional Ischemia Criteria from a Fine Grid Computer Simulation of QRS-T -- , Comparison of vectorcardiographs,electrocardiographic,ventriculographic, echocardiographic and coronarographic findings in patients with stenocardia -- , Diagnostic possibilities of electroc ardiotopography and mathematical model in myocardial infarction -- , Electrocardiotopography value in myocardial infarction and stenocardia -- , ECG changes and load tolerance in patients after myocardial infarction -- , RHYTHM AND RHYTHM DISTURBANCE -- , Circadian variation of the sinus arrhythmia -- , On the characteristic frequency of sinus arrhythmia -- , HYPERTROPHIC CARDIOMYOPATHY AND MYOCARDIAL INFARCTION: A CHRONOBIOLOGICAL STUDY OF HEART RATE AND PREMATURE BEATS -- , Measurement of periodic heart rate variability for investigation of the vegetative level during the induction of anaesthesia -- , The influence of beta-adrenergic blockers propranolol and talinolol on ECG in young men -- , "Warming-up" Phenomenon Differential Diagnosis and Quantitative Study -- , The comparative study of 24-hour ECG monitoring in patients with different forms of angina pectoris and myocardial infarction -- , Behavior of the QT -interval at multiple praecordial ECG-leads in healthy persons and patients with different heart diseases -- , Bundle branch reentrant tachycardia treated by transvenous catheter ablation of the right bundle branch -- , Clinical Studies on Post-Tachycardia Syndrome -- , Pacemaker Inverse Problem Computer Supported Diagnosis of Electrocardiograms of Paced Patients -- , Optimal setting of programmable cardiac pacemakers by means of radionuclide ventriculography -- , Differentiation of atrial rhythms by differentially amplified ECG -- , Controlled antiarrhythmic therapy -for recurrent supraventricular arrhythmias by means of repeated transesophageal pacing -- , Effects of cardiac glycosides on electrical repolarization during sinusrhythm and atrials pacing in normals and in patients with coronary artery diseases -- , Are the alcoholic arrhythmias related to alcoholic cardiomypaty? -- , Serum potassium level in relation to malignant arrhythmias in acute myocardial infarction -- , Prognosis in ventricular tachyarrhythmia patients with coronary artery disease -- , The control of heart rhythm in a tilt table test -- , The Electrophysiologic Criteria for the Selection of Antiarrhythmic Therapy -- , Cardiac rhythm and haemodynamics disturbances in patients with sick sinus syndrome and VTI pacemakers implanted -- , Analysis of Longtime ECG by Means of Microcomputer Including Recognition of P-waves and ST-T-segment -- , Use of Microcardioanalyzer for Individualized Drug Selection in Cardiology -- , ASSESSMENT OF THE CARDIAC FUNCTIONAL STATUS -BASH) ON LONG-TERM RHYTHM3GRAM RECORDING DURING SLEEP -- , Autonomic nervous system control of heart rata in juvenile hypertension -- , Contribution of ambulatory electrocardiographic monitoring for the diagnosis of patients with syncopa -- , ECG AND CARDIAC MECHANICS CONDUCTION PROBLEMS -- , Correlations between SCG and echographical changes in 345 cases of hypertrophic cardiomyopathy -- , C.CARP -- , ST elevation during PTCA: role of collaterals in sudden coronary occlusion -- , Complete or Incomplete right bundle branch block after coronary artery bypass surgery -- , New aspects of classifying intraventricular conduction disturbances -- , Influence of quinidine versus procainamide on the QT interval -- , S-A. Blook, Sinus Parasystole, S-A Dissociation Semantics of Terms -- , The differentiation of incomplete right bundle branch block /inc.RBBB/ and right ventricular strain /RVS/ by the spatial angular velocity -- , HIS-ECG LATE POTENTIALS -- , Late ventricular potentials and their representation on the Instant topograms -- , R.Z*AmiroY -- , Frequency and significancy of ventricular late potentials in patients with myocardial infarction with and without fibrinolysis -- , Intracardiac electrophysiologic testing in the postmyocardial infarction period -- , Multiple malformations of the conduction system of the heart in patients with paroxysmal supraventricular tachycardias -- , The first derivative of the electrocardiogram -- , Reliability of noninvasive His bundle recordings -- , Role of AV system electrophysiologic changes in the pathogenesis of paroxysmal atrial fibrillation -- , Is the HV interval dependent on the recording site of His bundle electrogram? -- , System for detection of micropotentiels -- , The Clinical Evaluation of the Late Potentials in Patients with Ventricular Arrhythmias -- , Escape pacemaker characteristics following catheter-induced ablation of the atrioventricular junction -- , Registration of cardiac micropotentiale from body surface - a possibility to diagnose myocarditide -- , AUTHORS INDEX , In English.

Additional Edition: ISBN 9783112542378

Language: English

DOI: 10.1515/9783112542385

URL: https://doi.org/10.1515/9783112542385

URL: https://www.degruyter.com/isbn/9783112542385