Beliefs and Perspectives of First‐Year,Alternative Preparation,Elementary Teachers in Urban Classrooms

Results from an earlier study ( Hart, 2002 ) suggested that a group of 14 teachers participating in an alternative preparation program for elementary teachers had developed beliefs that were consistent with current thinking in mathematics education. The current study follows 8 of those teachers into their first year of teaching in an urban classroom. Qualitative data were collected from three sources: reflection logs, mathematics case discussions, and field notes made during classroom observations. This provided a triangulation of perspectives: the teachers' views of themselves, the teachers' views of others, and the university faculty member's view of them. Also, teachers completed the Standards Belief Instrument (Zollman & Mason, 1996) at the end of Phase I and at the end of Phase II. Results from the instrument and the qualitative analysis suggest that the teachers maintained a strong reform perspective in their beliefs, but they were unable to consistently implement pedagogy that was consistent with those beliefs.     

Using Form and Function Analogy Object Boxes to Teach Human Body Systems

This study compares the use of form and function analogy object boxes to more traditional lecture and worksheet instruction during a 10th‐grade unit on human body systems. The study was conducted with two classes (N= 32) of mixed ability students at a high‐needs rural high school in central New York State. The study used a pretest/posttest design, in which the two classes alternated between conditions for the four systems (skeletal, digestive, immune, nervous). Both conditions involved students in quality instruction addressing the same concepts for the same amount of time. Additionally, all students participated in hands‐on labs. The experimental condition presented students with a set of objects analogous in form and function to parts of a human body system. Students matched objects with cards describing body system parts, mapped the analogies on a chart, generated alternative objects that could be used for the analogy, and finally, created new analogies for other body system parts. Students made significantly higher posttest and gain scores on material learned in the experimental condition, with a mean gain score average of 12.4 points out of 25, compared to 6.2 points in the control condition. Cohen's Effect Size was large, 1.36.     

Constructions of economic functions and calculations of marginal rates in DEA using parametric optimization methods

The aim of the paper is to present and substantiate a technique to visualize DEA modelling results without any loss of mathematical rigour. The proposed family of parametric optimization methods allows one to construct an intersection of the multidimensional frontier with a two-dimensional plane determined by any pair of given directions. This approach reduces the efficiency analysis of production units to the investigation of well-known functions in economics. We also propose constructive methods to calculate marginal rates of substitution, marginal rates of transformation and so on.     

Polynomial Quantization on Rank One Para-Hermitian Symmetric Spaces

We construct the polynomial quantization on the space G/H where G=SL(n,R),H=GL(n–1,R). It is a variant of quantization in the spirit of Berezin. In our case covariant and contravariant symbols are polynomials on G/H. We introduce a multiplication of covariant symbols, establish the correspondence principle, study transformations of symbols (the Berezin transform) and of operators. We write a full asymptotic decomposition of the Berezin transform.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

On a class of preconditioners for solving the Helmholtz equation

In 1983, a preconditioner was proposed [J. Comput. Phys. 49 (1983) 443] based on the Laplace operator for solving the discrete Helmholtz equation efficiently with CGNR. The preconditioner is especially effective for low wavenumber cases where the linear system is slightly indefinite. Laird [Preconditioned iterative solution of the 2D Helmholtz equation, First Year's Report, St. Hugh's College, Oxford, 2001] proposed a preconditioner where an extra term is added to the Laplace operator. This term is similar to the zeroth order term in the Helmholtz equation but with reversed sign. In this paper, both approaches are further generalized to a new class of preconditioners, the so-called “shifted Laplace” preconditioners of the form Δφ−k²φ with . Numerical experiments for various wavenumbers indicate the effectiveness of the preconditioner. The preconditioner is evaluated in combination with GMRES, Bi-CGSTAB, and CGNR.     

The long‐time behaviour of the thermoconvective flow in a porous medium

For the Boussinesq approximation of the equations of coupled heat and fluid flow in a porous medium we show that the corresponding system of partial differential equations possesses a global attractor. We give lower and upper bounds of the Hausdorff dimension of the attractor depending on a physical parameter of the system, namely the Rayleigh number of the flow. Numerical experiments confirm the theoretical findings and raise new questions on the structure of the solutions of the system. Copyright © 2004 John Wiley & Sons, Ltd.     

Some non‐standard problems in viscous flow

Energy bounds are derived for Dirichlet type boundary value problems for the Navier–Stokes and Stokes equations when a combination of the solution values initially and at a later time is prescribed. The bounds are obtained by means of a differential inequality and imply uniqueness and continuous data dependence of the solutions for a range of values of the parameter in the non‐standard auxiliary condition. Copyright © 2004 John Wiley & Sons, Ltd.