Results 91 to 100 of about 582,776 (293)
, 2018 We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. First, we show how a small memory-
A Ahmed +10 more
core +3 more sources
Advanced Functional Materials, EarlyView.A combinatorial library of dual‐functional antiviral oligomers incorporating N‐halamine and quaternary ammonium functionalities is developed for long‐lasting antiviral activity. The lead materials exhibit rapid and durable antiviral activity against SARS‐CoV‐2 variants and influenza H1N1, with 4 to 5 log reduction in viral copies at 5 mg mL−1 ...
Eid Nassar‐Marjiya +14 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A FeN4─O/Clu@NC‐0.1Ac catalyst containing atomically‐dispersed FeN4─O sites (medium‐spin Fe2+) and Fe clusters delivered a half‐wave potential of 0.89 V for ORR and an overpotential of 330 mV at 10 mA cm−2 for OER in 0.1 m KOH. When the catalyst was used in a rechargeable Zn–air battery, a power density of 284.5 mW cm−2 was achieved with excellent ...
Yongfang Zhou +8 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Fibrous benzenetrispeptide (BTP) hydrogels, fabricated via strain‐promoted azide‐alkyne cycloaddition (SPAAC) crosslinking, form robust, bioinert networks. These hydrogels can support 3D cell culture, where cell viability and colony growth depend on the fiber content.
Ceren C. Pihlamagi +5 more
wiley +1 more source
Separation Logic for Small-step Cminor [PDF]
, 2007 Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language.
Appel, Andrew W., Blazy, Sandrine
core +3 more sources
Shared intentions and the advance of cumulative culture in hunter-gatherers
, 2015 It has been hypothesized that the evolution of modern human cognition was catalyzed by the development of jointly intentional modes of behaviour. From an early age (1-2 years), human infants outperform apes at tasks that involve collaborative activity ...
Angus, Simon D., Newton, Jonathan
core +4 more sources
Advanced Functional Materials, EarlyView.Permanent magnets derive their extraordinary strength from deep, universal electronic‐structure principles that control magnetization, anisotropy, and intrinsic performance. This work uncovers those governing rules, examines modern modeling and AI‐driven discovery methods, identifies critical bottlenecks, and reveals electronic fingerprints shared ...
Prashant Singh
wiley +1 more source
Some Reflections on the Role of Moral Reasoning in Economics [PDF]
People seem to be motivated by moral ideas and in this paper I discuss how we should take this into account in positive and normative economics. I review alternative ways of modelling moral motivation and reasoning in positive economics and discuss how ...
Bertil Tungodden
core
Advanced Functional Materials, EarlyView.Strong exciton‐photon coupling is achieved by integrating porphyrin ligand‐based MOF nanoparticles in optical cavities, as evidenced by pronounced polariton branch anticrossing. The porous nature of the resonator enables precise, reversible tuning via vapor pressure, unlocking unprecedented chemical‐environment controlled dynamic polaritonic platforms ...
Beatriz de Sola‐Báez +7 more
wiley +1 more source
Unveiling Multidimensional Physicochemical Design Principles for Tissue Processing Hydrogels
Advanced Functional Materials, EarlyView.This study establishes a materials‐based design framework for polymer hydrogels in tissue clearing, linking physicochemical properties to performance in tissue processing, labeling, and imaging. By analyzing rheology, swelling, porosity, antibody diffusion, mechanical performance, and thermochemical stability across platforms, this work provides a ...
Sangjae Kim +8 more
wiley +1 more source