Results 151 to 160 of about 2,393,512 (361)

Formal translations and the containment problem for Szilard languages [PDF]

, 1975
H.-P. Kriegel, Hermann Maurer
openalex   +1 more source

Difficulties in analysing animal song under formal language theory framework: comparison with metric-based model evaluation. [PDF]

R Soc Open Sci, 2020
Morita T, Koda H.
europepmc   +1 more source

The Role of Theoretical Calculations for INVEST Systems: Complementarity Between Theory and Experiments and Rationalization of the Results

Advanced Optical Materials, EarlyView.
Theoretical lessons are key for molecules presenting an inverted singlet‐triplet excited state (e.g. S1 and T1) energy difference. This perspective provides a snapshot of the role played by calculations in last years, not only to anticipate experimental findings but also for driving high‐throughput virtual screenings, as well as the main challenge to ...
Ángel José Pérez‐Jiménez, Yoann Olivier, Juan Carlos Sancho‐García   +2 more
wiley   +1 more source

Stimulated Raman Scattering with Optical Vortex Beams

Advanced Photonics Research, EarlyView.
This study presents exact analytical expressions for stimulated Raman scattering with Laguerre‐Gaussian beams, revealing signal dependence on topological and hyperbolic momentum. The results provide a theoretical foundation for coherent Raman imaging and detecting orbital angular momentum of light via structured light in nonlinear optics.
Minhaeng Cho
wiley   +1 more source

Formal definition of programming languages (Panel Session) [PDF]

, 1972
Burt Leavenworth
openalex   +1 more source

Tuning Surface Phonon Polaritons in One‐Dimensional Complementary Nanostructures via Curvature and Dielectric

Advanced Photonics Research, EarlyView.
Curvature and dielectric is introduced to tune properties of surface phonon polaritons (SPhPs) in complementary nanostructures: nanowire (NW) and nanohole (NH). It is found that NH complements the frequency band range of SPhP of NW. Frequency‐band subinterval of the SPhP in NHs and NWs can be tuned by dielectric.
Li Zhang, Feiyue Lu, Zhiwen Liang, Guanghui Wang, Junjie Shi, Qi Wang   +5 more
wiley   +1 more source

Building Domain Specific Languages for Voice Recognition Applications [PDF]

This paper presents a method of implementing the voice recognition for the control of software applications. The solutions proposed are based on transforming a subset of the natural language in commands recognized by the application using a formal ...
Cristian IONITA
core  

Insights into the Dynamics and Binding Mechanisms of the Alkhumra Virus NS2B/NS3 Protease: A Molecular Dynamics Study

Advanced Theory and Simulations, EarlyView.
The ΔRMSF$\Delta {\rm RMSF}$ analysis reveals significant flexibility differences between free NS3 and the NS2B/NS3 complex, with notable deviations in specific regions. Key residues driving NS2B binding are identified, and the protonation state of catalytic serine affects oxyanion hole formation.
Jurica Novak, Shivananda Kandagalla, Ramesh Sistla   +2 more
wiley   +1 more source

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language? [PDF]

arXiv
Large Language Models (LLMs) have been shown to achieve breakthrough performance on complex logical reasoning tasks. Nevertheless, most existing research focuses on employing formal language to guide LLMs to derive reliable reasoning paths, while systematic evaluations of these capabilities are still limited.
arxiv  

Church-Rosser Thue systems and formal languages [PDF]

, 1988
Robert McNaughton, Paliath Narendran, Friedrich Otto   +2 more
openalex   +1 more source