We consider the problem of “energy conserving” lattice Boltzmann models. A major difficulty observed in previous studies is the coupling between the viscous and thermal waves even at moderate wave numbers. We propose a theoretical framework based on the knowledge of the partial equivalent equations of the lattice Boltzmann scheme at several orders of precision. With the help of linearized model...

Evaluation is an important issue for every scientific field and a necessity for an emerging software technology like case-based reasoning. This paper is a supplementation to the review of industrial case-based reasoning tools by K.-D. Althoff, E. Auriol, R. Barletta and M. Manago which describes the most detailed evaluation of commercial case-based reasoning tools currently available. The autho...

Today, development and implementation of automotive embedded systems is based on a model-based process. A major problem of respective model-based toolchains can be traced back to inadequate testing tools, which often are not standardized, incomplete and cumbersome in usage. Due to these shortcomings, test specifications are neither exchangeable nor reuseable. In this paper, we propose μTTCN for...

In forestry, it is important to be able to accurately determine the volume of timber in a harvesting site and the products that could potentially be produced from that timber. We describe new terrestrial scanning technology that can produce a greater volume of higher quality data about individual trees. We show, however, that scanner data still often produces an incomplete profile of the indivi...

This paper examines the link between recent advances in dynamical systems, the mathematical study of systems which evolve under a a fixed rule, and existing WCET analysis techniques. In particular it focuses on the fact that all WCET techniques implicitly use a common dynamical system, through which it is possible to translate information from one technique such that it is of use to another tec...

*FINDINGS fcws foth ngas mgas lgas dim cflt lcab ncrn scrn ocrn grnd temp egas *CLASSES wait open gas rflt clen gbat nstr cws *RULES if lgas then flod(0.80) if between(temp, 0, 50) AND nofm(1, scrn , ocrn) then chok(0.60) if egas then empt(0.90) if cflt then filt(1.00) if lcab then cab(0.90) if scrn AND dim then batd(0.70) if ncrn AND dim then batd(0.90) if ncrn AND not dim then strt(0.70) if g...

Abstract. Good project planning provides the basis for successful offshore well drilling projects. In this domain planning occurs in two phases: an onshore phase develops a project plan; and an offshore phase implements the plan and tracks actual progress compared to the initial plan that was created onshore. The reuse of project plans is already prevalent within the oil and gas industry. A Per...

We propose a probabilistic case-space metric for the case matching and case adaptation tasks. Central to our approach is a probability propagation algorithm adopted from Bayesian reasoning systems, which allows our case-based reasoning system to perform theoretically sound probabilistic reasoning. The same probability propagation mechanism actually ooers a uniform solution to both the case matc...

In this paper, we show how the Ordered Decomposition DAGs (ODD) kernel framework, a framework that allows the definition of graph kernels from tree kernels, allows to easily define new state-of-the-art graph kernels. Here we consider a fast graph kernel based on the Subtree kernel (ST), and we propose various enhancements to increase its expressiveness. The proposed DAG kernel has the same wors...

Nonlinear approximation has usually been studied under deterministic assumptions and complete information about the underlying functions. In the present paper we assume only partial information, e.g., function values at some points, and we are interested in the average case error and complexity of approximation. We show that the problem can be essentially split into two independent problems rel...