Results 131 to 140 of about 12,123 (304)
International Journal for Numerical Methods in Fluids, EarlyView.This work aims to develop a generalised and efficient semi‐analytical method that combines the Laplace decomposition method with Pade approximation (LDMPA) to solve multidimensional nonlinear integro‐partial differential equation. For a one‐dimension case, explicit (closed‐form) solutions for the number density functions are derived for the first time.
Somveer Keshav +4 more
wiley +1 more source
FoundationsThe often used analytical representation of the Maxwell–Boltzmann classical speed distribution function (F) for elastic, indivisible particles assumes an infinite limit for the speed.
Everett M. Criss, Anne M. Hofmeister
doaj +1 more source
International Journal for Numerical Methods in Fluids, EarlyView.This article provides important geometric formulas for node‐centered, edge‐based schemes in any number of dimensions. These formulas are noteworthy, as they do not require the explicit formation of dual regions. We prove several key geometric results, with a particular focus on the four‐dimensional case, due to potential space‐time applications ...
Nicholas Tufillaro +2 more
wiley +1 more source
Verifying Semistructured Data Normalization using PVS
, 2008 The dramatic expansion of semistructured data has led to the development of database systems for manipulating the data. Despite its huge potential, there is still a lack of formality and verification support in the design of good semistructured databases.
Lee, Scott Uk-Jin
core +1 more source
Exact Computation of the Color Function for Triangular Element Interfaces
International Journal for Numerical Methods in Fluids, EarlyView.We propose a robust algorithm, the Front2VOF algorithm, to compute the color function for triangular element interfaces in Front‐Tracking methods on a Cartesian mesh. ABSTRACT The calculation of the volume enclosed by curved surfaces discretized into triangular elements and a cube is of great importance in different domains, such as computer graphics ...
Jieyun Pan +8 more
wiley +1 more source
Strong Normalization via Natural Ordinal
, 1999 The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus.
Alves, Daniel Durante Pereira
core +1 more source
Reciprocal Convex Costs for Ratio Matching: Axiomatic Characterization
AxiomsWe study ratio-induced mismatch cost functions of the form c(s,o)=JιS(s)/ιO(o) built from positive scale maps ιS:S→R>0 and ιO:O→R>0 and a penalty J:(0,∞)→[0,∞).
Jonathan Washburn, Amir Rahnamai Barghi
doaj +1 more source
Extracting a normalization algorithm in Isabelle/HOL
, 2004 We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracted from it.
Stefan Berghofer
core
Some remarks on proof-theoretic semantics
, 2015 This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Intraday Functional PCA Forecasting of Cryptocurrency Returns
Journal of Forecasting, EarlyView.ABSTRACT We study the functional PCA (FPCA) forecasting method in application to functions of intraday returns on Bitcoin. We show that improved interval forecasts of future return functions are obtained when the conditional heteroscedasticity of return functions is taken into account.
Joann Jasiak, Cheng Zhong
wiley +1 more source