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 ...

We conduct the first systematic analysis of the effect of CEO tenure on risk-taking. We document an overall positive impact of CEO tenure on risk-taking. Our results suggest that this positive relation may not be explained by tenure proxying for power, experiences, or human capital investment. Instead, the results are consistent with the hypothesis that the declining career concerns associated ...

Intramembrane charge movement was recorded in rat and rabbit ventricular cells using the whole-cell voltage clamp technique. Na and K currents were eliminated by using tetraethylammonium as the main cation internally and externally, and Ca channel current was blocked by Cd and La. With steps in the range of -110 to -150 used to define linear capacitance, extra charge moves during steps positive...