Results 81 to 90 of about 523,591 (296)
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
Constraints Optimal Control Governing by Triple Nonlinear Hyperbolic Boundary Value Problem
Journal of Applied Mathematics, 2020 The focus of this work lies on proving the existence theorem of a unique state vector solution (Stvs) of the triple nonlinear hyperbolic boundary value problem (TNHBVP) when the classical continuous control vector (CCCVE) is fixed by using the Galerkin ...
Jamil A. Ali Al-Hawasy, Lamyaa H. Ali
doaj +1 more source
Theorem recycling for Theorem Proving
EPiC Series in Computing, 2018 In this paper we examine two cases where solutions to one system of constraints can be used or adapted to solutions to others, for free. We first revisit a method by Bromberger for lifting solutions to systems over linear real arithmetic to solutions over integers. We extend it by identifying several scenarios where solutions over reals can be directly
Nikolaj Bjorner, Lev Nachmanson
openaire +2 more sources
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
, 2003 In this paper we discuss the similarities between program specialisation and inductive theorem proving, and then show how program specialisation can be used to perform inductive theorem proving.
Lehmann, Helko, Leuschel, Michael
core +1 more source
Relational Rippling: A General Approach [PDF]
, 1995 We propose a new version of rippling, called relational rippling. Rippling is a heuristic for guiding proof search, especially in the step cases of inductive proofs. Relational rippling is designed for representations in which value passing is by shared
Vincent Lombart +3 more
core
Designing Wire Mazes for Replicating Natural Echoes to Study Bat Biosonar Function
Advanced Intelligent Systems, EarlyView.A validated framework combining efficient physical modeling (multiple scattering model) and deep learning is presented to guide wire‐maze design for bat biosonar studies. This approach rapidly generates large datasets to test acoustic distinguishability among wire arrangements.
Chunlin Jia +3 more
wiley +1 more source
American Journal of Agricultural Economics, EarlyView.Abstract Crop insurance is undoubtedly an extremely valuable element in protecting agricultural businesses, but in many cases standard indemnity‐based products have had very low uptake due to high transaction costs elevating premiums to unaffordable levels.
Amogh Prakasha Kumar +2 more
wiley +1 more source
Advanced Physics Research, EarlyView.This graphical abstract illustrates the unified framework of Data Field Theory (DFT), integrating hyperbolic geometry for hierarchical embedding, gauge theory for internal symmetries, renormalization group for multi‐scale dynamics, Lévy processes for heavy‐tailed fluctuations, noncommutative geometry for quantum‐inspired cognition, and higher ...
Mohammadreza Nehzati
wiley +1 more source
A Comprehensive Framework for Saturation Theorem Proving. [PDF]
J Autom Reason, 2022 Waldmann U +3 more
europepmc +1 more source