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

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