The European Space Analogue Rock Collection (ESAR) at the OSUC-Orleans for in situ planetary missions

International audienceThe ESAR is a collection of well-characterised planetary analogue rocks and minerals that can be used for testing in situ instrumentation for planetary exploration. An online database of all relevant structural, compositional and geotechnics information is also available to the instrument teams and to aid data interpretation during missions

The arithmetic of hyperelliptic curves

We summarise recent advances in techniques for solving Diophantine problems on hyperelliptic curves; in particular, those for finding the rank of the Jacobian, and the set of rational points on the curve

On Charge-3 Cyclic Monopoles

We determine the spectral curve of charge 3 BPS su(2) monopoles with C_3 cyclic symmetry. The symmetry means that the genus 4 spectral curve covers a (Toda) spectral curve of genus 2. A well adapted homology basis is presented enabling the theta functions and monopole data of the genus 4 curve to be given in terms of genus 2 data. The Richelot correspondence, a generalization of the arithmetic mean, is used to solve for this genus 2 curve. Results of other approaches are compared.Comment: 34 pages, 16 figures. Revision: Abstract added and a few small change

Factor Varieties and Symbolic Computation

We propose an algebraization of classical and non-classical logics, based on factor varieties and decomposition operators. In particular, we provide a new method for determining whether a propositional formula is a tautology or a contradiction. This method can be autom-atized by defining a term rewriting system that enjoys confluence and strong normalization. This also suggests an original notion of logical gate and circuit, where propositional variables becomes logical gates and logical operations are implemented by substitution. Concerning formulas with quantifiers, we present a simple algorithm based on factor varieties for reducing first-order classical logic to equational logic. We achieve a completeness result for first-order classical logic without requiring any additional structure

Stability conditions and positivity of invariants of fibrations

We study three methods that prove the positivity of a natural numerical invariant associated to $1-$parameter families of polarized varieties. All these methods involve different stability conditions. In dimension 2 we prove that there is a natural connection between them, related to a yet another stability condition, the linear stability. Finally we make some speculations and prove new results in higher dimension.Comment: Final version, to appear in the Springer volume dedicated to Klaus Hulek on the occasion of his 60-th birthda

SU(2) WZW Theory at Higher Genera

We compute, by free field techniques, the scalar product of the SU(2) Chern-Simons states on genus > 1 surfaces. The result is a finite-dimensional integral over positions of ``screening charges'' and one complex modular parameter. It uses an effective description of the CS states closely related to the one worked out by Bertram. The scalar product formula allows to express the higher genus partition functions of the WZW conformal field theory by finite-dimensional integrals. It should provide the hermitian metric preserved by the Knizhnik-Zamolodchikov-Bernard connection describing the variations of the CS states under the change of the complex structure of the surface.Comment: 44 pages, IHES/P/94/10, Latex fil

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

This paper proposes a new approach, grounded in Satisfiability Modulo Theories (SMT), to study the transient of a Max-Plus Linear (MPL) system, that is the number of steps leading to its periodic regime. Differently from state-of-the-art techniques, our approach allows the analysis of periodic behaviors for subsets of initial states, as well as the characterization of sets of initial states exhibiting the same specific periodic behavior and transient. Our experiments show that the proposed technique dramatically outperforms state-of-the-art methods based on max-plus algebra computations for systems of large dimensions.Comment: The paper consists of 22 pages (including references and Appendix). It is accepted in FORMATS 2020 First revisio

Conformal field theory approach to gapless 1D fermion systems and application to the edge excitations of nu = 1/(2p+1) quantum Hall sequences

We present a comprehensive study of the effective Conformal Field Theory (CFT) describing the low energy excitations of a gas of spinless interacting fermions on a circle in the gapless regime (Luttinger liquid). Functional techniques and modular transformation properties are used to compute all correlation functions in a finite size and at finite temperature. Forward scattering disorder is treated exactly. Laughlin experiments on charge transport in a Quantum Hall Fluid on a cylinder are reviewed within this CFT framework. Edge excitations above a given bulk excitation are described by a twisted version of the Luttinger effective theory. Luttinger CFTs corresponding to the nu =1/(2p+1) filling fractions appear to be rational CFTs (RCFT). Generators of the extended symmetry algebra are identified as edge fermions creators and annihilators, thus giving a physical meaning to the RCFT point of view on edge excitations of these sequences.Comment: 69 pages, 1 figure, LaTeX2e + amstex and graphicx packages needed, fullpage.sty used (not compulsory

Poly(ADP-ribose) polymerase family member 14 (PARP14) is a novel effector of the JNK2-dependent pro-survival signal in multiple myeloma

Copyright @ 2013 Macmillan Publishers Limited. This is the author's accepted manuscript. The final published article is available from the link below.Regulation of cell survival is a key part of the pathogenesis of multiple myeloma (MM). Jun N-terminal kinase (JNK) signaling has been implicated in MM pathogenesis, but its function is unclear. To elucidate the role of JNK in MM, we evaluated the specific functions of the two major JNK proteins, JNK1 and JNK2. We show here that JNK2 is constitutively activated in a panel of MM cell lines and primary tumors. Using loss-of-function studies, we demonstrate that JNK2 is required for the survival of myeloma cells and constitutively suppresses JNK1-mediated apoptosis by affecting expression of poly(ADP-ribose) polymerase (PARP)14, a key regulator of B-cell survival. Strikingly, we found that PARP14 is highly expressed in myeloma plasma cells and associated with disease progression and poor survival. Overexpression of PARP14 completely rescued myeloma cells from apoptosis induced by JNK2 knockdown, indicating that PARP14 is critically involved in JNK2-dependent survival. Mechanistically, PARP14 was found to promote the survival of myeloma cells by binding and inhibiting JNK1. Moreover, inhibition of PARP14 enhances the sensitization of MM cells to anti-myeloma agents. Our findings reveal a novel regulatory pathway in myeloma cells through which JNK2 signals cell survival via PARP14, and identify PARP14 as a potential therapeutic target in myeloma.Kay Kendall Leukemia Fund, NIH, Cancer Research UK, Italian Association for Cancer Research and the Foundation for Liver Research

Space reactor electric systems: system integration studies, Phase 1 report

This report presents the results of preliminary space reactor electric system integration studies performed by Rockwell International's Energy Systems Group (ESG). The preliminary studies investigated a broad range of reactor electric system concepts for powers of 25 and 100 KWe. The purpose of the studies was to provide timely system information of suitable accuracy to support ongoing mission planning activities. The preliminary system studies were performed by assembling the five different subsystems that are used in a system: the reactor, the shielding, the primary heat transport, the power conversion-processing, and the heat rejection subsystems. The subsystem data in this report were largely based on Rockwell's recently prepared Subsystem Technology Assessment Report. Nine generic types of reactor subsystems were used in these system studies. Several levels of technology were used for each type of reactor subsystem. Seven generic types of power conversion-processing subsystems were used, and several levels of technology were again used for each type. In addition, various types and levels of technology were used for the shielding, primary heat transport, and heat rejection subsystems. A total of 60 systems were studied