Results 141 to 150 of about 2,046,692 (239)
Advanced Materials Interfaces, EarlyView.A sonochemical strategy constructs an ex situ 2D hierarchical black phosphorus–Mn2O3 heterostructure, enabling intimate interfacial coupling, enhanced charge transport, and improved electrochemical stability. The optimized BPM‐37.5% electrode delivers 466 F g−1 with 84% retention after 8000 cycles, while the flexible device exhibits high areal energy ...
Sowmiya Selvaraj +1 more
wiley +1 more source
A full formal representation of Arrow's impossibility theorem.
PLoS ONERevised proofs of Kenneth Arrow's impossibility theorem, one of the most influential theorems in economics, political science, and philosophy, have been presented in prose form, incorporating novel ideas such as decisive sets and pivotal voters.
Kazuya Yamamoto
doaj +1 more source
Bilayered PEDOT:PSS–Collagen Scaffolds as Functional Architectures for Tissue Engineering
Advanced Materials Interfaces, EarlyView.A bilayered scaffold integrates collagen and PEDOT:PSS as distinct yet interconnected 3D matrices, preserving their fibrillar and conductive characteristics. Spatial compartmentalization enables independent tailoring of each domain while maintaining mechanical stability and compatibility with electrochemical monitoring, providing a multifunctional ...
Rasha Nasser +6 more
wiley +1 more source
Towards Automatic Transformations of Coq Proof Scripts
Electronic Proceedings in Theoretical Computer ScienceProof assistants like Coq are increasingly popular to help mathematicians carry out proofs of the results they conjecture. However, formal proofs remain highly technical and are especially difficult to reuse.
Magaud, Nicolas
doaj +1 more source
Advanced Materials Interfaces, EarlyView.UV–vis fluorescence spectroscopy enables sensitive monitoring of plant protein adsorption on AISI 316L stainless steel under food‐processing‐relevant conditions. Spectral deconvolution reveals adsorption‐induced changes associated with protein–surface interactions and conformational alterations, demonstrating the potential of the technique for ...
Alexander Khort +6 more
wiley +1 more source
Two‐Way Shape Memory Polymer Composite Gripper for Adaptive Robotic Applications
Advanced Materials Technologies, EarlyView.A two‐way shape memory polymer (SMP) composite is developed with intrinsic shape‐changing capability driven solely by temperature, eliminating external actuation loads. Embedding the SMP in a low‐stiffness elastomeric matrix enabled reversible transformations during heating and cooling cycles.
Aamna Hameed, Kamran Ahmed Khan
wiley +1 more source
Formal Proof: Reconciling Correctness and Understanding
, 2009 Hilbert's concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathematics.
Calude, C.S, Müller, C
core
Advanced Materials Technologies, EarlyView.A closed U‐shaped microfluidic platform symmetrically embeds a single, size‐controlled HT29 colorectal cancer spheroid within a GFP‐HUVEC‐laden fibrin matrix. HT29 spheroids are associated with hyper‐branched endothelial network remodeling, while vascularized co‐culture is accompanied by anisotropic protrusive growth and EMT‐like marker changes in the ...
G. Cretti +4 more
wiley +1 more source
A Formal Proof of Stirling’s Formula
Formalized MathematicsSummary In this article, we formalized the proof of the Stirling’s formula, which is considered an essential item in the field of statistics, as shown below:
openaire +2 more sources
Characterized Ecoflex Polydimethylsiloxane (PDMS) Hybrids for Advanced Flexible Devices
Advanced Materials Technologies, EarlyView.Ecoflex–PDMS hybrids are systematically characterized to identify an optimal composition that balances stretchability, optical transparency, and plasma bonding, enabling multifunctional applications in stretchable microfluidics, flexible sensing, and soft robotics.
Xiaoyue Kang +10 more
wiley +1 more source