Rotators interacting with a pendulum via small, velocity independent, potentials are considered: the invariant tori with diophantine rotation numbers are unstable and have stable and unstable manifolds (\whiskers"), whose intersections deene a set of homoclinic points. The homoclinic splitting can be introduced as a measure of the splitting of the stable and unstable manifolds near to any homoc...

A two-level overlapping domain decomposition method is analyzed for a Nédélec spectral element approximation of a model problem appearing in the solution of Maxwell’s equations. The overlap between subdomains can consist of entire spectral elements or rectangular subsets of spectral elements. For fixed relative overlap and overlap made from entire elements, the condition number of the method is...

Resistive switching random access memory (RRAM) is one of the most promising candidates with high-density three-dimensional integration characteristics for next-generation nonvolatile technology. However, poor uniformity issue caused by stochastic property conductive filament (CF) impedes large-scale manufacture RRAM chips. Subulate array has been introduced into to minimize CF randomness, but ...

1 Abstract In order to study circuit complexity classes within NC 1 in a uniform setting, we need a uniformity condition which is more restrictive than those in common use. Two such conditions, stricter than NC 1 uniformity Ru81,Co85], have appeared in recent research: Immerman's families of circuits deened by rst-order formulas Im87a,Im87b] and a uniformity corresponding to Buss' deterministic...

We generalize various notions of generalized metrics even further to one general concept comprising them all. For convenience, we turn around the ordering in the target domain of the generalized metrics so that we speak of similarity instead of distance. Starting from an extremely general situation without axioms, we examine which axioms or additional properties are needed to obtain useful resu...

Here we present the principal ideas and results of [5] with some indications of proof. We introduce the notion of measure-theoretic uniformity, and we describe its use in recursion theory, hyperarithmetic analysis, and set theory. In recursion theory we show that the set of all sets T such that the ordinals recursive in T are the recursive ordinals has measure 1. In set theory we obtain all of ...

The worker/wrapper transformation is a general technique for improving the performance of recursive programs by changing their types. The previous formalisation (Gill & Hutton, 2009) was based upon a simple fixed point semantics of recursion. In this article we develop a more structured approach, based upon initial algebra semantics. In particular, we show how the worker/wrapper transformation ...

A recent paper by Graham Hutton and Diana Fulger (‘Reasoning about Effects: Seeing the Wood through the Trees’, Trends in Functional Programming, 2008) addresses the problem of reasoning about effectful functional programs, using a relabelling function on binary trees as a simple example. We argue that their approach is less effective than it might be, because they miss two opportunities for hi...

the notions of quasi-prime submodules and developed  zariski topology was introduced by the present authors in cite{ah10}. in this paper we use these notions to define a scheme. for an $r$-module $m$, let $x:={qin qspec(m) mid (q:_r m)inspec(r)}$. it is proved that $(x, mathcal{o}_x)$ is a locally ringed space. we study the morphism of locally ringed spaces induced by $r$-homomorphism $mrightar...

high efficiency and uniformity of water and fertilizer application are usually, considered as the ultimate goals of an appropriate design and management of irrigation and fertigation systems. the objective followed in this paper was to present a simulation-optimization model for alternate vs. conventional furrow fertigation. two simulation models (surface fertigation and swms-2d models) along w...