Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
19 Research products, page 1 of 2

  • Publications
  • Other research products
  • 2017-2021
  • Conference object
  • AT
  • English
  • HAL AMU

10
arrow_drop_down
Relevance
arrow_drop_down
  • Open Access English
    Authors: 
    Belle II Collaboration; Abudinén, F.; Adachi, I.; Adak, R.; Adamczyk, K.; Ahlburg, P.; Ahn, J. K.; Aihara, H.; Akopov, N.; Aloisio, A.; +190 more
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Searches for Dark Matter ... (P 31361), NSF | RUI: Studies of Heavy Qua... (1807007), NSERC , EC | NIOBE (700525), EC | EFTSTRONG (622527), EC | JENNIFER2 (822070)

    We present the first measurement of the time-integrated mixing probability $\chi_d$ using Belle II data collected at a center-of-mass (CM) energy of 10.58 GeV, corresponding to the mass of the $\Upsilon$(4S) resonance, with an integrated luminosity of $34.6 {\rm fb}^{-1...

  • English
    Authors: 
    Boissonnat, Jean-Daniel; Kachanovich, Siargey; Wintraecken, Mathijs;
    Publisher: HAL CCSD
    Country: France
    Project: ANR | 3IA@cote d'azur (ANR-19-P3IA-0002), EC | GUDHI (339025), EC | ISTplus (754411)

    Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. submanifolds of ℝ^d defined as the zero set of some multivariate multivalued smooth function f: ℝ^d → ℝ^{d-n}, where n is the intrinsic dimension of the manifold. A natural w...

  • Open Access English
    Authors: 
    I. Asensi Tortajada; Philip Patrick Allport; Marlon Barbero; P. Barrillon; I. Berdalovic; C. Bespin; S. Bhat; Daniela Bortoletto; P. Breugnon; Craig Buttar; +32 more
    Publisher: Physics Society of Japan
    Countries: Croatia, France, Italy

    The development of radiation hard Depleted Monolithic Active Pixel Sensors (DMAPS) targets the replacement of hybrid pixel detectors to meet radiation hardness requirements of at least 1.5e16 1 MeV neq/cm2 for the HL-LHC and beyond. DMAPS were designed and tested in the...

  • Publication . Part of book or chapter of book . Conference object . 2019
    Open Access English
    Authors: 
    Girlando, Marianna; Lellmann, Björn; Olivetti, Nicola;
    Publisher: HAL CCSD
    Country: France

    The logic of conditional belief, called Conditional Doxastic Logic (\(\mathsf {CDL}\)), was proposed by Board, Baltag and Smets to model revisable belief and knowledge in a multi-agent setting. We present a proof system for \(\mathsf {CDL}\) in the form of a nested sequ...

  • Publication . Other literature type . Conference object . Article . 2019
    Open Access English
    Authors: 
    Heinz Pernegger; Philip Patrick Allport; I. Asensi Tortajada; Marlon Barbero; P. Barrillon; I. Berdalovic; C. Bespin; S. Bhat; Daniela Bortoletto; P. Breugnon; +33 more
    Publisher: HAL CCSD
    Countries: Croatia, France, Italy

    Abstract The upgrade of the tracking detectors for the High Luminosity-LHC (HL-LHC) requires the development of novel radiation hard silicon sensors. The development of Depleted Monolithic Active Pixel Sensors targets the replacement of hybrid pixel detectors with radia...

  • English
    Authors: 
    Berra, Aurélien; Durco, Matej; Gaffield, Chad; Larrousse, Nicolas; Ribbe, Paulin; Priddy, Mike; Thiel, Carsten;
    Publisher: HAL CCSD
    Country: France

    International audience

  • Publication . Conference object . Preprint . Article . 2018
    Open Access English
    Authors: 
    Creignou, Nadia; Pichler, Reinhard; Woltran, Stefan;
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Fragment-Driven Belief Ch... (P 25521), FWF | Decodyn: Treating Hard Pr... (Y 698), FWF | Fixed-Parameter Tractabil... (P 25518)

    Many reasoning problems are based on the problem of satisfiability (SAT). While SAT itself becomes easy when restricting the structure of the formulas in a certain way, the situation is more opaque for more involved decision problems. We consider here the CardMinSat pro...

  • English
    Authors: 
    Y. Uematsu; K. Adamczyk; H. Aihara; Tariq Aziz; S. Bacher; Seema Bahinipati; G. Batignani; J. Baudot; Prafulla Kumar Behera; S. Bettarini; +68 more
    Publisher: HAL CCSD
    Country: France

    International audience; For stable operation of the Belle II Silicon Vertex Detector in the future high-luminosity operation of SuperKEKB, we plan to reduce readout data-samples per trigger and to apply hit-selection using hit-time. To realize this plan, we developed no...

  • Publication . Part of book or chapter of book . Conference object . 2020
    Open Access English
    Authors: 
    Dalmonte, Tiziano; Lellmann, Björn; Olivetti, Nicola; Pimentel, Elaine;
    Publisher: HAL CCSD
    Country: France

    International audience; We develop semantically-oriented calculi for the cube of non-normal modal logics and some deontic extensions. The calculi manipulate hypersequents and have a simple semantic interpretation. Their main feature is that they allow for direct counter...

  • English
    Authors: 
    G. Rizzo; K. Adamczyk; H. Aihara; Tariq Aziz; S. Bacher; Seema Bahinipati; G. Batignani; J. Baudot; Prafulla Kumar Behera; S. Bettarini; +68 more
    Publisher: HAL CCSD
    Country: France

    International audience; In spring 2019 the Belle II experiment at the high-luminosity SuperKEKB e^+e^− collider (KEK, Japan) has resumed operation after the installation of the new vertex detector. In the first period of operation SuperKEKB has already reached the recor...