28,499 research outputs found

    Barry Smith an sich

    Get PDF
    Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf LĂŒthe, Luc Schneider, Peter Simons, Wojciech Ć»eƂaniec, and Jan WoleƄski

    Introduction to the Literature on Semantics

    Get PDF
    An introduction to the literature on semantics. Included are pointers to the literature on axiomatic semantics, denotational semantics, operational semantics, and type theory

    Transitioning Applications to Semantic Web Services: An Automated Formal Approach

    No full text
    Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite expectations being high, the industrial take-up of Semantic Web Service technologies has been slower than expected. One of the main reasons is that many systems have been developed without considering the potential of the web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the migration from legacy systems to Semantic Web Service-based systems can be a very tedious and expensive process, which carries a definite risk of failure. There is an urgent need to provide strategies which allow the migration of legacy systems to Semantic Web Services platforms, and also tools to support such a strategy. In this paper we propose a methodology for transitioning these applications to Semantic Web Services by taking the advantage of rigorous mathematical methods. Our methodology allows users to migrate their applications to Semantic Web Services platform automatically or semi-automatically

    Detect the unexpected: a science for surveillance

    Get PDF
    Purpose – The purpose of this paper is to outline a strategy for research development focused on addressing the neglected role of visual perception in real life tasks such as policing surveillance and command and control settings. Approach – The scale of surveillance task in modern control room is expanding as technology increases input capacity at an accelerating rate. The authors review recent literature highlighting the difficulties that apply to modern surveillance and give examples of how poor detection of the unexpected can be, and how surprising this deficit can be. Perceptual phenomena such as change blindness are linked to the perceptual processes undertaken by law-enforcement personnel. Findings – A scientific programme is outlined for how detection deficits can best be addressed in the context of a multidisciplinary collaborative agenda between researchers and practitioners. The development of a cognitive research field specifically examining the occurrence of perceptual “failures” provides an opportunity for policing agencies to relate laboratory findings in psychology to their own fields of day-to-day enquiry. Originality/value – The paper shows, with examples, where interdisciplinary research may best be focussed on evaluating practical solutions and on generating useable guidelines on procedure and practice. It also argues that these processes should be investigated in real and simulated context-specific studies to confirm the validity of the findings in these new applied scenarios

    Reviewing, indicating, and counting books for modern research evaluation systems

    Get PDF
    In this chapter, we focus on the specialists who have helped to improve the conditions for book assessments in research evaluation exercises, with empirically based data and insights supporting their greater integration. Our review highlights the research carried out by four types of expert communities, referred to as the monitors, the subject classifiers, the indexers and the indicator constructionists. Many challenges lie ahead for scholars affiliated with these communities, particularly the latter three. By acknowledging their unique, yet interrelated roles, we show where the greatest potential is for both quantitative and qualitative indicator advancements in book-inclusive evaluation systems.Comment: Forthcoming in Glanzel, W., Moed, H.F., Schmoch U., Thelwall, M. (2018). Springer Handbook of Science and Technology Indicators. Springer Some corrections made in subsection 'Publisher prestige or quality

    Developing the developers – supporting development of online conference presentations

    Get PDF
    Delivering online tuition has become standard practice in most universities with many students receiving part of their tuition online. However, so far there appears to be a resistance to utilising online delivery for staff and academic development. An online academic development conference was delivered to 150 teaching staff delegates over the course of a week. The conference structure was to have a keynote presentation and eleven shorter discussion presentations, each with their own dedicated asynchronous discussion forum. Conference presenters were each asked to produce a video presentation of up to 7 minutes and run an associated online forum. This paper reports on the experience of the presenters in producing their video presentations and running the forums. It will highlight the valuable development opportunity for presenters as well as summarising their experiences. Finally it will outline the lessons we have learnt and propose some recommendations for others considering running online staff development conferences

    Cooperative social enterprises: company rules, access to finance and management practice

    Get PDF
    Objectives: In light of the faster than expected take up of the Community Interest Company (CIC) in the UK, this paper revisits findings from a study undertaken in 2000 on the impact of asset-locks on the longevity, growth and management styles in co-operative social enterprises. Prior Work: The co-operative and employee-ownership movements played a leading role in the establishment of Social Enterprise London and the Social Enterprise Coalition. The heritage of the UK co-operative movement, however, differs from its continental counterpart in placing a much stronger emphasis on common ownership that inhibits the transfer of capital and assets to private interests. Approach: This paper is both conceptual and empirical. It examines different worker co-operative traditions and develops a meta-theory that explains underlying assumptions in different forms of co-operative social enterprise. Using empirical data from 5 common ownership co-operatives and 5 equity-based co-operatives, this exploratory study found differences in management style, access to finance and growth prospects both within and between the two groups. Implications: Devolution of management responsibilities was more prevalent in co-operatives permitting both individual and collective ownership, as opposed to common ownership. Access to external finance was less problematic for organisations where individuals had made investments. Despite this, it was not established that organisations with external equity or loan finance grew quicker or faired better over the longer term. Value: The value of the paper lies both in the development of a meta-theoretical framework for differentiating forms of worker co-operative, as well as empirical evidence on the impact of asset-locks in the management and development of social enterprises. The study suggests that the CLS version of the CIC, or abandonment of the CIC in favour of an appropriately structured CLS or IPS model, may be appropriate for social enterprises wishing to grow, but makes little difference in small service oriented social enterprises.</p
    • 

    corecore