Results 91 to 100 of about 2,250,044 (344)
Advanced Functional Materials, EarlyView.This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva +9 more
wiley +1 more source
Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]
Logical Methods in Computer ScienceSubstructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar, rather than ...
Francesco Dagnino, Fabio Pasquali
doaj +1 more source
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
, 2006 In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph transformations ...
Lanese, Ivan, Montanari, Ugo
core +3 more sources
Advanced Functional Materials, EarlyView.Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Well‐structured graphene hybrid architectures featuring spatially resolved fluorescent properties represent a promising but so‐far elusive synthetic target. A robust and straightforward method for fabricating well‐organized graphene‐dye hybrid nanoassemblies through a combination of reductive patterning and conventional click chemistry is presented ...
Sabrin Al‐Fogra +12 more
wiley +1 more source
In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device
Advanced Functional Materials, EarlyView.In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang +19 more
wiley +1 more source
Local Thermal Conductivity Patterning in Rotating Lattice Crystals of Anisotropic Sb2S3
Advanced Functional Materials, EarlyView.Microscale control of thermal conductivity in Sb2S3 is demonstrated via laser‐induced rotating lattice crystals. Thermal conductivity imaging reveals marked thermal transport anisotropy, with the c axis featuring amorphous‐like transport, whereas in‐plane directions (a, b) exhibit 3.5x and 1.7x larger thermal conductivity.
Eleonora Isotta +13 more
wiley +1 more source
Distilling Abstract Machines (Long Version) [PDF]
, 2014 It is well-known that many environment-based abstract machines can be seen as strategies in lambda calculi with explicit substitutions (ES). Recently, graphical syntaxes and linear logic led to the linear substitution calculus (LSC), a new approach to ES
Accattoli, Beniamino +2 more
core
Formal Notes on the Substitutional Analysis of Logical Consequence [PDF]
Notre Dame Journal of Formal Logic, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Advanced Functional Materials, EarlyView.It is reported that the ferroelectric switching behavior of rhombohedral (3R) phase transition metal dichalcogenide (TMD) bilayers strongly depends on their domain structures. Single‐domain TMDs (SD‐TMDs) with domain‐wall‐free structures exhibit robust and stable polarization switching, whereas poly‐domain TMDs (PD‐TMDs) with randomly distributed ...
Ji‐Hwan Baek +8 more
wiley +1 more source