Cycle detection using a stack

We present an algorithm for detecting periodicity in sequences produced by repeated application of a given function. Our algorithm uses logarithmic memory with high probability, runs in linear time, and is guaranteed to stop within the second loop through the cycle. We also present a partitioning technique that offers a time/memory tradeoff. Our algorithm is especially well suited for sequences where the cycle length is typically small compared to the length of the acyclic prefix.     

Numerical Study of a Modified Time-Stepping θ-Scheme for Incompressible Flow Simulations

In [Turek (1996). Int. J. Numer. Meth. Fluids 22, 987–1011], we had performed numerical comparisons for different time stepping schemes for the incompressible Navier–Stokes equations. In this paper, we present the numerical analysis in the context of the Navier–Stokes equations for a modified time-stepping θ-scheme which has been recently proposed by Glowinski [Glowinski (2003). In: Ciarlet, P. G., and Lions, J. L. (eds.), Handbook of Numerical Analysis, Vol. IX, North-Holland, Amsterdam, pp. 3–1176]. Like the well-known classical Fractional-Step-θ-scheme which had been introduced by Glowinski [Glowinski (1985). In Murman, E. M. and Abarbanel, S. S. (eds.), Progress and Supercomputing in Computational Fluid Dynamics, Birkh?user, Boston MA; Bristeau et al. (1987). Comput. Phys. Rep. 6, 73–187], too, and which is still one of the most popular time stepping schemes, with or without operator splitting techniques, this new scheme consists of 3 substeps with nonequidistant substepping to build one macro time step. However, in contrast to the Fractional-Step-θ-scheme, the second substep can be formulated as an extrapolation step for previously computed data only, and the two remaining substeps look like a Backward Euler step so that no expensive operator evaluations for the right hand side vector with older solutions, as for instance in the Crank–Nicolson scheme, have to be performed. This modified scheme is implicit, strongly A-stable and second order accurate, too, which promises some advantageous behavior, particularly in implicit CFD simulations for the nonstationary Navier–Stokes equations. Representative numerical results, based on the software package FEATFLOW [Turek (2000). FEATFLOW Finite element software for the incompressible Navier–Stokes equations: User Manual, Release 1.2, University of Dortmund] are obtained for typical flow problems with benchmark character which provide a fair rating of the solution schemes, particularly in long time simulations.Dedicated to David Gottlieb on the occasion of his 60th anniversary     

Abrasive wear of dental composite resins

Abrasive wear is a major problem in the application of dental composite resins. In this study the friction and wear behaviours of two types of dental composites: one containing relatively coarse filler particles and some microfillers (Estilux) and another containing only microfiller particles (Durafill), have been investigated by using a scratch testing machine. Experimental results show that the coefficients of friction in both composites are essentially constant for applied loads up to 20 N. The wear resistance of Durafill is better than Estilux. Under the same testing conditions, the size, shape and distribution of the filler particles are more important variables than applied load and sliding speed in controlling the wear mechanism. It is shown that for Estilux, plastic ploughing by the diamond indenter is the predominant mechanism. For Durafill, however, the formation and propagation of tensile cracks on the worn surface is the main wear mechanism. The effects of two different indenters, diamond and enamel, on the basic wear mechanisms are also discussed.     

Drugs, memory, and metamemory: A dose-effect study with lorazepam and scopolamine.

This experiment was designed to use the graded dose-related amnesia produced by the benzodiazepine lorazepam (1.0, 2.0 mg/70 kg, oral) and the anticholinergic scopolamine (0.3, 0.6 mg/70 kg, subcutaneous) as a tool to explore the cognitive and neurochemical mechanisms underlying metamemory in the judgment of learning paradigm, with a placebo-controlled independent groups design in healthy volunteers (n=12/group). Results provide evidence for a pharmacological dissociation between effects on memory versus metamemory (relative accuracy of item-by-item monitoring) across a range of levels of memory performance and suggest that the drugs selectively impair those aspects of metamnemonic monitoring that require participants' awareness of their overall current state of functioning (absolute accuracy of prospective item-by-item monitoring, prospective global monitoring) but not those that rely solely on assessment of individual item characteristics (relative accuracy of item-by-item monitoring). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A unified approach to superresolution and multichannel blind deconvolution.

This paper presents a new approach to the blind deconvolution and superresolution problem of multiple degraded low-resolution frames of the original scene. We do not assume any prior information about the shape of degradation blurs. The proposed approach consists of building a regularized energy function and minimizing it with respect to the original image and blurs, where regularization is carried out in both the image and blur domains. The image regularization based on variational principles maintains stable performance under severe noise corruption. The blur regularization guarantees consistency of the solution by exploiting differences among the acquired low-resolution images. Several experiments on synthetic and real data illustrate the robustness and utilization of the proposed technique in real applications.     

Targeting optimum resource allocation using reverse problem formulations and property clustering techniques

Decoupling the constitutive equations from the balance and constraint equations allows for reformulating a conventional forward problem into two reverse problems. The first reverse problem is the reverse of a simulation problem, where the process model is solved in terms of the constitutive (synthesis/design) variables instead of the process variables, thus providing the synthesis/design targets. The second reverse problem (reverse property prediction) solves the constitutive equations to identify unit operations, operating conditions and/or products by matching the synthesis/design targets. Visualization of the problem is achieved by employing recently developed property clustering techniques, which allows a high-dimensional problem to be visualized in two or three dimensions. The clusters by definition satisfy intra-stream and inter-stream conservation through linear “mixing” rules, which allows for the development of consistent additive rules along with their ternary representation.     

Reasoning, Integration, Inference Alteration, and Text Comprehension.

This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved)