Polynomial-time Solvable #CSP Problems via Algebraic Models and Pfaffian Circuits

A Pfaffian circuit is a tensor contraction network where the edges are labeled with changes of bases in such a way that a very specific set of combinatorial properties are satisfied. By modeling the permissible changes of bases as systems of polynomial equations, and then solving via computation, we are able to identify classes of 0/1 planar #CSP problems solvable in polynomial-time via the Pfaffian circuit evaluation theorem (a variant of L. Valiant's Holant Theorem). We present two different models of 0/1 variables, one that is possible under a homogeneous change of basis, and one that is possible under a heterogeneous change of basis only. We enumerate a series of 1,2,3, and 4-arity gates/cogates that represent constraints, and define a class of constraints that is possible under the assumption of a ``bridge" between two particular changes of bases. We discuss the issue of planarity of Pfaffian circuits, and demonstrate possible directions in algebraic computation for designing a Pfaffian tensor contraction network fragment that can simulate a swap gate/cogate. We conclude by developing the notion of a decomposable gate/cogate, and discuss the computational benefits of this definition

Measuring changes in the behavior and attitudes of street-corner groups of boys towards an agency with a detached worker service.

Thesis (M.S.)--Boston Universit

An Algebraic Exploration of Dominating Sets and Vizing's Conjecture

Systems of polynomial equations are commonly used to model combinatorial problems such as independent set, graph coloring, Hamiltonian path, and others. We formulate the dominating set problem as a system of polynomial equations in two di erent ways: rst, as a single, high-degree polynomial, and second as a collection of polynomials based on the complements of domination-critical graphs. We then provide a su cient criterion for demonstrating that a particular ideal representation is already the universal Gr obner bases of an ideal, and show that the second representation of the dominating set ideal in terms of domination-critical graphs is the universal Gr obner basis for that ideal. We also present the rst algebraic formulation of Vizing's conjecture, and discuss the theoretical and computational rami cations to this conjecture when using either of the two dominating set representations described above

Designed-in security for cyber-physical systems

An expert from academia, one from a cyber-physical system (CPS) provider, and one from an end asset owner and user offer their different perspectives on the meaning and challenges of 'designed-in security.' The academic highlights foundational issues and talks about emerging technology that can help us design and implement secure software in CPSs. The vendor's view includes components of the academic view but emphasizes the secure system development process and the standards that the system must satisfy. The user issues a call to action and offers ideas that will ensure progress

Potential for head injuries in infants from low-height falls: Laboratory investigation

Object. Falls are the most common accident scenario in young children as well as the most common history provided in child abuse cases. Understanding the biomechanics of falls provides clinicians with objective data to aid in their diagnosis of accidental or inflicted trauma. The objective of this study was to determine impact forces and angular accelerations associated with low-height falls in infants. Methods. An instrumented anthropomorphic infant surrogate was created to measure the forces and 3D angular accelerations associated with falls from low heights (0.3–0.9 m) onto a mattress, carpet pad, or concrete. Results. Although height significantly increased peak angular acceleration (αp), change in peak-to-peak angular velocity, time duration associated with the change in velocity, and peak impact force (Fp) for head-first drops onto a carpet pad or concrete, none of these variables were significantly affected by height when dropped onto a mattress. The αp was not significantly different for drops onto a carpet pad and concrete from 0.6 or 0.9 m due to compression of the carpet pad. Surprisingly, sagittal αp was equaled or surpassed by axial αp. Conclusions. These are the first 3D angular acceleration and impact force data available for head impact in infants from low-height falls. A future study involving a computational model of the infant head will use the loads measured in this study to predict the probability of occipital skull fracture on impact from head-first low-height falls. Together, these studies will provide data that will aid clinicians in the evaluation of accidental and inflicted head injuries, and will contribute to the design of safer environments for children. (DOI: 10.3171/PED.2008.2.11.321