Results 111 to 120 of about 12,123 (304)

Entry-Wise Eigenvector Analysis and Improved Rates for Topic Modeling on Short Documents

Mathematics
Topic modeling is a widely utilized tool in text analysis. We investigate the optimal rate for estimating a topic model. Specifically, we consider a scenario with n documents, a vocabulary of size p, and document lengths at the order N.
Zheng Tracy Ke, Jingming Wang
doaj   +1 more source

Rock mechanical properties under reconstructed deep in situ thermo–hydro–mechanical conditions: Implications for CO₂‐related injection scenarios

Deep Underground Science and Engineering, EarlyView.
The graphical abstract illustrates a reconstructed in situ thermo‐hydro‐mechanical (THM) framework in which porosity serves as the central variable linking stress, pore pressure, and temperature to evolving mechanical properties of rocks. Under burial conditions, in situ stress, pore pressure, and temperature jointly govern volumetric strain and ...
Mingyuan Lu, Jun Wang, Zixiong Qi, Ruixuan Chen, Hongtao Wang, Hongwei Zhou   +5 more
wiley   +1 more source

From Proportional Stationarity to Curvature–Strain Balance: A Variational Bridge for Equilibrium Ratios

Quantum Reports
Variational models describe deformation and stability through the first and second variations in an underlying functional, but the relationship between these responses is seldom expressed as an intrinsic equilibrium quantity of the model itself.
Robert Castro
doaj   +1 more source

Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges

Epilepsia Open, EarlyView.
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus, Cesar Santana‐Gomez, Ruby G. Escalante, Dominique Duncan, Pedro F. Viana, Giulia Sofia Cereda, Naoto Kuroda, Aristea S. Galanopoulou   +7 more
wiley   +1 more source

A sequence to formula tree model for solving electrical text problems

Scientific Reports
A key challenge in solving electrical text problems is to automatically adapt to understanding semantically diverse text problems. However, existing solution methods either focus on semantic or structural analysis, and they cannot parse the problem text ...
Yanli Wang, Pengpeng Jian, Haoyu Liu, Ming Yan, Yang Li   +4 more
doaj   +1 more source

Kolmogorov–Arnold–Enhanced Nonlinear Expansions for Fine-Grained Feature Amplification in Robust Near-Shore SAR Vessel Discrimination

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
Ship detection based on synthetic aperture radar (SAR) is crucial for maritime surveillance, yet existing methods struggle with two critical challenges: 1) missed detections in nearshore scenarios due to highly similar radar reflections between ships and
Hankang Wang, Gaopeng Huang, Zhao Huang, Xingru Huang, Zhaoyang Xu, Zhiwen Zheng, Shanwei Liu, Shiqing Wei, Jin Liu, Xiaoshuai Zhang   +9 more
doaj   +1 more source

Evaluation of the Adequacy of Design Specifications for Nonstructural Components in a Reticular Structure

Earthquake Engineering &Structural Dynamics, EarlyView.
ABSTRACT Nonstructural components (NSCs) installed in large‐span reticular structures were frequently severely damaged during earthquakes, even when the primary structure remained intact. Existing seismic design specifications for NSCs were predominantly developed for upright structures such as multi‐storey buildings and offer no guidance for reticular
Xudong Zhi, Fengze Li, Duozhi Wang, Nawawi Chouw, Rong Zhang, Bo Huang, Feng Fan   +6 more
wiley   +1 more source

A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic

, 2015
The purpose of this note is to show that the normalization theorem can be proved for first order Peano arithmetic by adapting to natural deduction the method used in Gentzen’s second consistency proof.
Dag Prawitz, Prawitz, Dag,
core   +1 more source

An SSI‐Informed Design for Tuned Mass Dampers With Small‐to‐Large Mass Ratios

Earthquake Engineering &Structural Dynamics, EarlyView.
ABSTRACT Tuned Mass Dampers (TMDs) are used to mitigate structural vibrations induced by seismic or wind excitation, by tuning the device to the system's dominant resonant frequencies. However, the TMD effectiveness can be undermined by soil‐structure interaction, which can lead to elongation of the vibration periods and to combined translational ...
Davide Noè Gorini, Pasquale Roberto Marrazzo, Elide Nastri, Rosario Montuori   +3 more
wiley   +1 more source

The Conservation Theorem revisited

, 1993
This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call fi S , and we prove that any -term that has a fi I fi S-normal form is strongly ...
Philippe de Groote
core