Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and methodological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial verification techniques based on simulation scale well but are not exhaustive. This paper discusses promising appr...

This paper presents a very general option pricing formula incorporating both the Lévy process methodology and the level dependent volatility approach. An approximate solution to the pricing problem is obtained throughout the construction of a parametrix by means of the pseudo differential calculus. Some examples are provided to illustrate the comprehensiveness of the framework. Finally, the imp...

Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and methodological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial verification techniques based on simulation scale well but are not exhaustive. This paper discusses promising appr...

We present a generic approach to the implementation of a principle stating that personality traits have an actual influence over the rational decision making process of cognitive agents. The contribution of this work concerns the coverage of the domain of psychology that is treated, the genericity of the proposal with regard to the models of rational agents used and above all, the improvement o...

This paper discusses methodological strategies for architecting ontologies. The development context is an EC IST project, aimed at the use of ontology to help detect and prevent financial frauds. The ontology engineering in this context faces challenges of the scalability of ontology, its applicability in multiple applications, its semantic consistency and comprehensiveness, among others. The p...

expected by the international community. This article considers the importance of a developmental perspective as an essential guide to early intervention service systems. Emphasized in this framework are three critical features: relationship formation, the continuity of interventions, and the comprehensiveness of interventions. Guidance to early intervention systems design with respect to struc...

Based on the current teaching status and content of digital media technology major, this paper explores methods purposes theoretical teaching, technical practical technology. research interaction design innovation technology, instructional is carried out with orientation, interaction, practicality, comprehensiveness as starting point. Finally, future trends prospect majors are summarized.

Historically flight management systems have been considered separately from the photogrammetric workflow. In fact, many times vendors of photogrammetric production systems have left the development of flight management systems to enterprising photo flight companies who commercialized an in-house development. Here we present a new approach to the overall concept of sensor management and demonstr...

Research objects and research outcomes are proposed to act as a guide to select a proper research method. We, however, recommend that the research question as the essential factor of the research process should guide selection. Based on this idea we here develop taxonomy of research approaches with six categories. Taxonomy is then compared with three other classifications of research methods by...