Probing the seesaw mechanism with neutrino data and leptogenesis

In the framework of the seesaw mechanism with three heavy right-handed Majorana neutrinos and no Higgs triplets we carry out a systematic study of the structure of the right-handed neutrino sector. Using the current low-energy neutrino data as an input and assuming hierarchical Dirac-type neutrino masses $m_{Di}$, we calculate the masses $M_i$ and the mixing of the heavy neutrinos. We confront the inferred properties of these neutrinos with the constraints coming from the requirement of a successful baryogenesis via leptogenesis. In the generic case the masses of the right-handed neutrinos are highly hierarchical: $M_i \propto m_{Di}^2$; the lightest mass is $M_1 \approx 10^3 - 10^6$ GeV and the generated baryon-to-photon ratio $\eta_B\lesssim 10^{-14}$ is much smaller than the observed value. We find the special cases which correspond to the level crossing points, with maximal mixing between two quasi-degenerate right-handed neutrinos. Two level crossing conditions are obtained: ${m}_{ee}\approx 0$ (1-2 crossing) and $d_{12}\approx 0$ (2-3 crossing), where ${m}_{ee}$ and $d_{12}$ are respectively the 11-entry and the 12-subdeterminant of the light neutrino mass matrix in the basis where the neutrino Yukawa couplings are diagonal. We show that sufficient lepton asymmetry can be produced only in the 1-2 crossing where $M_1 \approx M_2 \approx 10^{8}$ GeV, $M_3 \approx 10^{14}$ GeV and $(M_2 - M_1)/ M_2 \lesssim 10^{-5}$.Comment: 30 pages, 2 eps figures, JHEP3.cls, typos corrected, note (and references) added on non-thermal leptogenesi

Protecting the primordial baryon asymmetry in the seesaw model compatible with WMAP and KamLAND

We require that the primordial baryon asymmetry is not washed out in the seesaw model compatible with the recent results of WMAP and the neutrino oscillation experiments including the first results of KamLAND. We find that only the case of the normal neutrino mass hierarchy with an approximate $L_{e}$-symmetry satisfies the requirement. We further derive, depending on the signs of neutrino mass eigenvalues, three types of neutrino mass matrixes, where the values of each element are rather precisely fixed.Comment: 21pages; added reference

Thermal leptogenesis in a model with mass varying neutrinos

In this paper we consider the possibility of neutrino mass varying during the evolution of the Universe and study its implications on leptogenesis. Specifically, we take the minimal seesaw model of neutrino masses and introduce a coupling between the right-handed neutrinos and the dark energy scalar field, the Quintessence. In our model, the right-handed neutrino masses change as the Quintessence scalar evolves. We then examine in detail the parameter space of this model allowed by the observed baryon number asymmetry. Our results show that it is possible to lower the reheating temperature in this scenario in comparison with the case that the neutrino masses are unchanged, which helps solve the gravitino problem. Furthermore, a degenerate neutrino mass patten with $m_i$ larger than the upper limit given in the minimal leptogenesis scenario is permitted.Comment: 18 pages, 7 figures, version to appear in PR

EPIdemiology of Surgery-Associated Acute Kidney Injury (EPIS-AKI) : Study protocol for a multicentre, observational trial

More than 300 million surgical procedures are performed each year. Acute kidney injury (AKI) is a common complication after major surgery and is associated with adverse short-term and long-term outcomes. However, there is a large variation in the incidence of reported AKI rates. The establishment of an accurate epidemiology of surgery-associated AKI is important for healthcare policy, quality initiatives, clinical trials, as well as for improving guidelines. The objective of the Epidemiology of Surgery-associated Acute Kidney Injury (EPIS-AKI) trial is to prospectively evaluate the epidemiology of AKI after major surgery using the latest Kidney Disease: Improving Global Outcomes (KDIGO) consensus definition of AKI. EPIS-AKI is an international prospective, observational, multicentre cohort study including 10 000 patients undergoing major surgery who are subsequently admitted to the ICU or a similar high dependency unit. The primary endpoint is the incidence of AKI within 72 hours after surgery according to the KDIGO criteria. Secondary endpoints include use of renal replacement therapy (RRT), mortality during ICU and hospital stay, length of ICU and hospital stay and major adverse kidney events (combined endpoint consisting of persistent renal dysfunction, RRT and mortality) at day 90. Further, we will evaluate preoperative and intraoperative risk factors affecting the incidence of postoperative AKI. In an add-on analysis, we will assess urinary biomarkers for early detection of AKI. EPIS-AKI has been approved by the leading Ethics Committee of the Medical Council North Rhine-Westphalia, of the Westphalian Wilhelms-University Münster and the corresponding Ethics Committee at each participating site. Results will be disseminated widely and published in peer-reviewed journals, presented at conferences and used to design further AKI-related trials. Trial registration number NCT04165369

Statistical Model Checking QoS properties of Systems with SBIP ⋆

Abstract. BIP is a component-based framework supporting rigorous design of embedded systems. This paper presents SBIP, an extension of BIP that relies on a new stochastic semantics that enables verification of large-size systems by using Statistical Model Checking. The approach is illustrated on several industrial case studies.

An argumentation-based approach for reasoning about trust in information sources

International audienceDuring a dialogue, agents exchange information with each other and need thus to deal with incoming information. For that purpose, they should be able to reason effectively about trustworthiness of information sources. This paper proposes an argument-based system that allows an agent to reason about its own beliefs and information received from other sources. An agent's beliefs are of two kinds: beliefs about the environment (like the window is closed) and beliefs about trusting sources (like agent i trusts agent j). Six basic forms of trust are discussed in the paper including the most common one on sincerity. Starting with a base which contains such information, the system builds two types of arguments: arguments in favour of trusting a given source of information and arguments in favour of believing statements which may be received from other agents. We discuss how the different arguments interact and how an agent may decide to trust another source and thus to accept information coming from that source. The system is then extended in order to deal with graded trust (like agent i trusts to some extent agent j)