Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions by Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li

“…We define a constrained subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied. We present an algorithm framework based on the algebraic representations using Groebner bases for concurrent SVAs checking. …”
Get full text

Real-Time Incident Detection and Capacity Estimation Using Loop Detector Data by Syed Muzammil Abbas Rizvi, Afzal Ahmed, Yongjun Shen

“…Given the fact that the existing literature lacks the real-time estimation of road capacity and incident location using data from inductance loop detectors, a data-driven framework is proposed in this study for real-time incident detection, as well as road capacity and incident location estimation. The proposed algorithm for incident detection is developed based on the variation in traffic flow parameters acquired from inductance loop detectors. …”
Get full text

Independent Component Analysis Based on Information Bottleneck by Qiao Ke, Jiangshe Zhang, H. M. Srivastava, Wei Wei, Guang-Sheng Chen

“…The paper is mainly used to provide the equivalence of two algorithms of independent component analysis (ICA) based on the information bottleneck (IB). …”
Get full text

Pedestrian Detection and Tracking for Counting Applications in Metro Station by Chen Yan-yan, Chen Ning, Zhou Yu-yang, Wu Ke-han, Zhang Wei-wei

“…A pedestrian counting method based on Haar-like detection and template-matching algorithm is presented. The aim of the method is to count pedestrians that are in a metro station automatically using video surveillance camera. …”
Get full text

A Game-Theoretic Analysis of Bandwidth Allocation under a User-Grouping Constraint by Shun-Pin Hsu, Shun-Liang Hsu, Alan Shenghan Tsai

“…Under the assumption that each user’s utility function satisfies some continuity and concavity conditions, the existence, uniqueness, and fairness, in some appropriate sense, of the Nash equilibrium point in the allocation game are proved. An algorithm yielding a sequence converging to the equilibrium point is proposed. …”
Get full text

Formulation of Scientific Concepts as a Component of the Research Competence of Future Teachers by T. F. Orekhova, T. G. Neretina, E. N. Kondrashova

“…The authors consider three types of tasks for the formulation of scientific concepts of different levels of complexity, describe an algorithm for performing by students tasks of each type. …”
Get full text

Design and Analysis of a Stand-Alone PV System for a Rural House in Pakistan by Amjad Iqbal, M. Tariq Iqbal

“…Perturbation and observation-based algorithm has been used for maximum power extraction from PV. …”
Get full text

Binaural speech intelligibility for combinations of noise, reverberation, and hearing-aid signal processing. by James M Kates, Mathieu Lavandier, Ramesh Kumar Muralimanohar, Emily M H Lundberg, Kathryn H Arehart

“…There was no significant improvement in intelligibility for the NH group for the noise suppression algorithm used here, and no significant improvement in intelligibility for the HI group for more advanced HA processing algorithms as opposed to linear amplification in either of the two acoustic spaces or at any of the three SNRs.…”
Get full text

Optimization Design of Phononic Crystals Based on BPNN-MPA in Applied Mathematical Analysis by Peiyun Ge

“…Therefore, this study combines back propagation neural networks with ocean predator algorithms to optimize the geometric structure of phononic crystals. …”
Get full text

Optimal Control Harmony: Navigating Deterministic and Stochastic Realms with a Two-Strain Model Using Pontryagin’s Maximum Principle. by Kayanja, Andrew, Abola, Benard, Kikawa, Cliff R., Oyo, Benedict, Ssematima, Amos

“…We present proofs demonstrating the existence, uniqueness, and boundedness of a positive solution for any positive initial value for both models. An algorithm for simulating the ensemble average optimal control solution is introduced and it realism is compared to both stochastic and deterministic solutions. …”
Get full text

The Genetic Landscape of Human Glioblastoma and Matched Primary Cancer Stem Cells Reveals Intratumour Similarity and Intertumour Heterogeneity by Chiara Pesenti, Stefania Elena Navone, Laura Guarnaccia, Andrea Terrasi, Jole Costanza, Rosamaria Silipigni, Silvana Guarneri, Nicola Fusco, Laura Fontana, Marco Locatelli, Paolo Rampini, Rolando Campanella, Silvia Tabano, Monica Miozzo, Giovanni Marfia

“…Pearson correlation and K-means algorithm were exploited to compare genetic alterations and to group similar genetic profiles in matched pairs of GBM and derived GSCs. …”
Get full text

Identifikasi Nada antara Suling Sunda dan Suling Rekorder dengan Menggunakan Metode Frequency Cpstral Coefficients (MFCC) dan Dynamic Time Warping (DTW) by Fawwaz Muhammad Suryadikarsa, Youllia Indrawaty Nurhasanah, Irma Amelia Dewi

