Results 111 to 120 of about 1,125,186 (250)
Bacteria‐Trained, MnO2‐Armored Dendritic Cells for Immunotherapy
Advanced Materials, EarlyView.MnO2‐armored, bacteria‐trained dendritic cells undergo tumor‐responsive mechanical and immunological transformation. The nanocoating masks immune ligands and maintains a mechanically stiff, quiescent state during circulation, while the tumor microenvironment removes the armor and restores cellular deformability and immune accessibility.
Zhao Guo +9 more
wiley +1 more source
Notre Dame Journal of Formal Logic, 1994 The core idea of vector logic is to represent the classical truth values \(W\), \(F\) as two linearly independent vectors \(a_ 1\), \(a_ 2\) of some real vector space, and to represent truth functions by matrices. This idea is first extended to the many-valued case in taking the convex hull of \(\{a_ 1, a_ 2\}\) as set of truth degrees.
openaire +4 more sources
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 +3 more
doaj +1 more source
Advanced Materials, EarlyView.Cross‐sectional Lorentz TEM and off‐axis electron holography visualize the magnetic domain structure and quantify interlayer coupling in Fe3GeTe2/graphite/Fe3GeTe2 heterostructures. A stray‐field coupling length of 37±$\pm$7 nm marks the onset of domain misalignment between the layers.
Joachim Dahl Thomsen +6 more
wiley +1 more source
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 +1 more source
Dialetheic Conditional Modal Logic
, 2019 © Springer Nature Switzerland AG 2019. Standard modal logic for alethic modalities analyses modalities as ranging over all possible worlds (the Leibnizian universe). This leaves very little room in the space of worlds to entertain impossible things.
Girard, Patrick, Patrick Girard
core +1 more source
Monolithically 3D‐Printed Spectral‐Spatial Meta‐Authenticators
Advanced Materials, EarlyView.A single height map printed in a low‐index resin by two‐photon lithography encodes multiple visible wavelengths in one metasurface without any polarization optics. A fabrication‐aware optimization folds the printable height levels into the design, so the device is printed as optimized.
Cherry Park +3 more
wiley +1 more source
Modal Logic - a Tool for Design Process Formalisation
Acta Polytechnica, 2003 In this paper we show the possibility to formalize the design process by means of one type of non-standard logic - modal logic [1]. The type chosen for this study is modal logic S4.
I. Jelínek
doaj
Advanced Materials, EarlyView.The lanthanide/transition metal ion coordination nanoparticles, La‐Cu@Lap/IWR‐1, with optimized coordination, have been proven to achieve remarkable results in realizing comprehensive tumor cuproptosis through efficient cuproptosis activation and multidimensional resistance elimination, thereby synchronously realizing the synergistic antitumor effects ...
Junrong Wang +8 more
wiley +1 more source
THE MODAL µ-CALCULUS: A SURVEY
TASK Quarterly, 2005 The modal µ-calculus is an extension of modal logic with two operators µ and ν, which give the least and greatest fixpoints of monotone operators on powersets.
GIACOMO LENZI
doaj