Results 141 to 150 of about 4,087,241 (316)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges [PDF]

arXiv
In recent years, formal methods have been extensively used in the design of autonomous systems. By employing mathematically rigorous techniques, formal methods can provide fully automated reasoning processes with provable safety guarantees for complex dynamic systems with intricate interactions between continuous dynamics and discrete logics.
arxiv  

Bioengineering facets of the tumor microenvironment in 3D tumor models: insights into cellular, biophysical and biochemical interactions

FEBS Open Bio, EarlyView.
The tumor microenvironment is a dynamic, multifaceted complex system of interdependent cellular, biochemical, and biophysical components. Three‐dimensional in vitro models of the tumor microenvironment enable a better understanding of these interactions and their impact on cancer progression and therapeutic resistance.
Salma T. Rafik, Deniz Bakkalci, Alexander J. MacRobert, Umber Cheema   +3 more
wiley   +1 more source

Hydrophobicity causes anomalous migration of cystine/glutamate antiporter SLC7A11 in SDS‐PAGE with low acrylamide concentration

FEBS Open Bio, EarlyView.
SLC7A11 frequently migrates faster in SDS‐PAGE. The present study found that the high hydrophobicity of SLC7A11 causes its anomalous migration in SDS‐PAGE with a low concentration of acrylamide gel. Replacing isoleucine with asparagine reduced hydrophobicity and restored its normal migration at 55 kDa, revealing the role of hydrophobicity and gel ...
Nsengiyumva Emmanuel, Qian He, Yixin Kang, Dianbao Zhang, Min Gao, Minglin Wang, Kexin Fan, Jingwen Xiong, Shaobo Wu, Botao Fa, Zhengtao Xiao, Yingfang Niu, Jun Yao, Yilei Zhang   +13 more
wiley   +1 more source

Performance analysis of control allocation using data‐driven integral quadratic constraints

Advanced Control for Applications, Volume 4, Issue 4, December 2022., 2022
Abstract A new method is presented for evaluating the performance of a nonlinear control allocation system within a linear control loop. To that end, a worst‐case gain analysis problem is formulated that can be readily solved by means of well‐established methods from robustness analysis using integral quadratic constraints (IQCs).
Manuel Pusch, Daniel Ossmann, Harald Pfifer   +2 more
wiley   +1 more source

METTL3 knockout accelerates hepatocarcinogenesis via inhibiting endoplasmic reticulum stress response

FEBS Open Bio, EarlyView.
Liver‐specific knockout of N6‐methyladenosine (m6A) methyltransferase METTL3 significantly accelerated hepatic tumor initiation under various oncogenic challenges, contrary to the previously reported oncogenic role of METTL3 in liver cancer cell lines or xenograft models. Mechanistically, METTL3 deficiency reduced m6A deposition on Manf transcripts and
Bo Cui, Silin Tu, Haibo Li, Zhancheng Zeng, Ruiqi Xiao, Jing Guo, Xiaoqi Liang, Chang Liu, Lijie Pan, Wenjie Chen, Mian Ge, Xiaofen Zhong, Linsen Ye, Huaxin Chen, Qi Zhang, Yan Xu   +15 more
wiley   +1 more source

Investigation of the Uniformity of Gel Shrinkage by Imaging Tracer Particles Using X‐Ray Microtomography

Advanced Engineering Materials, EarlyView., 2023
A novel method for tracking structural changes in gels using widely accessible microcomputed tomography is presented and validated for various hydro‐, alco‐, and aerogels. The core idea of the method is to track positions of micrometer‐sized tracer particles entrapped in the gel and relate them to the density of the gel network.
Anja Hajnal, Mimololorun Lucy Aiyelari, Martin Dirauf, Pavel Gurikov   +3 more
wiley   +1 more source

Adenosine A3 receptor antagonists as anti‐tumor treatment in human prostate cancer: an in vitro study

FEBS Open Bio, EarlyView.
The A3 adenosine receptors (A3ARs) are overexpressed in prostate cancer. AR 292 and AR 357, as A3AR antagonists, are capable of blocking proliferation, modulating the expression of drug transporter genes involved in chemoresistance, ferroptosis, and the hypoxia response, and inducing cell death.
Maria Beatrice Morelli, Andrea Spinaci, Cui Chang, Rosaria Volpini, Catia Lambertucci, Matteo Landriscina, Vincenza Conteduca, Consuelo Amantini, Cristina Aguzzi, Laura Zeppa, Martina Giangrossi, Laura Soverchia, Matteo Santoni, Massimo Nabissi, Giorgio Santoni, Carlo Polidori   +15 more
wiley   +1 more source

Soman induces endoplasmic reticulum stress and apoptosis of cerebral organoids via the GRP78‐ATF6‐CHOP signaling pathway

FEBS Open Bio, EarlyView.
Cerebral organoids were employed as a novel model to explore the neurotoxicity of soman. Soman inhibited acetylcholinesterase activity, increased cell apoptosis and upregulated endoplasmic reticulum (ER) stress markers glucose‐regulated protein 78 (GRP78), activating transcription factor 6 (ATF6) and C/EBP homologous protein (CHOP).
Yue Wei, Zhanbiao Liu, Jingjing Shi, Qian Jin, Wenqian Chen, Xuejun Chen, Liqin Li, Hui Chen   +7 more
wiley   +1 more source

Co‐expression of HSV‐1 ICP34.5 enhances the expression of gene delivered by self‐amplifying RNA and mitigates its immunogenicity

FEBS Open Bio, EarlyView.
ICP34.5 is one of the most important antihost response proteins. The saRNA‐encoding HSV‐1 neurovirulence protein ICP34.5 clearly mediated the eukaryotic initiation factor 2 alpha subunit (eIF2α) dephosphorylation and significant suppression of innate immune responses in vitro, leading to enhanced expression of the saRNA‐encoded gene.
Xuemin Lu, Yabin Wu, Chunye Zhao, Jie Zheng, Shangwu Chen, Yigang Wang, Yulong Xia   +6 more
wiley   +1 more source

Enhanced discovery of bacterial laccase‐like multicopper oxidase through computer simulation and metagenomic analysis of industrial wastewater

FEBS Open Bio, EarlyView.
We obtained potential bacterial laccase‐like multicopper oxidase (LMCO) sequences through metagenomic sequencing. All sequences exhibited significant differences from known LMCOs in databases. To select the most promising candidates, we performed structure prediction and molecular docking using alphafold2, metal3d and rosetta.
Ting Cui, Ariel Kushmaro, Hana Barak, Anja Poehlein, Rolf Daniel, Hans‐Jürgen Mägert   +5 more
wiley   +1 more source