Results 41 to 50 of about 41,415 (245)
Speech Transmission Index from running speech : a neural network approach [PDF]
, 2003 Speech Transmission Index (STI) is an important objective parameter concerning speech intelligibility for sound transmission channels. It is normally measured with specific test signals to ensure high accuracy and good repeatability.
Cox, TJ, Li, FF
core +2 more sources
Research on Prediction of Remaining Useful Life of Wheel Machining Tool Based on EMD–PSO–LSTM Model
The Journal of Engineering, Volume 2026, Issue 1, January/December 2026.A novel EMD–PSO–LSTM framework is proposed for precise tool remaining useful life prediction in wheel machining, where empirical mode decomposition (EMD) extracts multi‐scale features from sensor data, and particle swarm optimization (PSO) enhances long short‐term memory (LSTM) hyperparameters, achieving superior robustness and accuracy.
Yuehong Zhang, Mianhao Zhang
wiley +1 more source
SAT Preprocessors and Symmetry
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022 Exploitation of symmetries is an indispensable approach to solve certain classes of difficult SAT instances. Numerous techniques for the use of symmetry in SAT have evolved over the past few decades. But no matter how symmetries are used precisely, they have to be detected first. We investigate how to detect more symmetry, faster.
openaire +4 more sources
RiboMicrobe: An Integrated Translatome Atlas for Microorganism
Advanced Science, Volume 12, Issue 48, December 29, 2025.RiboMicrobe is a comprehensive database for Ribo‐seq data from prokaryotes, featuring 891 Ribo‐seq, 369 RNA‐seq, and 62 proteome datasets from 38 species. The database not only provides various data visualization results but also includes two sORF prediction models and a suit of bioinformatics tools for comparative analysis, facilitating easy access ...
Yingshun Zhou +12 more
wiley +1 more source
LIP: Lightweight Intelligent Preprocessor for meaningful text-to-speech [PDF]
, 2022 Harshvardhan Anand +5 more
openalex +1 more source
CU2CL: A CUDA-to-OpenCL Translator for Multi- and Many-core Architectures [PDF]
, 2011 The use of graphics processing units (GPUs) in high-performance parallel computing continues to become more prevalent, often as part of a heterogeneous system.
Feng, Wu-chun +2 more
core +2 more sources
Cancer Medicine, Volume 14, Issue 23, December 2025.ABSTRACT Background Comprehensive genomic profiling (CGP) is a time‐ and tissue‐ efficient method to help guide precision oncology. To enhance the clinical utility of CGP, we investigated the performance of a novel strategy integrating tumor DNA and mRNA profiling, together with liquid biopsy ctDNA monitoring.
Nam H. B. Tran +16 more
wiley +1 more source
JOR Spine, 2021 Introduction Predicting the postoperative neurological function of cervical spondylotic myelopathy (CSM) patients is generally based on conventional magnetic resonance imaging (MRI) patterns, but this approach is not completely satisfactory.
Meng‐Ze Zhang +9 more
doaj +1 more source
MaxPre: An Extended MaxSAT Preprocessor [PDF]
, 2017 We describe MaxPre, an open-source preprocessor for (weighted partial) maximum satisfiability (MaxSAT). MaxPre implements both SAT-based and MaxSAT-specific preprocessing techniques, and offers solution reconstruction, cardinality constraint encoding, and an API for tight integration into SAT-based MaxSAT solvers.
Berg Jeremias +3 more
openaire +2 more sources
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
, 2016 This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic first-order certificates implemented and proved correct in Coq, SMTCoq ...
Ekici, Burak +5 more
core +2 more sources