Yishuai Li

Jul 22, 2024 | zenodo.org | Matthieu Sozeau |Théo Winterhalter |Simon Boulier |Yannick Forster |Jason Gross |Abhishek Anand | +20 more

Release 1.3.2 of the MetaCoq project for Coq 8.19 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.

Jul 22, 2024 | zenodo.org | Matthieu Sozeau |Théo Winterhalter |Simon Boulier |Yannick Forster |Jason Gross |Abhishek Anand | +20 more

Release 1.3.2 of the MetaCoq project for Coq 8.19 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.

Mar 18, 2024 | zenodo.org | Théo Winterhalter |Yannick Forster |Jason Gross |Abhishek Anand |Jakob Nielsen |Enrico Tassi | +20 more

We are happy to announce release 1.3.1 of the MetaCoq project for Coq 8.17, available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations.

Mar 18, 2024 | zenodo.org | Théo Winterhalter |Yannick Forster |Jason Gross |Abhishek Anand |Jakob Nielsen |Enrico Tassi | +20 more

We are happy to announce release 1.3.1 of the MetaCoq project for Coq 8.17, available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations.

Jan 17, 2024 | aging-us.com | Dong Wei |Ying Liu |Ying Yuan |Yishuai Li

Background: The cGAS-STING pathway emerges as a pivotal innate immune pathway with the potential to profoundly influence all facets of tumor initiation and progression. The prognostic significance and immunological role of cGAS-STING pathway-related genes (CRGs) in individuals diagnosed with bladder cancer (BLCA) have not yet been fully elucidated. Methods: Performed unsupervised cluster analysis to identify distinct clusters.