Results 91 to 100 of about 16,409,640 (303)

Generalised verification of the observer property in discrete event systems [PDF]

, 2012
The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Pena, Patricia N., da Cunha, A. E. C., Malik, Robi, Cury, José E. R., Bravo, H. J.   +4 more
core   +1 more source

Engineering IL‐4 resistant proinflammatory human myeloid cells for cancer immunotherapy

Molecular Oncology, EarlyView.
We developed a scalable workflow to generate proinflammatory human myeloid cells. CRISPR/Cas9‐edited CD34+ hematopoietic stem and progenitor cells were expanded and differentiated with M‐CSF. Deletion of STAT6 or STAT6/NFKB1 enhanced macrophage proinflammatory gene expression and cytokine secretion in the presence of IL‐4 while maintaining antibody ...
Theresa Barberi, Alan D. Friedman
wiley   +1 more source

Fault estimation and fault-tolerant control for discrete-time dynamic systems [PDF]

, 2015
In this paper, a novel discrete-time estimator is proposed, which is employed for simultaneous estimation of system states, and actuator/sensor faults in a discrete-time dynamic system.
Gao, Zhiwei
core   +1 more source

An outer membrane vesicle‐associated two‐track model for enterotoxigenic Bacteroides fragilis oncogenesis

Molecular Oncology, EarlyView.
Enterotoxigenic Bacteroides fragilis is a gut bacterium linked to bowel cancer. We propose that its toxin acts along two routes: at the cell surface, cutting the adhesion protein E‐cadherin and triggering inflammation; and inside the cell, delivered by bacterial vesicles, switching on NOD1 and cancer stem cell programs.
Kangchan Choi, Sang‐Hyeon Yoo, Ki‐Jong Rhee   +2 more
wiley   +1 more source

Small RNA pathways in mammalian oocytes

FEBS Open Bio, EarlyView.
Three distinct small RNA pathways operate in mammalian oocytes: RNAi interference (RNAi), the microRNA (miRNA) pathway, and the PIWI‐associated RNA (piRNA) pathway. These pathways use small RNAs to guide sequence‐specific repression and contribute to oocyte biology by targeting genes and mobile elements or appear insignificant since different ...
Petr Svoboda, Josef Pasulka
wiley   +1 more source

Evaluating a Method to Estimate Mediation Effects With Discrete-Time Survival Outcomes

Frontiers in Psychology, 2019
The utility of evaluating mediation effects spans across research domains. The model facilitates investigation of underlying mechanisms of event timing and, as such, has the potential to help strengthen etiological research and inform intervention work ...
Amanda Jane Fairchild, Chao Cai, Heather McDaniel, Dexin Shi, Amanda Gottschall, Katherine E. Masyn   +5 more
doaj   +1 more source

Hyperactive ice‐binding proteins stabilize cell membranes and improve resistance to dehydration stress in Caenorhabditis elegans

FEBS Open Bio, EarlyView.
TisIBP8, a fungal‐derived hyperactive ice‐binding protein, helps Caenorhabditis elegans survive dehydration. It localizes near cell membranes, reduces cell damage, and helps maintain membrane structure during drying. These results suggest that ice‐binding proteins can protect cells from dehydration stress as well as freezing stress.
Daiki Shimose, Kotaro Ozaki, Ryohei Kuriyama, Yuka Ikemoto, Kazuhiro Mio, Yuji C. Sasaki, Tatsuya Arai, Sakae Tsuda, Yoichi Shinkai, Masahiro Kuramochi   +9 more
wiley   +1 more source

Model matching problem for discrete-time nonlinear systems; pp. 457–472 [PDF]

Proceedings of the Estonian Academy of Sciences, 2015
This paper addresses the model matching problem (MMP) for nonlinear single-input single-output discrete-time systems. The approach is based on the infinitesimal system description in terms of the one-forms that is converted into polynomial system ...
Juri Belikov, Miroslav Halás, Ülle Kotta, Claude H. Moog   +3 more
doaj   +1 more source

A new flow chip in combination with multiphoton microscopy as a protocol for longitudinal 3D imaging of tissue calcification under shear stress

FEBS Open Bio, EarlyView.
Miniaturized flow chip platform enabling continuous perfusion and longitudinal multiphoton 3D imaging of vascular smooth muscle cell constructs under physiological flow. Brightfield imaging guides region selection, while CellTracker Green and mRuby‐labeled fetuin‐A visualize cells and mineral deposition, respectively. Magnesium supplementation markedly
Vytautas Kučikas, Aaron D. Morgan, Ignas Čiurlionis, Christian Böhm, Stefan Jockenhövel, Willi Jahnen‐Dechent, Marc A. M. J. van Zandvoort   +6 more
wiley   +1 more source

Reduced–Order Perfect Nonlinear Observers of Fractional Descriptor Discrete–Time Nonlinear Systems

International Journal of Applied Mathematics and Computer Science, 2017
The purpose of this work is to propose and characterize fractional descriptor reduced-order perfect nonlinear observers for a class of fractional descriptor discrete-time nonlinear systems.
Kaczorek Tadeusz
doaj   +1 more source