in this paper, a new identification of the lagrange multipliers by means of the sumudu transform, is employed to  btain a quick and accurate solution to the fractional black-scholes equation with the initial condition for a european option pricing problem. undoubtedly this model is the most well known model for pricing financial derivatives. the fractional derivatives is described in caputo sen...

Unintegrated gluon densities in nuclei, dipole-nucleus cross-sections and quark densities are numerically investigated in the high-colour limit, with the scattering on a heavy nucleus exactly described by the sum of fan diagrams of BFKL pomerons. The initial condition for the evolution in rapidity is quickly forgotten, and the gluon density presents a ”supersaturation” pattern, as previous stud...

BPM Refined BPM manual refinement Abstract Orchestration Refined Orchestration manual refinement Refined BPM' evolutionOrchestration Refined Orchestration manual refinement Refined BPM' evolution Abstract Orchestration transformationOrchestration transformation Refined Orchestration evolution synchronisation level of abstraction time transformation BPM = Business Process Model Fig. 1. Artefacts...

The quick training algorithms and accurate solution procedure for incremental learning aim at improving the efficiency of training of SVR, whereas there are some disadvantages for them, i.e. the nonconvergence of the formers for changeable training set and the inefficiency of the latter for a massive dataset. In order to handle the problems, a new training algorithm for a changeable training se...

This project involves the development of a model-based method for the evaluation of design concepts for In-Vehicle Information Systems (IVISs). The evaluation method is aimed specifically at assessing the usability of the Human Machine Interface (HMI) associated with these systems. It is aimed at the very early stages of design and is intended to provide designers with a quick and easy method o...

In this paper, we present an abstraction refinement approach for model checking safety properties of realtime systems using SAT-solving. We present a faithful embedding of bounded model checking for systems of timed automata into propositional logic with linear arithmetic and prove correctness. With this logical representation, we achieve a linear-size representation of parallel composition and...

This paper addresses the problem of creating visual memories of salient objects arising in a certain unknown environment and the ability of recalling them at a later time. We adopt a developmental approach, i.e., we start with low complexity and coarse information that is incrementally refined to create a hierarchy of visual representations for the observed scenes. Colour histogram-based measur...

Through testing refinement protocols using free R-factor estimates of model quality, it is shown that real-space refinement can be a useful addition to conventional reciprocal-space refinement, even for protein structures with poor electron-density maps derived from multiple isomorphous replacement. By alternating real- and reciprocal-space refinements, starting with an experimental map, then c...

We analyze data from the legislative bargaining experiments reported in Frechette, Kagel, and Lehrer (2003), Frechette, Kagel, and Morelli (2005a,b), and Drouvelis, Montero, and Sefton (2010) in order to investigate the extent to which the observed deviations from the theoretical predictions can be explained by imperfect best response, in combination with different assumptions about correct (QR...