Results 81 to 90 of about 119,463 (291)

Simplification of a Petri Net controller in industrial systems

International Journal of Industrial Engineering and Production Research, 2013
This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them.
Abbas Dideban, Maysam Zareiee, Ali A. Orouji, Hassan rezaei soleymanpour   +3 more
doaj  

Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version)

, 2014
In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e.
A Bouajjani, A Emerson, A Emerson, B Aminof, B Aminof, EA Emerson, F Pagliarecci, K Apt, L Zuck, P Bouyer, P Godefroid, PA Abdulla, PA Abdulla, S Ben-David, SM German, T Ball, TT Johnson, Y Hanna   +17 more
core   +1 more source

Integrated Transcriptomics Reveals Evolutionary Trajectories and Cell Density‐Dependent Mechanisms in Aldosterone‐Producing Adenomas

Advanced Science, EarlyView.
Aldosterone‐producing adenomas (APAs) develop via two distinct paths: directly from adrenal zona glomerulosa (zG) cells, or stepwise from zG cells through aldosterone‐producing micronodules (APMs) before progressing to APAs. Advanced single‐cell and spatial analyses identified distinct cell states linked to oxidative stress and cell–cell interactions ...
Zhuolun Sun, Changying Jing, Martina Tetti, Siyuan Gong, Jia Wei, Yingxian Pang, Martin Reincke, Tracy Ann Williams   +7 more
wiley   +1 more source

Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)

, 2017
We revisit the classic problem of proving safety over parameterised concurrent systems, i.e., an infinite family of finite-state concurrent systems that are represented by some finite (symbolic) means.
bertrand, boigelot, boigelot, bollig, donaldson, esparza, fokkink, kearns, legay, lehmann, lin, neider, nilsson, vardhan   +13 more
core   +2 more sources

QBP1 Peptide as a Potential Anti‐Amyloidogenic Therapy for Type 2 Diabetes: An In Vitro Study

Advanced Science, EarlyView.
The anti‐amyloidogenic peptide QBP1 effectively halts human islet amyloid polypeptide (hIAPP) aggregation, preventing the formation of toxic β‐structured intermediates. Through a combination of biophysical assays, molecular dynamics, and cell‐based studies, QBP1 is shown to preserve β‐cell viability and metabolic homeostasis, positioning it as a ...
María M. Tejero‐Ojeda, Ada Bernaus Vives, Michał Wojciechowski, Dinh Quoc Huy Pham, Mateusz Chwastyk, Mario Vallejo, Anna Novials, Douglas V. Laurents, Mariano Carrión‐Vázquez   +8 more
wiley   +1 more source

Symmetry reduction and heuristic search for error detection in model checking [PDF]

, 2003
The state explosion problem is the main limitation of model checking. Symmetries in the system being verified can be exploited in order to avoid this problem by defining an equivalence (symmetry) relation on the states of the system, which induces a ...
Lluch-Lafuente, Alberto
core  

Temporal and Cell‐Specific Regulation of Synaptic Homeostasis by the Chromatin Remodeler Chd1

Advanced Science, EarlyView.
Chd1, the Drosophila homologue of mammalian CHD2 ‐ a gene linked to autism, epilepsy, and intellectual disability, is required for synaptic homeostatic plasticity. Chd1 in glia is necessary for the rapid induction of synaptic homeostasis, whereas Chd1 in motoneurons, muscle, and glia is critical for long‐term maintenance.
Danielle T. Morency, Tao Cui, Yimei Cai, Chloe Lok, Rachel E. Nokku, Ruoxian Huang, Grace L. Chu, Yumeng Xie, Saleem W. Abu‐Tayeh, Kaikai He, Chengjie Qiu, Junyi Wang, Paxton M. Paganelli, Ting Wang, Gabrielle Williams, Sreejith Nair, Huadong Pei, Dion K. Dickman, Stefano Vicini, Tingting Wang   +19 more
wiley   +1 more source

Assessing transcriptomic heterogeneity of single-cell RNASeq data by bulk-level gene expression data

BMC Bioinformatics
Background Single-cell RNA sequencing (sc-RNASeq) data illuminate transcriptomic heterogeneity but also possess a high level of noise, abundant missing entries and sometimes inadequate or no cell type annotations at all.
Khong-Loon Tiong, Dmytro Luzhbin, Chen-Hsiang Yeang   +2 more
doaj   +1 more source

Model checking for linear temporal logic: An efficient implementation [PDF]

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described.
Pnueli, Amir, Sherman, Rivi
core   +1 more source

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism [PDF]

, 2007
Most efficient implementations of parallel logic programming rely on complex low-level machinery which is arguably difficult to implement and modify.
Carro Liñares, Manuel, Casas, Amadeo, Hermenegildo, Manuel V.   +2 more
core   +3 more sources