Results 261 to 270 of about 96,820 (310)

Simplification and Generalization in CIRC

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009
CIRC is an automated theorem prover based on the circular coinduction principle. The tool is used for the verification of programs, behavioral equivalence checking, and proving properties over infinite data structures. In this paper we present two extensions of CIRC that handle the case when the prover indicates an infinite execution for a certain goal.
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu   +2 more
openaire   +1 more source

Circe

Revista Literária do Corpo Discente da Universidade Federal de Minas Gerais, 1968
.
openaire   +1 more source

Circ-HSP90A expedites cell growth, stemness, and immune evasion in non-small cell lung cancer by regulating STAT3 signaling and PD-1/PD-L1 checkpoint

Cancer Immunology and Immunotherapy, 2022
Jie Lei, Jianfei Zhu, Bengang Hui, Chenghui Jia, Xiaolong Yan, Tao Jiang, Xiaoping Wang   +6 more
semanticscholar   +1 more source

CIRCE

2023
openaire   +2 more sources

hsa_circ_0068631 promotes breast cancer progression through c-Myc by binding to EIF4A3

Molecular Therapy - Nucleic Acids, 2021
Lin Fang
exaly  

Circular RNA circ-RanGAP1 regulates VEGFA expression by targeting miR-877–3p to facilitate gastric cancer invasion and metastasis

Cancer Letters, 2020
Changhwan Yoon, Jian-Wei Xie, Chao-Hui Zheng   +2 more
exaly  

Circe

The Modern Language Review, 1991
C. J. Gossip, Thomas Corneille, Janet L. Clarke   +2 more
openaire   +1 more source

circ0000069 promotes cervical cancer cell proliferation and migration by inhibiting miR-4426

Biochemical and Biophysical Research Communications, 2021
Shuyi Chen, Kaijian Ling, Zhiqing Liang   +2 more
exaly  

Circular RNA Circ-ITCH Inhibits the Malignant Behaviors of Cervical Cancer by microRNA-93-5p/FOXK2 Axis

Reproductive Sciences, 2020
Jingli Sun, Huali Wang, Wang Huali
exaly  

Hsa_circ_0069094 accelerates cell malignancy and glycolysis through regulating the miR-591/HK2 axis in breast cancer

Cellular Signalling, 2021
Zeyu Xing, Jiaqi Liu, Menglu Zhang
exaly