2,459,034 research outputs found
Capital markets for community development lenders: questions & answers
Southern New Hampshire University professor Michael Swack answers basic questions about capital markets and explains how community development lenders can raise their capacity by tapping into these markets.Community development ; Capital market ; Loans
A community development work in progress
Why would a banker who liked what he was doing consider a job with more bureaucracy? Michael Finnegan tells of his switch to the Maine State Housing Authority and how he and his colleagues are focusing attention on Maine's key community development issues.Community development - Maine ; Housing - Maine
Formal verification of an autonomous personal robotic assistant
Humanārobot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of machines to perform key tasks. It is essential for robots working in close proximity to people to be both safe and trustworthy. In this paper we examine formal verification of a high-level planner/scheduler for autonomous personal robotic assistants such as Care-O-bot ā¢ . We describe how a model of Care-O-bot and its environment was developed using Brahms, a multiagent workflow language. Formal verification was then carried out by translating this to the input language of an existing model checker. Finally we present some formal verification results and describe how these could be complemented by simulation-based testing and realworld end-user validation in order to increase the practical and perceived safety and trustworthiness of robotic assistants
The Running Coupling from Lattice Gauge Theory
From an accurate determination of the inter-quark potential, one can study
the running coupling constant for a range of -values and hence estimate the
scale \Lambda_{\msbar} . Detailed results are presented for pure
gauge theory to illustrate the method.Comment: 8 pages Liverpool preprint LTH279, 24 Jan 1992 (1 figure not
enclosed) (Accepted for publication in Phys Lett B
The Dixmier property and tracial states for C*-algebras
A.T. was partially supported by an NSERC Postdoctoral Fellowship and through the EPSRC grant EP/N00874X/1. Acknowledgements We are grateful to Luis Santiago for helpful discussions at an early stage of this investigation. We would also like to thank the referee for providing helpful comments, which have led to a number of improvements.Peer reviewedPublisher PD
Michael Reynolds, cello, April 20, 1988
This is the concert program of the Michael Reynolds, cello performance on Wednesday, April 20, 1988 at 8:00 p.m., at the Concert Hall, 855 Commonwealth Avenue. Works performed were the following by Johann Sebastian Bach: Suite No. 1 in G major, Suite No. 5 in C minor, and Suite No. 3 in C major. Digitization for Boston University Concert Programs was supported by the Boston University Humanities Library Endowed Fund
Query inseparability by games
We investigate conjunctive query inseparability of description logic knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge exchange. We develop a game-theoretic technique for checking query inseparability of KBs expressed in fragments of Horn-ALCHI, and show a number of complexity results ranging from P to ExpTime and 2ExpTime. We also employ our results to resolve two major open problems for OWL 2 QL by showing that TBox query inseparability and the membership problem for universal UCQ-solutions in knowledge exchange are both ExpTime-complete for combined complexity
A stronger New England through industry clusters
States understandably focus economic development efforts within their borders. But industry cluster strategies and greater collaboration across borders could do more for individual states and boost New Englandās ability to compete globally.Industries - New England ; Economic development - New England
The Heron Foundation expands philanthropy's reach
Contrary to the perception of trade-offs between financial return and social impact, the F.B. Heron Foundation demonstrates that itās possible to achieve competitive returns while incorporating mission-related investments into an overall portfolio and asset allocation.Community development
- ā¦