Results 41 to 50 of about 284,503 (316)

Yet another approach to compositional synthesis of discrete event systems

, 2008
A two-pass algorithm for compositional synthesis of modular supervisors for large-scale systems of composed finite-state automata is proposed. The first pass provides an efficient method to determine whether a supervisory control problem has a solution ...
Hugo Flordal, Malik, Robi, Flordal, Hugo, Robi Malik, Malik, Robi,, Flordal, Hugo,   +5 more
core   +1 more source

Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis

FEBS Letters, EarlyView.
Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee, Junho Jeong, Chae Yeong Lee, Hyunjoon Cho, Man Hwan Oh, Je Chul Lee, Jee‐Young Lee, Yangmee Kim   +7 more
wiley   +1 more source

An algorithm for compositional nonblocking verification of extended finite-state machines

, 2014
This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied
Fabian, Martin,, Mohajerani, Sahar, Malik, Robi, Malik, R.,, Malik, R., Mohajerani, Sahar,, Fabian, Martin   +6 more
core   +1 more source

Event Concealment in Discrete Event With Observation Losses Systems via Differential Privacy

IEEE Access
This research addresses the challenge of event concealment in partially observed discrete event systems (DES) modeled as finite-state automata by employing differential privacy.
Rong Zhao, Abdulrahman Al-Ahmari, Zhiwu Li   +2 more
doaj   +1 more source

Network divergence analysis identifies adaptive gene modules and two orthogonal vulnerability axes in pancreatic cancer

Molecular Oncology, EarlyView.
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson, Lyanne Delgado‐Coka, Natalia Marchenko, Luisa F. Escobar‐Hoyos, Kenneth R. Shroyer, Alisa Yurovsky, Trey Ideker, Gábor Balázsi, Thomas MacCarthy, Scott Powers   +9 more
wiley   +1 more source

Supervision equivalence

, 2006
This paper presents a general framework for modular synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence.
Hugo Flordal, Flordal, Hugo, Malik, Robi, Robi Malik   +3 more
core   +1 more source

Interrogating the immune landscape of microsatellite stable RAS‐mutated colon cancer

Molecular Oncology, EarlyView.
COLOSSUS project RAS‐mutated MSS colon cancer study explored transcriptomics and immune cell density by immunohistochemistry (IHC), Immunoscore (IS), ISIC/TuLIS scores, mutation counts, and detected different prevalences but similar microenvironment composition across immune markers with clinical relevance for future immunotherapy combination ...
Rodrigo Dienstmann, Eduardo García‐Galea, Alice O'Farrell, Zak Kinsella, Maxime Meylan, Florent Petitprez, Ingrid Arijs, Tom Venken, Hari Ps, Adrian Lärkeryd, Ian Miller, Janick Selves, Nadja Meindl‐Beinker, Fiorella Ruiz‐Pace, Elena Élez, Raquel Comas‐Navarro, Frank Lincoln, Dirk Fey, Gift Nyamundanda, Aoife Nolan, Joern Lewin, Raquel Perez‐Lopez, Jonathan Briody, Kathleen Bennett, Walter Kolch, David Matallanas, Alexander Kel, Enrique Arenas, Joaquín Arribas, Bart Ghesquière, Josep Tabernero, Julie Meilleroux, Deborah McNamara, Ray McDermott, Marvin Lim, Mary O'Reilly, Brian Bird, Lisa Stack, Lucia Moloney, Patrick Morris, Keith Egan, Maciej Milewski, Lars Scheuer, Joachim Behringer, Georg Bolz, Ramon Salazar, Cristina Santos, Andrea Ruiz, Orla Casey, Verena Murphy, Matthias Ebert, Livio Trusolino, Diether Lambrechts, Anguraj Sadanandam, Catherine Sautès‐Fridman, Jochen Prehn, Paolo Nuciforo, Jacques Fieschi, Florence Monville, Darran O'Connor, Wolf Fridman, Annette Byrne   +61 more
wiley   +1 more source

A Specification Patterns System for Discrete Event Systems Analysis

International Journal of Advanced Robotic Systems, 2013
As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express the properties of a system's behaviour is needed in order to guarantee that properties ...
Jose Creissac Campos, Jose Machado
doaj   +1 more source

Deciphering transcriptional plasticity in pancreatic ductal adenocarcinoma reveals alterations in sensory neuron innervation

Molecular Oncology, EarlyView.
Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova, Michele Montrone, Uday Rangaswamy, Francesco Diversi, Irene Schiavo, Denise Ferrarini, Roberta Di Florio, Irene Longo, Michele Coscia, Nicola Zamboni, Giorgia Demontis, Lisa Veghini, Vincenzo Corbo, Remo Sanges, Paul Heppenstall   +14 more
wiley   +1 more source

Generalised Nonblocking

, 2008
This paper studies the nonblocking check used in supervisory control of discrete event systems and its limitations. Different examples with different liveness requirements are discussed.
Malik, Robi, Robi Malik, Leduc, Ryan, Ryan Leduc   +3 more
core   +1 more source