Results 161 to 170 of about 236,217 (313)
Complexity of Positivstellensatz proofs for the knapsack
Computational Complexity, 2002 D. Grigoriev
semanticscholar +1 more source
Meta‐Rod Mechanical Metamaterials With Programmable Reconfiguration
Advanced Functional Materials, EarlyView.Existing mechanical metamaterials achieve programmable large deformations in planar square or cubic configurations, restricted by required complex boundary conditions. This research proposes a 1D metamaterial, Meta‐rod, with linear, bending, twisting, area, and volume deformation modes.
Atharva Pande, Lyes Kadem, Hang Xu
wiley +1 more source
Proof complexity of universal algebra in a CSP dichotomy proof
The constraint satisfaction problem (CSP) can be formulated as a homomorphism problem between relational structures: given a structure $\mathcal{A}$, for any structure $\mathcal{X}$, whether there exists a homomorphism from $\mathcal{X}$ to $\mathcal{A}$. For years, it has been conjectured that all problems of this type are divided into polynomial-time
openaire +2 more sources
Magnetic Force Microscopy Signatures of Higher‐Order Skyrmions and Antiskyrmions
Advanced Functional Materials, EarlyView.Magnetic force microscopy operated under vacuum conditions enables the qualitative identification of higher‐order skyrmions and antiskyrmions in Co/Ni multilayers at room temperature. Distinct stray‐field contrast signatures arise from vertical Bloch lines and complex domain‐wall configurations.
Sabri Koraltan +8 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Dicarboxylate‐modified anionic hairy cellulose nanocrystals exhibit a high selectivity for dysprosium(III) over neodymium(III). This selectivity arises from disordered dicarboxylate cellulose “hairs” that enable cooperative ionic coordination, hydrogen bonding, and strain‐induced conformational shrinkage.
Roya Koshani +6 more
wiley +1 more source
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
On the complexity of unsatisfiability proofs for random k-CNF formulas
Symposium on the Theory of Computing, 1998 P. Beame, R. Karp, T. Pitassi, M. Saks
semanticscholar +1 more source
Quasi‐Static to Supersonic Energy Absorption of Nanoarchitected Tubulanes and Schwarzites
Advanced Functional Materials, EarlyView.Nanoarchitected energy‐absorptive Tubulanes exhibit record energy absorption under quasi‐static conditions and exceptional inelastic energy dissipation under 750 m s−1 ballistics impact, with high performance spanning strain rates of 12 orders of magnitude.
Peter Serles +16 more
wiley +1 more source
BAAR: A framework for blockchain-based anonymous and revocable user authentication scheme. [PDF]
PLoS OneAhmed M, Ahmad A, Zeshan F, Akram S.
europepmc +1 more source
On the Complexity of Interactive Proofs with Bounded Communication
Information Processing Letters, 1998 Oded Goldreich, J. Håstad
semanticscholar +1 more source