1,070 research outputs found
Cluster algebras via cluster categories with infinite-dimensional morphism spaces
We apply our previous work on cluster characters for Hom-infinite cluster
categories to the theory of cluster algebras. We give a new proof of
Conjectures 5.4, 6.13, 7.2, 7.10 and 7.12 of Fomin and Zelevinsky's Cluster
algebras IV for skew-symmetric cluster algebras. We also construct an explicit
bijection sending certain objects of the cluster category to the decorated
representations of Derksen, Weyman and Zelevinsky, and show that it is
compatible with mutations in both settings. Using this map, we give a
categorical interpretation of the E-invariant and show that an arbitrary
decorated representation with vanishing E-invariant is characterized by its
g-vector. Finally, we obtain a substitution formula for cluster characters of
not necessarily rigid objects.Comment: 32 pages, added referenc
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
This extended abstract reports on current progress of SMTCoq, a communication
tool between the Coq proof assistant and external SAT and SMT solvers. Based on
a checker for generic first-order certificates implemented and proved correct
in Coq, SMTCoq offers facilities both to check external SAT and SMT answers and
to improve Coq's automation using such solvers, in a safe way. Currently
supporting the SAT solver zChaff, and the SMT solver veriT for the combination
of the theories of congruence closure and linear integer arithmetic, SMTCoq is
meant to be extendable with a reasonable amount of effort: we present work in
progress to support the SMT solver CVC4 and the theory of bit vectors.Comment: In Proceedings HaTT 2016, arXiv:1606.0542
The Treaty of Lisbon: A Second Look at the Institutional Innovations
This book examines the institutional innovations that are gradually being introduced as a result of the Treaty of Lisbon
Cocoon-spinning behavior and 20-hydroxyecdysone regulation of fibroin genes in Plutella xylostella
The diamondback moth Plutella xylostella is a serious pest of crucifers. It has high reproductive potential and is resistant to many insecticides. Typically, the last-instar larvae of P. xylostella, before pupation, move to the lower or outer plant leaves to make a loose silk cocoon and pupate inside for adult formation. To better understand this pivotal stage we studied the cocoon-spinning behavior of P. xylostella and measured three successive phases by video-recording, namely the selection of a pupation site, spinning a loose cocoon and padding the scaffold cocoon. Subsequently, we cloned three fibroin genes related to cocoon production, i.e., fibroin light chain (Fib-L), fibroin heavy chain (Fib-H), and glycoprotein P25. A spatio-temporal study of these three fibroin genes confirmed a high expression in the silk glands during the final larval instar silk-producing stage. In parallel, we did an exogenous treatment of the insect molting hormone 20-hydroxyecdysone (20E), and this suppressed fibroin gene expression, reduced the normal time needed for cocoon spinning, and we also observed a looser cocoon structure under the scanning electron microscope. Hence, we demonstrated that the expression levels of key genes related to the synthesis of 20E [the three Halloween genes Spook (Spo), Shadow (Sad), and Shade (Shd)] decreased significantly during spinning, the expression of the 20E receptor (EcR and USP) was significantly lower during spinning than before spinning, and that the expression levels of CYP18-A1 related to 20E degradation were significantly up-regulated during spinning. The significance of the cocoon and the effects of 20E on the cocoon-spinning behavior of P. xylostella are discussed
Treatment of a multiple sclerosis animal model by a novel nanodrop formulation of a natural antioxidant
Recommended from our members
The treatment of child anxiety disorders via guided parent-delivered cognitive-behavioural therapy: a randomised controlled trial
Background
Promising evidence has emerged of clinical gains using guided self-help cognitive-behavioural therapy (CBT) for child anxiety and by involving parents in treatment; however, the efficacy of guided parent-delivered CBT has not been systematically evaluated in UK primary and secondary settings.
Aims
To evaluate the efficacy of low-intensity guided parent-delivered CBT treatments for children with anxiety disorders.
Method
A total of 194 children presenting with a current anxiety disorder, whose primary carer did not meet criteria for a current anxiety disorder, were randomly allocated to full guided parent-delivered CBT (four face-to-face and four telephone sessions) or brief guided parent-delivered CBT (two face-to-face and two telephone sessions), or a wait-list control group (trial registration: ISRCTN92977593). Presence and severity of child primary anxiety disorder (Anxiety Disorders Interview Schedule for DSM-IV, child/parent versions), improvement in child presentation of anxiety (Clinical Global Impression-Improvement scale), and change in child anxiety symptoms (Spence Children’s Anxiety Scale, child/parent version and Child Anxiety Impact scale, parent version) were assessed at post-treatment and for those in the two active treatment groups, 6 months post-treatment.
Results
Full guided parent-delivered CBT produced superior diagnostic outcomes compared with wait-list at post-treatment, whereas brief guided parent-delivered CBT did not: at post-treatment, 25 (50%) of those in the full guided CBT group had recovered from their primary diagnosis, compared with 16 (25%) of those on the wait-list (relative risk (RR) 1.85, 95% CI 1.14-2.99); and in the brief guided CBT group, 18 participants (39%) had recovered from their primary diagnosis post-treatment (RR = 1.56, 95% CI 0.89-2.74). Level of therapist training and experience was unrelated to child outcome.
Conclusions
Full guided parent-delivered CBT is an effective and inexpensive first-lin
Supernova Legacy Survey: Using Spectral Signatures To Improve Type Ia Supernovae As Distance Indicators
GMOS optical long-slit spectroscopy at the Gemini-North telescope was used to
classify targets from the Supernova Legacy Survey (SNLS) from July 2005 and May
2006 - May 2008. During this time, 95 objects were observed. Where possible the
objects' redshifts (z) were measured from narrow emission or absorption
features in the host galaxy spectrum, otherwise they were measured from the
broader supernova features. We present spectra of 68 confirmed or probable SNe
Ia from SNLS with redshifts in the range 0.17 \leq z \leq 1.02. In combination
with earlier SNLS Gemini and VLT spectra, we used these new observations to
measure pseudo-equivalent widths (EWs) of three spectral features - CaII H&K,
SiII and MgII - in 144 objects and compared them to the EWs of low-redshift SNe
Ia from a sample drawn from the literature. No signs of changes with z are seen
for the CaII H&K and MgII features. Systematically lower EW SiII is seen at
high redshift, but this can be explained by a change in demographics of the SNe
Ia population within a two-component model combined with an observed
correlation between EW SiII and photometric lightcurve stretch.Comment: 49 pages including 2 online-only appendices, accepted for publication
in MNRA
Photometric Calibration of the Supernova Legacy Survey Fields
We present the photometric calibration of the Supernova Legacy Survey (SNLS)
fields. The SNLS aims at measuring the distances to SNe Ia at (0.3<z<1) using
MegaCam, the 1 deg^2 imager on the Canada-France-Hawaii Telescope (CFHT). The
uncertainty affecting the photometric calibration of the survey dominates the
systematic uncertainty of the key measurement of the survey, namely the dark
energy equation of state. The photometric calibration of the SNLS requires
obtaining a uniform response across the imager, calibrating the science field
stars in each survey band (SDSS-like ugriz bands) with respect to standards
with known flux in the same bands, and binding the calibration to the UBVRI
Landolt standards used to calibrate the nearby SNe from the literature
necessary to produce cosmological constraints. The spatial non-uniformities of
the imager photometric response are mapped using dithered observations of dense
stellar fields. Photometric zero-points against Landolt standards are obtained.
The linearity of the instrument is studied. We show that the imager filters and
photometric response are not uniform and publish correction maps. We present
models of the effective passbands of the instrument as a function of the
position on the focal plane. We define a natural magnitude system for MegaCam.
We show that the systematics affecting the magnitude-to-flux relations can be
reduced if we use the spectrophotometric standard star BD +17 4708 instead of
Vega as a fundamental flux standard. We publish ugriz catalogs of tertiary
standards for all the SNLS fields.Comment: 46 pages, 23 figures. Accepted by Astronomy and Astrophysics. Online
material available at the CDS via anonymous ftp to cdsarc.u-strasbg.fr
(130.79.128.5) or http://cdsweb.u-strasbg.fr/cgi-bin/qcat?J/A+A/ or
alternatively from: http://supernovae.in2p3.fr/snls3/regnault09_cds.tar.g
- …