Modal Logic And Its Applications, Explained Using Puzzles And Examples,
2011
Portland State University
Modal Logic And Its Applications, Explained Using Puzzles And Examples, Marek Perkowski
Systems Science Friday Noon Seminar Series
The talk introduces Modal Logic as an extension of classical propositional and First Order Logics. We discuss motivations of Lewis to create modal logic system, axioms and rules of proof. Several examples illustrate deriving theorems from axioms. "Muddy Children" puzzle is used to explain the principles of dealing with uncertainty problems where a temporal lack of response is used as additional information. Other examples include "Narrow Bridge" problem/game which relates to the problem of necessary evil in the world, robot planning and law and robot morality problems, especially related to military robots and use of force by police. Kripke semantics …
A Primer On Chaos And Fractals,
2011
Western Kentucky University
A Primer On Chaos And Fractals, Bruce Kessler
Mathematics Faculty Publications
This is a prelude to a performance of the play "Arcadia" exclusively for the science and math majors of Lipscomb University. One of the main characters of the story is a mathematical genius, and has realized the power and limitations of iterations in generating mathematical models and structures, although she is living in the early 1800's. This talk gives an introduction to the ideas of chaos theory, fractals, and randomness.
The Schroedinger Equation With Potential In Rough Motion,
2011
University at Albany, State University of New York
The Schroedinger Equation With Potential In Rough Motion, Marius Beceanu, Avy Soffer
Mathematics and Statistics Faculty Scholarship
This paper proves endpoint Strichartz estimates for the linear Schroedinger equation in R 3 , with a time-dependent potential that keeps a constant profile and is subject to a rough motion, which need not be differentiable and may be large in norm. The potential is also subjected to a time-dependent rescaling, with a non-differentiable dilation parameter. We use the Strichartz estimates to prove the non-dispersion of bound states, when the path is small in norm, as well as boundedness of energy. We also include a sample nonlinear application of the linear results.
Nonsolvable Polynomials With Field Discriminant 5A,
2011
University of Minnesota - Morris
Nonsolvable Polynomials With Field Discriminant 5A, David P. Roberts
Mathematics Publications
We present the first explicitly known polynomials in Z[x] with nonsolvable Galois group and field discriminant of the form ±pA for p ≤ 7 a prime. Our main polynomial has degree 25, Galois group of the form PSL2(5)5.10, and field discriminant 569. A closely related polynomial has degree 120, Galois group of the form SL2(5)5.20, and field discriminant 5311. We completely describe 5-adic behavior, finding in particular that the root discriminant of both splitting fields is 125 · 5-1/12500 ≈ 124.984 and the class number of …
On Zeros And Local Infima Of Brownian Motion,
2011
Louisiana State University
On Zeros And Local Infima Of Brownian Motion, Michel Weber
Communications on Stochastic Analysis
No abstract provided.
Packing Dimension Results For Anisotropic Gaussian Random Fields,
2011
Louisiana State University
Packing Dimension Results For Anisotropic Gaussian Random Fields, Anne Estrade, Dongsheng Wu, Yimin Xiao
Communications on Stochastic Analysis
No abstract provided.
Permanental Processes,
2011
Louisiana State University
Permanental Processes, Hana Kogan, Michael B Marcus, Jay Rosen
Communications on Stochastic Analysis
No abstract provided.
Efficient Estimation Of Spectral Functionals For Gaussian Stationary Models,
2011
Louisiana State University
Efficient Estimation Of Spectral Functionals For Gaussian Stationary Models, Mamikon S Ginovyan
Communications on Stochastic Analysis
No abstract provided.
On Fractional Ornstein-Uhlenbeck Processes,
2011
Louisiana State University
On Fractional Ornstein-Uhlenbeck Processes, Terhi Kaarakka, Paavo Salminen
Communications on Stochastic Analysis
No abstract provided.
Itô'S Formula For A Sub-Fractional Brownian Motion,
2011
Louisiana State University
Itô'S Formula For A Sub-Fractional Brownian Motion, Litan Yan, Guangjun Shen, Kun He
Communications on Stochastic Analysis
No abstract provided.
Self-Similarity Parameter Estimation And Reproduction Property For Non-Gaussian Hermite Processes,
2011
Louisiana State University
Self-Similarity Parameter Estimation And Reproduction Property For Non-Gaussian Hermite Processes, Alexandra Chronopoulou, Ciprian A Tudor, Frederi G Viens
Communications on Stochastic Analysis
No abstract provided.
The Long-Range Dependence Of Linear Log-Fractional Stable Motion,
2011
Louisiana State University
The Long-Range Dependence Of Linear Log-Fractional Stable Motion, Joshua B Levy, Murad S Taqqu
Communications on Stochastic Analysis
No abstract provided.
Year-Round Calendars At The High School Level,
2011
Bemidji State University
Year-Round Calendars At The High School Level, Matthew Nohner
Mathematics Graduate Theses
The purpose of this paper is to explore the effects of a year round calendar on math scores at the high school level. Students forget facts, especially math facts, over long extended breaks. Year round calendars aim to address this dilemma by minimizing long breaks from learning. The results of year round calendars have been mixed. Some schools have reported both academic and monetary gains after switching from a traditional calendar, while other schools have seen modest gains in student learning. All studies cited in this paper report that at-risk and low socioeconomic students benefit academically from a year round …
A Review Of Some Methods To Estimate The Tail Of The Distribution Of The Maximum Of A Gaussian Field,
2011
Louisiana State University
A Review Of Some Methods To Estimate The Tail Of The Distribution Of The Maximum Of A Gaussian Field, Mario Wschebor
Communications on Stochastic Analysis
No abstract provided.
A Model Of Continuous Time Polymer On The Lattice,
2011
Louisiana State University
A Model Of Continuous Time Polymer On The Lattice, David Márquez-Carreras, Carles Rovira, Samy Tindel
Communications on Stochastic Analysis
No abstract provided.
On Local Times Of Anisotropic Gaussian Random Fields,
2011
Louisiana State University
On Local Times Of Anisotropic Gaussian Random Fields, Dongsheng Wu, Yimin Xiao
Communications on Stochastic Analysis
No abstract provided.
Undamped Harmonic Oscillator Driven By Additive Gaussian White Noise: A Statistical Analysis,
2011
Louisiana State University
Undamped Harmonic Oscillator Driven By Additive Gaussian White Noise: A Statistical Analysis, N Lin, S V Lototsky
Communications on Stochastic Analysis
No abstract provided.
Preface,
2011
Louisiana State University
Complete Characterizations Of Local Weak Sharp Minima With Applications To Semi-Infinite Optimization And Complementarity,
2011
Wayne State University
Complete Characterizations Of Local Weak Sharp Minima With Applications To Semi-Infinite Optimization And Complementarity, Boris S. Mordukhovich, Naihua Xiu, Jinchuan Zhou
Mathematics Research Reports
In this paper we identify a favorable class of nonsmooth functions for which local weak sharp minima can be completely characterized in terms of normal cones and subdifferentials, or tangent cones and subderivatives, or their mixture in finite-dimensional spaces. The results obtained not only significantly extend previous ones in the literature, but also allow us to provide new types of criteria for local weak sharpness. Applications of the developed theory are given to semi-infinite programming and to semi-infinite complementarity problems.
Signal And Noise In Complex-Valued Sense Mr Image Reconstruction,
2011
Marquette University
Signal And Noise In Complex-Valued Sense Mr Image Reconstruction, Daniel B. Rowe, Iain P. Bruce
Mathematics, Statistics and Computer Science Faculty Research and Publications
In fMRI, brain images are not measured instantaneously and a volume of images can take two seconds to acquire at a low 64x64 resolution. Significant effort has been put forth on many fronts to decrease image acquisition time including parallel imaging. In parallel imaging, sub-sampled spatial frequency points are measured in parallel and combined to form a single image. Measurement time is decreased at the expense of increased image reconstruction difficulty and time. One significant parallel imaging technique known as SENSE utilizes a complex-valued regression coefficient estimation process with transposes replaced by conjugate transposes. However, in SENSE the noise structure …
