2,789 research outputs found
Existence and uniqueness of solutions for systems of fractional differential equations with Riemann–Stieltjes integral boundary condition
In this article, we first establish an existence and uniqueness result for a class of systems of nonlinear operator equations under more general conditions by means of the cone theory and monotone iterative technique. Furthermore, the iterative sequence of the solution and the error estimation of the system are given. Then we use this new result to study the existence and uniqueness of the solution for boundary value problems of systems of fractional differential equations with a Riemann–Stieltjes integral boundary condition in real Banach spaces. The results obtained in this paper are more general than many previous results and complement them
An Algorithm for Probabilistic Alternating Simulation
In probabilistic game structures, probabilistic alternating simulation
(PA-simulation) relations preserve formulas defined in probabilistic
alternating-time temporal logic with respect to the behaviour of a subset of
players. We propose a partition based algorithm for computing the largest
PA-simulation, which is to our knowledge the first such algorithm that works in
polynomial time, by extending the generalised coarsest partition problem (GCPP)
in a game-based setting with mixed strategies. The algorithm has higher
complexities than those in the literature for non-probabilistic simulation and
probabilistic simulation without mixed actions, but slightly improves the
existing result for computing probabilistic simulation with respect to mixed
actions.Comment: We've fixed a problem in the SOFSEM'12 conference versio
Is Schr\"{o}dinger's Conjecture for the Hydrogen Atom Coherent States Attainable
We construct the most general SO(4,2) hydrogen atom coherent states which are
the counterpart of Schr\"{o}dinger's harmonic oscillator coherent states. We
show that these states cannot be localized and cannot follow the classical
orbits. Thus, Schr\"{o}dinger's conjecture for the hydrogen atom coherent
states is unattainable.Comment: 10 pages, report
Crosstalk between MSH2–MSH3 and polβ promotes trinucleotide repeat expansion during base excision repair
Studies in knockout mice provide evidence that MSH2–MSH3 and the BER machinery promote trinucleotide repeat (TNR) expansion, yet how these two different repair pathways cause the mutation is unknown. Here we report the first molecular crosstalk mechanism, in which MSH2–MSH3 is used as a component of the BER machinery to cause expansion. On its own, pol β fails to copy TNRs during DNA synthesis, and bypasses them on the template strand to cause deletion. Remarkably, MSH2–MSH3 not only stimulates pol β to copy through the repeats but also enhances formation of the flap precursor for expansion. Our results provide direct evidence that MMR and BER, operating together, form a novel hybrid pathway that changes the outcome of TNR instability from deletion to expansion during the removal of oxidized bases. We propose that cells implement crosstalk strategies and share machinery when a canonical pathway is ineffective in removing a difficult lesion
Scalar Glueball Decay Into Pions In Effective Theory
We discuss the mixing between the sigma meson sigma and the "pure" glueball
field H and study the decays of the scalar glueball candidates f_0(1370),
f_0(1500) and f_0(1710) (a linear combination of sigma and H) into two pions in
an effective linear sigma model.Comment: 10 pages and 3 figures (an extended version of hep-ph/9805412), to
appear in Phys. Rev.
Direct Measurements of the Branching Fractions for and and Determinations of the Form Factors and
The absolute branching fractions for the decays and
are determined using singly
tagged sample from the data collected around 3.773 GeV with the
BES-II detector at the BEPC. In the system recoiling against the singly tagged
meson, events for and events for decays are observed. Those yield
the absolute branching fractions to be and . The
vector form factors are determined to be
and . The ratio of the two form
factors is measured to be .Comment: 6 pages, 5 figure
A Bezier curve-based generic shape encoder
Existing Bezier curve based shape description techniques primarily focus upon determining a set of pertinent Control Points (CP) to represent a particular shape contour. While many different approaches have been proposed, none adequately consider domain specific information about the shape contour like its gradualness and sharpness, in the CP generation process which can potentially result in large distortions in the object’s shape representation. This paper introduces a novel Bezier Curve-based Generic Shape Encoder (BCGSE) that partitions an object contour into contiguous segments based upon its cornerity, before generating the CP for each segment using relevant shape curvature information. In addition, while CP encoding has generally been ignored, BCGSE embeds an efficient vertex-based encoding strategy exploiting the latent equidistance between consecutive CP. A nonlinear optimisation technique is also presented to enable the encoder is automatically adapt to bit-rate constraints. The performance of the BCGSE framework has been rigorously tested on a variety of diverse arbitrary shapes from both a distortion and requisite bit-rate perspective, with qualitative and quantitative results corroborating its superiority over existing shape descriptors
Search for the Lepton Flavor Violation Processes and
The lepton flavor violation processes and are
searched for using a sample of 5.8 events collected with
the BESII detector. Zero and one candidate events, consistent with the
estimated background, are observed in and
decays, respectively. Upper limits on the branching ratios are determined to be
and at the 90% confidence level (C.L.).Comment: 9 pages, 2 figure
- …