Results 71 to 80 of about 523,591 (296)
Using GXWeb for Theorem Proving and Mathematical Modelling
Electronic Proceedings in Theoretical Computer ScienceGXWeb is the free browser based version of the symbolic geometry software Geometry Expressions. We demonstrate its use in an educational setting with examples from theorem proving, mathematical modelling and loci and envelopes.
Todd, Philip, Aley, Danny
doaj +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
Drought Exposure and Dynamic Input Adjustment in North Central U.S. Agriculture
Agribusiness, EarlyView.ABSTRACT This article examines whether realized extreme drought episodes affect the speed of adjustment of derived input demands and output supplies toward their long‐run equilibrium in U.S. agriculture, focusing on states in the North Central Region.
Victor H. Lana Pinto +2 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
ISPRS International Journal of Geo-InformationThe p-median problem is one of the earliest location-allocation models used in spatial analysis and GIS. It involves locating a set of central facilities (the location decision) and allocating customers to these facilities (the allocation decision) so as
Ting L. Lei, Zhen Lei
doaj +1 more source
Combining logical and distributional methods in type-logical grammars
Journal of Language Modelling, 2019 We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of "confidence the proof
Richard Moot
doaj +1 more source
On Interpolation in Automated Theorem Proving
Journal of Automated Reasoning, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BONACINA, Maria Paola, Moa Johansson
openaire +2 more sources
Automated Theorem Proving A Logical Basis
, 1978 Automated Theorem Proving: A Logical ...
Loveland, D.W.
core
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
Proving as Programming with DrHOL: A Preliminary Design [PDF]
, 2003 We discuss the design of a new implementation of the HOL system aimed at improved graphical user interface support for formal proof. We call our approach Proving as Programming, since we believe that metalanguage programming is a central aspect of proof ...
Konrad Slind +3 more
core