161,949 research outputs found
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
- …