The Experts below are selected from a list of 306 Experts worldwide ranked by ideXlab platform
Helen Lever - One of the best experts on this subject based on the ideXlab platform.
-
an eocene to early oligocene unconformity Bounded Sequence in the punakaiki westport area west coast south island new zealand
New Zealand Journal of Geology and Geophysics, 2001Co-Authors: Helen LeverAbstract:Abstract The late Eocene to earliest Oligocene sediments between Punakaiki and Westport on the West Coast of the South Island, including the Brunner Coal Measures and the Rapahoe Group, comprise an unconformity‐Bounded transgressive‐regressive Sequence. The lower unconformity, below the Brunner Coal Measures, is formed on Cretaceous and Paleozoic granitoids, metamorphic rocks, and the Paleozoic Greenland Group metasediments. The upper bounding unconformity is located below the shoreline Little Totara Sand (a part of the Rapahoe Group) around Cape Foulwind, and between other elements of the Rapahoe Group and the overlying Nile Group limestones south of Charleston. The upper unconformity is usually erosional, and at Woodpecker Bay dissolution of a layer of rhodolithic limestone indicates subaerial exposure of the unconformity surface. An Early Whaingaroan age for the upper unconformity has been obtained at Gibsons Beach: the more southern exposures of the upper unconformity are poorly dated but consistent w...
Florentin Ipate - One of the best experts on this subject based on the ideXlab platform.
-
Bounded Sequence testing from deterministic finite state machines
Theoretical Computer Science, 2010Co-Authors: Florentin IpateAbstract:The W- andWp-methods are the basis for conformance testing from a deterministic finite state machine (DFSM) when the conformance relation considered is equivalence. However, many DFSM applications use only input Sequences of limited length. In such cases, the test data only need to establish that the implementation under test produces the specified responses for Sequences of length less than or equal to the upper bound l. This paper extends the W- and Wp-methods to the case in which only Bounded Sequences are allowed. The methods for Bounded Sequences are stronger than the originals since test suites for the unBounded case can be obtained as a particular case (in which the upper bound l is sufficiently large) from the new formulae. Furthermore, the generalization is not straightforward as it is not sufficient to extract the Sequences of length at most l from the test suites produced in the unBounded case, or even all prefixes of length at most l of the original test Sequences. The practicality of the methods is also improved in comparison to the unBounded case: the size of the test suites may be considerably reduced while the complexity of the test generation algorithms remains basically unchanged.
-
Bounded Sequence testing from non deterministic finite state machines
Lecture Notes in Computer Science, 2006Co-Authors: Florentin IpateAbstract:The widespread use of finite state machines (FSMs) in modeling of communication protocols has lead to much interest in testing from (deterministic and non-deterministic) FSMs. Most approaches for selecting a test suite from a non-deterministic FSM are based on state counting. Generally, the existing methods of testing from FSMs check that the implementation under test behaves as specified for all input Sequences. On the other hand, in many applications, only input Sequences of limited length are used. In such cases, the test suite needs only to establish that the IUT produces the specified results in response to input Sequences whose length does not exceed an upper bound l. A recent paper devises methods for Bounded Sequence testing from deterministic FSM specifications. This paper considers the, more general, situation where the specification may be a non-deterministic FSM and extends state counting to the case of Bounded Sequences. The extension is not trivial and has practical value since the test suite produced may contain only a small fraction of all Sequences of length less than or equal to the upper bound.
-
TestCom - Bounded Sequence testing from non-deterministic finite state machines
Lecture Notes in Computer Science, 2006Co-Authors: Florentin IpateAbstract:The widespread use of finite state machines (FSMs) in modeling of communication protocols has lead to much interest in testing from (deterministic and non-deterministic) FSMs. Most approaches for selecting a test suite from a non-deterministic FSM are based on state counting. Generally, the existing methods of testing from FSMs check that the implementation under test behaves as specified for all input Sequences. On the other hand, in many applications, only input Sequences of limited length are used. In such cases, the test suite needs only to establish that the IUT produces the specified results in response to input Sequences whose length does not exceed an upper bound l. A recent paper devises methods for Bounded Sequence testing from deterministic FSM specifications. This paper considers the, more general, situation where the specification may be a non-deterministic FSM and extends state counting to the case of Bounded Sequences. The extension is not trivial and has practical value since the test suite produced may contain only a small fraction of all Sequences of length less than or equal to the upper bound.
Serpil Pehlivan - One of the best experts on this subject based on the ideXlab platform.
-
Statistical convergence and statistical continuity on locally solid Riesz spaces
Topology and its Applications, 2012Co-Authors: Hüseyin Albayrak, Serpil PehlivanAbstract:Abstract In this work, we introduce the concepts of statistical τ -convergence, statistically τ -Cauchy Sequence and statistically τ -Bounded Sequence in a locally solid Riesz space endowed with the topology τ , and investigate some properties of these concepts. We also examine the statistical τ -continuity of a mapping defined on a locally solid Riesz space.
-
Statistically D-Bounded Sequences in probabilistic normed spaces
Applicable Analysis, 2009Co-Authors: Celaleddin Şençimen, Serpil PehlivanAbstract:In this study, the concept of a statistically D-Bounded Sequence in a probabilistic normed (PN) space endowed with the strong topology is introduced and its basic properties are investigated. It is shown that a strongly statistically convergent Sequence and a strong statistically Cauchy Sequence are statistically D-Bounded under certain conditions. A Sequence which goes far away from the limit point infinitely many times and presents random deviations in a PN space may be handled with the tools of strong statistical convergence and statistical D-Boundedness.
-
The core of a Sequence of fuzzy numbers
Fuzzy Sets and Systems, 2008Co-Authors: Salih Aytar, Serpil Pehlivan, Musa MammadovAbstract:In this paper, based on level sets we define the limit inferior and limit superior of a Bounded Sequence of fuzzy numbers and prove some properties. We extend the concept of the core of a Sequence of complex numbers, first introduced by Knopp in 1930, to a Bounded Sequence of fuzzy numbers and prove that the core of a Sequence of fuzzy numbers is the interval [@n,@m] where @n and @m are extreme limit points of the Sequence.
John C. Hopkins - One of the best experts on this subject based on the ideXlab platform.
-
Traps associated with paleovalleys and interfluves in an unconformity Bounded Sequence; Lower Cretaceous Glauconitic Member, southern Alberta, Canada
AAPG Bulletin, 1992Co-Authors: James M. Wood, John C. HopkinsAbstract:The Glauconitic member in Badger, Little Bow, Retlaw, and Turin fields is an unconformity Bounded Sequence that formed on an ancient coastal plain in response to relative sea level fluctuations. The member consists of valley-fill and inter-valley strata. Valley-fill sandstone bodies are thick elongate pods that formed from inner estuarine bars when sedimentation was laterally confined between valley margins. Inter-valley sandstone bodies are thin discontinuous sheets that accumulated during highstands when outer estuarine embayments covered interfluvial areas adjacent to associated valleys. Numerous oil pools are stratigraphically trapped within quartzose sandstones in valley-fill and inter-valley strata of the Glauconitic member in the study area. Common updip seals for these reservoirs are (1) intra-Sequence facies changes from sandstone to shale, and (2) low-permeability lithic sandstones that fill the cross-cutting paleovalleys of a younger Sequence. Traps associated with many valley-fill pools are enhanced by differential-compaction anticlines. Several oil pools in the study area are hosted by discrete quartzose sandstone bodies that lie beneath a valley filled with low-permeability lithic sandstone. These quartzose sandstone bodies are interpreted to be remnants of older Glauconitic deposits that escaped erosion when a younger valley incised into, and followed the trend of, one or more older Glauconitic valleys.
Jürgen Jost - One of the best experts on this subject based on the ideXlab platform.
-
Hilbert Spaces. Weak Convergence
Universitext, 2003Co-Authors: Jürgen JostAbstract:Hilbert spaces are Banach spaces with norm derived from a scalar product. A Sequence in a Hilbert space is said to converge weakly if its scalar product with any fixed element of the Hilbert space converges. Weak convergence satisfies important compactness properties that do not hold for ordinary convergence in an infinite dimensional Hilbert space. In particular, any Bounded Sequence contains a weakly convergent subSequence.
-
Uniform Convergence. Interchangeability of Limiting Processes. Examples of Banach Spaces. The Theorem of Arzela-Ascoli
Universitext, 1998Co-Authors: Jürgen JostAbstract:We introduce the notion of uniform convergence. This leads to Banach spaces of continuous and differentiable functions. We discuss when the limit of the derivatives of a convergent Sequence of functions equals the derivative of the limit and related questions. The theorem of Arzela-Ascoli is shown, saying that an equicontinuous and uniformly Bounded Sequence of functions on a closed and Bounded set contains a uniformly convergent subSequence.