Increasingly school counselors are being called upon to demonstrate that they contribute to students’ academic achievement. No Child Left Behind (NCLB) has led to an intense focus on the use of standardized test scores in measuring academic achievement and on educator accountability for producing measurable achievement gains. NCLB also calls for all educators to use interventions that have been...

This article presents SLAM, an Automatic Solver for Lexical Metaphors like “déshabiller* une pomme” (to undress* an apple). SLAM calculates a conventional solution for these productions. To carry on it, SLAM has to intersect the paradigmatic axis of the metaphorical verb “déshabiller*”, where “peler” (“to peel”) comes closer, with a syntagmatic axis that comes from a corpus where “peler une pom...

A simultaneous embedding with fixed edges (SEFE) of two planar graphs R and B is a pair of plane drawings of R and B that coincide when restricted to the common vertices and edges of R and B. We show that whenever R and B admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve with few bends and every pair of edges has few crossings. Specifically: (1) if R and B are trees ...

The classical approach to static cost analysis is based on transforming a given program into cost relations and solving them into closed-form upper-bounds. It is known that for some programs, this approach infers upper-bounds that are asymptotically less precise than the actual cost. As yet, it was assumed that this imprecision is due to the way cost relations are solved into upper-bounds. In t...

We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to solving nonlinear constraints, while using branch and bound in a conflict-directed manner. We report encouraging experimental results where the new procedure outperforms state-of-the-art SMT solvers based on bit-blasting.

Aesthetic and ethical issues of building design are presented here to encourage meaningful discussion among today’s archi­ tectural engineering students and practitioners. The evaluative aesthetic ideas of scale, simplicity, and surprise are applied to two important structures designed by Fazlur R. Khan. Khan’s profound understanding of load flow in his buildings influenced his aesthetic ideas....

Let E ⊆ F and E′ ⊆ F ′ be Borel equivalence relations on the standard Borel spaces X and Y , respectively. The pair (E,F ) is simultaneously Borel reducible to the pair (E′, F ′) if there is a Borel function f : X → Y that is both a reduction from E to E′ and a reduction from F to F ′. Simultaneous Borel embeddings and isomorphisms are defined analogously. We classify all pairs E ⊆ F of smooth ...