[图书][B] Linear and nonlinear functional analysis with applications

PG Ciarlet - 2013 - SIAM
For more details about the topologies of the spaces P (Ω) and P/(Ω), see Yosida [1966], Vo-
Khac [1972a, 1972b], Hörmander [1983, Chapters 1–7], Duistermaat & Kolk [2010], and of …

Deep declarative networks

S Gould, R Hartley, D Campbell - IEEE Transactions on Pattern …, 2021 - ieeexplore.ieee.org
We explore a class of end-to-end learnable models wherein data processing nodes (or
network layers) are defined in terms of desired behavior rather than an explicit forward …

Beyond backpropagation: bilevel optimization through implicit differentiation and equilibrium propagation

N Zucchet, J Sacramento - Neural Computation, 2022 - direct.mit.edu
This review examines gradient-based techniques to solve bilevel optimization problems.
Bilevel optimization extends the loss minimization framework underlying statistical learning …

A solver-free framework for scalable learning in neural ilp architectures

Y Nandwani, R Ranjan… - Advances in Neural …, 2022 - proceedings.neurips.cc
There is a recent focus on designing architectures that have an Integer Linear Programming
(ILP) layer within a neural model (referred to as\emph {Neural ILP} in this paper). Neural ILP …

The implicit and inverse function theorems: Easy proofs

O de Oliveira - 2013 - projecteuclid.org
This article presents simple and easy proofs of the Implicit Function Theorem and the
Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean …

KVN: Keypoints Voting Network with Differentiable RANSAC for Stereo Pose Estimation

I Donadi, A Pretto - IEEE Robotics and Automation Letters, 2024 - ieeexplore.ieee.org
Object pose estimation is a fundamental computer vision task exploited in several robotics
and augmented reality applications. Many established approaches rely on predicting 2D-3D …

High-speed cornering for autonomous off-road rally racing

C You, P Tsiotras - IEEE Transactions on Control Systems …, 2019 - ieeexplore.ieee.org
High-speed cornering can typically be performed only by an expert driver. Advanced control
system design for (semi-) autonomous vehicles requires an understanding of such …

[图书][B] Level-crossing problems and inverse Gaussian distributions: closed-form results and approximations

VK Malinovskii - 2021 - taylorfrancis.com
Level-Crossing Problems and Inverse Gaussian Distributions: Closed-Form Results and
Approximations focusses on the inverse Gaussian approximation for the distribution of the …

Inverse mapping theory on split quaternions in Clifford analysis

JE Kim, KH Shon - Filomat, 2016 - JSTOR
Inverse Mapping Theory on Split Quaternions in Clifford Analysis Page 1 Filomat 30:7 (2016),
1883–1890 DOI 10.2298/FIL1607883K Published by Faculty of Sciences and Mathematics …

[PDF][PDF] Hybrid approaches to adjoint code generation with dco/c++

J Lotz - 2016 - publications.rwth-aachen.de
Simulation software has become an indispensable instrument for research and development
in the academic as well as the industrial environment. In many cases computer simulations …