63 research outputs found

    Agents in proactive environments

    Get PDF
    Agents situated in proactive environments are acting au-tonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions. A formal framework for simulating and reasoning about this generalized kind of dynamic systems is proposed. The capabilities of the agents are modeled by a set of conditional rules in a temporal-logical format. The environment itself is modeled by an independent transition relation on the state space. The temporal language is given a declarative semantics

    Presuppositions in Context: Constructing Bridges

    Get PDF
    About the book: The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997, gave rise to the present book, which contains a selection of the papers presented there, thoroughly refereed and revised. The treatment of contexts as bona fide objects of logical formalisation has gained wide acceptance, following the seminal impetus given by McCarthy in his Turing Award address. The field of natural language offers a particularly rich variety of examples and challenges to researchers concerned with the formal modelling of context, and several chapters in the volume deal with contextualisation in the setting of natural language. Others adopt a purely formal-logical viewpoint, seeking to develop general models of even wider applicability. The 12 chapters are organised in three groups: formalisation of contextual information in natural language understanding and generation, the application of context in mechanised reasoning domains, and novel non-classical logics for contextual application

    A Semiotic Approach for Guiding the Visualizing of Time and Space in Enterprise Models

    Get PDF
    Part 2: Organizational Semiotics and ApplicationsInternational audienceEven if geographical aspects such as location are included already in the Zachman framework (as the where-perspective), it is not common to have detailed geographical aspects included in enterprise models. Cartography is the science of visualizing geographical information in maps. Traditionally the field has not included conceptual relationships that you find in enterprise models. Both cartography and enterprise modelling have developed guidelines for obtaining high quality visualizations. SEQUAL is a quality framework developed for understanding quality of models and modelling languages based on semiotic theory. In cartography such frameworks are not common. An adaptation of SEQUAL in the context of cartographic maps called MAPQUAL has been presented earlier. Differences between quality of maps and quality of conceptual models, pointing to guidelines for combined representations have been performed, and we try in this paper to investigate the utility of these guidelines in a simple trial. The result of the trial is presented, indicating that it is possible to represent conceptual, temporal, and spatial aspects in the same models in many ways, but that the choice of main perspective should depend on participant appropriateness

    The MAP-HAND : psychometric properties and differences in activity performance between patients with carpometacarpal osteoarthritis and rheumatoid arthritis

    Get PDF
    Objective: To assess construct validity (Rasch analyses) of the Measure of Activity Performance of the Hand (MAP-Hand) in people with carpometacarpal osteoarthritis (CMC1 OA), and to explore differences in activity performance between people with CMC1 OA and those with rheumatoid arthritis. Design: Cross-sectional study. Subjects: A total of 180 people with CMC1 OA referred for surgical consultation were recruited from rheumatology clinics in Norway, and 340 people with rheumatoid arthritis were recruited from outpatient rheumatology clinics in the UK. Methods: The MAP-Hand consists of 18 predefined items scored on a 4-point scale from 1 (no difficulty) to 4 (unable to do), from which a mean score is calculated. Construct validity was assessed using Rasch analyses. Differences between the 2 groups were assessed using an independent sample t-test at the group level and differential item functioning (condition as grouping variable) at the item level. Results: Some mis-targeting of data and clusters of dependency were found, but the MAP-Hand scores showed an overall fit to the model. No between group difference in total mean MAP-Hand score was found, but there were significant differences between the 2 groups on item levels. Conclusion: The MAP-Hand showed satisfactory construct validity and could differentiate between people with CMC1 OA and those with rheumatoid arthritis on item levels

    Venous gas embolism as a predictive tool for improving CNS decompression safety

    Get PDF
    A key process in the pathophysiological steps leading to decompression sickness (DCS) is the formation of inert gas bubbles. The adverse effects of decompression are still not fully understood, but it seems reasonable to suggest that the formation of venous gas emboli (VGE) and their effects on the endothelium may be the central mechanism leading to central nervous system (CNS) damage. Hence, VGE might also have impact on the long-term health effects of diving. In the present review, we highlight the findings from our laboratory related to the hypothesis that VGE formation is the main mechanism behind serious decompression injuries. In recent studies, we have determined the impact of VGE on endothelial function in both laboratory animals and in humans. We observed that the damage to the endothelium due to VGE was dose dependent, and that the amount of VGE can be affected both by aerobic exercise and exogenous nitric oxide (NO) intervention prior to a dive. We observed that NO reduced VGE during decompression, and pharmacological blocking of NO production increased VGE formation following a dive. The importance of micro-nuclei for the formation of VGE and how it can be possible to manipulate the formation of VGE are discussed together with the effects of VGE on the organism. In the last part of the review we introduce our thoughts for the future, and how the enigma of DCS should be approached

    The small angle tile calorimeter in the DELPHI experiment

    Get PDF
    The {\bf S}mall angle {\bf TI}le {\bf C}alorimeter ({\bf STIC}) provides calorimetric coverage in the very forward region of the DELPHI experiment at the CERN LEP collider. The structure of the calorimeters, built with a so-called ``shashlik'' technique, gives a perfectly hermetic calorimeter and still allows for the insertion of tracking detectors within the sampling structure to measure the direction of the showering particle. A charged-particle veto system, composed of two scintillator layers, makes it possible to trigger on single photon events and provides e-γ\gamma separat ion. Results are presented from the extensive studies of these detectors in the CERN testbeams prior to installation and of the detector performance at LEP

    Oscar Buneman (1913-1993), Persecutions and Patronages: a Case Study of Political Impact on Research

    No full text
    • …
    corecore