Improving literacy and metacognition with electronic portfolios: Teaching and learning with ePEARL

Can an electronic portfolio that is both a multimedia container for student work and a tool to support key learning processes have a positive impact on the literacy practices and self-regulated learning skills of students? This article presents the findings of a yearlong study conducted in three Canadian provinces during the 2007–2008 school year initially involving 32 teachers and 388 students. Due to varying levels of implementation our final data set included 14 teachers and 296 students. Using a non-equivalent pre-test/post-test design, we found that grade 4–6 students who were in classrooms where the teacher provided regular and appropriate use of the electronic portfolio tool ePEARL (i.e., medium–high implementation condition, n = 7 classrooms and 121 students), compared to control students (n = 7 classrooms and 175 students) who did not use ePEARL, showed significant improvements (p < .05) in their writing skills on a standardized literacy measure (i.e., the constructed response subtest of the Canadian Achievement Test-4th ed.) and certain metacognitive skills measured via student self-report. The results of this study indicate that teaching with ePEARL has positive impacts on students’ literacy and self-regulated learning skills when the tool is used regularly and integrated into classroom instruction.     

Eliciting Preferences on Multiattribute Societies with a Choquet Integral

This paper reexamines the construction of indicators of standards of living, by focussing on the challenges raised by the subjectivity and the multidimensionality of living conditions. For that purpose, we apply Choquet integral-based multiattribute value theory to the elicitation, from rankings of multiattribute hypothetical societies, of individual preferences on different dimensions of living conditions. A simple application of the proposed approach highlights that preferences on multiattribute societies cannot, in general, be represented by an additive value model, as there exist complementarities and redundancies between different dimensions of standards of living. Our elicitation exercise reveals also a strong heterogeneity of individual preferences on hypothetical societies. Finally, we explore how elicited preferences can be used to cast a new light on the ranking of actual societies.     

Programs That Test Themselves

The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.     

Semisimple algebras of almost minimal rank over the reals

A famous lower bound for the bilinear complexity of the multiplication in associative algebras is the Alder–Strassen bound. Algebras for which this bound is tight are called algebras of minimal rank. After 25 years of research, these algebras are now well understood. Here we start the investigation of the algebras for which the Alder–Strassen bound is off by one. As a first result, we completely characterize the semisimple algebras over R$\mathbb{R}$ whose bilinear complexity is by one larger than the Alder–Strassen bound. Furthermore, we characterize all algebras A$A$ (with radical) of minimal rank plus one over R$\mathbb{R}$ for which A/radA$A/radA$ has minimal rank plus one. The other possibility is that A/radA$A/radA$ has minimal rank. For this case, we only present a partial result.     

The effect of the microfluidic diodicity on the efficiency of valve-less rectification micropumps using Lattice Boltzmann Method

The efficiency of the valve-less rectification micropump depends primarily on the microfluidic diodicity (the ratio of the backward pressure drop to the forward pressure drop). In this study, different rectifying structures, including the conventional structures (nozzle/diffuser and Tesla structures), were investigated at very low Reynolds numbers (between 0.2 and 60). The rectifying structures were characterized with respect to their design, and a numerical approach was illustrated to calculate the diodicity for the rectifying structures. In this study, the microfluidic diodicity was evaluated numerically for different rectifying structures including half circle, semicircle, heart, triangle, bifurcation, nozzle/diffuser, and Tesla structures. The Lattice Boltzmann Method (LBM) was utilized as a numerical method to simulate the fluid flow in the microscale. The results suggest that at very low Reynolds number flow, rectification and multifunction micropumping may be achievable by using a number of the presented structures. The results for the conventional structures agree with the reported results.     

Model checking communicative agent-based systems

Model checking is a formal technique used to verify communication protocols against given properties. In this paper, we propose a new model checking algorithm aims at verifying systems designed as a set of autonomous interacting agents. These software agents are equipped with knowledge and beliefs and interact with each other according to protocols governed by a set of logical rules. We present a tableauased version of this algorithm and provide the soundness, completeness, termination and complexity results. A case study about an agent-based negotiation protocol and its implementation are also described.     

BubbleNet: A Cyber Security Dashboard for Visualizing Patterns

The field of cyber security is faced with ever‐expanding amounts of data and a constant barrage of cyber attacks. Within this space, we have designed BubbleNet as a cyber security dashboard to help network analysts identify and summarize patterns within the data. This design study faced a range of interesting constraints from limited time with various expert users and working with users beyond the network analyst, such as network managers. To overcome these constraints, the design study employed a user‐centered design process and a variety of methods to incorporate user feedback throughout the design of BubbleNet. This approach resulted in a successfully evaluated dashboard with users and further deployments of these ideas in both research and operational environments. By explaining these methods and the process, it can benefit future visualization designers to help overcome similar challenges in cyber security or alternative domains.     

A Quantum Monte Carlo method at fixed energy

In this paper we explore ways to study the zero temperature limit of quantum statistical mechanics using Quantum Monte Carlo simulations. We develop a Quantum Monte Carlo method in which one fixes the ground state energy as a parameter. The Hamiltonians we consider are of the form H=H₀+λV with ground state energy E. For fixed H₀ and V, one can view E as a function of λ whereas we view λ as a function of E. We fix E and define a path integral Quantum Monte Carlo method in which a path makes no reference to the times (discrete or continuous) at which transitions occur between states. For fixed E we can determine λ(E) and other ground state properties of H.     

Mapping arctic landfast ice extent using L-band synthetic aperture radar interferometry

In recent years methods have been developed to extract the seaward landfast ice edge from series of remote sensing images, with most of them relying on incoherent change detection in optical, infrared, or radar amplitude imagery. While such approaches provide valuable results, some still lack the required level of robustness and all lack the ability to fully automate the detection and mapping of landfast ice over large areas and long time spans. This paper introduces an alternative approach to mapping landfast ice extent that is based on coherent processing of interferometric L-band Synthetic Aperture Radar (SAR) data. The approach is based on a combined interpretation of interferometric phase pattern and interferometric coherence images to extract the extent and stability of landfast ice. Due to the low complexity of the base imagery used for landfast ice extraction, significant improvements in automation and reduction of required manual interactions by operators can be achieved. A performance analysis shows that L-band interferometric SAR (InSAR) data enable the mapping of landfast ice with high robustness and accuracy for a wide range of environmental conditions.     

Computing efficiently the lattice width in any dimension

We provide an algorithm for the exact computation of the lattice width of a set of points K in Z² in linear-time with respect to the size of K. This method consists in computing a particular surrounding polygon. From this polygon, we deduce a set of candidate vectors allowing the computation of the lattice width. Moreover, we describe how this new algorithm can be extended to an arbitrary dimension thanks to a greedy and practical approach to compute a surrounding polytope. Indeed, this last computation is very efficient in practice as it processes only a few linear time iterations whatever the size of the set of points. Hence, it avoids complex geometric processings.