6,182 research outputs found
How to perform left atrial transseptal access and catheter ablation of atrial fibrillation from a superior approach
The standard technique for percutaneous catheter ablation of atrial fibrillation (AF) involves obtaining left atrial access and catheter manipulation from an inferior transfemoral venous access. However, in patients with inferior vena cava interruption, a standard transfemoral venous approach is not possible. In these cases, a percutaneous approach from a superior central vein, such as the internal jugular vein or the axillary/subclavian vein can be considered. In this article, we describe the details of our technique to obtain left atrial catheterization and perform catheter ablation of AF from a superior approach. Our technique involves the use of steerable sheaths, dedicated radiofrequency wires, and intracardiac echocardiography guidance.Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/153672/1/jce14294_am.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/153672/2/jce14294.pd
Nearly-zero transmission through periodically modulated ultrathin metal films
Transmission of light through an optically ultrathin metal film with a
thickness comparable to its skin depth is significant. We demonstrate
experimentally nearly-zero transmission of light through a film periodically
modulated by a one-dimensional array of subwavelength slits. The suppressed
optical transmission is due to the excitation of surface plasmon polaritons and
the zero-transmission phenomenon is strongly dependent on the polarization of
the incident wave.Comment: accepted by AP
Application of OCT to examination of easel paintings
We present results of applying low coherence interferometry to gallery paintings. Infrared low coherence interferometry is capable of non-destructive examination of paintings in 3D, which shows not only the structure of the varnish layer but also the paint layers
Total Angular Momentum Waves for Scalar, Vector, and Tensor Fields
Most calculations in cosmological perturbation theorydecompose those
perturbations into plane waves (Fourier modes). However, for some calculations,
particularly those involving observations performed on a spherical sky, a
decomposition into waves of fixed total angular momentum (TAM) may be more
appropriate. Here we introduce TAM waves, solutions of fixed total angular
momentum to the Helmholtz equation, for three-dimensional scalar, vector, and
tensor fields. The vector TAM waves of given total angular momentum can be
decomposed further into a set of three basis functions of fixed orbital angular
momentum (OAM), a set of fixed helicity, or a basis consisting of a
longitudinal (L) and two transverse (E and B) TAM waves. The symmetric
traceless rank-2 tensor TAM waves can be similarly decomposed into a basis of
fixed OAM or fixed helicity, or a basis that consists of a longitudinal (L),
two vector (VE and VB, of opposite parity), and two tensor (TE and TB, of
opposite parity) waves. We show how all of the vector and tensor TAM waves can
be obtained by applying derivative operators to scalar TAM waves. This operator
approach then allows one to decompose a vector field into three covariant
scalar fields for the L, E, and B components and symmetric-traceless-tensor
fields into five covariant scalar fields for the L, VE, VB, TE, and TB
components. We provide projections of the vector and tensor TAM waves onto
vector and tensor spherical harmonics. We provide calculational detail to
facilitate the assimilation of this formalism into cosmological calculations.
As an example, we calculate the power spectra of the deflection angle for
gravitational lensing by density perturbations and by gravitational waves. We
comment on an alternative approach to CMB fluctuations based on TAM waves. Our
work may have applications elsewhere in field theory and in general relativity.Comment: 32 pages, Published version in PR
A logical approach for behavioural composition of scenario-based models
As modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s sequence diagrams. Given a set of scenarios we then need to check whether these are consistent and can be combined for a better understanding of the overall behaviour. This paper addresses this by presenting a novel formal technique for composing behavioural models at the metamodel level through exact metamodel restriction (EMR). In our approach a sequence diagram can be completely described by a set of logical constraints at the metamodel level. When composing sequence diagrams we take the union of the sets of logical constraints for each diagram and additional behavioural constraints that describe the matching composition glue. A formal semantics for composition in accordance with the glue guides our model transformation to Alloy. Alloy’s fully automated constraint solver gives us the solution. Our technique has been implemented as an Eclipse plugin SD2Alloy.Postprin
Correct composition of dephased behavioural models
This research is supported by EPSRC grant EP/M014290/1.Scenarios of execution are commonly used to specify partial behaviour and interactions between different objects and components in a system. To avoid overall inconsistency in specifications, various automated methods have emerged in the literature to compose (behavioural) models. In recent work, we have shown how the theorem prover Isabelle can be combined with the constraint solver Z3 to efficiently detect inconsistencies in two or more behavioural models and, in their absence, generate the composition. Here, we extend our approach further and show how to generate the correct composition (as a set of valid traces) of dephased models. This work has been inspired by a problem from a medical domain where different care pathways (for chronic conditions) may be applied to the same patient with different starting points.Postprin
- …