Results 101 to 110 of about 3,412,246 (356)
Binary pattern tile set synthesis is NP-hard
, 2014 In the field of algorithmic self-assembly, a long-standing unproven conjecture has been that of the NP-hardness of binary pattern tile set synthesis (2-PATS).
AC Johnsen +22 more
core +1 more source
Capillary‐Driven 3D Open Fluidic Networks for Versatile Continuous Flow Manipulation
Advanced Materials, EarlyView.The capillary‐driven 3D open fluidic networks (OFNs), composed of connected polyhedral frames, enable precise, programmable, and versatile manipulation of unary, binary, and multiple continuous flows in both spatial and temporal dimensions. OFNs represent a significant leap beyond conventional microfluidics, unlocking new possibilities for selective ...
Shuangmei Wu +4 more
wiley +1 more source
The Eternal Unprovability Filter – Part I [PDF]
, 2016 I prove both the mathematical conjectures P ≠ NP and the Continuum Hypothesis are eternally unprovable using the same fundamental idea. Starting with the Saunders Maclane idea that a proof is eternal or it is not a proof, I use the indeterminacy of human
Pai, Kiran
core
Advanced Materials, EarlyView.AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll +19 more
wiley +1 more source
The Social Epistemology of Mathematical Proof
, 2021 If we want to understand why mathematical knowledge is extraordinarily reliable, we need to consider both the nature of mathematical arguments and mathematical practice as a social practice. Mathematical knowledge is extraordinarily reliable because arguments in mathematics take the form of deductive mathematical proofs.
openaire +3 more sources
Tilings of Annular Region [PDF]
, 2014 We present our summer research on mathematical tiling. We classified which rectangular annular regions are tileable by the set of T and skew tretrominoes.
Altringer, Levi A. +7 more
core +1 more source
Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array
Advanced Materials, EarlyView.This study presents a hardware physical reservoir computing system using a tri‐modal memristive crossbar array. Stochastic masking, bistable nonlinear activation, and analog readout enable fully in‐memory spatiotemporal processing. Demonstrations on cellular automata, Lorenz prediction, ADHD EEG classification, and chaotic KS modeling highlight its ...
Sungho Kim +10 more
wiley +1 more source
A simple criterion of transverse linear instability for solitary waves
, 2010 We prove an abstract instability result for an eigenvalue problem with parameter. We apply this criterion to show the transverse linear instability of solitary waves on various examples from mathematical physics.Comment: The main result has been improved
Rousset, F., Tzvetkov, N.
core +3 more sources
Advanced Materials, EarlyView.The ion‐dipole interactions within Li(solvents)x+ groups for fast interfacial Li+ desolvation/diffusion and dendrite‐free deposition are reduced by taming various d‐orbital electron‐delocalized catalyzers under the low‐temperature surroundings.
Jing Zhang +16 more
wiley +1 more source
Lakatos and Hersh on Mathematical Proof
Journal of Philosophical Investigations, 2015 The concept of Mathematical Proof has been controversial for the past few decades. Different philosophers have offered different theories about the nature of Mathematical Proof, among which theories presented by Lakatos and Hersh have had significant ...
Hossein Bayat
doaj