Results 71 to 80 of about 1,135,516 (291)
Formal modeling analysis of military requirement assessment [PDF]
Zhihui kongzhi yu fangzhenIn order to assess military requirement scientifically and effectively, through steps division of stages, determination of assessment object and construction of assessment indicators are systematically described the military requirement assessment ...
MA Baolin, ZHU Xuyu, DU Bin
doaj +1 more source
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Cell injection is a technique in the domain of biological cell micro-manipulation for the delivery of small volumes of samples into the suspended or adherent cells.
Muhammad Usama Sardar, Osman Hasan
doaj +1 more source
Simulation of non-Markovian Processes in BlenX [PDF]
, 2008 BlenX is a programming language explicitly designed for modeling biological processes inspired by Beta-binders. The actual framework assumes biochemical interactions being exponentially distributed, i.e., an underlying Markov process is associated with ...
Prandi, Davide +2 more
core
Modeling Informality Formally: Households and Firms [PDF]
SSRN Electronic Journal, 2006 Informality is widespread in most developing countries. In Latin America, 50% of salaried employees work informally. Three stylized facts characterize informality: (1) small firms tend to operate informally while large firms tend to operate formally; (2) unskilled workers tend to be informal while skilled ones have formal jobs; (3) ceteris paribus ...
Galiani, Sebastián +1 more
openaire +5 more sources
Correlation of the differential expression of PIK3R1 and its spliced variant, p55α, in pan‐cancer
Molecular Oncology, EarlyView.PIK3R1 undergoes alternative splicing to generate the isoforms, p85α and p55α. By combining large patient datasets with laboratory experiments, we show that PIK3R1 spliced variants shape cancer behavior. While tumors lose the protective p85α isoform, p55α is overexpressed, changes linked to poorer survival and more pronounced in African American ...
Ishita Gupta +10 more
wiley +1 more source
Modeling and verification of finite field multiplier using formal method
Dianzi Jishu Yingyong, 2018 This paper focused on the correctness of finite field multiplier, and described the detailed process of formal modeling and verification of finite field multiplier in higher-order logic theorem prover HOL4.
Zhang Jie, Wang Shaochao, Guan Yong
doaj +1 more source
Basroparib inhibits YAP‐driven cancers by stabilizing angiomotin
Molecular Oncology, EarlyView.Basroparib, a selective tankyrase inhibitor, suppresses Wnt signaling and attenuates YAP‐driven oncogenic programs by stabilizing angiomotin. It promotes AMOT–YAP complex formation, enforces cytoplasmic YAP sequestration, inhibits YAP/TEAD transcription, and sensitizes YAP‐active cancers, including KRAS‐mutant colorectal cancer, to MEK inhibition.
Young‐Ju Kwon +4 more
wiley +1 more source
Economics and economic methodology in a core-periphery economic world
Brazilian Journal of Political EconomyThis paper uses a core-periphery distinction to characterize contemporary economics, economic methodology, and also today’s world economy. First, it applies the distinction to the organization of contemporary economics through an examination of the ...
John B. Davis
doaj +1 more source
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 +25 more
wiley +1 more source
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 +6 more
wiley +1 more source