Results 51 to 60 of about 1,394,777 (330)
An algebraic generalization of Kripke structures
, 2007 The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales.
Emerson +8 more
core +1 more source
A Logical Foundation for Environment Classifiers [PDF]
, 2010 Taha and Nielsen have developed a multi-stage calculus {\lambda}{\alpha} with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fragments and variable declarations are annotated, and their ...
Atsushi Igarashi +2 more
core +2 more sources
CSF Monoamine Metabolites and Cognitive Trajectory in Early Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Imaging and postmortem studies indicate that abnormalities in monoaminergic neurotransmission contribute to cognitive impairment in Parkinson's disease (PD). However, it remains uncertain if cerebrospinal fluid (CSF) monoamine metabolites can serve as biomarkers of cognitive decline in early PD.
Jing‐Yu Shao +7 more
wiley +1 more source
Two deductions systems for the Logic PM4N
Intermaths, 2022 The logic PM4N was introduced by Jean-Yves Beziau as a modal and 4-valued system. In this introductory paper, the author presented the system from a matrix logic with four values disposed in a Boolean algebra with a modal operator for the notion of ...
Hércules de Araújo Feitosa +2 more
doaj +1 more source
Innovating Aircraft Repair Processes: The Role of Digitalization in Sustainability
Advanced Engineering Materials, EarlyView.This research explores how digitalization—by storing detailed non‐destructive testing data in structured DICONDE databases and creating a standard data model of the component—innovates aviation maintenance and repair processes. Coupled with a developed state‐based simulation model, it enables data‐driven, sustainable repair strategies that reduce waste,
Johanna Aigner +3 more
wiley +1 more source
Gathering Effective Information for Real-Time Material Recognition
IEEE Access, 2020 Material recognition is a fundamental problem in the field of computer vision. Material recognition is still challenging because of varying camera perspectives, light conditions, and illuminations.
Hongbin Zhang +7 more
doaj +1 more source
A Monadic Formalization of ML5 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 ML5 is a programming language for spatially distributed computing, based on a Curry-Howard correspondence with the modal logic S5. Despite being designed by a correspondence with S5 modal logic, the ML5 programming language differs from the logic in ...
Daniel R. Licata, Robert Harper
doaj +1 more source
The Expressive Power of Modal Dependence Logic [PDF]
, 2014 We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with ...
Hella, Lauri +3 more
core
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
Eesti ja Soome-ugri Keeleteaduse Ajakiri, 2016 Kokkuvõte. Artiklis uuritakse episteemilist modaalsust hispaania ja eesti keele võimalikkusmodaalverbide semantikas. Võrdlus lähtub hispaania keele modaalverbist poder, vaadeldes selle episteemilise kasutuse tõlkevasteid ilukirjandusteostes.
Triin Lõbus
doaj +1 more source