Results 141 to 150 of about 19,016 (311)

A Distributed Kripke Semantics

, 2004
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this ...
Chadha, R., Macedonio, D., Sassone, V.
core  

The Complexity of Independence-Friendly Fixpoint Logic

, 2005
. We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedding PFP, we show that its combined complexity is ExpSpace-hard, and ...
Julian Bradfield, Stephan Kreutzer, Kreutzer, Stephan, Bradfield, Julian; id_orcid, Bradfield, Julian   +4 more
core   +1 more source

The Influence of Mesoscale Particle Structure on the Electrode Degradation and Resultant Electrochemistry of Lithium Ion Cells With Nickel Rich Lithium Nickel Manganese Cobalt Oxide Positive Electrodes

Advanced Materials Technologies, EarlyView.
Milled polycrystalline NMC811 cathode (MPC NMC) with smaller secondary particle and higher surface area had 1) greater cathode tortuosity, 2) reduced surface Ni on the cycled MPC cathodes consistent with surface reconstruction, and 3) increased Ni deposition from cathode‐anode crosstalk, manifesting in lower functional capacity and higher impedance ...
Edelmy J. Marin Bernardez, Andrew Nicoll, David J. Arnot, Armando Rodriguez Campos, Patrick J. Barry, Marie F. Millares, Cynthia Huang, Melissa A. Guercio, Grace K. Dono, Alexis Pace, Xianghui Xiao, Cherno Jaye, Conan Weiland, Jianming Bai, Hui Zhong, Michael Drakopoulos, Zhong Zhong, Nghia T. Vo, Xiao Tong, Esther S. Takeuchi, Amy C. Marschilok, Shan Yan, Kenneth J. Takeuchi   +22 more
wiley   +1 more source

Modal Logic, Probability and Machine Learning Systems for Metadata Extraction

Ratio Mathematica
Artificial intelligence, since its inception, has had two major subfields, namely: logical reasoning and machine learning. Despite this, the interactions between these two fields have been relatively limited.
Simone Cuconato
doaj   +1 more source

Modal Logic, Transition Systems and Processes [PDF]

, 1993
Transition systems can be viewed either as process diagrams or as Kripke structures. The first perspective is that of process theory, the second that of modal logic.
Vera Stebletsova, van Eyck, J., Eijck, Jan, Benthem, J. F. A. K. (Johan) van, Eijck, D.J.N. (Jan) van, Johan van Benthem, van Benthem, J.F.A.K., Benthem, Johan, Jan van Eijck, Stebletsova, V.   +9 more
core  

Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites

Advanced Materials Technologies, EarlyView.
Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang, Peter Zalar, Vishva Bhate, Takeo Furukawa, Hidekazu Kodama, Yijun Liu, Yuanyuan Zhou, Chuang Hou, Siyuan Liu, Naoji Matsuhisa   +9 more
wiley   +1 more source

On Combining Intuitionistic and S4 Modal Logic

Bulletin of the Section of Logic
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj   +1 more source

Sabotage modal logic: Some model and proof theoretic aspects

, 2015
We investigate some model and proof theoretic aspects of sabotage modal logic. The first contribution is to prove a characterization theorem for sabotage modal logic as the fragment of first-order logic which is invariant with respect to a suitably ...
van Benthem, J., Grossi, D., Holliday, W.H., Aucher, G., van der Hoek, W., Wang, W.-F.   +5 more
core   +1 more source

Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays

Advanced Materials Technologies, EarlyView.
Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley   +1 more source

Non‐Volatile Silicon Mach‐Zehnder Switches with 0.7 π Phase Shift Based on Graphene Heaters and Sb2Se3 Phase Change Material

Advanced Optical Materials, EarlyView.
ABSTRACT Photonic integrated circuits (PICs) can deliver unparalleled performance for future neuromorphic computing applications. Such neuromorphic PICs require a large number of tunable switches, which are typically realized with current‐controlled heaters, resulting in considerable energy consumption.
Jens Samland, Felix Hoff, Timo Veslin, Holger Lerch, Bartos Chmielak, Martin Otto, Caroline Porschatis, Bárbara Canto, Stephan Suckow, Matthias Wuttig, Max C. Lemme   +10 more
wiley   +1 more source