2,309 research outputs found
Recommended from our members
A study of recreational possibilities for the town of Concord Massachusetts.
New Finishes for Zinc Alloys
Since 1958, the International Lead Zinc Research Organization (ILSRC) has pursued a number of projects which have resulted in new methods of polishing and finishing of zinc alloys. This paper surveys the six important developments which have arisen as a result of ILZRO research in the finishing field
Assistive technologies as rights enablers
The Convention on the Rights of the Child and the Convention on the Rights of Persons with Disability establish the rights for all children. For some children, enjoying those rights depends on or is facilitated by assistive technology, that is, products adapted or designed for improving the functioning of disabled people and all services inherent to the selection, acquisition, and use of assistive products. This chapter reviews the definition of assistive technology and briefly describes assistive products categories to show the breadth of assistive products available. It then discusses children rights and how they can be mediated or moderated by assistive technologies. Some of the challenges and ethical issues of assistive technology provision for children are also examined.info:eu-repo/semantics/publishedVersio
Proving Termination Starting from the End
We present a novel technique for proving program termination which introduces
a new dimension of modularity. Existing techniques use the program to
incrementally construct a termination proof. While the proof keeps changing,
the program remains the same. Our technique goes a step further. We show how to
use the current partial proof to partition the transition relation into those
behaviors known to be terminating from the current proof, and those whose
status (terminating or not) is not known yet. This partition enables a new and
unexplored dimension of incremental reasoning on the program side. In addition,
we show that our approach naturally applies to conditional termination which
searches for a precondition ensuring termination. We further report on a
prototype implementation that advances the state-of-the-art on the grounds of
termination and conditional termination.Comment: 16 page
Charge-remote fragmentation in a hybrid (BEqQ) mass spectrometer to determine isotopic purity in selectively polydeuterated surfactants
AbstractThe combination of fast atom bombardment with charge-remote fragmentation using a hybrid (BEqQ) mass spectrometer was used successfully to assess and localize the extent of selective deuterium isotope labeling of tetradecyltrimethylammonium bromdes. Spectral details reveal a new reaction that can give rise to ions isobaric with those formed by charge-remote fragmentation
- …