Results 91 to 100 of about 115,357 (261)

Hardware security and reliability verification based on fault propagation model

Xibei Gongye Daxue Xuebao
Large scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security
ZHANG Xige, ZHU Jiacheng, MA Jun, SHEN Lixiang, ZHOU Jiahui, MU Dejun   +5 more
doaj   +1 more source

Domain associated with zinc fingers‐containing NF90‐NF45 complex inhibits m6A modification of primary microRNA by suppressing METTL3/14 activity

FEBS Open Bio, EarlyView.
NF90–NF45 functions as a negative regulator of methyltransferase‐like 3/14 (METTL3/14)‐mediated N6‐methyladenosine (m6A) modification on primary microRNAs (pri‐miRNAs). NF90–NF45 binds to anti‐oncogenic pri‐miRNAs and inhibits their m6A modification, thereby suppressing the biogenesis of anti‐oncogenic miRNAs.
Takuma Higuchi, Shunsuke Morioka, Keiko Morisawa, Kazutsugu Matsukawa, Shingo Ashida, Takeshi Suzuki, Shuji Sakamoto   +6 more
wiley   +1 more source

Microglial dynamics and ferroptosis induction in human iPSC‐derived neuron–astrocyte–microglia tri‐cultures

FEBS Open Bio, EarlyView.
A tri‐culture of iPSC‐derived neurons, astrocytes, and microglia treated with ferroptosis inducers as an Induced ferroptosis model was characterized by scRNA‐seq, cell survival, and cytokine release assays. This analysis revealed diverse microglial transcriptomic changes, indicating that the system captures key aspects of the complex cellular ...
Hongmei Lisa Li, Hiroko Ohmiya, Sou Sakamoto, Masato Yugami, Akiko Oki, Makoto Furusawa, Yan Ling   +6 more
wiley   +1 more source

Understanding bio‐based polymers: A study of origins, properties, biodegradation and their impact on health and the environment

FEBS Open Bio, EarlyView.
This review provides an overview of bio‐based polymer sources, their unique functional properties and their environmental impact, and addresses their role as sustainable alternatives. It discusses end‐of‐life options, including composting and anaerobic digestion for renewable energy.
Sabina Kolbl Repinc, Blaž Stres, Mirica Karlovits, Igor Karlovits, Petra Jerič, Ondrej Panák, Anja Verbič, Blaž Likozar, Uroš Novak   +8 more
wiley   +1 more source

Meta‐analysis fails to show any correlation between protein abundance and ubiquitination changes

FEBS Open Bio, EarlyView.
We analyzed over 50 published proteomics datasets to explore the relationship between protein levels and ubiquitination changes across multiple experimental conditions and biological systems. Although ubiquitination is often associated with protein degradation, our analysis shows that changes in ubiquitination do not globally correlate with changes in ...
Nerea Osinalde, Unai Alduntzin, Gorka Prieto, Ugo Mayor   +3 more
wiley   +1 more source

Formal Verification of Control Modules in Cyber-Physical Systems. [PDF]

Sensors (Basel), 2020
Grobelna I.
europepmc   +1 more source

C2α‐carbanion‐protonating glutamate discloses tradeoffs between substrate accommodation and reaction rate in actinobacterial 2‐hydroxyacyl‐CoA lyase

FEBS Open Bio, EarlyView.
Enzymes of the 2‐hydroxyacyl‐CoA lyase group catalyze the condensation of formyl‐CoA with aldehydes or ketones. Thus, by structural adaptation of active sites, practically any pharmaceutically and industrially important 2‐hydroxyacid could be biotechnologically synthesized. Combining crystal structure analysis, active site mutations and kinetic assays,
Michael Zahn, Barbara Seroka, Ryszard Lazny, Zenon Lotowski, Thore Rohwerder   +4 more
wiley   +1 more source

Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains

FEBS Open Bio, EarlyView.
The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth, Moritz Koch, Le‐Han Rössner, Johanna Eichhorn, Denys Pogoryelov, Matthias P. Mayer, Jude M. Przyborski   +6 more
wiley   +1 more source

Erythropoietin modulates hepatic inflammation, glucose homeostasis, and soluble epoxide hydrolase and epoxides in high‐fat diet‐induced obese mice

FEBS Open Bio, EarlyView.
Erythropoietin administration suppresses hepatic soluble epoxide hydrolase (sEH) expression, leading to increased CYP‐derived epoxides. This is associated with a shift in hepatic macrophage polarization characterized by reduced M1 markers and increased M2 markers, along with reduced hepatic inflammation, suppressed hepatic lipogenesis, and attenuated ...
Takeshi Goda, Satoru Sugimoto, Chiharu Cho, Madoka Konishi, Nozomi Inoue, Satoshi Miyagaki, Yasuhiro Kawabe, Takuro Okamura, Masahide Hamaguchi, Hisakazu Nakajima, Michiaki Fukui, Masakazu Shinohara, Tomoko Iehara   +12 more
wiley   +1 more source

Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach

IEEE Access
This paper introduces Auto-modeling of Formal Verification with Real-world Prompting for 5G and NextG protocols (AVRE), a novel system designed for the formal verification of Next Generation (NextG) communication protocols, addressing the increasing ...
Jingda Yang, Ying Wang
doaj   +1 more source