Results 31 to 40 of about 4,006 (251)

Price Premiums for Single‐Name and Compound‐Name Geographical Indications in Swiss Cheese Trade

Agribusiness, EarlyView.
ABSTRACT Geographical indications (GIs) have become increasingly important in agri‐food markets, especially in Europe. For Swiss cheese imports and exports, we analyze whether GIs are associated with higher trade prices. We find that price premiums can be obtained for both exports and imports. However, this is only the case for cheeses with single name
Judith Irek
wiley   +1 more source

Mechanising cut-elimination for display logic [PDF]

, 2001
We describe a deep embedding of the display calculus ÆRA, for relation algebras, using Isabelle/HOL. We then describe how the embedding was used to formalise a cut-elimination theorem for ÆRA. Our implementation generalises easily to handle other display
Dawson, Jeremy, Gore, Rajeev
core  

A syntactic proof of cut-elimination for GL_lin

, 1986
In this paper a sequent calculus is proposed for the modal logic GLlin and the cut-elimination theorem as well as some of its main consequences are ...
VALENTINI, SILVIO, S. Valentini
core   +1 more source

Toward Knowledge‐Guided AI for Inverse Design in Manufacturing: A Perspective on Domain, Physics, and Human–AI Synergy

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, Hyeonbin Moon, Junhyeong Lee, Seunghwa Ryu   +3 more
wiley   +1 more source

Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

Bulletin of the Section of Logic, 2017
Hypersequent calculi (HC) can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style ...
openaire   +4 more sources

Sampling Strategy: An Overlooked Factor Affecting Artificial Intelligence Prediction Accuracy of Peptides’ Physicochemical Properties

Advanced Intelligent Discovery, EarlyView.
This study reveals that sampling strategy (i.e., sampling size and approach) is a foundational prerequisite for building accurate and generalizable AI models in peptide discovery. Reaching a threshold of 7.5% of the total tetrapeptide sequence space was essential to ensure reliable predictions.
Meiru Yan, Ankeer Abuduhebaier, Haojin Zhou, Jiaqi Wang   +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, G. Zhang, S. Anand, Z. Chen, J. Lin, A. Desai, S. Martiniani, F. Caravelli   +7 more
wiley   +1 more source

DeepMapper: Attention‐Based AutoEncoder for System Identification in Wound Healing and Stage Prediction

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, Ksenia Zlobina, Michael Briden, Oscar Avalos, Héctor Carrión, Sebastian Osorio, Hsin‐ya Yang, Alexandra Nava, Michelle D. Bagood, Marco Rolandi, Roslyn Rivkah Isseroff, Marcella Gomez   +11 more
wiley   +1 more source

On bar recursion of types 0 and 1 [PDF]

, 1979
For general information on bar recursion the reader should consult the papers of Spector [8], where it was introduced, Howard [2] and Tait [11]. In this note we shall prove that the terms of Godel's theory T (in its extensional version of Spector [8]
HELMUT SCHWICHTENBERG, Schwichtenberg, Helmut   +1 more
core  

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, Yongqing Zhang, Xinyu Deng, Hyeon Jeong Lee, Delong Zhang   +4 more
wiley   +1 more source