Avoiding deontic explosion by contextually restricting aggregation

In this paper, we present an adaptive logic for deontic conflicts, called P2.1(r), that is based on Goble's logic SDLaPe-a bimodal extension of Goble's logic P that invalidates aggregation for all prima facie obligations. The logic P2.1(r) has several advantages with respect to SDLaPe. For consistent sets of obligations it yields the same results as Standard Deontic Logic and for inconsistent sets of obligations, it validates aggregation "as much as possible". It thus leads to a richer consequence set than SDLaPe. The logic P2.1(r) avoids Goble's criticisms against other non-adjunctive systems of deontic logic. Moreover, it can handle all the 'toy examples' from the literature as well as more complex ones

Dosimetric considerations in dental applications

The integration of the Lixiscope into dental procedures was studied and compared with conventional dental radiographic techniques. It was found that through the use of intraoral sealed sources in conjunction with microchannel plate technology, the Lixiscope gives increased diagnostic information with decreased radiation dosage

Software Design for Empowering Scientists

Scientific research is increasingly digital. Some activities, such as data analysis, search, and simulation, can be accelerated by letting scientists write workflows and scripts that automate routine activities. These capture pieces of the scientific method that scientists can share. The averna Workbench, a widely deployed scientific-workflow-management system, together with the myExperiment social Web site for sharing scientific experiments, follow six principles of designing software for adoption by scientists and six principles of user engagement

The Role of Scientists in Risk Assessment

The authors argue that Risk assessors belong to a profession and offer an alternative to the 1983 National Research Council model defining Risk assessment. They support and illustrate their model by reexamining three familiar Risk assessments: ethylene dibromide, WASH 1400, and Ice Minus Bacteria

The Allure of Technology: How France and California Promoted Electric Vehicles to Reduce Urban Air Pollution

All advanced industrialized societies face the problem of air pollution produced by motor vehicles. In spite of striking improvements in internal combustion engine technology, air pollution in most urban areas is still measured at levels determined to be harmful to human health. Throughout the 1990s and beyond, California and France both chose to improve air quality by means of technological innovation, adopting legislation that promoted clean vehicles, prominently among them, electric vehicles (EVs). In California, policymakers chose a technology-forcing approach, setting ambitious goals (e.g., zero emission vehicles), establishing strict deadlines and issuing penalties for non-compliance. The policy process in California called for substantial participation from the public, the media, the academic community and the interest groups affected by the regulation. The automobile and oil industries bitterly contested the regulation, in public and in the courts. In contrast, in France the policy process was non-adversarial, with minimal public participation and negligible debate in academic circles. We argue that California's stringent regulation spurred the development of innovative hybrid and fuel cell vehicles more effectively than the French approach. However, in spite of the differences, both California and France have been unable to put a substantial number of EVs on the road. Our comparison offers some broad lessons about how policy developments within a culture influence both the development of technology and the impact of humans on the environment.Environmental policy, Electric vehicles, Air pollution, Technology policy, Sustainable transport

Automatic vs Manual Provenance Abstractions: Mind the Gap

In recent years the need to simplify or to hide sensitive information in provenance has given way to research on provenance abstraction. In the context of scientific workflows, existing research provides techniques to semi automatically create abstractions of a given workflow description, which is in turn used as filters over the workflow's provenance traces. An alternative approach that is commonly adopted by scientists is to build workflows with abstractions embedded into the workflow's design, such as using sub-workflows. This paper reports on the comparison of manual versus semi-automated approaches in a context where result abstractions are used to filter report-worthy results of computational scientific analyses. Specifically; we take a real-world workflow containing user-created design abstractions and compare these with abstractions created by ZOOM UserViews and Workflow Summaries systems. Our comparison shows that semi-automatic and manual approaches largely overlap from a process perspective, meanwhile, there is a dramatic mismatch in terms of data artefacts retained in an abstracted account of derivation. We discuss reasons and suggest future research directions.Comment: Preprint accepted to the 2016 workshop on the Theory and Applications of Provenance, TAPP 201

Conceptual Linking: Ontology-based Open Hypermedia

This paper describes the attempts of the COHSE project to define and deploy a Conceptual Open Hypermedia Service. Consisting of • an ontological reasoning service which is used to represent a sophisticated conceptual model of document terms and their relationships; • a Web-based open hypermedia link service that can offer a range of different link-providing facilities in a scalable and non-intrusive fashion; and integrated to form a conceptual hypermedia system to enable documents to be linked via metadata describing their contents and hence to improve the consistency and breadth of linking of WWW documents at retrieval time (as readers browse the documents) and authoring time (as authors create the documents)

Conceptual Linking: Ontology-based Open Hypermedia

This paper describes the attempts of the COHSE project to define and deploy a Conceptual Open Hypermedia Service. Consisting of • an ontological reasoning service which is used to represent a sophisticated conceptual model of document terms and their relationships; • a Web-based open hypermedia link service that can offer a range of different link-providing facilities in a scalable and non-intrusive fashion; and integrated to form a conceptual hypermedia system to enable documents to be linked via metadata describing their contents and hence to improve the consistency and breadth of linking of WWW documents at retrieval time (as readers browse the documents) and authoring time (as authors create the documents)

Thermal radiation analysis system TRASYS 2: User's manual

The Thermal Radiation Analyzer System (TRASYS) program put thermal radiation analysis on the same basis as thermal analysis using program systems such as MITAS and SINDA. The user is provided the powerful options of writing his own executive, or driver logic and choosing, among several available options, the most desirable solution technique(s) for the problem at hand. This User's Manual serves the twofold purpose of instructing the user in all applications and providing a convenient reference book that presents the features and capabilities in a concise, easy-to-find manner