A5019450472- Software Testing and Debugging Techniques
- Formal Methods in Verification
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
- Software Engineering Research
- Software Reliability and Analysis Research
- Numerical Methods and Algorithms
- Real-Time Systems Scheduling
- Security and Verification in Computing
- RNA modifications and cancer
- Adversarial Robustness in Machine Learning
- Model-Driven Software Engineering Techniques
- Gout, Hyperuricemia, Uric Acid
- Gut microbiota and health
- RNA and protein synthesis mechanisms
- Embedded Systems Design Techniques
- Radiation Effects in Electronics
- Epigenetics and DNA Methylation
- Corporate Finance and Governance
- Inflammasome and immune disorders
- Advanced Software Engineering Methodologies
- Machine Learning and Algorithms
- Higher Education and Teaching Methods
- Cancer-related molecular mechanisms research
- Educational Reforms and Innovations
Southern Medical University
2015-2024
Weifang People's Hospital
2022-2024
Guangdong Academy of Medical Sciences
2022-2024
Guangdong Provincial People's Hospital
2022-2024
National University of Defense Technology
2014-2023
Weifang Medical University
2022-2023
TCM-Intigrated Cancer Center of Southern Medical University
2020-2023
Weatherford College
2023
Sun Yat-sen University
2019-2022
Shandong Normal University
2022
A new transcriptome-wide method produces reliable m 6 maps at single-base resolution and reveals site conservation in mammals.
Abstract Background The prevalence of hyperuricaemia (HUA), a metabolic disorder characterized by elevated levels uric acid, is on the rise and frequently associated with renal injury. Gut microbiota gut-derived uremic toxins are critical mediators in gut-kidney axis that can cause damage to kidney function. dysbiosis has been implicated various diseases. However, role underlying mechanism gut HUA-induced injury remain unknown. Results A HUA rat model was first established knocking out...
Rat aorta smooth muscle cells which express all three α1-adrenoreceptors (α1A, α1B and α1D) were used to determine the effect of stimulation α1-adrenergic receptor subtypes on cell growth. "Combined"α1-adrenoreceptor subtype with norepinephrine alone caused a concentration-dependent, prazosin-sensitive increase in protein content synthesis: 48 h at 1 μM increased 216 ± 40% time-matched controls (p = 0.008) RNA 140 13% 0.03); synthesis 167 < 0.01) after 24 h. Stimulation plus selective...
Forensic microbiome research is a field with wide range of applications and number protocols have been developed for its use in this area research. As individuals host radically different microbiota, the human expected to become new biomarker forensic identification. To achieve an effective procedure understanding factors which can alter determinations stable changing elements will be critical selecting appropriate targets investigation. The 16S rRNA gene, notable conservation specificity,...
Detecting bugs in deep learning software at the architecture level provides additional benefits that detecting model does not provide. This paper makes first attempt to conduct static analysis for numerical level. We propose a approach neural architectures based on abstract interpretation. Our mainly comprises two kinds of abstraction techniques, i.e., one tensors and values. Moreover, scale up while maintaining adequate detection precision, we techniques: tensor partitioning (elementwise)...
Floating point computation is by nature inexact, and numerical libraries that intensively involve floating-point computations may encounter high errors. Due to the wide use of libraries, it highly desired reduce errors in them. Using higher precision will degrade performance also introduce extra for certain precision-specific operations libraries. mathematical rewriting mostly focuses on rearranging expressions or taking Taylor expansions not fit reducing evoked ill-conditioned problems are...
Studies have shown that gut microbe disorder in mice due to early-life antibiotic exposure promotes glycolipid metabolism adulthood. However, the underlying mechanism remains unclear and there is not yet an effective intervention or treatment for this process.The study investigated whether azithromycin (AZT) could promote high-fat diet (HFD)-induced Moreover, effect of citrus reticulata pericarpium (CRP) extract on via regulation microbiome exposed antibodies early life were...
Background: Over the years, Automated Program Repair (APR) has attracted much attention from both academia and industry since it can reduce costs in fixing bugs. However, how to assess patch correctness remains be an open challenge. Two widely adopted ways approach this challenge, including manually checking validating using automated generated tests, are biased (i.e., suffering subjectivity low precision respectively). Aim: To address concern, we propose conduct empirical study towards...
Cervical cancer is the fourth leading type and second most common gynecological malignancy among women worldwide. Silibinin (SB), a chief bioactive natural polyphenolic flavonoid of Silybum marianum L., has been used clinically for its hepatocyte protective effects. It also anticancer effects via induction apoptosis cell cycle arrest. However, SB on cervical cells through mitochondrial fission have not studied. Here, we showed that markedly suppressed proliferation by inducing G2/M arrest...
Recently, much attention has been paid on program repair by reusing existing code from other software. However, the technique of needs to search fix ingredients which refer that can be reused form a fix, and searching space tends huge. Finding out those fragments contain proper efficiently will largely improve efficiency. Based assumption similar may ingredients, this paper proposes reusability metrics for repair. By combining similarity differentiality at level syntax trees, reusablility is...
The battle between hepatitis B virus ( HBV ) infection and the host immune defense determines outcome of disease. Scavenger receptor A SRA is a phagocytic pattern recognition involved in various cellular processes, including lipid metabolism, recognition, clearance pathogens or modified self‐molecules. Emerging evidence pointed out that might act as an immunomodulator contributes to innate against invading pathogens. Herein, we examined role initiation type I interferon IFN response...
Automated program repair (APR) holds the promise of aiding manual debugging activities. Over a decade evolution, broad range APR techniques have been proposed and evaluated on set real-world bug datasets. However, while more bugs correctly fixed, we observe that growth newly fixed by has hit bottleneck in recent years. In this work, explore possibility addressing complicated proposing TransplantFix, novel technique leverages graph differencing-based transplantation from donor method. The key...
In Cyber-Physical Systems with interrupt mechanism, interrupts may cause unexpected interleaving executions and even wrong execution results. A kind of frequently occurred errors are caused by data race. We present an approach under the framework bounded model checking (BMC) to detect race for driven programs. The key idea is automatically serialize a concurrent program as non-deterministic sequential program, whose possible set includes all program. Moreover, our checks in collects path...
Abstract N 6 -deoxyadenosine methylation (6mA) is the most widespread type of DNA modification in prokaryotes and also abundantly distributed some unicellular eukaryotes. However, 6mA levels are remarkably low mammals. The lack a precise comprehensive mapping method has hindered more advanced investigations 6mA. Here, we report new MM-seq (modification-induced mismatch sequencing) for genome-wide based on novel detection principle. We found that modified bases prone to form local open region...