Convergence Of Particle Filtering Method For Nonlinear Estimation Of Vortex Dynamics,
2010
Louisiana State University
Convergence Of Particle Filtering Method For Nonlinear Estimation Of Vortex Dynamics, Sivaguru S Sritharan, Meng Xu
Communications on Stochastic Analysis
No abstract provided.
Covariance Identities And Mixing Of Random Transformations On The Wiener Space,
2010
Louisiana State University
Covariance Identities And Mixing Of Random Transformations On The Wiener Space, Nicolas Privault
Communications on Stochastic Analysis
No abstract provided.
The Itô Integral For A Certain Class Of Lévy Processes And Its Application To Stochastic Partial Differential Equations,
2010
Louisiana State University
The Itô Integral For A Certain Class Of Lévy Processes And Its Application To Stochastic Partial Differential Equations, Erika Hausenblas
Communications on Stochastic Analysis
No abstract provided.
Surface Measures On The Dual Space Of The Schwartz Space,
2010
Louisiana State University
Surface Measures On The Dual Space Of The Schwartz Space, S Chaari, F Cipriano, H.-H. Kuo, H Ouerdiane
Communications on Stochastic Analysis
No abstract provided.
Sufficient Conditions Of Optimality For Backward Stochastic Evolution Equations,
2010
Louisiana State University
Sufficient Conditions Of Optimality For Backward Stochastic Evolution Equations, Abdulrahman Al-Hussein
Communications on Stochastic Analysis
No abstract provided.
Automated Theorem Prover Axiom Management,
2010
California State University - San Bernardino
Automated Theorem Prover Axiom Management, Ashley T. Holeman, Ewen Denney
STAR Program Research Presentations
Automated Theorem Provers (ATPs), are computer programs that use collections of axioms,which are logical statements assumed to be true, in order to prove conjectures. NASA uses these programs to verify safety and functional requirements in domains like Guidance, Navigation, and Control. There are about 30 axioms on each major topic including the theory of coordinate systems, elementary arithmetic and linear algebra. These axioms have been created over the duration of many projects and combined into a single file. One task is to manage the axioms by arranging them into logical sections, deleting unnecessary ones and rewriting some into a more …
Agnostic Science. Towards A Philosophy Of Data Analysis,
2010
George Mason University
Agnostic Science. Towards A Philosophy Of Data Analysis, Domenico Napoletani, Marco Panza, Daniele C. Struppa
MPP Published Research
In this paper we will offer a few examples to illustrate the orientation of contemporary research in data analysis and we will investigate the corresponding role of mathematics. We argue that the modus operandi of data analysis is implicitly based on the belief that if we have collected enough and sufficiently diverse data, we will be able to answer most relevant questions concerning the phenomenon itself. This is a methodological paradigm strongly related, but not limited to, biology, and we label it the microarray paradigm. In this new framework, mathematics provides powerful techniques and general ideas which generate new …
An Anticipative Stochastic Calculus Approach To Pricing In Markets Driven By Lévy Process,
2010
Louisiana State University
An Anticipative Stochastic Calculus Approach To Pricing In Markets Driven By Lévy Process, Bernt Øksendal, Agnès Sulem
Communications on Stochastic Analysis
No abstract provided.
Preface,
2010
Louisiana State University
Persistence Of Invertibility In The Wiener Space,
2010
Louisiana State University
Persistence Of Invertibility In The Wiener Space, A S Üstünel
Communications on Stochastic Analysis
No abstract provided.
The Asymptotic Dependence Behavior Of Ornstein-Uhlenbeck Semi-Stable Processes,
2010
Louisiana State University
The Asymptotic Dependence Behavior Of Ornstein-Uhlenbeck Semi-Stable Processes, Balram S Rajput
Communications on Stochastic Analysis
No abstract provided.
Set-Valued Stochastic Differential Equation In M-Type 2 Banach Space,
2010
Louisiana State University
Set-Valued Stochastic Differential Equation In M-Type 2 Banach Space, Itaru Mitoma, Yoshiaki Okazaki, Jinping Zhang
Communications on Stochastic Analysis
No abstract provided.
On The Non-Classical Infinite Divisibility Of Power Semicircle Distributions,
2010
Louisiana State University
On The Non-Classical Infinite Divisibility Of Power Semicircle Distributions, Octavio Arizmendi, Victor Pérez-Abreu
Communications on Stochastic Analysis
No abstract provided.
Stochastic Magneto-Hydrodynamic System Perturbed By General Noise,
2010
Louisiana State University
Stochastic Magneto-Hydrodynamic System Perturbed By General Noise, P Sundar
Communications on Stochastic Analysis
No abstract provided.
What Is A Gaussian State?,
2010
Louisiana State University
What Is A Gaussian State?, K R Parthasarathy
Communications on Stochastic Analysis
No abstract provided.
A Stochastic Finite Element Method For Stochastic Parabolic Equations Driven By Purely Spatial Noise,
2010
Louisiana State University
A Stochastic Finite Element Method For Stochastic Parabolic Equations Driven By Purely Spatial Noise, Chia Ying Lee, Boris Rozovskii
Communications on Stochastic Analysis
No abstract provided.
Wavelet Transform Of Fractional Integrals For Integrable Boehmians,
2010
J. N. V. University
Wavelet Transform Of Fractional Integrals For Integrable Boehmians, Deshna Loonker, P. K. Banerji, S. L. Kalla
Applications and Applied Mathematics: An International Journal (AAM)
The present paper deals with the wavelet transform of fractional integral operator (the Riemann- Liouville operators) on Boehmian spaces. By virtue of the existing relation between the wavelet transform and the Fourier transform, we obtained integrable Boehmians defined on the Boehmian space for the wavelet transform of fractional integrals.
The Four-Color Theorem And Chromatic Numbers Of Graphs,
2010
Lynchburg College
The Four-Color Theorem And Chromatic Numbers Of Graphs, Sarah E. Cates
Undergraduate Theses and Capstone Projects
We study graph colorings of the form made popular by the four-color theorem. Proved by Appel and Haken in 1976, the Four-Color Theorem states that all planar graphs can be vertex-colored with at most four colors. We consider an alternate way to prove the Four-Color Theorem, introduced by Hadwiger in 1943 and commonly know as Hadwiger’s Conjecture. In addition, we examine the chromatic number of graphs which are not planar. More specifically, we explore adding edges to a planar graph to create a non-planar graph which has the same chromatic number as the planar graph which we started from.
Codes From Riemann-Roch Spaces For Y2 = Xp - X Over Gf(P),
2010
Gettysburg College
Codes From Riemann-Roch Spaces For Y2 = Xp - X Over Gf(P), Darren B. Glass, David Joyner, Amy Ksir
Math Faculty Publications
Let Χ denote the hyperelliptic curve y2 = xp - x over a field F of characteristic p. The automorphism group of Χ is G = PSL(2, p). Let D be a G-invariant divisor on Χ(F). We compute explicit F-bases for the Riemann-Roch space of D in many cases as well as G-module decompositions. AG codes with good parameters and large automorphism group are constructed as a result. Numerical examples using GAP and SAGE are also given.
Non Bayesian Conditioning And Deconditioning,
2010
University of New Mexico
Non Bayesian Conditioning And Deconditioning, Jean Dezert, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper, we present a Non-Bayesian conditioning rule for belief revision. This rule is truly Non-Bayesian in the sense that it doesn’t satisfy the common adopted principle that when a prior belief is Bayesian, after conditioning by X, Bel(X|X) must be equal to one. Our new conditioning rule for belief revision is based on the proportional conflict redistribution rule of combination developed in DSmT (Dezert-Smarandache Theory) which abandons Bayes’ conditioning principle. Such Non-Bayesian conditioning allows to take into account judiciously the level of conflict between the prior belief available and the conditional evidence. We also introduce the deconditioning problem …
