Results 101 to 110 of about 117,504 (308)

Streamlining Temporal Formal Verification over Columnar Databases

Information
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf).
Giacomo Bergami
doaj   +1 more source

Formal verification of Matrix based MATLAB models using interactive theorem proving. [PDF]

PeerJ Comput Sci, 2021
Gauhar A, Rashid A, Hasan O, Bispo J, Cardoso JMP.   +4 more
europepmc   +1 more source

Genetic attenuation of ALDH1A1 increases metastatic potential and aggressiveness in colorectal cancer

Molecular Oncology, EarlyView.
Aldehyde dehydrogenase 1A1 (ALDH1A1) is a cancer stem cell marker in several malignancies. We established a novel epithelial cell line from rectal adenocarcinoma with unique overexpression of this enzyme. Genetic attenuation of ALDH1A1 led to increased invasive capacity and metastatic potential, the inhibition of proliferation activity, and ultimately ...
Martina Poturnajova, Zuzana Kozovska, Ondrej Pos, Kristina Pavlov, Sachin Gulati, Peter Makovicky, Kristina Jakic, Monika Burikova, Eva Sedlackova, Barbora Svitkova, Silvia Tyciakova, Vojtech Bystry, Nicolas Blavet, Boris Tichy, Matej Hrnciar, Jaroslav Budis, Miroslav Tomas, Peter Dubovan, Georgina Kolnikova, Veronika Repaska, Nikoleta Mojzesova, Eva Zomborska, Daniel Pindak, Michal Mego, Tomas Szemes, Miroslava Matuskova   +25 more
wiley   +1 more source

Impact of a senior research thesis on students' perceptions of scientific inquiry in distinct student populations

FEBS Open Bio, EarlyView.
This study addressed how a senior research thesis is perceived by undergraduate students. It assessed students' perception of research skills, epistemological beliefs, and career goals in Biochemistry (science) and BDC (science‐business) students. Completing a thesis improved confidence in research skills, resilience, scientific identity, closed gender‐
Celeste Suart, Haley L. Zubyk, Michelle Ogrodnik, Caitlin E. Mullarkey, Felicia Vulcu   +4 more
wiley   +1 more source

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

ATP13A2 is involved in intracellular polyamine transport in lung epithelial cells

FEBS Open Bio, EarlyView.
Spermidine transport in lung epithelial cells involves the polyamine transporter ATP13A2. Cell proliferation is associated with the upregulation of ATP13A2. Polyamines are present in all living cells and are implicated in various crucial cellular processes such as proliferation, apoptosis and autophagy.
Yuta Hatori, Kohei Kawabata, Takanori Kubo, Takeo Kitazawa, Sae Kanai, Madoka Iwashita, Ami Hayashi, Hiroyuki Nishi, Mikihisa Takano   +8 more
wiley   +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

On modularity in reactive control architectures, with an application to formal verification [PDF]

, 2020
Oliver Biggar, Mohammad Zamani, Iman Shames   +2 more
openalex   +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