A Simple Geometric Representative for μ\mu of a Point

For $SU(2)$ (or $SO(3)$) Donaldson theory on a 4-manifold $X$, we construct a simple geometric representative for $\mu$ of a point. Let $p$ be a generic point in $X$. Then the set $\{ [A] | F_A^-(p)$ is reducible $\}$, with coefficient -1/4 and appropriate orientation, is our desired geometric representative.Comment: Updated 2018 to published version. 8 pages, AmS-TeX, no figure

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers

© 2015 IEEE.Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races. Whoop is empowered by symbolic pairwise lockset analysis, a novel analysis that can soundly detect all potential races in a driver. Our analysis avoids reasoning about thread interleavings and thus scales well. Exploiting the race-freedom guarantees provided by Whoop, we achieve a sound partial-order reduction that significantly accelerates Corral, an industrial-strength bug-finder for concurrent programs. Using the combination of Whoop and Corral, we analyzed 16 drivers from the Linux 4.0 kernel, achieving 1.5 - 20× speedups over standalone Corral

Practices in applied phonics for grade one.

Thesis (Ed.M.)--Boston Universit

The 3-fold vertex via stable pairs

The theory of stable pairs in the derived category yields an enumerative geometry of curves in 3-folds. We evaluate the equivariant vertex for stable pairs on toric 3-folds in terms of weighted box counting. In the toric Calabi-Yau case, the result simplifies to a new form of pure box counting. The conjectural equivalence with the DT vertex predicts remarkable identities. The equivariant vertex governs primary insertions in the theory of stable pairs for toric varieties. We consider also the descendent vertex and conjecture the complete rationality of the descendent theory for stable pairs.Comment: Typos fixed. 40 pages, 8 figure

Is There a Slate Here for Me?- A Look at the Inclusion of Children With Disabilities in BRAC Schools

The rights of people with disabilities have been outlined through many international policies. One specific right, which many of us take for granted, is the right to access public education. Many of these policies, which have been adopted by countries and non-governmental organizations (NGO) throughout the world, call for the inclusion of children with disabilities. One such organization, the Bangladesh Rural Advancement Committee, most commonly known as BRAC, is explored in this paper. In June of 2004, BRAC created a research team, which was made-up of two interns and a unit manger to conduct research over a period of one month. The team was to gather information through interviews and observations; specifically looking at the impact of inclusion on selected BRAC schools and the school community (children with disabilities; CWD, children without disabilities: CWOD, guardians of children with disabilities: GCWD, guardians of children without disabilities: GCWOD, and teachers). A total of 67 interviews were conducted, another thematically coded for analysis. The results indicated that the majority of CWD and CWOD played and worked together. CWOD were found to be very supportive of inclusive education, however, they questioned the academic ability of their CWD classmates. Some of the guardians said that CWD had promising futures, others indicated that they were surprised by how much a CWD could achieve. Lastly, the responses to the questionnaires indicated that teachers supported inclusion and adapted their instruction to meet the needs of CWD. Furthermore, teachers requested further training to learn about disability issues

Receipt from Mr. P. Donaldson to Isaac Townshead and Ogden Goelet

https://digitalcommons.salve.edu/goelet-personal-expenses/1083/thumbnail.jp