Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleDecember 2024
Formalizing Potential Flows Using the HOL Light Theorem Prover
AbstractPotential flow is a theoretical model that describes the movement of a fluid, e.g., water or air in situations where viscosity and turbulence are assumed to be negligible. This type of flow is often used as an idealized model to describe the ...
- research-articleNovember 2024
Stable Multilevel Deep Neural Networks for Option Pricing and xVAs Using Forward-Backward Stochastic Differential Equations
ICAIF '24: Proceedings of the 5th ACM International Conference on AI in FinancePages 336–343https://doi.org/10.1145/3677052.3698598Deep learning techniques have significantly impacted fields such as image processing, computer vision, and natural language processing. However, their influence on quantitative finance, particularly in option pricing, hedging, and portfolio management, ...
- ArticleOctober 2024
Biophysics Informed Pathological Regularisation for Brain Tumour Segmentation
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024Pages 3–13https://doi.org/10.1007/978-3-031-72390-2_1AbstractRecent advancements in deep learning have significantly improved brain tumour segmentation techniques; however, the results still lack confidence and robustness as they solely consider image data without biophysical priors or pathological ...
- ArticleJuly 2024
On the Training Efficiency of Shallow Architectures for Physics Informed Neural Networks
AbstractPhysics-informed Neural Networks (PINNs), a class of neural models that are trained by minimizing a combination of the residual of the governing partial differential equation and the initial and boundary data, have gained immense popularity in the ...
-
- ArticleJuly 2024
GPU-Accelerated FDTD Solver for Electromagnetic Differential Equations
AbstractComputational electromagnetics plays a crucial role across diverse domains, notably in fields such as antenna design and radar signature prediction, owing to the omnipresence of electromagnetic phenomena. Numerical methods have replaced ...
- research-articleMay 2024
A new treatment of boundary conditions in PDE solution with Galerkin methods via Partial Integral Equation framework
Journal of Computational and Applied Mathematics (JCAM), Volume 442, Issue Chttps://doi.org/10.1016/j.cam.2023.115673AbstractWe present a new mathematical framework for solution of Partial Differential Equations (PDEs), which is based on an exact transformation of the underlying PDE that removes the boundary constraints from the solution state and moves them into the ...
Highlights- A new numerical methodology for solution of partial differential equations is developed.
- A new methodology is based on partial integral equation (PIE) framework.
- A methodology allows to enforce boundary conditions analytically, ...
- research-articleNovember 2023
Turbo-Charging Deep Learning Methods for Partial Differential Equations
ICAIF '23: Proceedings of the Fourth ACM International Conference on AI in FinancePages 150–158https://doi.org/10.1145/3604237.3626900Solving partial differential equations (PDEs) is a frequent necessity in numerous domains, ranging from complex systems simulation to financial derivatives pricing and continuous-time optimisation tasks. The challenging nature of PDEs, especially in ...
- ArticleFebruary 2024
A Novel Convolutional Neural Network Architecture with a Continuous Symmetry
AbstractThis paper introduces a new Convolutional Neural Network (ConvNet) architecture inspired by a class of partial differential equations (PDEs) called quasi-linear hyperbolic systems. With comparable performance on image classification task, it ...
- ArticleDecember 2022
Patient Specific Image Driven Evaluation of the Aggressiveness of Metastases to the Lung
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014Pages 553–560https://doi.org/10.1007/978-3-319-10404-1_69AbstractMetastases to the lung are a therapeutic challenge because some are fast-evolving while others evolve slowly. Any insight that can be provided for which nodule has to be treated first would help clinicians. In this work, we evaluate the ...
- ArticleSeptember 2022
On the Formalization of the Heat Conduction Problem in HOL
AbstractPartial Differential Equations (PDEs) are widely used for modeling the physical phenomena and analyzing the dynamical behavior of many engineering and physical systems. The heat equation is one of the most well-known PDEs that captures the ...
- research-articleSeptember 2022
Scientific Machine Learning Through Physics–Informed Neural Networks: Where we are and What’s Next
- Salvatore Cuomo,
- Vincenzo Schiano Di Cola,
- Fabio Giampaolo,
- Gianluigi Rozza,
- Maziar Raissi,
- Francesco Piccialli
Journal of Scientific Computing (JSCI), Volume 92, Issue 3https://doi.org/10.1007/s10915-022-01939-zAbstractPhysics-Informed Neural Networks (PINN) are neural networks (NNs) that encode model equations, like Partial Differential Equations (PDE), as a component of the neural network itself. PINNs are nowadays used to solve PDEs, fractional equations, ...
- research-articleApril 2022
Unsupervised document image binarization using a system of nonlinear partial differential equations
Applied Mathematics and Computation (APMC), Volume 418, Issue Chttps://doi.org/10.1016/j.amc.2021.126806Highlights- Unsupervised convergence of PDE based document image binarization.
- Robust to ...
Partial differential equations have recently been established as a viable framework for image processing, particularly for image binarization. One drawback of this framework is the requirement for manual parameter tuning. In this work ...
- research-articleJune 2019
Finite difference methods fengshui: alignment through a mathematics of arrays
ARRAY 2019: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array ProgrammingPages 2–13https://doi.org/10.1145/3315454.3329954Numerous scientific-computational domains make use of array data. The core computing of the numerical methods and the algorithms involved is related to multi-dimensional array manipulation. Memory layout and the access patterns of that data are crucial ...
- articleJune 2019
Equiareal Shape-from-Template
Journal of Mathematical Imaging and Vision (JMIV), Volume 61, Issue 5Pages 607–626https://doi.org/10.1007/s10851-018-0862-5This paper studies the 3D reconstruction of a deformable surface from a single image and a reference surface, known as the template. This problem is known as Shape-from-Template and has been recently shown to be well-posed for isometric deformations, ...
- ArticleSeptember 2015
On the Partial Analytical Solution of the Kirchhoff Equation
CASC 2015: Proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing - Volume 9301Pages 322–333https://doi.org/10.1007/978-3-319-24021-3_24We derive a combined analytical and numerical scheme to solve the 1+1-dimensional differential Kirchhoff system. Here the object is to obtain an accurate as well as an efficient solution process. Purely numerical algorithms typically have the ...
- ArticleDecember 2014
Close-Range Photometric Stereo with Point Light Sources
3DV '14: Proceedings of the 2014 2nd International Conference on 3D Vision - Volume 01Pages 115–122https://doi.org/10.1109/3DV.2014.68Shape recovery based on shading variations of a lighted object was recently revisited with improvements that allow for the photometric stereo approach to serve as a competitive alternative for other shape reconstruction methods. However, most efforts of ...
- ArticleJune 2013
Direct Shape Recovery from Photometric Stereo with Shadows
3DV '13: Proceedings of the 2013 International Conference on 3D VisionPages 382–389https://doi.org/10.1109/3DV.2013.57Reconstruction of 3D objects Based on images is useful in many applications. One of the methods Based on multi-image data is the Photometric Stereo technique relying on several photographs of the observed object from the same point of view, each one ...