Search Results - "Heim, Philippe"

Association between the number of symptomatic mpox cases and the detection of mpox virus DNA in wastewater in Switzerland: an observational surveillance study by Bagutti, Claudia, Alt Hug, Monica, Heim, Philippe, Ilg Hampe, Evelyn, Hübner, Philipp, Julian, Timothy R, Koch, Katrin N, Grosheintz, Kerstin, Kraus, Melanie, Schaubhut, Carla, Tarnutzer, Rahel, Würfel, Eva, Fuchs, Simon, Tschudin-Sutter, Sarah

“…The COVID-19 pandemic has drawn attention to the benefit of wastewater-based epidemiology, particularly when case numbers are underreported. Underreporting may…”
Get full text

Wastewater monitoring of SARS-CoV-2 shows high correlation with COVID-19 case numbers and allowed early detection of the first confirmed B.1.1.529 infection in Switzerland: results of an observational surveillance study by Bagutti, Claudia, Alt Hug, Monica, Heim, Philippe, Maurer Pekerman, Laura, Ilg Hampe, Evelyn, Hübner, Philipp, Fuchs, Simon, Savic, Miodrag, Stadler, Tanja, Topolsky, Ivan, Icer Baykal, Pelin, Dreifuss, David, Beerenwinkel, Niko, Tschudin Sutter, Sarah

“…AIMS OF THE STUDY: Wastewater-based epidemiology has contributed significantly to the comprehension of the dynamics of the current COVID-19 pandemic. Its…”
Get full text

Cardiac mTOR complex 2 preserves ventricular function in pressure-overload hypertrophy by Shende, Pankaj, Xu, Lifen, Morandi, Christian, Pentassuglia, Laura, Heim, Philippe, Lebboukh, Sonia, Berthonneche, Corinne, Pedrazzini, Thierry, Kaufmann, Beat A., Hall, Michael N., Rüegg, Markus A., Brink, Marijke

Get full text

Neuregulin-1 triggers GLUT4 translocation and enhances glucose uptake independently of insulin receptor substrate and ErbB3 in neonatal rat cardiomyocytes by Heim, Philippe, Morandi, Christian, Brouwer, Gian R., Xu, Lifen, Montessuit, Christophe, Brink, Marijke

“…During stress conditions such as pressure overload and acute ischemia, the myocardial endothelium releases neuregulin-1β (NRG-1), which acts as a…”
Get full text

Neuregulin-1β promotes glucose uptake via PI3K/Akt in neonatal rat cardiomyocytes by Pentassuglia, Laura, Heim, Philippe, Lebboukh, Sonia, Morandi, Christian, Xu, Lifen, Brink, Marijke

“…Nrg1β is critically involved in cardiac development and also maintains function of the adult heart. Studies conducted in animal models showed that it improves…”
Get more information

Cardiac mTOR complex 2 preserves ventricular function in pressure-overload hypertrophy by Shende, Pankaj, Xu, Lifen, Morandi, Christian, Pentassuglia, Laura, Heim, Philippe, Lebboukh, Sonia, Berthonneche, Corinne, Pedrazzini, Thierry, Kaufmann, Beat A, Hall, Michael N, Rüegg, Markus A, Brink, Marijke

“…Mammalian target of rapamycin (mTOR), a central regulator of growth and metabolism, has tissue-specific functions depending on whether it is part of mTOR…”
Get full text

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version) by Heim, Philippe, Dimitrova, Rayna

“…Infinite-state reactive synthesis has attracted significant attention in recent years, which has led to the emergence of novel symbolic techniques for solving…”
Get full text

Solving Infinite-State Games via Acceleration (Full Version) by Heim, Philippe, Dimitrova, Rayna

“…Two-player graph games have found numerous applications, most notably in the synthesis of reactive systems from temporal specifications, but also in…”
Get full text

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version) by Heim, Philippe, Dimitrova, Rayna

“…Automatic synthesis from temporal logic specifications is an attractive alternative to manual system design, due to its ability to generate…”
Get full text

Localized Attractor Computations for Infinite-State Games (Full Version) by Schmuck, Anne-Kathrin, Heim, Philippe, Dimitrova, Rayna, Nayak, Satya Prakash

“…Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need…”
Get full text

Temporal Stream Logic modulo Theories (Full Version) by Finkbeiner, Bernd, Heim, Philippe, Passing, Noemi

“…Temporal stream logic (TSL) extends LTL with updates and predicates over arbitrary function terms. This allows for specifying data-intensive systems for which…”
Get full text

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications by Geier, Gideon, Heim, Philippe, Klein, Felix, Finkbeiner, Bernd

“…We present Syntroids, a case study for the automatic synthesis of hardware from a temporal logic specification. Syntroids is a space shooter arcade game…”
Get full text

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications by Geier, Gideon, Heim, Philippe, Klein, Felix, Finkbeiner, Bernd

“…We present Syntroids, a case study for the automatic synthesis of hardware from a temporal logic specification. Syntroids is a space shooter arcade game…”
Get full text

Anionic polymerization of acrylic monomers. 16. Living anionic copolymerization of methyl methacrylate and tert-butyl acrylate as promoted by lithium 2-(2-methoxyethoxy)ethoxide by Wang, J.-S, Jerome, R, Bayard, P, Patin, M, Teyssie, P, Vuillemin, B, Heim, P

Get full text