11,764 research outputs found
A Simple Geometric Representative for of a Point
For (or ) Donaldson theory on a 4-manifold , we construct a
simple geometric representative for of a point. Let be a generic
point in . Then the set 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
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
Recommended from our members
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
- …