Results 191 to 200 of about 236,217 (313)

Towards the Certification of Complexity Proofs

, 2012
We report on our formalization of matrix-interpretation in Isabelle/HOL. Matrices are required to certify termination proofs and we wish to utilize them for complexity proofs, too. For the latter aim, only basic methods have already been integrated, and we discuss some upcoming problems which arise when formalizing more complicated results on matrix ...
openaire   +2 more sources

Multiple sclerosis and autoimmunity: a reappraisal of the evidence. [PDF]

Front Immunol
Amigo M, Sen MK, Dunn JS, Mahns DA.
europepmc   +1 more source

Gold Nanoclusters as Dual Agents for Engineering Tumor Vascular Leakiness and Performing Photothermal Therapy

Advanced Functional Materials, EarlyView.
Many cancer nanotherapeutics, while potent, suffer from the inability to escape from the tumor vasculature, especially in the absence of endothelial permeability. In this work, ultrasmall gold nanoclusters could engineer nanomaterials induced endothelial leakiness (NanoEL) and harness strong NIR induced photothermal characteristics to suppress tumor ...
Nengyi Ni, Kuoran Xing, Bihan Zhang, Baoteng Wang, Yinglu Chen, Jianping Xie, Xiao Sun, Jinping Wang, David Tai Leong   +8 more
wiley   +1 more source

Way More than the Sum of Their Parts: From Statistical to Structural Mixtures. [PDF]

Entropy (Basel)
Crutchfield JP.
europepmc   +1 more source

Bio‐Inspired Magnetically Tunable Structural Colors from Elliptical Self‐Assembled Block Copolymer Microparticles

Advanced Functional Materials, EarlyView.
Cephalopod‐inspired photonic microparticles with dynamic structural coloration are fabricated via confined self‐assembly of linear block copolymers into ellipsoids containing stacked lamellae. Embedded superparamagnetic nanoparticles enable rapid magnetic alignment, restoring vivid, angle‐dependent color.
Gianluca Mazzotta, Simone Bertucci, Jose Mendoza‐Carreño, Agustín Mihi, Paola Lova, Davide Comoretto, Ullrich Steiner, Marco Lattuada, Andrea Dodero   +8 more
wiley   +1 more source

Quantum-resilient and adaptive multi-region data aggregation for IoMT using zero-knowledge proofs and edge intelligence. [PDF]

Sci Rep
Othman SB, Kumar G.
europepmc   +1 more source

Intrinsic Nanopore‐Assisted SnP2S6 Memristors With Ti Ion Dynamics for Compact Logic‐In‐Memory Hardware

Advanced Functional Materials, EarlyView.
Tin hexathiophosphate memristors leverage intrinsic nanopores together with a guided filament formation strategy to regulate titanium ion motion and switching behavior. The devices support reliable nonvolatile memory and reconfigurable logic‐in‐memory, demonstrating 14 Boolean logic functions in a single cell.
Thaw Tint Te Tun, Sanchali Mitra, Hongxi Su, Jiali Huo, Haofei Zheng, Michel Bosman, Yee Sin Ang, Kah‐Wee Ang   +7 more
wiley   +1 more source

A multi-authority attribute ring signature supporting dynamic policies and dual anonymity for zero-trust networks. [PDF]

Sci Rep
Chen J, Zhou X, Fu W, Mao Y, Wang J.
europepmc   +1 more source

Thermally Activated Delayed Fluorescence in Phase‐Separated Nanostructures

Advanced Functional Materials, EarlyView.
A supramolecular, phase‐separation driven strategy yields charge transfer (CT) complexes from alternating electron‐deficient pyromellitic diimide and electron‐rich 4,5‐dibromoveratrole. The resulting CT complexes self‐assemble into lamellar nanosheets with nanometer‐sized domains that exhibit thermally activated delayed fluorescence (TADF) at room ...
Bart W.L. van den Bersselaar, Giovanni M. Beneventi, Philip M. Greißel, Lukas A. Mai, Stefan J. D. Maessen, Bas F.M. de Waal, E.W. Meijer, Dirk M. Guldi, Ghislaine Vantomme   +8 more
wiley   +1 more source

A Physical Framework for Algorithmic Entropy. [PDF]

Entropy (Basel)
Edmonds J.
europepmc   +1 more source