Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy consumption, and the automatic synthesis of systems from specifications. The major challenges include environment modeling, incompleteness in specifications, and the complexity of underlying decision problems. This position paper proposes sciduction, an approach to tackle these challenges by integrating inductive inference, deductive reasoning, and structure hypotheses. Deductive reasoning, which leads from general rules or concepts to conclusions about specific problem instances, includes techniques such as logical inference and constraint solving. Inductive inference, which generalizes from specific instances to yield a concept, includes algorithmic learning from examples. Structure hypotheses are used to define the class of artifacts, such as invariants or program fragments, generated during verification or synthesis. Sciduction constrains inductive and deductive reasoning using structure hypotheses, and actively combines inductive and deductive reasoning: for instance, deductive techniques generate examples for learning, and inductive reasoning is used to guide the deductive engines. We illustrate this approach with three applications: (i) timing analysis of software; (ii) synthesis of loop-free programs, and (iii) controller synthesis for hybrid systems. Some future applications are also discussed

Evaluating Development Co-operation: Summary of Key Norms and Standards

This is a best practice that offers guidance in developing norms and standards for evaluation in an effort to improve humanitarian aid programs and policy. The approach offers a core set of principles, along with five evaluation criteria: relevance, effectiveness, efficiency, impact, sustainability, and a framework for peer reviews and assessment

Road User Charging – Pricing Structures.

This project considers the extent to which the public could cope with complex price or tariff structures such as those that might be considered in the context of a national congestion pricing scheme. The key elements of the brief were: • to review existing studies of road pricing schemes to assess what information and evidence already exists on the key issues; • to identify what can be learned about pricing structures from other transport modes and other industries and in particular what issues and conclusions might be transferable; • to improve the general understanding of the relationship between information and people’s ability to respond; and • to recommend what further research would be most valuable to fill evidence gaps and enable conclusions to be drawn about an effective structure

An overview of recent research results and future research avenues using simulation studies in project management

This paper gives an overview of three simulation studies in dynamic project scheduling integrating baseline scheduling with risk analysis and project control. This integration is known in the literature as dynamic scheduling. An integrated project control method is presented using a project control simulation approach that combines the three topics into a single decision support system. The method makes use of Monte Carlo simulations and connects schedule risk analysis (SRA) with earned value management (EVM). A corrective action mechanism is added to the simulation model to measure the efficiency of two alternative project control methods. At the end of the paper, a summary of recent and state-of-the-art results is given, and directions for future research based on a new research study are presented

Complexity stage model of the medical device development based on economic evaluation-MedDee

The development of a new product is essential for the progress and success of any company. The medical device market is very specific, which is challenging. Therefore, this paper assesses an economic model for medical device evaluation using the economic, health, technology regulatory, and present market knowledge to enable the cost-time conception for any applicant. The purpose of this study is to propose a comprehensive stage model of the medical device development to subsequently describe the financial expenditure of the entire development process. The identification of critical steps was based on the literature review, and analysis, and a comparison of the available medical device development stages and directives. Furthermore, a preliminary assessment of the medical device development steps and procedures on the basis of the interviews was performed. Six interviews were conducted with an average duration of one hour, focusing on areas: relevance and level of detail of the medical device development stages, involvement of economic methods, and applicability of the proposed model. Subsequently, the improvement and modification of the medical device investment process, based on respondents' responses, were conducted. The authors have proposed the complexity model MedDee-Medical Devices Development by Economic Evaluation. This model is comprised of six phases: initiation, concept, design, production, final verification, and market disposition in which the economic methods are incorporated.Web of Science125art. no. 175

Perceptual telerobotics

A sensory world modeling system, congruent with a human expert's perception, is proposed. The Experiential Knowledge Base (EKB) system can provide a highly intelligible communication interface for telemonitoring and telecontrol of a real time robotic system operating in space. Paradigmatic acquisition of empirical perceptual knowledge, and real time experiential pattern recognition and knowledge integration are reviewed. The cellular architecture and operation of the EKB system are also examined

Recent Conceptual Consequences of Loop Quantum Gravity. Part II: Holistic Aspects

Based on the foundational aspects which have been discussed as consequences of ongoing research on loop quantum gravity in the first part of this paper, the holistic aspects of the latter are discussed in this second part, aiming at a consistent and systematic approach to eventually model a hierarchically ordered architecture of the world which is encompassing all of what there actually is. The idea is to clarify the explicit relationship between physics and philosophy on the one hand, and philosophy and the sciences in general, on the other. It is shown that the ontological determination of worldliness is practically identical with its epistemological determination so that the (scientific) activity of modelling and representing the world can be visualized itself as a (worldly) mode of being.Comment: 20 page

Forensic science expertise for international criminal proceedings: an old problem, a new context and a pragmatic resolution

Expert witness testimony provides an important source of information for international criminal proceedings, and forensic science expertise from mass graves is no exception: findings from exhumations and examinations have featured in the ad hoc tribunals’ trials and judgments. Whilst the issues surrounding the law-science relationship have been explored within the realm of national legal systems, the mixed system adopted by these tribunals presents an established discussion with a new context. Using forensic archaeology as an example, this article explores some theoretical underpinnings and practical realities surrounding the use of forensic science during international criminal investigations into mass graves before looking at how Trial Chambers aim to establish the relevance and credibility of forensic science evidence. As little guidance regarding admissibility of expert evidence is provided, it is through the case-specific legal process of cross-examination and presentation of counter-expertise that methodological issues are resolved. This, together with reliance on normative principles, is the pragmatic approach adopted to discern reliability of expert opinion