Results 91 to 100 of about 79,255 (279)

Linear Encodings of Bounded LTL Model Checking

, 2006
We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound.
Armin Biere, Keijo Heljanko, Kousha Etessami, Timo Latvala, Tommi Junttila, Viktor Schuppan   +5 more
core   +4 more sources

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

Management Process of a Frequency Response Flight Test for Rotorcraft Flying Qualities Evaluation

Journal of Aerospace Technology and Management, 2016
This paper applies the frequency response methodology to characterize and analyze the flying qualities of longitudinal and lateral axes of a rotary-wing aircraft, AS355-F2. Using the results, it is possible to check the suitability of the aircraft in
João Otávio Falcão Arantes Filho, Donizeti de Andrade   +1 more
doaj   +2 more sources

Dimethyl fumarate combined with cisplatin at subcytotoxic doses sensitizes cervical cancer toward ferroptosis and apoptosis through GSH restriction and p53 (re)activation

Molecular Oncology, EarlyView.
Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano, Giuseppina Minopoli, Simona Romano, Laura Marrone, Katia Aquilano, Maria Lina Tornesello, Raffaella Faraonio   +6 more
wiley   +1 more source

Graviton propagator in a 2-parameter family of de Sitter breaking gauges

Journal of High Energy Physics, 2019
We formulate the graviton propagator on de Sitter background in a 2-parameter family of simple gauges which break de Sitter invariance. Explicit results are derived for the first order perturbations in each parameter.
D. Glavan, S.P. Miao, T. Prokopec, R.P. Woodard   +3 more
doaj   +1 more source

Network divergence analysis identifies adaptive gene modules and two orthogonal vulnerability axes in pancreatic cancer

Molecular Oncology, EarlyView.
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson, Lyanne Delgado‐Coka, Natalia Marchenko, Luisa F. Escobar‐Hoyos, Kenneth R. Shroyer, Alisa Yurovsky, Trey Ideker, Gábor Balázsi, Thomas MacCarthy, Scott Powers   +9 more
wiley   +1 more source

On the six-loop scaling dimensions of the (ϕ2)n operators in d=3

Nuclear Physics B
We consider a class of singlet operators (ϕ2)n in the three-dimensional O(N) model with λ2ϕ6 interaction. Recently [1], the corresponding anomalous dimensions γ2n were computed by semiclassical methods and the all-loop result for the leading-n ...
A.V. Bednyakov, M.V. Kompaniets, A.V. Trenogin   +2 more
doaj   +1 more source

Loop-Reduction LLL Algorithm and Architecture for Lattice-Reduction-Aided MIMO Detection

Journal of Electrical and Computer Engineering, 2012
We propose a loop-reduction LLL (LR-LLL) algorithm for lattice-reduction-aided (LRA) multi-input multioutput (MIMO) detection. The LLL algorithm is an iterative algorithm that contains many check and process operations; however, the traditional LLL ...
Chun-Fu Liao, Li-Wei Chai, Yuan-Hao Huang   +2 more
doaj   +1 more source

COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells

Molecular Oncology, EarlyView.
This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos, Gilar Gorji‐bahri, Lejla Gradjan, Julia Zajac, Kacper Gil, Yvonne Thokozile Nduku, Anna M. Blom   +6 more
wiley   +1 more source

Measurement loop, automatic tuning and product quality tracking

MATEC Web of Conferences, 2018
Starting from the PDCA cycle (Plan - Do - Check - Act), imposed by the ISO 9000 quality standards, a loop is proposed to automatically adjust the work equipment to the statistical distribution of the quality feature of the last N products randomly ...
Man Dietrich Marcela, Popa Marcel Sabin
doaj   +1 more source