Results 71 to 80 of about 966,425 (288)
Advancing complexity science in healthcare research: the logic of logic models
BMC Medical Research Methodology, 2019 Background Logic models are commonly used in evaluations to represent the causal processes through which interventions produce outcomes, yet significant debate is currently taking place over whether they can describe complex interventions which adapt to ...
Thomas Mills +2 more
doaj +1 more source
Dynamic logic assigned to automata
, 2017 A dynamic logic ${\mathbf B}$ can be assigned to every automaton ${\mathcal A}$ without regard if ${\mathcal A}$ is deterministic or nondeterministic. This logic enables us to formulate observations on ${\mathcal A}$ in the form of composed propositions ...
Chajda, Ivan, Paseka, Jan
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
Serve the Traffic: The Logic of Traffic and Its Politics on WeChat Platform
Social Media + Society, 2023 In China, “the logic of traffic” ( liuliang luoji , 流量逻辑) is a buzzword widely adopted within digital platforms, the government, and the general public.
Changwen Chen, Ziyi Wang, Joel Gn
doaj +1 more source
Dynamic Epistemic Logic Displayed [PDF]
, 2013 We introduce a display calculus for the logic of Epistemic Actions and Knowledge (EAK) of Baltag-Moss-Solecki. This calculus is cut-free and complete w.r.t. the standard Hilbert-style presentation of EAK, of which it is a conservative extension, given that—as is common to display calculi—it is defined on an expanded language in which all logical ...
Greco, Giuseppe +2 more
openaire +2 more sources
Dynamic Logic of Common Knowledge in a Proof Assistant [PDF]
, 2007 Common Knowledge Logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong statements on the knowledge of the other agents (the so called \emph{common knowledge}).
Lescanne, Pierre, Puisségur, Jérôme
core +3 more sources
Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces
Advanced Functional Materials, EarlyView.A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai +6 more
wiley +1 more source
Journal of Applied Research and Technology, 2008 This is a fuzzy logical element from which we can generate all the fuzzy connectives as particular cases of it. This functor was a result of the frequency threshold dependent fuzzy logic. We will show that fuzzy logic connectives are generated by a defined group of inputs from this fuzzy functor as dependence of frequency threshold.
J. L. Pérez-Silva +3 more
openaire +3 more sources
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source
α-Minimal Resolution Principle For A Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2015 Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary α-resolution based automated reasoning schemes in the framework of lattice-valued logic with truth-values in a lattice ...
Hairui Jia, Yang Xu, Yi Liu, Jun Liu
doaj +1 more source