T he cardiac IKs channel is a major repolarization current in the heart that responds rapidly and robustly to sympathetic nervous system stimulation to ensure adequate diastolic filling time in the face of accompanying accelerated heart rate. In cardiac myocytes, the IKs channel is a macromolecular complex composed of a poreforming α (KCNQ1) subunit and modulatory β (KCNE1) subunit, as well as ...

Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is l-calculus a reasonable machine? Is there a way to measure the computational complexity of a l-term? This paper presents the first complete positive answer to this long-standing problem. Moreover, our answer is completely machine-independent and based...

The IEEE defines software engineering as, "The application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software; that is, the application of engineering to software." As software is the result of software engineering, if software is in crisis then software engineering itself is in crisis. We argue that software engineering is indeed in c...

We show that timed branching bisimilarity as defined by van der Zwaag [14] and Baeten & Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose an adaptation based on van der Zwaag’s definition, and prove that the resulting timed branching bisimilarity is an equivalence indeed. Furthermore, we prove that in case of a discrete time domain, van der Zwaag’s defini...