Results 101 to 110 of about 7,104 (310)
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Liveness−preserving Atomicity Abstraction [PDF]
Modern concurrent algorithms are usually encapsulated in libraries, and complex algorithms are often constructed using libraries of simpler ones. We present the first theorem that allows harnessing this structure to give compositional liveness proofs to ...
Alexey Gotsman +3 more
core +1 more source
Organoids in pediatric cancer research
Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Aurality and the Actor in Filter Theatre’s Twelfth Night
This article explores the relationship between aurality and the actor in Filter Theatre’s Twelfth Night. It explores how Filter’s collaborative process and focus on resolving staging problems sonically creates a productive interplay between visual ...
Sarah McCourt
doaj
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Generalized Counterexamples to Liveness Properties [PDF]
-We consider generalized counterexamples in the context of liveness property checking. A generalized counterexample comprises only a subset of values necessary to establish the existence of a concrete counterexample. While useful in various ways even for
Jason Baumgartner +3 more
core
Relative Liveness and Behavior Abstraction (extended abstract) [PDF]
ion (Extended Abstract) Ulrich Nitsche University of Zurich, Department of Computer Science Winterthurerstr. 190, CH-8057 Zurich, Switzerland Email: nitsche@ifi.unizh.ch Pierre Wolper University of Li`ege, Institute Montefiore, B28 B-4000 Li`ege Sart
Ulrich Nitsche +3 more
core +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
1 Introduction Usually, liveness is roughly defined as: "something will eventually happen " [1] andit is often remarked that "termination is a particular case of liveness".
core
Live spielen Liveness in Performances elektronischer Tanzmusik [PDF]
Elektronische Tanzmusik gehört heute zu den wichtigsten (Meta-)Genres populärer Musik. Darin spielt das Konzept der „Liveness“ eine zentrale Rolle, die gleichzeitig aber kaum beforscht ist – und dies, obwohl in Performances von Techno Liveness in ...
Schaubruch, Josef
core +1 more source

