Skip to main content

13 Result(s)

within Weijiang **ong Remove this filter

and

  1. No Access

    Article

    Exploration of the Relationships Among Epistemic Views of Physics, Conceptions of Learning Physics, and Approaches to Learning Physics for College Engineering Students

    Physical education in colleges plays an increasingly important role in cultivating high-quality innovative talent. The main factors that affect college students’ approaches to learning physics remain unknown. ...

    Haina Wu, Weijiang Gong, Guangyu Yi in Science & Education (2024)

  2. No Access

    Article

    YTHDC1-Mediated lncRNA MSC-AS1 m6A Modification Potentiates Laryngeal Squamous Cell Carcinoma Development via Repressing ATXN7 Transcription

    Laryngeal squamous cell carcinoma (LSCC) has the highest mortality rate among head and neck squamous cell carcinoma. This study was designed to investigate the biological effect of long noncoding RNA (lncRNA) ...

    Shu Zhang, Qun Wu, Wei Cheng, Weijiang Dong, Bo Kou in Molecular Biotechnology (2024)

  3. No Access

    Chapter and Conference Paper

    Formal Verification Based Synthesis for Behavior Trees

    Behavior trees (BTs) have been extensively applied in the area of both computer games and robotics, as the control architectures. However, the construction of BTs is labor-expensive, time-consuming, and even i...

    Weijiang Hong, Zhenbang Chen, Minglong Li… in Dependable Software Engineering. Theories,… (2024)

  4. No Access

    Article

    Grazing intensity mediates effects of plant arbuscular mycorrhizal symbiosis on nitrogen and phosphorus resorption in semiarid grasslands

    Plant-arbuscular mycorrhizal fungi (AMF) symbiosis and nutrient resorption are key to resource use and conservation strategies for wild plants. However, it remains unclear how grazing and plant-AMF symbiosis a...

    Ruoyu Jia, Bo Tang, Qi Sun, Weijiang Song, Yang Wang, Yongfei Bai in Plant and Soil (2023)

  5. No Access

    Article

    Research on primary Sjögren’s syndrome in 2004–2021: a Web of Science-based cross-sectional bibliometric analysis

    The extent, range, and nature of available research in the field of primary Sjögren’s syndrome (pSS) have not been understood fully. This study aimed to map the literature available on pSS, and identify global...

    Jiaqi Chen, Qian He, Bohan Jiang, Weijiang Song, Zihua Wu… in Rheumatology International (2022)

  6. No Access

    Chapter and Conference Paper

    Collaborative Verification of Uninterpreted Programs

    Given a set of uninterpreted programs to be verified, the trace abstraction-based verification method can be used to solve them once at a time. The verification of different programs is independent of each oth...

    Yide Du, Weijiang Hong, Zhenbang Chen… in Theoretical Aspects of Software Engineering (2022)

  7. No Access

    Chapter and Conference Paper

    Trace Abstraction-Based Verification for Uninterpreted Programs

    The verification of uninterpreted programs is undecidable in general. This paper proposes to employ counterexample-guided abstraction refinement (CEGAR) framework for verifying uninterpreted programs. Differen...

    Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang in Formal Methods (2021)

  8. No Access

    Article

    Robust multi-kernelized correlators for UAV tracking with adaptive context analysis and dynamic weighted filters

    In recent years, the correlation filter (CF)-based method has significantly advanced in the tracking for unmanned aerial vehicles (UAVs). As the core component of most trackers, CF is a discriminative classifi...

    Changhong Fu, Yujie He, Fuling Lin, Weijiang **ong in Neural Computing and Applications (2020)

  9. No Access

    Article

    Evaluation of model checkers by verifying message passing programs

    Benchmarks and evaluation are important for the development of techniques and tools. Studies regarding evaluation of model checkers by large-scale benchmarks are few. The lack of such studies is mainly because...

    Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang in Science China Information Sciences (2019)

  10. No Access

    Chapter and Conference Paper

    Using Coq for Formal Modeling and Verification of Timed Connectors

    Formal modeling and verification of connectors in component-based software systems are getting more interest with recent advancements and evolution in modern software systems. In this paper, we use the proof a...

    Weijiang Hong, M. Saqib Nawaz, **yue Zhang… in Software Engineering and Formal Methods (2018)

  11. No Access

    Chapter and Conference Paper

    Reasoning About Connectors in Coq

    Reo is a channel-based exogenous coordination model in which complex coordinators, called connectors, are compositionally built out of simpler ones. In this paper, we present a new approach to model connectors...

    **yue Zhang, Weijiang Hong, Yi Li, Meng Sun in Formal Aspects of Component Software (2017)

  12. Chapter and Conference Paper

    An Incremental Algorithm about the Affinity-Rule Based Transductive Learning Machine for Semi-Supervised Problem

    One of the central problems in machine learning is how to effectively combine unlabelled and labelled data to infer the labels of unlabelled ones. In recent years, there has a growing interest on the transduct...

    Weijiang Long, Fengfeng Zhu, Wenxiu Zhang in Intelligent Information Processing II (2005)

    Download PDF (376 KB)

  13. No Access

    Chapter and Conference Paper

    Transductive Learning Machine Based on the Affinity-Rule for Semi-supervised Problems and Its Algorithm

    One of the central problems in machine learning is how to effectively combine unlabelled and labelled data to infer the labels of unlabelled ones. In this article, transductive learning machines are introduced...

    Weijiang Long, Wenxiu Zhang in Advances in Neural Networks – ISNN 2004 (2004)