Results 111 to 120 of about 19,016 (311)

Directional Flow of Confined Polaritons in CrSBr

Advanced Materials, EarlyView.
CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak, Sichao Yu, Jaime Abad‐Arredondo, Biswajit Datta, Andy Cruz, Sorah Fischer, Kseniia Mosina, Zdeněk Sofer, Antonio I. Fernández‐Domínguez, Francisco J. Garcia‐Vidal, Vinod M. Menon   +10 more
wiley   +1 more source

Modal fixpoint logic: some model theoretic questions [PDF]

, 2010
This thesis is a study into some model-theoretic aspects of the modal µ-calculus, the extension of modal logic with least and greatest fixpoint operators. We explore these aspects through a fine-structure approach to the µ-calculus.
Fontaine, G.M.M.
core  

Modular Construction of Modal Logics

, 2004
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems.
Pattinson, Dirk, Dirk Pattinson, Cirstea, Corina, Corina Cîrstea   +3 more
core   +1 more source

3D Anodic Alumina Nanoarchitectures: A Decade of Progress from Foundational Science to Functional Metamaterials

Advanced Materials, EarlyView.
Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley   +1 more source

Growing a Modular Framework for Modal Systems: HOLMS [PDF]

We present HOLMS (HOL Light Library for Modal Systems), an evolving modular framework for mechanising modal reasoning within the HOL Light proof assistant.
Perini Brogi, Cosimo, Bilotta, Antonella, Maggesi, Marco   +2 more
core  

Tough, Ductile, and Strong Hard‐Soft Cementitious Composite Enabled by Multi‐Material Additive Manufacturing

Advanced Materials, EarlyView.
Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine, Shashank Gupta, William Makinen, Zayvinn Lin, Krystal Delnoce, Reza Moini   +5 more
wiley   +1 more source

Probabilistic Justification Logic

Philosophies, 2018
Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj   +1 more source

Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors

Advanced Materials, EarlyView.
A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi, Daniele Zucchelli, Zeinab Hamid, Christina Kousseff, Arup Sarkar, Aristea Pavlou, Zhitian Ling, Somayeh Kashani, Iain McCulloch, Paul W. M. Blom, Fabrizio Torricelli, Paschalis Gkoupidenis   +11 more
wiley   +1 more source

Damage Identification of Bridge Based on Chebyshev Polynomial Fitting and Fuzzy Logic without Considering Baseline Model Parameters

Shock and Vibration, 2015
The paper presents an effective approach for damage identification of bridge based on Chebyshev polynomial fitting and fuzzy logic systems without considering baseline model data.
Yu-Bo Jiao, Han-Bing Liu, Yong-Chun Cheng, Ya-Feng Gong   +3 more
doaj   +1 more source

First Order Modal Logic

, 2006
This chapter is constituted by two parts. The ̄rst part comprising Sections 1-5 was written by Torben Brauner and the second part comprising Sections 6-11 was written by Silvio Ghilardi.
Ghilardi, Silvio, Silvio Ghilardi, Braüner, Torben, Torben Brauner   +3 more
core   +1 more source