“…This research was made using an algorithm Mel Frequency Cepstral Coefficient (MFCC) to perform feature extraction and algorithm processes Dynamic Time Warping (DTW) is used to identify the time difference of recording. …”
Get full text

Klasifikasi Kelas Kata (Part-Of-Speech Tagging) untuk Bahasa Madura Menggunakan Algoritme Viterbi by Ilham Firmansyah, Putra Pandu Adikara, Sigit Adinugroho

“…Part-Of-Speech Tagging research on Madurese language using Viterbi algorithm, consists of 3 processes, which are training and testing corpus pre-processing, training the corpus by Hidden Markov Model, and tag classification using Viterbi algorithm. …”
Get full text

Spatial deconvolution from bulk DNA methylation profiles determines intratumoral epigenetic heterogeneity by Binbin Liu, Yumo Xie, Yu Zhang, Guannan Tang, Jinxin Lin, Ze Yuan, Xiaoxia Liu, Xiaolin Wang, Meijin Huang, Yanxin Luo, Huichuan Yu

“…The 7 most representative CpGs were identified and subsequently selected to develop the MeHEG algorithm. We validated its performance of deconvolution of tumor regions in an independent cohort. …”
Get full text

Intelligent fault diagnosis method for rolling bearings based on flexible residual neural network by Chuang CHEN, Xianfeng LI, Jiantao SHI, Dongdong YUE

“…This performance surpasses that of models using grey wolf optimizer (GWO), butterfly optimization algorithm (BOA), and whale optimization algorithm (WOA), indicating the excellent search capabilities of the DSABO proposed in this paper. …”
Get full text

Ascertainment and Verification of End-Stage Renal Disease and End-Stage Liver Disease in the North American AIDS Cohort Collaboration on Research and Design by Mari M. Kitahata, Daniel R. Drozd, Heidi M. Crane, Stephen E. Van Rompaey, Keri N. Althoff, Stephen J. Gange, Marina B. Klein, Gregory M. Lucas, Alison G. Abraham, Vincent Lo Re, Justin McReynolds, William B. Lober, Adell Mendes, Sharada P. Modur, Yuezhou Jing, Elizabeth J. Morton, Margaret A. Griffith, Aimee M. Freeman, Richard D. Moore

“…The algorithm had 100% sensitivity, 99% specificity, 82% PPV, and 100% NPV for ESRD. …”
Get full text

Prognostic prediction for inflammatory breast cancer patients using random survival forest modeling by Yiwei Jia, Chaofan Li, Cong Feng, Shiyu Sun, Yifan Cai, Peizhuo Yao, Xinyu Wei, Zeyao Feng, Yanbin Liu, Wei Lv, Huizi Wu, Fei Wu, Lu Zhang, Shuqun Zhang, Xingcong Ma

“…Random survival forest (RSF) algorithm was adopted to construct an accurate prognostic prediction model for IBC patients. …”
Get full text

Metabolic Modulation and Potential Biomarkers of the Prognosis Identification for Severe Aortic Stenosis after TAVR by a Metabolomics Study by Yanbiao Liao, Chang Liu, Tianyuan Xiong, Mingyue Zhao, Wen Zheng, Yuan Feng, Yijian Li, Yuanweixiang Ou, Zhengang Zhao, Yong Peng, Jiafu Wei, Qiao Li, Wei Meng, Xiaojing Liu, Mao Chen

“…We used volcano plots to find that the cardiac-specific changed metabolites were enriched to the sphingolipid metabolism pathway after TAVR. Besides, WGCNA algorithm was performed to reveal that arginine and proline metabolites could reflect left ventricle regression to some extent. …”
Get full text

Machine learning-based identification and validation of amino acid metabolism related genes as novel biomarkers in chronic kidney disease by Guoqing Zhang, Hongyan Luo, Xiaohua Lu, Yonghua Liu, Mei Wang, Bo Li, Haixia Lu, Yali Zheng

“…Moreover,we employed ssGSEA algorithm to evaluate the infiltration abundance of immune cells and calculated the correlation among the immune cells with the key genes. …”
Get full text

The optimization of consensus decision-making for a multi-microwave source system based on composite leader-follower clustering for intelligent agent-based joint heating temperatur... by Biao Yang, Baowei Song, Cheng Cheng, Youpeng Zhao, Haiqin Yang, Yuchen Li, Zhongyi He

“…Consensus decisions between multiple leader decision points were made through a weight allocation algorithm, achieving a dynamic balance between temperature control and temperature field optimization. …”
Get full text