maxsat is an optimization version of satisfiability. Since many practical problems involve optimization, there are a wide range of potential applications for effective maxsat solvers. In this paper we present an extensive empirical evaluation of a number of maxsat solve...

Abstract Background Transtracheal jet ventilation (TTJV) is recommended in several airway guidelines as a potentially life-saving procedure during the ‘Can't Intubate Can't Oxygenate' (CICO) emergency. Some studies have questioned its effectiveness. Methods Our goal was...

This study deals with the pattern of body weight gain during an overfeeding period with a constant energy intake, in order to assess whether total daily energy expenditure (TEE) increased with body weight and thus could account for the progressive slow down in body weig...

SummaryTraveling waves of neural activity are frequently observed to occur in concert with the presentation of a sensory stimulus or the execution of a movement. Although such waves have been studied for decades, little is known about their function. Here we show that t...

Model-based development involves construction, integration, and maintenance of complex models. One of the key problems in model-based development is composing a set of distributed models into a single seamless model. In this paper we propose a declarative approach for m...

L'auteur définit une organisation comme un ensemble particulier au sein de la société globale, ensemble qu'il présente comme le produit de la volonté créatrice d'acteurs en vue de la poursuite d'un objectif. Cet ensemble particulier qu'est l'organisation regroupe trois ...

The Ontario Public Health Laboratories system (OPHL) is in the midst of a six-year plan to implement molecular tools for pandemic influenza diagnostics in one central and three regional public health laboratories. This plan has been formulated as a consequence of: 1) ex...

The development of brain organoids represents a major technological advance in the stem cell field, a novel bridge between traditional 2D cultures and in vivo animal models. In particular, the development of midbrain organoids containing functional dopaminergic neurons ...

Background: Male breast cancer (BC) is rare, managed by extrapolation from female BC. The International Male BC Program aims to better characterize and manage this disease. We report the results of part I, a retrospective joint analysis of cases diagnosed during a 20-ye...