Results 71 to 80 of about 349,803 (277)
Transfinite Approximation of Hindman's Theorem
, 2011 Hindman's Theorem states that in any finite coloring of the integers, there is an infinite set all of whose finite sums belong to the same color. This is much stronger than the corresponding finite form, stating that in any finite coloring of the ...
Beiglböck, Mathias, Towsner, Henry
core +1 more source
, 2018 This chapter surveys the research in parallel or distributed strategies for mechanical theorem proving in first-order logic, and explores some of its connections with the research in the parallelization of decision procedures for satisfiability in propositional logic (SAT).
openaire +2 more sources
Agribusiness, EarlyView.ABSTRACT The US hemp market is a new and nascent industry that has been devoid of research for about half a century. This study examined the effects of exogenous shock on price at each phase of the value chain—Farm (hemp biomass), and its impact on prices at other phases of the value chain—Intermediary Processor (crude cannabidiol hemp) and Final ...
Solomon Odiase +2 more
wiley +1 more source
The Geography of Success: A Spatial Analysis of Export Intensity in the Italian Wine Industry
Agribusiness, EarlyView.ABSTRACT This paper investigates the paradox of how Italy's fragmented, SME‐dominated wine industry achieves global export success. Moving beyond purely firm‐centric explanations, we test whether export intensity is spatially dependent, clustering geographically in regional ecosystems.
Nicolas Depetris Chauvin, Jonas Di Vita
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.This perspective highlights how knowledge‐guided artificial intelligence can address key challenges in manufacturing inverse design, including high‐dimensional search spaces, limited data, and process constraints. It focused on three complementary pillars—expert‐guided problem definition, physics‐informed machine learning, and large language model ...
Hugon Lee +3 more
wiley +1 more source
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source
Explaining the Origin of Negative Poisson's Ratio in Amorphous Networks With Machine Learning
Advanced Intelligent Discovery, EarlyView.This review summarizes how machine learning (ML) breaks the “vicious cycle” in designing auxetic amorphous networks. By transitioning from traditional “black‐box” optimization to an interpretable “AI‐Physics” closed‐loop paradigm, ML is shown to not only discover highly optimized structures—such as all‐convex polygon networks—but also unveil hidden ...
Shengyu Lu, Xiangying Shen
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.The authors develop a deep learning model for real‐time tracking of wound progression. The deep learning framework maps the nonlinear evolution of a time series of images to a latent space, where they learn a linear representation of the dynamics. The linear model is interpretable and suitable for applications in feedback control.
Fan Lu +11 more
wiley +1 more source
Three nontrivial solutions for nonlinear fractional Laplacian equations
Advances in Nonlinear Analysis, 2018 We study a Dirichlet-type boundary value problem for a pseudodifferential equation driven by the fractional Laplacian, proving the existence of three non-zero solutions.
Düzgün Fatma Gamze +1 more
doaj +1 more source
Overcoming the Nyquist Limit in Molecular Hyperspectral Imaging by Reinforcement Learning
Advanced Intelligent Discovery, EarlyView.Explorative spectral acquisition guide automatically selects informative spectral bands to optimize downstream tasks, outperforming full‐spectrum acquisition. The selected hyperspectral data are used for tasks such as unmixing and segmentation. BandOptiNet encodes selection states and outputs optimal bands to guide spectral acquisition. Recent advances
Xiaobin Tang +4 more
wiley +1 more source