Results 91 to 100 of about 186,512,308 (212)
Advances and Perspectives in Graphene‐Based Quantum Dots Enabled Neuromorphic Devices
Advanced Science, EarlyView.Graphene‐based QDs are zero‐dimensional carbon nanomaterials with pronounced quantum confinement and tunable electronic structures. Herein, we summarize their synthesis strategies and functionalization methods, and highlight their functional roles and operating mechanisms in devices, as well as recent advances in neuromorphic electronics. We anticipate
Yulin Zhen +9 more
wiley +1 more source
, 2019 In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part.
Rönnedal, Daniel,
core +1 more source
Advanced Science, EarlyView.Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang +2 more
wiley +1 more source
Bisimulations for temporal logic [PDF]
We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and ...
Kurtonina, Natasha, Rijke, Maarten de
core
Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks
Advanced Science, EarlyView.Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley +1 more source
Photonic‐Enabled Energy‐Efficient Transparent Neuromorphic Computing Devices: A Review
Advanced Science, EarlyView.Transparent photonic neuromorphic computing devices merge optics and brain‐inspired computing to overcome von Neumann bottlenecks with ultrafast, low‐energy processing. By exploiting transparent oxides, 2D materials, phase‐change materials, and hybrid heterostructures, these platforms enable photonic synapses, memory, and logic for see‐through edge ...
Shuvaraj Ghosh +8 more
wiley +1 more source
Advanced Science, EarlyView.Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su +13 more
wiley +1 more source
Advanced Science, EarlyView.Rod Origami (RodOri) springs harness snap‐through instabilities of pre‐stressed curved rods with geometrically programmable buckling behavior. Integrating RodOri springs with distinct geometries yields multistable metamaterials that undergo stepwise reconfiguration via sequential snapping, achieving wide‐range tunability of stiffness and resonance ...
Jeseung Lee +2 more
wiley +1 more source
Finding problems in knowledge bases using modal logics [PDF]
In this paper I propose that it is suitable to consider some statements that an expert makes during knowledge elicitation as being statements in a modal logic.
Gent, Ian
core
EXPTIME Tableaux for the Coalgebraic Mu-Calculus
, 2009 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +1 more source