Action Semantics Reasoning About Functional Programs

syntax The algebraic definition of abstract syntax trees below can, more or less, be read as a BNF grammar. Emphatic brackets, [[: : : ]], indicate nodes in an abstract syntax tree. grammar: ffl Expression = Identifier "true" "false" [[ "" Identifier "." Expression ]] [[ Expression Expression ]] [[ "rec" Identifier "." Expression ]] [[ "if" Expression "then" Expression "else" Expression ]] . Action semantics reasoning about functional programs 3 ffl Identifier = [[ letter + ]] . 2.2. Semantic functions Action semantic descriptions are syntax-directed in the denotational style: compositional semantic functions map abstract syntax into meaning and are defined inductively by semantic equations. There is one universal semantic domain, namely action, the sort of actions. Actions are expressed in a notation that looks a little like informal English prose but, in fact, it is a completely formal combinator-based notation. The verbose notation should be suggestive of the meaning of th..

Applicative may- and should-simulation in the call-by-value lambda calculus with amb

Motivated by the question whether sound and expressive applicative similarities for program calculi with should-convergence exist, this paper investigates expressive applicative similarities for the untyped call-by-value lambda-calculus extended with McCarthy's ambiguous choice operator amb. Soundness of the applicative similarities w.r.t. contextual equivalence based on may-and should-convergence is proved by adapting Howe's method to should-convergence. As usual for nondeterministic calculi, similarity is not complete w.r.t. contextual equivalence which requires a rather complex counter example as a witness. Also the call-by-value lambda-calculus with the weaker nondeterministic construct erratic choice is analyzed and sound applicative similarities are provided. This justifies the expectation that also for more expressive and call-by-need higher-order calculi there are sound and powerful similarities for should-convergence

Multielectrode Unipolar Voltage Mapping and Electrogram Morphology to Identify Post-Infarct Scar Geometry Validation by Histology

OBJECTIVES This study sought to evaluate the ability of uni-and bipolar electrograms collected with a multielectrode catheter with smaller electrodes to: 1) delineate scar; and 2) determine local scar complexity.& nbsp;BACKGROUND Early reperfusion results in variable endocardial scar, often overlaid with surviving viable myocardium. Although bipolar voltage (BV) mapping is considered the pillar of substrate-based ablation, the role of unipolar voltage (UV) mapping has not been sufficiently explored. It has been suggested that bipolar electrograms collected with small electrode catheters can better identify complex scar geometries.& nbsp;METHODS Twelve swine with early reperfusion infarctions were mapped with the 48-electrode OctaRay catheter and a conventional catheter during sinus rhythm. BV electrograms with double components were identified. Transmural (n = 933) biopsy specimens corresponding to mapping points were obtained, histologically assessed, and classified by scar geometry.& nbsp;RESULTS OctaRay UV (UVOcta) and BV (BVOcta) amplitude were associated with the amount of viable myocardium at a given location, with a stronger association for UVOcta (R2 = 0.767 vs 0.473). Cutoff values of 3.7 mV and 1.0 mV could delineate scar (area under the curve: 0.803 and 0.728 for UVOcta and BVOcta, respectively). The morphology of bipolar electrograms collected with the OctaRay catheter more frequently identified areas with 2 layers of surviving myocardium than electrograms collected with the conventional catheter (84% vs 71%).& nbsp;CONCLUSIONS UV mapping can generate a map to delineate the area of interest when using a multielectrode catheter. Within this area of interest, the morphology of bipolar electrograms can identify areas in which a surviving epicardial layer may overlay a poorly coupled, potentially arrhythmogenic, endocardium. (C) 2022 by the American College of Cardiology Foundation.Cardiolog

Multielectrode Unipolar Voltage Mapping and Electrogram Morphology to Identify Post-Infarct Scar Geometry Validation by Histology

OBJECTIVES This study sought to evaluate the ability of uni-and bipolar electrograms collected with a multielectrode catheter with smaller electrodes to: 1) delineate scar; and 2) determine local scar complexity.& nbsp;BACKGROUND Early reperfusion results in variable endocardial scar, often overlaid with surviving viable myocardium. Although bipolar voltage (BV) mapping is considered the pillar of substrate-based ablation, the role of unipolar voltage (UV) mapping has not been sufficiently explored. It has been suggested that bipolar electrograms collected with small electrode catheters can better identify complex scar geometries.& nbsp;METHODS Twelve swine with early reperfusion infarctions were mapped with the 48-electrode OctaRay catheter and a conventional catheter during sinus rhythm. BV electrograms with double components were identified. Transmural (n = 933) biopsy specimens corresponding to mapping points were obtained, histologically assessed, and classified by scar geometry.& nbsp;RESULTS OctaRay UV (UVOcta) and BV (BVOcta) amplitude were associated with the amount of viable myocardium at a given location, with a stronger association for UVOcta (R2 = 0.767 vs 0.473). Cutoff values of 3.7 mV and 1.0 mV could delineate scar (area under the curve: 0.803 and 0.728 for UVOcta and BVOcta, respectively). The morphology of bipolar electrograms collected with the OctaRay catheter more frequently identified areas with 2 layers of surviving myocardium than electrograms collected with the conventional catheter (84% vs 71%).& nbsp;CONCLUSIONS UV mapping can generate a map to delineate the area of interest when using a multielectrode catheter. Within this area of interest, the morphology of bipolar electrograms can identify areas in which a surviving epicardial layer may overlay a poorly coupled, potentially arrhythmogenic, endocardium. (C) 2022 by the American College of Cardiology Foundation