Results 41 to 50 of about 1,394,777 (330)

Experimental Dataset of Tunable Mode Converter Based on Long-Period Fiber Gratings Written in Few-Mode Fiber: Impacts of Thermal, Wavelength, and Polarization Variations

Data, 2023
Mode division multiplexing (MDM) is currently one of the most attractive multiplexing techniques in optical communications, as it allows for an increase in the number of channels available for data transmission.
Juan Soto-Perdomo, Erick Reyes-Vera, Jorge Montoya-Cardona, Pedro Torres   +3 more
doaj   +1 more source

A Modal-Decay-Based Shock-Capturing Approach for High-Order Flux Reconstruction Method

Aerospace, 2022
The increasing demand for high-fidelity simulations of compressible turbulence on complex geometries poses a number of challenges for numerical schemes, and plenty of high-order methods have been developed.
Libin Ma, Chao Yan, Jian Yu
doaj   +1 more source

Implicit Kripke Semantics and Ultraproducts in Stratified Institutions

, 2016
We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal logic.
Diaconescu, Răzvan
core   +1 more source

Modal Boolean Connexive Logics: Semantics and Tableau Approach

Bulletin of the Section of Logic, 2019
In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical.
T. Jarmużek, J. Malinowski
semanticscholar   +1 more source

Modality-Invariant Asymmetric Networks for Cross-Modal Hashing

IEEE Transactions on Knowledge and Data Engineering, 2023
Cross-modal hashing has garnered considerable attention and gained great success in many cross-media similarity search applications due to its prominent computational efficiency and low storage overhead.
Zheng Zhang, H. Luo, Lei Zhu, Guangming Lu, Heng Tao Shen   +4 more
semanticscholar   +1 more source

A Scholastic-Realist Modal-Structuralism

Philosophia Scientiæ, 2014
How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures?
Ahti-Veikko Pietarinen
doaj   +1 more source

Hybrid type theory: a quartet in four movements [PDF]

, 2011
This paper sings a song -a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin.
Areces, Carlos, Blackburn, Patrick, Huertas Sánchez, María Antonia, Manzano Arjona, María   +3 more
core   +1 more source

Fluid Biomarkers of Disease Burden and Cognitive Dysfunction in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Identifying objective biomarkers for progressive supranuclear palsy (PSP) is crucial to improving diagnosis and establishing clinical trial and treatment endpoints. This study evaluated fluid biomarkers in PSP versus controls and their associations with regional 18F‐PI‐2620 tau‐PET, clinical, and cognitive outcomes.
Roxane Dilcher, Charles B. Malpas, Stuart J. McDonald, William T. O’Brien, Craig Despott, Kelly L. Bertram, Matthew P. Pase, Lukas Frontzkowski, Meng Law, Terence J. O’Brien, Lucy Vivash   +10 more
wiley   +1 more source

Bisimulation Quotient in Inquisitive Modal Logic

Logics
Inquisitive modal logic InqML⊞ is a natural generalization of basic modal logic, with ⊞ as a primitive modal operator. In this paper, we study the bisimulation quotients in the logic InqML⊞.
Stipe Marić
doaj   +1 more source

Modal Empiricism and Two-Dimensional Semantics [PDF]

, 2009
In the paper I argue that it follows from David Chalmers’ semantics and metaphysics concerning microphysical terms that microphysical identifications are strongly necessary.
Ambrus, Gergely
core