The traditional synthesis problem aims to automatically construct a reactive system (if it exists) satisfying a given Linear Temporal Logic (LTL) specifications, and is often referred to as a qualitative problem. There is also a class of synthesis problems aiming at quantitative properties, such as mean-payoff values, and this type of problem is called a quantitative problem. For the two types of synthesis problems, the research on the former has been relatively mature, and the latter also has received huge amounts of attention.
View Article and Find Full Text PDFThe increasing utilization of deep neural networks (DNNs) in safety-critical systems has raised concerns about their potential to exhibit undesirable behaviors. Consequently, DNN repair/patching arises in response to the times, and it aims to eliminate unexpected predictions generated by flawed DNNs. However, existing repair methods, both retraining- and fine-tuning-based, primarily focus on high-level abstract interpretations or inferences of state spaces, often neglecting the outputs of underlying neurons.
View Article and Find Full Text PDFBackground/aims: Hepatocellular carcinoma (HCC) is one of the cancers with the highest incidence and mortality rates. This study aims to explore the diagnostic and prognostic utility of methyltransferase like 13 (METTL13) in patients with HCC via bioinformatics analysis.
Materials And Methods: We obtained mRNA data of HCC from the database of the Cancer Genome Atlas (TCGA), drawing survival curve by R 4.
Front Cell Infect Microbiol
November 2022
Background: Imbalance of oral salivary microbiota has been linked to the pathogenesis of a variety of systemic diseases, and oral bacterial species have been shown to be useful biomarkers for systemic diseases.This study aimed to characterize the alterations of oral microbiota in patients with esophageal squamous cell carcinoma (ESCC) and to evaluate the diagnostic performance of oral microbial biomarkers for ESCC.
Methods: The relative abundance of flora in saliva samples was analyzed by 16S rDNA sequencing, and differences in the species present in samples from ESCC patients and healthy controls (HCs) were identified by analyzing species diversity and performing LEfSe analysis.
Background: The efficacy of endoscopic resection in patients with rectal neuroendocrine tumors (NETs) which are less than 20 mm in diameter remains unclear. This study aimed to investigate the efficacy and outcomes of different types of endoscopic resection in patients with NETs.
Methods: We performed a retrospective analysis and follow-up on 98 patients who underwent endoscopic resection for rectal NETs between August 2010 and October 2019 at Guangdong Provincial People's Hospital, China.
The aim is to explore the predictive value of salivary bacteria for the presence of esophageal squamous cell carcinoma (ESCC). Saliva samples were obtained from 178 patients with ESCC and 101 healthy controls, and allocated to screening and verification cohorts, respectively. In the screening phase, after saliva DNA was extracted, 16S rRNA V4 regions of salivary bacteria were amplified by polymerase chain reaction (PCR) with high-throughput sequencing.
View Article and Find Full Text PDFLysyl oxidase-like 2 (LOXL2) participates in the occurrence and development of digestive system cancers (DSCs). The aim of this study was to determine whether LOXL2 protein could serve as a prognostic biomarker in patients with DSCs. Relevant studies published before October 1, 2018 were identified from a comprehensive literature review in PubMed, Web of Science, and Embase.
View Article and Find Full Text PDFBackground: Gastric adenocarcinoma predictive long intergenic noncoding RNA (GAPLINC), a newly identified lincRNA, was reported to be aberrantly expressed in several kinds of cancers and played an important role in tumor progression. This study was performed to systematically estimate the prognostic role of GAPLINC expression in cancer patients.
Methods: Several electronic databases, including PubMed, Embase, Web of Science, China National Knowledge Infrastructure (CNKI), and Wan Fang databases were searched for potential literature (updated to September 3, 2018).
Background: Prostate-cancer-associated ncRNA transcript 1 (PCAT-1), a newly discovered lncRNA, was implicated in the progression of multiple tumors. We conducted a systematic review and meta-analysis to determine its prognostic potential for gastrointestinal cancers.
Methods: A literature survey was conducted by searching the PubMed, Web of Science, Cochrane Library, Embase together with Wanfang, and China National Knowledge Infrastructure (CNKI) database for articles published as of October 15, 2017.
Background: Accumulating studies have indicated that Targeting protein for Xenopus kinesin-like protein 2 (TPX2) was overexpressed in various types of human cancers. However, the prognostic and clinical value of TPX2 in gastrointestinal (GI) tract cancers was not well-understood. This study was aimed to comprehensively explore the prognostic and clinical significance of TPX2 in GI tract cancers.
View Article and Find Full Text PDFBackground: Chromodomain helicase DNA binding protein 1-like (CHD1L) played vital roles in tumorigenesis and development. Its aberrant expression was reported to be related to progression and prognosis in various tumors. However, no consensus on the prognostic value of CHD1L protein has been made.
View Article and Find Full Text PDFCancer stem cells (CSCs) and epithelial‑mesenchymal transition (EMT) are critical factors contributing to tumor metastasis and recurrence. The BMI1 proto‑oncogene (Bmi‑1) promotes the development and progression of hematologic malignancies and of several types of solid tumors. The aim of the present study was to explore the mechanism by which Bmi‑1 may promote invasion and migration of hepatocellular carcinoma Hep G2 cells.
View Article and Find Full Text PDFThe non‑SMC condensin I complex subunit G (NCAPG) that organizes the coiling topology of individual chromatids, represents an overexpressed antigen in various types of cancer, and also contributes to restructuring chromatin into rod‑shaped mitotic chromosomes and ensuring the segregation of sister chromatid during cell division. In this study, we investigated the association between NCAPG expression and the biological behavior of hepatocellular carcinoma (HCC) to further explore the potential of NCAPG as a therapeutic target. The expression of NCAPG was detected in human HCC cell lines and tumor samples.
View Article and Find Full Text PDFIntroduction: The association between IL-16 rs1131445 polymorphism and cancer risk is not consistent or even contradictory, this meta-analysis aims to investigate the role of IL-16 gene rs1131445 polymorphisms in the risk of cancer.
Evidence Acquisition: A comprehensive online search was conducted in PubMed, EMBASE and CNKI databases to identify eligible studies. The case-control studies related IL-16 rs1131445 C/T polymorphism with the cancer susceptibility were selected according to the inclusion and exclusion criteria.
World J Gastroenterol
February 2015
Aim: To determine how the oncogene miR-21 regulates the RAS signaling pathways and affects colon cancer cell behaviors.
Methods: RAS p21 GTPase activating protein 1 (RASA1) protein expression in six colon cancer cell lines was assessed by Western blot. Colon cancer RKO cells were chosen for transfection because they are KRAS wild type colon cancer cells whose RASA1 expression is significantly decreased.