Approximating and Interpolating Theories of Arithmetic for Software Verification
openaire +2 more sources
Bilayered PEDOT:PSS–Collagen Scaffolds as Functional Architectures for Tissue Engineering
A bilayered scaffold integrates collagen and PEDOT:PSS as distinct yet interconnected 3D matrices, preserving their fibrillar and conductive characteristics. Spatial compartmentalization enables independent tailoring of each domain while maintaining mechanical stability and compatibility with electrochemical monitoring, providing a multifunctional ...
Rasha Nasser +6 more
wiley +1 more source
On the ROF Model in Rectilinear Anisotropy: Piecewise Constant Approximation and Universal Minimality. [PDF]
Kirisits C, Setterqvist E.
europepmc +1 more source
High Throughput Aerosol Jet Printing to Operationalize High Aspect Ratio Patterning
High‐throughput aerosol jet printing poses distinct limiting mechanisms to the printing process. These include rapidly changing ink chemistries, atomization instabilities, and liquid‐phase spreading. The combination of in‐line heating, process monitoring, and traditional optimization procedures enables rapid printing of high‐aspect‐ratio structures ...
Bella I. Guyll +4 more
wiley +1 more source
Benchmarking Hierarchical Double-Ended Transition-State Search Methods for Metal-Catalyzed Reactions. [PDF]
Maiti SR, Buttar D, Duarte F.
europepmc +1 more source
Liquid‐Crystal‐Based Reconfigurable Intelligent Surface for 7 GHz Mobile Communication
The glass‐based liquid‐crystal reconfigurable intelligent surface (LC‐RIS) integrates active‐matrix driving and blind‐greedy phase optimization within a 5G‐NR OFDM framework. This enables continuously tunable and autonomous enhancement of wireless coverage. Leveraging the transparency and manufacturability of liquid crystal panels, it is ideally suited
Tien‐Lun Ting +5 more
wiley +1 more source
Quantum Thermodynamic Transformation Optics: A Unified Framework for Energy and Entropy With Application to the Casimir Force in Dissipative Metamaterials. [PDF]
Sadeghi MM, Sarısaman M.
europepmc +1 more source
This study demonstrates short, length‐independent group delay supported by topological edge states in open Su–Schrieffer–Heeger networks. Strong boundary port coupling enables an order‐of‐magnitude latency reduction compared to bulk modes, alongside robust protection against bulk disorder.
Yu‐Han Chang +11 more
wiley +1 more source
Benchmark MRCI Study of Halogen Oxides: Potential Energy Surfaces and Spectroscopic Constants for X<sub>2</sub>, XO, and X<sub>2</sub>O (X = F, Cl, Br). [PDF]
Selmi I +5 more
europepmc +1 more source
Zero‐Waste Manufacturing of Ophthalmic Lenses by Direct Fluidic Shaping in Arbitrary Domains
Conventional ophthalmic lens manufacturing discards up to 97% of material through subtractive processes. The Cookie Cutter algorithm extends Fluidic Shaping to arbitrary rim geometries. The framework prescribes a spatially varying boundary height that, under neutral buoyancy and surface tension, shapes curable polymer into spherocylindrical lenses that
Yotam Katzman +6 more
wiley +1 more source

