Results 111 to 120 of about 87,429 (211)

The optimization of vocal music teaching by integrating the STEAM concept with the intelligent recommendation system. [PDF]

Sci Rep
Su F, Guo Q.
europepmc   +1 more source

Normal form theorem of natural deduction for modal logic S4 (Proof theoretical study of the structure of logic and computation)

, 2009
Yuuki Andou
openalex   +1 more source

Mine-DW-Fusion: BEV Multiscale-Enhanced Fusion Object-Detection Model for Underground Coal Mine Based on Dynamic Weight Adjustment. [PDF]

Sensors (Basel)
Yan W, Zhang Y, Xue M, Zhu Z, Lu H, Zhang X, Tang W, Xing K.   +7 more
europepmc   +1 more source

Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames

, 2018
Mikhail Nikolayevich Rybakov
openalex   +2 more sources

A Review of Fault Diagnosis Methods: From Traditional Machine Learning to Large Language Model Fusion Paradigm. [PDF]

Sensors (Basel)
Nie Q, Geng J, Liu C.
europepmc   +1 more source

Recognition method for microgrid switching misoperations based on multi-source heterogeneous data fusion. [PDF]

Sci Rep
Yang H, Zhang Z, Zhang S, Liang R.
europepmc   +1 more source

Hybrid real-synthetic dataset framework for robotic hazard detection in industrial environments. [PDF]

Sci Rep
Khamis A, Shaban HA, Fayed HA, Aly MH.
europepmc   +1 more source

Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]

Topoi (Dordr)
Litland JE.
europepmc   +1 more source

Nonlinear multimode photonics on-chip. [PDF]

Nanophotonics
Vitali V, Bucio TD, Liu H, Haines J, Naik PU, Guasoni M, Gardes F, Pavesi L, Cristiani I, Lacava C, Petropoulos P.   +10 more
europepmc   +1 more source

CDMRNet: multimodal meta-adaptive reasoning network with dynamic causal modeling and co-evolution of quantum states. [PDF]

Sci Rep
Wang S, Chen K, Yu M, Zhao P, Duan H.
europepmc   +1 more source