Index Catalog // ScholarsArchive@OSU

Multiscale elliptic-parabolic systems for flow and transport

Creator:: Peszyńska, Malgorzata and Showalter, Ralph E.
Abstract:: An upscaled elliptic-parabolic system of partial differential equations describing the multiscale flow of a single-phase incompressible fluid and transport of a dissolved chemical by advection and diffusion through a heterogeneous porous medium is developed without the usual assumptions of scale separation. After a review of homogenization results for the traditional...
Resource Type:: Article
Full Text:: , (3.8)∫ Ωis φs ∂u∗si ∂t (y, t)wi(y)dA+ ∫ Ωis Bs∇u∗si(y, t)∇wi(y)dA = ∫ Γi qi(s, t)wi(s)dS , (3.9

Computation by a Turing machine carried out in a Minsky post tag formalism

Creator:: Henry, Calvin Oscar Leon
Abstract:: This thesis documents a method of proving that Turing machines work for every case, if the construction of the Turing machine is known. Mathematical Induction is used to construct the proof that the Turing machine for binary addition will work in every well-formed case of the input that it receives....
Resource Type:: Masters Thesis
Full Text:: occurrences of symbols having the form: qi j;qijsijpij where qi - old state sj - symbol being scanned qij

Speedups of ergodic group extensions

Creator:: Babichev, Audrey, Burton, Robert M., and Fieldsteel, Adam
Abstract:: Abstract: We prove that for all ergodic extensions S-1 of a transformation by a locally compact second countable group G, and for all G-extensions S₂ of an aperiodic transformation, there is a relative speedup of S₁ that is relatively isomorphic to S₂. We apply this result to give necessary and...
Resource Type:: Article
Full Text:: function qi : Ai → N with qi > p1 on Ai so that T qi : Ai → B is an isomorphism and σ(x, qi (x)) ∈ V gi

Cyclotomy in the Galois fields

Creator:: Pearson, Patricia Margaret
Resource Type:: Masters Thesis
Full Text:: theorem 3, ~(x) will be reducible in GF [qJ for a certain infinite set of qi (i =1, 2, ••• ). If gn(x

Precedence grammars and relation between precedence languages

Creator:: Yamagishi, Yoshiyuki
Abstract:: Context-free grammars are adequate for specifying the structure of almost all programming languages. But in such specifications, it is difficult and time consuming to analyze a statement in the programming language to recognize its structural components. Precedence grammars, a subset of the context-free grammars, were, developed for quick and easy...
Resource Type:: Masters Thesis
Full Text:: hold between any pair of symbols 51,52 E V. (1) Si -17 52 if and only if there exists a production of

Existence of Eta-Quotients for Squarefree Levels and Modular Type Supercongruences for Hypergeometric Functions

Creator:: Allen, Michael
Abstract:: In this dissertation, we consider two problems in number theory, both relating to modular forms. First we consider when a given modular form can be expressed as a quotient in Dedekind's $\eta$ function. Rouse and Webb \cite{RW} have determined the integers $N \leq 500$ such that the graded ring of...
Resource Type:: Dissertation

Some computational schemes equivalent to Turing machines

Creator:: Anderson, Sandra Elaine
Abstract:: Computational scheme, equivalence, and Turing machine are defined. Some computational schemes are examined and shown to be equivalent to the computational scheme of a Turing machine.
Resource Type:: Masters Thesis
Full Text:: (gP6B qi 1 (qp 6B) si 29 s L(gp4s.) Find symbol for comparison. J4 si +2L(gp3si) Comparison

Minimal simultaneous embeddings of central simple algebras

Creator:: Shea, Edward Carl
Resource Type:: Dissertation
Full Text:: know dK(Ai) divides dK(Ai; ; An) for each i, so dK(Ai; ...; An) = m [L : K] where v = max{ri si i= 1

Finite non-projective geometries without the axiom of parallels

Creator:: Henderson, Mason Edward
Resource Type:: Masters Thesis
Full Text:: P, only m of which are parallel to j, so n of the lines on P are on j. Suppose line qi is on j at

On the Dynamic Likelihood Approach to Data Assimilation for Stochastic Hyperbolic Geophysical Processes

Creator:: Foster, Dallas A.
Abstract:: Many geophysical phenomena exhibit complicated dynamics that, due to a variety of factors, diverge quickly from physical models. The arrival of new observations allows researchers to combine the model estimate with measurements in a statistical process called data assimilation to produce a revised estimate of the phenomenon. This assimilation of...
Resource Type:: Dissertation
Full Text:: particular grid cell Ci, let si−1/2 be defined as the speed of the solution at xi−1/2, sni−1/2 = f(Qi)− f(Qi

ScholarsArchive@OSU

Multiscale elliptic-parabolic systems for flow and transport

Computation by a Turing machine carried out in a Minsky post tag formalism

Speedups of ergodic group extensions

Cyclotomy in the Galois fields

Precedence grammars and relation between precedence languages

Existence of Eta-Quotients for Squarefree Levels and Modular Type Supercongruences for Hypergeometric Functions

Some computational schemes equivalent to Turing machines

Minimal simultaneous embeddings of central simple algebras

Finite non-projective geometries without the axiom of parallels

On the Dynamic Likelihood Approach to Data Assimilation for Stochastic Hyperbolic Geophysical Processes

Limit your search

Academic Affiliation

Advisor

Commencement Year

Committee Member

Creator

Date

Decade

Degree Field

Degree Level

Degree Name

File Format

Language

License

Non-Academic Affiliation

Peer Reviewed

Resource Type

Rights Statement

Subject

Search Constraints

Search Results

Limit your search