Results 81 to 90 of about 633,950 (258)
Advances in Weighted Logics for Artificial Intelligence
International Journal of Approximate Reasoning, 2017 Peer ...
Marcelo Finger +3 more
openaire +2 more sources
Advanced Materials, EarlyView.Development of a novel method for synthesizing Ni single atom catalysts for highly selective electrochemical CO2 reduction in situ. This catalyst achieves 100% selectivity for CO and is formed in an industrially relevant cell architecture. Using post‐mortem XRD, STEM, and EDS and operando XAS, the identity of the active site and the mechanism behind ...
Ian Street +5 more
wiley +1 more source
, 1978 The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack\u27s book has established an international reputation (translated into five languages) for its accessibility, clarity, conciseness, orderliness, and range ...
Haack, Susan
core +1 more source
Advances in Bio‐Integrated Edge Computing Systems for Smart and Connected Health
Advanced Materials, EarlyView.This review explores advances in bio‐integrated edge computing for healthcare, focusing on co‐designing computing, sensing, and energy strategies to overcome integration and power challenges for optimized, decentralized operation. ABSTRACT Recent advances in bio‐integrated healthcare technologies have enabled continuous, high‐resolution monitoring and ...
Gyuwon Kim +4 more
wiley +1 more source
An Institution of Modal Logics for Coalgebras
, 2006 This paper presents a modular framework for the specification of certain inductively-defined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the category of sets have been studied in [M.
Cirstea, Corina
core +1 more source
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
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
, 2010 This paper gives a general coalgebraic account of the notions of possibly infinite trace and possibly infinite execution in state-based, dynamical systems, by extending the generic theory of finite traces and executions developed by Hasuo and coauthors ...
Cirstea, Corina, Corina Cîrstea
core +2 more sources
Futures Study of National Identity in Generations Z and Alpha in Ardabil: An Analysis of Continuity, Interaction, and Transformation Scenarios [PDF]
مسائل اجتماعی ایرانIn recent decades, the evolution of national identity among younger generations, particularly Generation Z and Alpha, has become a significant subject in social research. This study, employing a qualitative methodology within a futures studies framework,
Salahedin Ghaderi +1 more
doaj
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
On weighted first-order logics with discounting
Acta Informatica, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Eleni Mandrali, George Rahonis
openaire +2 more sources