Rising to the Challenge: The Strategies of Social Service Intermediaries

During the past decade, "intermediary organizations" have proliferated across the nonprofit sector. These organizations are typically positioned between funding entities (e.g., government agencies, foundations and corporations) and direct service providers. Intermediaries play an important roll in connecting organizations that share a common interest--and working to enhance the services these organizations provide, build larger service networks, promote quality standards, and monitor programs on behalf of funders

Business Growth Ambitions Amongst SME Leaders - Changes Over Time and Links to Growth (Final Report)

This study is a follow up to a report published in 2012 which examined the level and determinants of growth ambition amongst leaders of UK Small and Medium Enterprises (SMEs). The purposeof this research is to resurvey the respondents to the 2012 study in order to generate new data which, in combination with secondary data on business performance, will provide answers to the following key research questions: How does ambition change over time and what influences this? What is the relationship between ambition and business growth

IFIP TC 13 Seminar: trends in HCI proceedings, March 26, 2007, Salamanca (Spain)

Actas del 13o. Seminario de la International Federation for Information Processing (IFIP), celebrado en Salamanca el 26 de marzo de 2007, sobre las nuevas líneas de investigación en la interacción hombre-máquina, gestión del conocimiento y enseñanza por la Web

Failure to Attract and Retain Clinician/Scientist Faculty Puts Our Profession at Risk

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/67925/2/10.1177_00220345990780100101.pd

Review of power converters for wind energy systems

The paper presents commonly used power electronic topologies in Wind Energy Conversion Systems. It discusses the main differences between partially and fully rated converters, their control methods and their application in large and small scale wind turbines. The paper also presents methods of tracking the optimal power point for permanent magnet synchronous generator based wind energy systems.peer-reviewe

Employment mobility in high-technology agglomerations: the cases of Oxfordshire and Cambridgeshire

This paper examines labour market behaviour of the highly skilled in high-tech local economies, taking the UK examples of Oxfordshire and Cambridgeshire as case studies. It reports on data from a survey of members of three scientific institutes to compare rates of employee mobility in the two locations and considers the likely explanations and implications of those patterns

Why Do Developers Get Password Storage Wrong? A Qualitative Usability Study

Passwords are still a mainstay of various security systems, as well as the cause of many usability issues. For end-users, many of these issues have been studied extensively, highlighting problems and informing design decisions for better policies and motivating research into alternatives. However, end-users are not the only ones who have usability problems with passwords! Developers who are tasked with writing the code by which passwords are stored must do so securely. Yet history has shown that this complex task often fails due to human error with catastrophic results. While an end-user who selects a bad password can have dire consequences, the consequences of a developer who forgets to hash and salt a password database can lead to far larger problems. In this paper we present a first qualitative usability study with 20 computer science students to discover how developers deal with password storage and to inform research into aiding developers in the creation of secure password systems

Proceedings of the 11th International Conference, TPHOLs’98 Canberra, Australia, September–October 1998. Supplementary Proceedings

Mechanical theorem provers for higher order logics have been successfully applied in many areas including hardware verification and synthesis; verification of security and communications protocols; software verification, transformation and refinement; compiler construction; and concurrency. The higher order logics used to reason about these problems and the underlying theorem prover technology that support them are also active areas of research. The International Conference on Theorem Proving in Higher Order Logics (TPHOLs) brings together people working in these and related areas for the discussion and dissemination of new ideas in the field. TPHOLs'98 continues the conference tradition of having both a completed work and work-in-progress stream. The Papers from the first stream were formally refereed, and published as volume 1479 of LNCS. This, supplementary, proceedings records work accepted under the work-in-progress category, and is intended to document emerging trends in higher-order logic research. Papers in the work-in-progress stream are vetted for relevance and contribution before acceptance. The work-in-progress stream is regarded as an important feature of the conference as it provides a venue for the presentation of ongoing research projects, where researchers invite discussion of preliminary results. Although the TPHOLs conferences have their genesis in meetings of the users of the HOL theorem proving system, each successive year has seen a higher rate of contribution from the other groups with similar goals, particularly the user communities of Coq, Isabelle, Lambda, Lego, NuPrl, and PVS. Since 1993 the proceedings have been published by Springer as volumes in Lecture Notes in Computer Science series. Bibliographic details of these publications can be found at the back of this book; more history of TPHOLs can be found with further information about the 1998 event at http://cs.anu.edu.au/TPHOLs98/.Conference Papers: Integrating TPS with Omega By Christoph Benzmuller and Volker Sorge Some Theorem Proving Aids By Paul E. Black and Phillip J. Windley Verification of the MDG Components Library in HOL By Paul Curzon, Sofiene Tahar, and Otmane Ait Mohamed Simulating Term-Rewriting in LPF and in Display Logic By Jeremy E. Dawson A Prototype Generic Tool Supporting the Embedding of Formal Notations By Andrew M. Gravell and Chris H. Pratten Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL By Andrew M. Gravell and Chris H. Pratten Building HOL90 Everywhere Easily (Well Almost) By Elsa L. Gunter Program Composition in COQ-UNITY : By Francois Marques Formally Analysed Dynamic Synthesis of Hardware By Kong Woei Susanto and Tom Melham Requirements for a Simple Proof Checker By Geoffrey Watson Integrating HOL and RAISE: a practitioner's approach By Wai Wong and Karl R. P. H. Leung Effective Support for Mutually Recursive Types By Peter V. Homeie