Results 141 to 150 of about 2,494,307 (343)
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
Advanced Functional Materials, EarlyView.The cGAS‐STING pathway boosts HCC antitumor immunity but lacks specific activation. Nanoplatform ZMRPF induces HCC ferroptosis via lipid ROS, releasing mtDNA. It synergizes with ZMRPF‐released Mn2⁺ to activate cGAS‐STING, amplifies antigen‐presenting cell activity, reverses HCC immunosuppression, and enables robust systemic antitumor immunity ...
Yuchen Zhang +13 more
wiley +1 more source
Examples and CounterexamplesRobin Forman’s highly influential 2002 paper A User’s Guide to Discrete Morse Theory presents an overview of the subject in a very readable manner. As a proof of concept, the author determines the topology (homotopy type) of the abstract simplicial ...
Anupam Mondal, Pritam Chandra Pramanik
doaj +1 more source
Advanced Functional Materials, EarlyView.Enzymatically crosslinked gelatin‐based organohydrogels, fabricated through a fully bio‐based and scalable process, exhibit exceptional strain and temperature sensing capabilities with minimal interference from environmental humidity. These transparent, stretchable, and ionically conductive materials operate without synthetic fillers or dopants.
Pietro Tordi +7 more
wiley +1 more source
Robust and Reversible Thermofluorescence in Solvent‐Free Thermoplastic Polyurethane Composites
Advanced Functional Materials, EarlyView.Thermofluorescent polymer composites with high‐contrast optical outputs are prepared by solvent‐free blending of indenoquinacridone dye into a thermoplastic polyurethane matrix. The temperature‐dependent fluorescence originates from aggregation–dissociation of the dye molecules, regulated by competing hydrogen bonds from the polymer matrix.
Guanghua Yu +8 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A new class of living liquid metal composites is introduced, embedding Bacillus subtilis endospores into eutectic gallium–indium (EGaIn). The spores enhance droplet coalescence, strengthen interfacial conductivity, and provide on‐demand electrogenic functionality after germination. The composites exhibit high conductivity, self‐healing, patternability,
Maryam Rezaie, Yang Gao, Seokheun Choi
wiley +1 more source
A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language
Journal of Formalized Reasoning, 2008 This paper shows how a formalization for the theory of Abstract Reduction Systems (ARSs) in which noetherianity was specified by the notion of well-foundness over binary relations is used in order to prove results such as the well-known Newman's and ...
Andre Luiz Galdino +1 more
doaj
Advanced Functional Materials, EarlyView.Tumor‐tropic human mesenchymal stem cells (hMSCs) were used as delivery vehicles for magnetotheranostic gold–iron oxide nanoflowers. Magnetic particle imaging of the iron component demonstrated widespread intratumoral distribution and sustained retention in contrast to injection of naked nanoflowers.
Behnaz Ghaemi +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Rational halogen mixing strategy was employed to shift the bandgap of Cs2PbBr2I2 from ultraviolet to visible region, enabling first realization of a visible‐light photodetector with this 2D layered Ruddlesden‐Popper perovskite material. Under illumination, light‐induced internal field forms and drives trap‐mediated persistent photoconductivity ...
Md Fahim Al Fattah +11 more
wiley +1 more source