Results 21 to 30 of about 3,544,307 (156)
, 2023 <p>Some examples of the usage of Agda as proof assistant. Mirror of <a href="https://gitlab.com/DPDmancul/agda-examples">https://gitlab.com/DPDmancul/agda-examples</a></p><p><a href="https://wiki.portal.chalmers.se/agda ...
Davide Peressoni
core +1 more source
The Difference Format of Landau-Lifshitz Equation in Two-dimensional Case
MATEC Web of Conferences, 2015 In this paper, the author considers a difference scheme of Laudau-Lifshitz equation (LL for short) and modulus of unj which are constantly remaining equal to 1.
Zhong Taiyong
doaj +1 more source
Towards a Spectral Method of Moments using Computer Aided Design [PDF]
Advances in Radio Science, 2019 We present first numerical examples of how the framework of isogeometric boundary element methods, in the context of electromagnetism also known as method of moments, can be used to achieve higher accuracies by elevation of the degree of basis functions.
S. Kurz, S. Schöps, F. Wolf
doaj +1 more source
Efficient approximation of random fields for numerical applications [PDF]
, 2014 This article is dedicated to the rapid computation of separable expansions for the approximation of random fields. We consider approaches based on techniques from the approximation of non-local operators on the one hand and based on the pivoted Cholesky ...
Michael Peters +5 more
core +1 more source
Fractal and Fractional, 2022 In this article, we develop a numerical method based on the operational matrices of shifted Vieta–Lucas polynomials (VLPs) for solving Caputo fractional-order differential equations (FDEs).
Zulfiqar Ahmad Noor +3 more
doaj +1 more source
Numerical methods for Stochastic differential equations: two examples
ESAIM: Proceedings and Surveys, 2018 The goal of this paper is to present a series of recent contributions arising in numerical probability. First we present a contribution to a recently introduced problem: stochastic differential equations with constraints in law, investigated through ...
de Raynal Paul-Éric Chaudru +2 more
doaj +1 more source
Continuum Field Model of Street Canyon: Numerical Examples. Part 2
Engineering Transactions, 2015 Continuum field control model of a street canyon is considered. The six separate monocriterial optimal control problems consist of minimization of functionals of the total travel time, of global emissions of pollutants, and of global concentrations of ...
M.M. Duras
doaj +1 more source
International Journal of Differential Equations, 2021 In this paper, a class of fractional order differential equation expressed with Atangana–Baleanu Caputo derivative with nonlinear term is discussed.
Meryeme Hassouna +2 more
doaj +1 more source
Clustering solver for displacement-based numerical homogenization
Theoretical and Applied Mechanics Letters, 2022 Based on strain-clustering via k-means, we decompose computational domain into clusters of possibly disjoint cells. Assuming cells in each cluster take the same strain, we reconstruct displacement field.
Shaoqiang Tang, Xi Zhu
doaj +1 more source
A Stokes model with cavitation for the numerical simulation of hydrodynamic lubrication
, 2010 We present a cavitation model based on the Stokes equation and formulate adaptive finite element methods for its numerical solution. A posteriori error estimates and adaptive algorithms are derived, and numerical examples illustrating the theory are ...
Hansbo, Peter F G +9 more
core +1 more source