v Acknowledgements vii Executive Summary ix 1 Background and Introduction 1 1.1 Goals of Model-Based Verification Efforts 1 1.2 Structure and Content of the Report 2 2 Model-Based Verification 3 2.1 The Model-Based Verification Paradigm 3 2.2 Context and Related Work 6 2.3 Model-Based Verification in Software Upgrades 6 3 Technical Aspects of Model-Based Verification 9 3.1 Models 9 3.2 Formalis...

Intramembrane charge movement was recorded in guinea pig ventricular myocytes at 19-22 degrees C using the whole-cell patch clamp technique. From a holding potential of -110 mV, the dependence of intramembrane charge moved on test voltage (Q(V)) followed the sum of two Boltzmann components. One component had a transition voltage (V) of -48 mV and a total charge (Qmax) of congruent to 3 nC/micro...

Does CEO duality – the practice of one person serving both as a firm’s CEO and board chair – contribute to or inhibit firm performance? Agency theory suggests that CEO duality is bad for performance because it compromises the monitoring and control of the CEO. Stewardship theory, in contrast, argues that CEO duality may be good for performance due to the unity of command it presents. The empiri...

This paper documents the existence of a CEO Investment Cycle, in which disinvestment decreases over CEO tenure while investment increases, leading to “cyclical” firm growth in assets as well as in employment. The CEO investment cycle is present for both firings and non-performance related CEO turnovers. Its magnitude is substantial: the estimated difference in investment rate between the first ...