127 research outputs found
Application of coding theory to interconnection networks
AbstractWe give a few examples of applications of techniques and results borrowed from error-correcting codes to problems in graphs and interconnection networks. The degree and diameter of Cayley graphs with vertex set (Z2Z)r are investigated. The asymptotic case is dealt with in Section 2. The robustness, or fault tolerance, of the n-cube interconnection network is studied in Section 3
Predicate Abstraction for Linked Data Structures
We present Alias Refinement Types (ART), a new approach to the verification
of correctness properties of linked data structures. While there are many
techniques for checking that a heap-manipulating program adheres to its
specification, they often require that the programmer annotate the behavior of
each procedure, for example, in the form of loop invariants and pre- and
post-conditions. Predicate abstraction would be an attractive abstract domain
for performing invariant inference, existing techniques are not able to reason
about the heap with enough precision to verify functional properties of data
structure manipulating programs. In this paper, we propose a technique that
lifts predicate abstraction to the heap by factoring the analysis of data
structures into two orthogonal components: (1) Alias Types, which reason about
the physical shape of heap structures, and (2) Refinement Types, which use
simple predicates from an SMT decidable theory to capture the logical or
semantic properties of the structures. We prove ART sound by translating types
into separation logic assertions, thus translating typing derivations in ART
into separation logic proofs. We evaluate ART by implementing a tool that
performs type inference for an imperative language, and empirically show, using
a suite of data-structure benchmarks, that ART requires only 21% of the
annotations needed by other state-of-the-art verification techniques
Une méthode adaptative pour la segmentation de drusen
Le but de ce travail est la segmentation automatique d'images d'angiographie du fond de l'oeil pour extraire les drusen, qui sont des taches jaunes, un peu nuageuses situées au niveau de la rétine. Les méthodes classiques de segmentation n'étant pas efficaces pour l'extraction automatique des drusen, nous introduisons une nouvelle approche adaptative. Nous introduisons un algorithme adaptatif basé sur des transformations issues de la morphologie mathématique. Au calcul de la transformée "maxima h - ∞", nous proposons une définition automatique du paramètre de contraste h. Nous introduisons également une approche avec une fonction h(x) non constante. Le résultat ainsi obtenu fait ressortir les taches en uniformisant le fond. Notre méthode donne des résultats très satisfaisants sur des images typiques
Final State Interactions and New Physics in B -> pi K Decays
Within the Standard Model, and if one assumes that soft rescattering effects
are negligible, the CP asymmetry A^dir_CP (B^\pm -> \pi^\pm K) is predicted to
be very small and the ratio R = BR(B_d -> \pi^\mp K^\pm)/BR(B^\pm -> \pi^\pm K)
provides a bound on the angle \gamma of the unitarity triangle, sin^2 \gamma
\leq R. We estimate the corrections from soft rescattering effects using an
approach based on Regge phenomenology, and find effects of order 10% with large
uncertainties. In particular, we conclude that A^dir_CP \sim 0.2 and sin^2
\gamma \sim 1.2 R could not be taken unambiguously to signal New Physics. Using
SU(3) relations, we suggest experimental tests that could constrain the size of
the soft rescattering effects thus reducing the related uncertainty. Finally,
we study the effect of various models of New Physics on A^dir_CP and on R.Comment: 20 pages, RevTex, no figures; a few typos corrected, references
added, brief additional discussion of uncertanties is adde
Weak Decays Beyond Leading Logarithms
We review the present status of QCD corrections to weak decays beyond the
leading logarithmic approximation including particle-antiparticle mixing and
rare and CP violating decays. After presenting the basic formalism for these
calculations we discuss in detail the effective hamiltonians for all decays for
which the next-to-leading corrections are known. Subsequently, we present the
phenomenological implications of these calculations. In particular we update
the values of various parameters and we incorporate new information on m_t in
view of the recent top quark discovery. One of the central issues in our review
are the theoretical uncertainties related to renormalization scale ambiguities
which are substantially reduced by including next-to-leading order corrections.
The impact of this theoretical improvement on the determination of the
Cabibbo-Kobayashi-Maskawa matrix is then illustrated in various cases.Comment: 229 pages, 32 PostScript figures (included); uses RevTeX, epsf.sty,
rotate.sty, rmpbib.sty (included), times.sty (included; requires LaTeX 2e);
complete PostScript version available at
ftp://feynman.t30.physik.tu-muenchen.de/pub/preprints/tum-100-95.ps.gz or
ftp://feynman.t30.physik.tu-muenchen.de/pub/preprints/tum-100-95.ps2.gz
(scaled down and rotated version to print two pages on one sheet of paper
Bradykinin and adenosine receptors mediate desflurane induced postconditioning in human myocardium: role of reactive oxygen species
BACKGROUND:
Desflurane during early reperfusion has been shown to postcondition human myocardium, in vitro. We investigated the role of adenosine and bradykinin receptors, and generation of radical oxygen species in desflurane-induced postconditioning in human myocardium.
METHODS:
We recorded isometric contraction of human right atrial trabeculae hanged in an oxygenated Tyrode's solution (34 degrees Celsius, stimulation frequency 1 Hz). After a 30-min hypoxic period, desflurane 6% was administered during the first 5 min of reoxygenation. Desflurane was administered alone or with pretreatment of N-mercaptopropionylglycine, a reactive oxygen species scavenger, 8-(p-Sulfophenyl)theophylline, an adenosine receptor antagonist, HOE140, a selective B2 bradykinin receptor antagonist. In separate groups, adenosine and bradykinin were administered during the first minutes of reoxygenation alone or in presence of N-mercaptopropionylglycine. The force of contraction of trabeculae was recorded continuously. Developed force at the end of a 60-min reoxygenation period was compared (mean +/- standard deviation) between the groups by a variance analysis and post hoc test.
RESULTS:
Desflurane 6% (84 +/- 6% of baseline) enhanced the recovery of force after 60-min of reoxygenation as compared to control group (51 +/- 8% of baseline, P < 0.0001). N-mercaptopropionylglycine (54 +/- 3% of baseline), 8-(p-Sulfophenyl)theophylline (62 +/- 9% of baseline), HOE140 (58 +/- 6% of baseline) abolished desflurane-induced postconditioning. Adenosine (80 +/- 9% of baseline) and bradykinin (83 +/- 4% of baseline) induced postconditioning (P < 0.0001 vs control), N-mercaptopropionylglycine abolished the beneficial effects of adenosine and bradykinin (54 +/- 8 and 58 +/- 5% of baseline, respectively).
CONCLUSIONS:
In vitro, desflurane-induced postconditioning depends on reactive oxygen species production, activation of adenosine and bradykinin B2 receptors. And, the cardioprotective effect of adenosine and bradykinin administered at the beginning of reoxygenation, was mediated, at least in part, through ROS production
The skeleton of the staghorn coral Acropora millepora: molecular and structural characterization
15 pagesInternational audienceThe scleractinian coral Acropora millepora is one of the most studied species from the Great Barrier Reef. This species has been used to understand evolutionary, immune and developmental processes in cnidarians. It has also been subject of several ecological studies in order to elucidate reef responses to environmental changes such as temperature rise and ocean acidification (OA). In these contexts, several nucleic acid resources were made available. When combined to a recent proteomic analysis of the coral skeletal organic matrix (SOM), they enabled the identification of several skeletal matrix proteins, making A. millepora into an emerging model for biomineralization studies. Here we describe the skeletal microstructure of A. millepora skeleton, together with a functional and biochemical characterization of its occluded SOM that focuses on the protein and saccharidic moieties. The skeletal matrix proteins show a large range of isoelectric points, compositional patterns and signatures. Besides secreted proteins, there are a significant number of proteins with membrane attachment sites such as transmembrane domains and GPI anchors as well as proteins with integrin binding sites. These features show that the skeletal proteins must have strong adhesion properties in order to function in the calcifying space. Moreover this data suggest a molecular connection between the calcifying epithelium and the skeletal tissue during biocalcification. In terms of sugar moieties, the enrichment of the SOM in arabinose is striking, and the monosaccharide composition exhibits the same signature as that of mucus of acroporid corals. Finally, we observe that the interaction of the acetic acid soluble SOM on the morphology of in vitro grown CaCO3 crystals is very pronounced when compared with the calcifying matrices of some mollusks. In light of these results, we wish to commend Acropora millepora as a model for biocalcification studies in scleractinians, from molecular and structural viewpoints
Localized instabilities of the Wigner equation as a model for the emergence of Rogue Waves
In this paper, we model Rogue Waves as localized instabilities emerging from homogeneous and stationary background wavefields, under NLS dynamics. This is achieved in two steps: given any background Fourier spectrum P(k), we use the Wigner transform and Penrose’s method to recover spatially periodic unstable modes, which we call unstable Penrose modes. These can be seen as generalized Benjamin–Feir modes, and their parameters are obtained by resolving the Penrose condition, a system of nonlinear equations involving P(k). Moreover, we show how the superposition of unstable Penrose modes can result in the appearance of localized unstable modes. By interpreting the appearance of an unstable mode localized in an area not larger than a reference wavelength λ0 as the emergence of a Rogue Wave, a criterion for the emergence of Rogue Waves is formulated. Our methodology is applied to δ spectra, where the standard Benjamin–Feir instability is recovered, and to more general spectra. In that context, we present a scheme for the numerical resolution of the Penrose condition and estimate the sharpest possible localization of unstable modes. Keywords: Rogue Waves; Wigner equation; Nonlinear Schrodinger equation; Penrose modes; Penrose conditio
Crystal Structure and Functional Analysis of the SARS-Coronavirus RNA Cap 2′-O-Methyltransferase nsp10/nsp16 Complex
Cellular and viral S-adenosylmethionine-dependent methyltransferases are involved in many regulated processes such as metabolism, detoxification, signal transduction, chromatin remodeling, nucleic acid processing, and mRNA capping. The Severe Acute Respiratory Syndrome coronavirus nsp16 protein is a S-adenosylmethionine-dependent (nucleoside-2′-O)-methyltransferase only active in the presence of its activating partner nsp10. We report the nsp10/nsp16 complex structure at 2.0 Å resolution, which shows nsp10 bound to nsp16 through a ∼930 Å2 surface area in nsp10. Functional assays identify key residues involved in nsp10/nsp16 association, and in RNA binding or catalysis, the latter likely through a SN2-like mechanism. We present two other crystal structures, the inhibitor Sinefungin bound in the S-adenosylmethionine binding pocket and the tighter complex nsp10(Y96F)/nsp16, providing the first structural insight into the regulation of RNA capping enzymes in (+)RNA viruses
- …