Minesweeper on graphs

Minesweeper is a popular single player game. It has been shown that the Minesweeper consistency problem is NP-complete and the Minesweeper counting problem is #P-complete. In this paper, we present efficient algorithms for solving these problems for Minesweeper graphs with bounded treewidth. Our algorithms turn out to be much better than those based directly on dynamic programming. The algorithms mostly use of algebraic operations on multivariate polynomials, so that one may use existing software to implement them easily.     

Analyzing the orientation dependence of stresses in polycrystals using vertices of the single crystal yield surface and crystallographic fibers of orientation space

The influence of the polygonal geometry of the restricted slip-associated yield surface on the distribution of stresses over a polycrystalline aggregate is examined. The vertices of the yield surface (stress states corresponding to polyslip) are grouped according to symmetries imposed by crystal structure. A measure of coaxiality between crystal stresses and yield surface vertex stresses is used to quantify the proximity of the stress in each crystal to a yield surface vertex. It is shown that for prescribed stress states, crystal stresses align more closely with certain families of vertices than with others and this relation between crystal and vertex stresses is found to depend on crystallographic fibers. Using this information, the stress distributions from finite element simulations of face centered cubic polycrystals are analyzed for different stress states ranging from uniaxial to balanced biaxial. Over the fundamental region of orientations, the propensity for the stress to align with a vertex is demonstrated. Further, the stresses in elements contributing to certain crystallographic fibers are shown to favor the vertex families aligned with those fibers. The implications of these results on mechanical behaviors, especially with respect to those observed in diffraction experiments, are discussed.     

A bond-order analysis of the mechanism for hydrated proton mobility in liquid water

Bond-order analysis is introduced to facilitate the study of cooperative many-molecule effects on proton mobility in liquid water, as simulated using the multistate empirical valence-bond methodology. We calculate the temperature dependence for proton mobility and the total effective bond orders in the first two solvation shells surrounding the H(5)O(2) (+) proton-transferring complex. We find that proton-hopping between adjacent water molecules proceeds via this intermediate, but couples to hydrogen-bond dynamics in larger water clusters than previously anticipated. A two-color classification of these hydrogen bonds leads to an extended mechanism for proton mobility.     

Rings over which all torsion theories cogenerated by simple modules are jansian

Summary It is given a caracterization of (associative) rings (with unit element) over which all torsion theories cogenerated by simple modules are jansian. In the commutative case it is shown that such rings are finite products of local rings.

---

Riassunto Vengono caratterizzati gli anelli (associativi con unità) per i quali tutte le teorie di torsione cogenerate da moduli semplici sono Jansiane. Nel caso commutativo si prova che tali anelli sono prodotti finiti di anelli locali.

---

---

This work was written while the second author was visiting Università dell'Aquila, supported by a grant from the Consiglio Nazionale delle Ricerche.     

Hierarchical superstructure of alkylamine-coated ZnS nanoparticle assemblies

We describe methodology for producing highly uniform, ordered and reproducible superstructures of surfactant-coated ZnS nanorod and nanowire assemblies, and propose a predictive multiscale "packing model" for superstructure formation based on electron microscopy and powder X-ray diffraction data on the superstructure, as well as on individual components of the nanostructured system. The studied nanoparticles showed a hierarchical structure starting from the individual faceted ZnS inorganic cores, onto which the crystalline surfactant molecules are adsorbed, to the superstructure of the nanoparticle arrays. Our results point out the critical role of the surfactant headgroup and polarity in nanoparticle assembly, and demonstrate the relationship between the molecular structure of the surfactant and the resulting superstructure of the nanoparticle assemblies.     

Floating electrode dielectrophoresis

In practice, dielectrophoresis (DEP) devices are based on micropatterned electrodes. When subjected to applied voltages, the electrodes generate nonuniform electric fields that are necessary for the DEP manipulation of particles. In this study, electrically floating electrodes are used in DEP devices. It is demonstrated that effective DEP forces can be achieved by using floating electrodes. Additionally, DEP forces generated by floating electrodes are different from DEP forces generated by excited electrodes. The floating electrodes' capabilities are explained theoretically by calculating the electric field gradients and demonstrated experimentally by using test-devices. The test-devices show that floating electrodes can be used to collect erythrocytes (red blood cells). DEP devices which contain many floating electrodes ought to have fewer connections to external signal sources. Therefore, the use of floating electrodes may considerably facilitate the fabrication and operation of DEP devices. It can also reduce device dimensions. However, the key point is that DEP devices can integrate excited electrodes fabricated by microtechnology processes and floating electrodes fabricated by nanotechnology processes. Such integration is expected to promote the use of DEP devices in the manipulation of nanoparticles.     

Exploring informal mathematical products of low achievers at the secondary school level

This article examines the notion of informal mathematical products, in the specific context of teaching mathematics to low achieving students at the secondary school level. The complex and relative nature of this notion is illustrated and some of its characteristics are suggested. These include the use of ad-hoc strategies, mental calculations, idiosyncratic ideas, everyday rather than mathematical language, non-symbolic explanations, visual justifications and common-sense based reasoning. The main argument raised in the article concerns the challenge of valuing informal mathematical products, created by low achievers, and using them within the mathematics classroom as means for advancing such students. The data draws from several research and design projects conducted in Israel since 1991. Selected examples of students’ products, gathered from low-track mathematics classrooms involved in these projects, are presented and analyzed. The analyses highlight various features of such products, and portray the possible gains of teaching approaches that legitimize, and build onwards from, informal products of low achievers.