In this paper we analyze classical and quantum correlations using the tools of epistemic logic. Our main contribution consists of two new logical systems. The first one is called General Epistemic Logic (GEL), it exte...
详细信息
Current drugs used to treat atrial fibrillation (AF) often target tissue excitability (sodium channels) and refractoriness (hERG channels), but their efficacy is still modest. This study focuses on investigating new a...
详细信息
Current drugs used to treat atrial fibrillation (AF) often target tissue excitability (sodium channels) and refractoriness (hERG channels), but their efficacy is still modest. This study focuses on investigating new approaches to manage AF by conducting a systematic computer simulation study. The Maleckar action potential (AP) model was used to simulate human atrial cellular and tissue electrophysiology in control and AF-related electrically remodeled (AFER) conditions. Steady-state cellular AP duration (APD) and resting potential (V rest ), as well as tissue properties, such as refractory period (ERP), conduction velocity (CV) and reentrant dominant frequency (DF) were quantified for default conditions and following changes in model parameters. Results are compared to experimental data from the literature for validation. Results show the fundamental role of the Na + /K + pump in electrophysiology and rotor dynamics in human atria through modulation of APD and ERP. I K1 controls re-entrant DF through modulation of AP, ERP and CV. Furthermore, the fast Na + current (I Na ) is key in determining DF through modulation of CV. The mechanisms underlying human atrial electrophysiological properties were qualitatively similar in control and AFER, although changes in ionic currents generally had smaller effects in AFER.
Ionic mechanisms underlying atrial fibrillation (AF) generation and propagation are unclear. In this study, we investigate the dependence of AF related properties to changes in human atrial ion channel characteristics...
详细信息
Ionic mechanisms underlying atrial fibrillation (AF) generation and propagation are unclear. In this study, we investigate the dependence of AF related properties to changes in human atrial ion channel characteristics by systematically conducting a sensitivity analysis. Cell and tissue simulations are performed using the Maleckar action potential computational model for control and AF remodeling conditions, and are validated using experimental data from the literature. Inward rectifier K + current is shown to play a key role in many of the analyzed cell properties: action potential duration (APD), resting membrane potential and APD restitution slopes; as well as in tissue refractory period and wavelength. Na + /K + pump is essential in APD adaptation to heart rate changes and important in the tissue refractory period as well. FastNa + current is proven to be of great significance in tissue simulations, especially altering tissue excitability and, consequently, conduction velocity. Ionic mechanisms underlying electrophysiological properties are similar in control and AF. Sensitivity of AF related properties to changes in ion channel characteristics can help in the design and screening of new multi-channel action anti-AF drugs.
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properti...
详细信息
This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use ...
详细信息
ISBN:
(纸本)9780769528564
This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of Formal Methods can be used to derive the latter from the former In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.
This paper proposes a , the "ambit' of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use of th...
详细信息
This paper proposes a , the "ambit' of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of formal methods can be used to derive the latter from the former. In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.
The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict arrays with lazy evaluation. Equational transfor...
详细信息
ISBN:
(纸本)9783540696087
The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict arrays with lazy evaluation. Equational transformations based on term rewriting are used to deforest intermediate ByteStrings automatically. We describe novel fusion combinators with improved expressiveness and performance over previous functional array fusion strategies. A library for ByteStrings is implemented, providing a purely functional interface, which approaches the speed of low-level mutable arrays in C.
暂无评论