Results 31 to 40 of about 344,169 (311)
On the logarithmic epiperimetric inequality for the obstacle problem
Mathematics in Engineering, 2021 We give three different proofs of the log-epiperimetric inequality at singular points for the obstacle problem. In the first, direct proof, we write the competitor explicitly; the second proof is also constructive, but this time the competitor is given ...
Luca Spolaor, Bozhidar Velichkov
doaj +1 more source
Interpreting a Classical Geometric Proof with Interactive Realizability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We show how to extract a monotonic learning algorithm from a classical proof of a geometric statement by interpreting the proof by means of interactive realizability, a realizability sematics for classical logic. The statement is about the existence of a
Giovanni Birolo
doaj +1 more source
A Normalizing Intuitionistic Set Theory with Inaccessible Sets [PDF]
Logical Methods in Computer Science, 2007 We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs.
Wojciech Moczydlowski
doaj +1 more source
Colloidal Crack Sintering Lithography for Light‐Induced Patterning of Particle Assemblies
Advanced Functional Materials, EarlyView.Colloidal crack sintering lithography (CCSL) is a microfabrication technique that uses light‐induced photothermal heating to trigger sintering and controlled cracking in polymer colloidal assemblies. Local structural changes generate microchannels and patterns, enabling direct writing of diverse topographic motifs.
Marius Schoettle +2 more
wiley +1 more source
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 +8 more
wiley +1 more source
SciPost Physics Core, 2023 We study perfect matchings, or close-packed dimer coverings, of finite sections of the eleven Archimedean lattices and give a constructive proof showing that any two perfect matchings can be transformed into each other using small sets of local ring ...
Henrik Schou Røising, Zhao Zhang
doaj +1 more source
Advanced Optical Materials, Volume 13, Issue 8, March 13, 2025.This article presents a hybrid metal‐dielectric metasurface in transmission mode for mid‐infrared (MIR) spectroscopy. Composed of germanium on aluminium cylinders atop a calcium fluoride substrate, the metasurface achieves 80% transmission efficiency at λ = 2.6 µm with a narrow full‐width‐half‐maximum of 0.4 µm.
Amr Soliman +5 more
wiley +1 more source
Corrigendum to "On the classification of prime-power groups by coclass" [PDF]
, 2014 A further step towards a possible classification of $p$-groups by coclass was made by Eick & Leedham-Green in 2007. They gave a constructive proof of the ultimate periodicity of shaved coclass graphs.
Couson, Martin
core
Active Force Dynamics in Red Blood Cells Under Non‐Invasive Optical Tweezers
Advanced Science, EarlyView.A non‐invasive method combines low‐power optical tweezers with high‐speed microscopy to simultaneously monitor local membrane forces and displacements in single human red blood cells. This dual‐channel approach reveals a mechano‐dynamic signature that correlates the cell's metabolic state with its mechanical activity. This energetic framework serves as
Arnau Dorn +5 more
wiley +1 more source
Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths
Advanced Science, EarlyView.Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears +5 more
wiley +1 more source