Results 81 to 90 of about 2,250,044 (344)
Cognitive-evolutionary theory of language: justification
Когниция, коммуникация, дискурс, 2023 This article is devoted to substantiating the cognitive-evolutionary theory of language within the framework of cognitive linguistics. The main principle of cognitive linguistics, “explanation,” serves as the foundation for this theory. It is argued that
Sergiy Popov
doaj +1 more source
Monadic Second-Order Logic with Arbitrary Monadic Predicates
, 2017 We study Monadic Second-Order Logic (MSO) over finite words, extended with (non-uniform arbitrary) monadic predicates. We show that it defines a class of languages that has algebraic, automata-theoretic and machine-independent characterizations.
Fijalkow, Nathanaël, Paperman, Charles
core +3 more sources
Proof Nets and the Linear Substitution Calculus [PDF]
International Colloquium on Theoretical Aspects of Computing, 2018 Since the very beginning of the theory of linear logic it is known how to represent the \(\lambda \)-calculus as linear logic proof nets. The two systems however have different granularities, in particular proof nets have an explicit notion of sharing ...
Beniamino Accattoli
semanticscholar +1 more source
Double Helical Plasmonic Antennas
Advanced Functional Materials, EarlyView.Plasmonic double helical antennas funnel circularly polarized light to the nanoscale, offering strong chiroptical interaction and directional light emission. Extending a single helix design tool, this study combines numerical modeling with experimental validation, revealing large, broadband dissymmetry factors in the visible range.
Aleksei Tsarapkin +7 more
wiley +1 more source
Cache vs. Key-Dependency: Side Channeling an Implementation of Pilsung
Transactions on Cryptographic Hardware and Embedded Systems, 2019 Over the past two decades, cache attacks have been identified as a threat to the security of cipher implementations. These attacks recover secret information by combining observations of the victim cache accesses with the knowledge of the internal ...
Daniel Genkin +4 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam +14 more
wiley +1 more source
Solving Functional Constraints by Variable Substitution [PDF]
, 2009 Functional constraints and bi-functional constraints are an important constraint class in Constraint Programming (CP) systems, in particular for Constraint Logic Programming (CLP) systems.
Yap, Roland H. C., Zhang, Yuanlin
core
Modular Labelled Sequent Calculi for Abstract Separation Logics
, 2017 separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald +3 more
core +1 more source
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
Dynamical properties of logical substitutions
Discrete & Continuous Dynamical Systems - A, 2006 This is an expository paper on the dynamical properties of substitutions in propositional many-valued logics. We identify substitutions with endomorphisms of free algebras, and we study their actions on the dual spectral spaces.
openaire +3 more sources