Results 111 to 120 of about 221,743 (312)

Improved Model Checking of Hierarchical Systems [PDF]

, 2010
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition graphs, as repeated sub-systems are described only once.
MURANO, ANIELLO, Aniello Murano, B. Aminof, O. Kupferman, Benjamin Aminof, Orna Kupferman   +5 more
core   +1 more source

Iron homeostasis disruption and lipid peroxidation in skeletal muscle during short‐term immobilization

FEBS Open Bio, EarlyView.
14‐day casting‐induced immobilization reduced gastrocnemius muscle mass and increased non‐heme iron and ferritin heavy chain levels. Despite iron accumulation, transferrin receptor 1 and iron regulatory protein 2 were paradoxically upregulated. Lipid peroxidation was elevated without compensatory antioxidant responses.
Haruka Yokogawa, Kazuhiko Higashida, Naoya Nakai   +2 more
wiley   +1 more source

06172 Abstracts Collection – Directed Model Checking [PDF]

, 2007
From 26.04.06 to 29.04.06, the Dagstuhl Seminar 06172 ``Directed Model Checking'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Edelkamp, Stefan, Visser, Willem, Leue, Stefan   +2 more
core   +1 more source

Identifying transcription factors controlling the basal expression of human MRP4 highlights a substantial role for Sp1

FEBS Open Bio, EarlyView.
The MRP4 transporter exports several drugs and signaling molecules. Here, we identified key promoter elements regulating basal MRP4 expression. Using reporter assays, we defined a conserved region with essential Sp1 and contributory Ets sites, which controlled basal MRP4 expression.
Debora Singer, Angelique Kragl, Katrin Ziems, Juliane Glaubitz, Sophie Grammbauer, Susanne Hildebrandt, Mladen V. Tzvetkov, Gabriele Jedlitschky   +7 more
wiley   +1 more source

Towards verifying correctness of wireless sensor network applications using Insense and Spin

, 2011
The design and implementation of wireless sensor network applications often require domain experts, who may lack expertise in software engineering, to produce resource-constrained, concurrent, real-time software without the support of high-level software
Balasubramaniam, Dharini, Dearle, Alan, Miller, Alice, Morrison, Ronald, Lewis, Jonathan Peter, Sventek, Joe, Sharma, Oliver   +6 more
core   +1 more source

Optimizing photoactivation of PA‐mCherry for optical pooled CRISPR screens

FEBS Open Bio, EarlyView.
Photoactivatable PA‐mCherry finds widespread use to optically tag individual cells. However, confocal 405 nm UV laser‐scanning (normal scan) is much less efficient than widefield UV illumination, limiting the use of PA‐mCherry on confocal instruments. We remedy this limitation by reporting that rapid and repeated confocal scanning with a low‐intensity,
Sravasti Mukherjee, Giulia Zanetti, Bram van den Broek, Kees Jalink   +3 more
wiley   +1 more source

Abstraction in directed model checking

, 2004
ion is one of the most important issues to cope with large and infinite state spaces in model checking and to reduce the verification efforts. The abstract system is smaller than the original one and if the abstract system satisfies a correctness ...
Lluch-Lafuente, Alberto, Edelkamp, Stefan   +1 more
core  

SMT-based bounded model checking of multi-threaded software in embedded systems

, 2010
Our reliance on the correct functioning of embedded systems is growing rapidly. Such systems are used in a wide range of applications such as airbag control systems, mobile phones, and high-end television sets.
Cordeiro, Lucas, Lucas Cordeiro, Cordeiro, L.; id_orcid   +2 more
core   +1 more source

Refinement of amino‐acid conformation vs. difference density maps in time‐resolved serial femtosecond crystallography data analysis

FEBS Open Bio, EarlyView.
The dFoCC pipeline starts with observed DED and resting‐state coordinates, which are then used to generate a library of triggered states. Correlation analysis of the calculated DED features of each candidate vs observed DED permits quantitative evaluation of candidate structural quality.
Meng Iao Fong, Yuhei Hosokawa, Lars Oliver Essen, Manuel Maestre‐Reyna   +3 more
wiley   +1 more source

Hydrostatic pressure activates HIF‐1α via β‐catenin to promote stemness in breast cancer cells

FEBS Open Bio, EarlyView.
To mimic the elevated intestinal fluid pressure in breast cancers, we loaded human breast cancer cells (MCF‐7, MDA‐MB‐453, and BT‐474) to 50 mmHg hydrostatic pressure. Hydrostatic pressure exposure upregulated HIF‐1α and induced stemness in MCF‐7 and BT‐474 cells.
Da Zhai, Yong Xu, Jingjing Ma, Ratchanee Duangrat, Chen Yan, Jingyan Liang, Hua Wei, Bin Jiang, Tao‐Sheng Li   +8 more
wiley   +1 more source