Results 121 to 130 of about 342,984 (310)

An elementary and constructive proof of Grothendieck's generic freeness lemma [PDF]

, 2018
Ingo Blechschmidt
openalex   +1 more source

Event‐Triggered Saturating Control for Synchronization of Lur'e Type Complex Dynamic Networks

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT This article addresses the problem of synchronizing discrete‐time Lur'e type complex dynamic networks (CDNs) via dynamic event‐triggered control. In particular, it is considered that the control signal of each node is subject to input saturation. Using the Lyapunov Stability Theory, properties of slope‐restricted nonlinearities, and the linear
C. Lisbôa, J. V. Flores, L. G. Moreira, J. M. Gomes da Silva Jr.   +3 more
wiley   +1 more source

Proof by construction [PDF]

Nature Materials, 2007
openaire   +1 more source

BETWEEN PROOF CONSTRUCTION AND SAT-SOLVING

The Journal of Symbolic Logic
Abstract The classical satisfiability problem (SAT) is used as a natural and general tool to express and solve combinatorial problems that are in NP. We postulate that provability for implicational intuitionistic propositional logic (IIPC) can serve as a similar natural tool to express problems in Pspace.
Schubert, Aleksy, Urzyczyn, Paweł, Zdanowski, Konrad   +2 more
openaire   +2 more sources

Comment on “Anti‐Cancer Potential of Copper‐NTB Complex via Damaging Cellular Organelles and Apoptosis in Triple‐Negative Breast Cancer Therapy”

Nano Select, EarlyView.
Yuji Kamikubo
wiley   +1 more source

Micro‐transitions and work identity: The case of academic entrepreneurs

Strategic Entrepreneurship Journal, EarlyView.
Abstract Research Summary This paper examines how academic entrepreneurs—scientists who found research‐based startups while remaining in academia—construct and sustain their professional identities amid frequent transitions between academic and entrepreneurial roles.
Marouane Bousfiha, Henrik Berglund
wiley   +1 more source

Constructive proof of the existence of multiplicative functionals in commutative separable Banach algebras [PDF]

, 1967
Henri-Pierre Garnir, Marc de Wilde, Jean Schmets   +2 more
openalex   +1 more source

Enhanced Refractive Index Sensitivity of Linearly Assembled Gold Nanoantennae for Biosensing Applications

Small, EarlyView.
This study presents scalable methods for fabricating linear arrays of gold nanoparticles using template‐assisted self‐assembly. These supracolloidal structures show strong polarization‐dependent plasmonic responses for biosensing. Using antibody detection for Tumor Necrosis Factor‐Alpha (TNF‐α) as a proof‐of‐concept, the assemblies exhibit up to five ...
Taufhik Hossain Tonmoy, Sezer Seçkin, Marisa Hoffmann, Isli Çela, Gyusang Yi, Ahmed Alsadig, Swagato Sarkar, Christian Rossner, Tobias A.F. König, Andreas Fery, Larysa Baraban   +10 more
wiley   +1 more source

On constructivity and the Rosser property: a closer look at some Gödelean proofs [PDF]

, 2018
Saeed Salehi, Payam Seraji
openalex   +1 more source

Inferring cumulative crack widths in reinforced concrete structures using Coda Wave Interferometry of ultrasound

Structural Concrete, EarlyView.
Abstract Whether concrete structures are cracked, how wide these cracks are, and whether they must be regarded as damaging, is a central issue in structural health monitoring. Ultrasonic measurements evaluated with the sensitive Coda Wave Interferometry (CWI) have the potential to detect cracks early—long before they become visible. This paper presents
Felix Clauß, Noah Sträter, Mark Alexander Ahrens, Peter Mark   +3 more
wiley   +1 more source