Results 121 to 130 of about 1,842,228 (287)
Generating Higher Identity Proofs in Homotopy Type Theory
Finster and Mimram have defined a dependent type theory called CaTT, which describes the structure of omega-categories. Types in homotopy type theory with their higher identity types form weak omega-groupoids, so they are in particular weak omega-categories.
openaire +2 more sources
An elementary proof for a compact imbedding result in generalized electromagnetic theory
Mathematische Zeitschrift, 1984 Propriete de plongement compact et certaines de ses consequences. On etudie la validite du plongement suivant: R 9 (G)∩e q −1 D q (G)→→L 2 q,loc (G)
openaire +1 more source
Single‐ and Dual‐Atom Configurations in Atomically Dispersed Catalysts for Lithium–Sulfur Batteries
Advanced Functional Materials, EarlyView.Single‐atom and dual‐atom‐based atomically dispersed catalysts (ADCs) effectively address the shuttle effect and sluggish redox kinetics in Li–S batteries. With nearly 100% atomic utilization and tunable coordination environments, ADCs enhance LiPSs adsorption, lower conversion barriers, and accelerate sulfur redox reactions.
Haoyang Xu +4 more
wiley +1 more source
X‐Functionality–Driven Photocatalytic Hydrogen Evolution in 2D 4‐X‐PEA2SnI4 Perovskites
Advanced Functional Materials, EarlyView.We report a water‐based synthesis of 2D 4‐X‐PEA2SnI4 perovskite microcrystals with prominent photocatalytic (PC) activity for H2 production. The synergy between organic functionalization and HI‐derived iodide scavenges holes suppress octahedral distortion, and favor electron accumulation, enabling a PC H2 evolution ∼20 µmol·g−1 and long‐term stability ...
Taeyeon Kim +21 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This work develops 3D‐printable tribopolymer networks that can enhance triboelectric performance under high humidity environments. Polar hydrophilic functional groups and incorporation of zwitterionic monomers promote bound‐water–dominated interfacial polarization thereby increasing electrical outputs.
Linguangze Zhuo +8 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A MXene/PEDOT coating enables multimodal functionality and dual‐analyte detection of dopamine and serotonin in flexible microelectrode arrays while enhancing electrophysiological recording quality. The anti‐fouling, low‐impedance interface overcomes key limitations of conventional coatings, providing a robust and versatile platform to investigate the ...
Ilaria Gatti +8 more
wiley +1 more source
Electronic Evidence in the Theory of Judicial Evidence
Цифровое правоDespite the significant number of works devoted to electronic evidence, both in Russian and foreign legal doctrine, there continues to be keen interest in this topic.
S. S. Kazikhanova
doaj +1 more source
Advanced Functional Materials, EarlyView.Flexible piezoresistive pressure sensors underpin wearable and soft electronics. This review links sensing physics, including contact resistance modulation, quantum tunneling and percolation, to unified materials/structure design. We highlight composite and graded architectures, interfacial/porous engineering, and microstructured 3D conductive networks
Feng Luo +2 more
wiley +1 more source
Chirality and Organization of Adsorbates Modify Surface Phonon Dynamics
Advanced Functional Materials, EarlyView.Chirality and molecular organization are shown to influence surface phonon dynamics in gold films. Time‐resolved Joule heating measurements reveal that ordered homochiral monolayers increase the Debye temperature and disordered layers reduce it, while ordered racemic controls have no effect.
Meital Ozeri +6 more
wiley +1 more source
On Penrose’s Analogy between Curved Spacetime Regions and Optical Lenses
Philosophy of PhysicsWe present a detailed analysis of Penrose’s gravito-optical analogy between the focusing effects of particular families of Ricci- and Weyl-curved spacetime regions on the one hand, and anastigmatic and astigmatic optical lenses on the other.
Dennis Lehmkuhl +2 more
doaj +1 more source