Krylov subspace spectral methods have been shown to be high-order accurate in time and more stable than explicit time-stepping methods, but also more difficult to implement efficiently. This paper describes how these methods can be fashioned into practical solvers by exploiting the simple structure of differential operators Numerical results concerning accuracy and efficiency are presented for ...

This paper outlines the methods used to realise the implementation of the Service Speciic Connection Oriented Protocol (SS-COP) which forms a main component in the Signalling ATM Adaptation Layer (SAAL). We give a short introduction to Synchronous C++, a concurrent extension to C++, followed by a protocol programming method based on these extensions. We show how this environment is made complet...

PROCHÁZKA, D., KOUBEK, T.: Augmented reality implementation methods in mainstream applications. Acta univ. agric. et silvic. Mendel. Brun., 2011, LIX, No. 4, pp. 257–266 Augmented reality has became an useful tool in many areas from space exploration to military applications. Although used theoretical principles are well known for almost a decade, the augmented reality is almost exclusively use...

D A logic query Q is a triple (G, LP, D), where G is the query goal, LP is a logic program without function symbols, and D is a set of facts, possibly stored as tuples of a relational database. The answers of Q are all facts that can be inferred from LP U D and unify with G. A logic query is bound if some argument of the query goal is a constant; it is canonical strongly linear (a CSL query) if...

In this paper we show that mixed nite element methods for a fairly general second order elliptic problem with variable coeecients can be given a non-mixed formulation. (Lower order terms are treated, so our results apply also to parabolic equations.) We deene an approximation method by incorporating some projection operators within a standard Galerkin method, which we call a projection nite ele...

Though the areas of secure multicast group architecture, key distribution, and sender authentication are under scrutiny, one topic that has not been explored is how to integrate these with multilevel security. Multilevel security is the ability to distinguish subjects according to classification levels, which determines to what degree they can access confidential objects. In the case of groups,...

Quantum mechanical properties of communication lines may be lead to new possibilities in the security of key distribution. By taking advantage of basic quantum mechanical principles, it may be possible to create secure systems that rely upon the physics of the system rather than computational or mathematical methods for security. In this paper, three possible protocols for quantum key distribut...

This paper describee some new methods used in PLANNER-BESM-6 system for the implementation of PLANNER. Backtracking is implemented with a single stack and no copying of activation frames is needed. Lists are represented as arrays of pointers ; the garbage collector for this representation requires no additional memory. Restrictions on variable values are accomplished by using 'semi-defined f st...

AbstractImage fusion became very important in today research. As the images were being used without the required information contained in it. And thus more than one image was being used to produce the actual information that is to be produced. The fusion is the process of combining two images used to produce one image, which contains more information than the source images. Fused images provide...