Strategic development in exact calculation: Group and individual differences in four achievement subtypes

This longitudinal study sought to identify developmental changes
in strategy use between 5 and 7 years of age when solving exact
calculation problems. Four mathematics and reading achievement
subtypes were examined at four time points. Five strategies were
considered: finger counting, verbal counting, delayed retrieval,
automatic retrieval, and derived fact retrieval. Results provided
unique insights into children’s strategic development in exact calculation
at this early stage. Group analysis revealed relationships
between mathematical and/or reading difficulties and strategy
choice, shift, and adaptiveness. Use of derived fact retrieval by
7 years of age distinguished children with mathematical difficulties
from other achievement subtypes. Analysis of individual differences
revealed marked heterogeneity within all subtypes,
suggesting (inter alia) no marked qualitative distinction between
our two mathematical difficulty subtypes.

Semiring induced valuation algebras: Exact and approximate local computation algorithms

Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra.There are many models of this algebraic structure ranging from probability theory to numerical analysis, relational databases and various classical and non-classical logics. It turns out that many interesting models of valuation algebras may be derived from semiring valued mappings. In this paper we study how valuation algebras are induced by semirings and how the structure of the valuation algebra is related to the algebraic structure of the semiring. In particular, c-semirings with idempotent multiplication induce idempotent valuation algebras and therefore permit particularly efficient architectures for local computation. Also important are semirings whose multiplicative semigroup is embedded in a union of groups. They induce valuation algebras with a partially defined division. For these valuation algebras, the well-known architectures for Bayesian networks apply. We also extend the general computational framework to allow derivation of bounds and approximations, for when exact computation is not feasible.

Constraint rule-based programming of norms for electronic institutions

Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows to supplement (and implement) electronic institutions with norms. We also show how some normative aspects are given computational interpretation. © 2008 Springer Science+Business Media, LLC.

Mechanical characterization of the varian Exact-arm and R-arm support systems for eight aS500 electronic portal imaging devices

The aim of this study is to compare the positioning accuracy at different gantry angles of two electronic portal imaging devices (EPIDs) support arm systems by using EPID difference images as a measure for displacement. This work presents a comparison of the mechanical performance of eight Varian aS500 (Varian Medical Systems, Palo Alto, CA) EPIDs, mounted using either the Varian Exact-arm or R-arm.