Results 101 to 110 of about 626,551 (298)

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

, 2014
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and integer coefficients. As to their relationship with respect to termination
Middeldorp, Aart, Neurauter, Friedrich
core   +1 more source

Borophene: Crucial Challenges and the Way Forward

Advanced Science, EarlyView.
This review explores the challenges and progress in borophene research, focusing on synthesis strategies, structural properties, and potential applications. It highlights key experimental breakthroughs, discusses theoretical insights into borophene's unique features, and addresses pathways for overcoming stability and scalability issues.
Zhixuan Li, Jeyaraman Sankar, Prashant Kumar, Ajayan Vinu   +3 more
wiley   +1 more source

Arabic Word Segmentation With Long Short-Term Memory Neural Networks and Word Embedding

IEEE Access, 2019
In this paper, we propose an Arabic word segmentation technique based on a bi-directional long short-term memory deep neural network. This paper addresses the two tasks of word segmentation only and word segmentation for nine cases of the rewrite.
Abdulrahman Almuhareb, Waleed Alsanie, Abdulmohsen Al-Thubaity   +2 more
doaj   +1 more source

Linearizing and Forecasting: A Reservoir Computing Route to Digital Twins of the Brain

Advanced Science, EarlyView.
A new approach uses simple neural networks to create digital twins of brain activity, capturing how different patterns unfold over time. The method generates and recovers key dynamics even from noisy data. When applied to fMRI, it predicts brain signals and reveals distinctive activity patterns across regions and individuals, opening possibilities for ...
Gabriele Di Antonio, Tommaso Gili, Andrea Gabrielli, Maurizio Mattia   +3 more
wiley   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Improving a Statistical MT System with Automatically Learned Rewrite Patterns

International Conference on Computational Linguistics, 2004
Current clump-based statistical MT systems have two limitations with respect to word ordering: First, they lack a mechanism for expressing and using generalization that accounts for reorderings of linguistic phrases.
Fei Xia, M. McCord
semanticscholar   +1 more source

vEMRec: High‐Resolution Volume Electron Microscopy Reconstruction Based on Structure‐Preserving and High‐Fidelity 3D Alignment

Advanced Science, EarlyView.
vEMRec is a frequency‐adaptive computational framework for three‐dimensional alignment in volume electron microscopy. It integrates feature‐based rigid alignment with Gaussian filter‐guided elastic registration to correct rigid misalignments and nonlinear distortions while preserving structural fidelity.
Zhenbang Zhang, Hongjia Li, Zhongjun Yang, Zhiqiang Xu, Duanchen Sun, Xin Gao, Fa Zhang, Renmin Han   +7 more
wiley   +1 more source

Thermally Induced Creep and Viscoelastic Behavior of Copper Micropillar Arrays

Advanced Science, EarlyView.
Copper micropillar arrays are fabricated by electrodeposition within through‐glass‐via, and their thermally induced time‐dependent deformation is quantified. Nanoindentation creep, EBSD, and TEM reveal a heat‐treatment‐driven transition between grain‐boundary‐mediated deformation and dislocation‐dominated creep, while Kelvin modeling captures ...
Miao Wang, Jihua Zhang, Libin Gao, Hongwei Chen, Wenbo Luo, Wenlei Li, Mingcheng Chen, Mengru Li, Dongbin Wang, Shuang Li, Ting Liu, Xingzhou Cai, Yong Li, Bin Peng, Wanli Zhang   +14 more
wiley   +1 more source

Transducers from Rewrite Rules with Backreferences

, 1999
Context sensitive rewrite rules have been widely used in several areas of natural language processing, including syntax, morphology, phonology and speech processing.
Gerdemann, Dale, van Noord, Gertjan
core   +2 more sources

Pan‐3D Genome Analysis Reveals the Roles of Structural Variation in Chicken Chromatin Architectures, Domestication and Production Traits

Advanced Science, EarlyView.
This study firstly presents a comprehensive and high‐resolution pan‐3D genome resource in chicken. Our findings reveal the role of structural variations in 3D genome architectures, and how they influence the domestication process and production traits at the 3D genome level.
Zhen Zhou, Danfeng Cai, Changbin Zhao, Siyu Zhang, Jiahao Li, Zhaofeng Zhang, Shaofen Kong, Xin Yang, Xiaoli Zhou, Farhad Bordbar, Fayi Chen, Yaohuan Xu, Zhe Zhang, Lihong Gu, Zhenhui Li, Xiquan Zhang, Wen Luo, Jingting Shu, Bolin Cai, Qinghua Nie   +19 more
wiley   +1 more source