Results 101 to 110 of about 2,767,476 (321)
Symbolic Termination and Confluence Checking for ECA Rules [PDF]
, 2014 Event-condition-action (ECA) rules can specify decision processes and are widely used in reactive systems and active database systems. Applying formal verification techniques to guarantee properties of the designed ECA rules is essential to help the error-prone procedure of collecting and translating expert knowledge.
Xiaoqing Jin +2 more
openaire +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 +3 more
wiley +1 more source
An eclectic quadrant of rule based system verification: work grounded in verification of fuzzy rule bases. [PDF]
In this paper, we used a research approach based on grounded theory in order to classify methods proposed in literature that try to extend the verification of classical rule bases to the case of fuzzy knowledge modeling.
Vanthienen, Jan +3 more
core
A Deterministic Finite Automaton Approach To Design Rule Checking For Vlsi
, 1982 Integrated circuit fabrication technologies place certain restrictions on the relationships with and between mask layers. These design rules are intended to describe the class of designs that the fabrication process will correctly implement. The intent
Darling, D. +2 more
core +1 more source
A unified approach to architecture conformance checking [PDF]
, 2016 Architectural decisions can be interpreted as structural and behavioral constraints that must be enforced in order to guarantee overarching qualities in a system.
Caracciolo, Andrea Enrico Francis
core +1 more source
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 +3 more
wiley +1 more source
Architectural Rule Checking for High-level Synthesis
, 2008 Verifying an implementation produced from high-level synthesis is a challenging problem due to many complex design tasks involved in the design process.
core
AN INVESTIGATION OF INTEGRATED CIRCUIT HARDWARE DESIGN RULE CHECKING USING THE TMS34010 [PDF]
, 1990 Design rules in an integrated circuit layout are a set of constraints on the feature size and dimensional relationships between different layers of materials used to fabricate the circuit.
Lau, Amy Sze Ming
core
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 +8 more
wiley +1 more source
Transcripts enriched in codons that trigger P‐site tRNA‐mediated mRNA decay possess stable mRNA
FEBS Open Bio, EarlyView.PTMD codons were first described by Mendel et al. as mediators of an mRNA decay pathway dependent on the human protein CNOT3, homologous to yeast Not5. Our findings confirm that PTMD codons destabilize transcripts; however, unlike in yeast, the human pathway specifically targets and slightly destabilizes primarily stable mRNAs.
Rodolfo Lopes Carneiro +1 more
wiley +1 more source