In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA. In this first development stage, ROSA Analyser is able to generate the Labelled Transition System, according to ROSA Operational Semantics. ROSA Analyser performance starts with...

The theory of solution for quantum field functional equations is developped for a suitable testproblem of quantum mechanics. In Sect. 1 the functional formulation of the anharmonic oscillator in its spinorial representation is given, and in Sect. 2 translational equivalent functional equations are discussed. The expansion of the physical state functionals into series of basefunctionals and the ...

Chiral Symmetry is important in a lot of situations. In this talk I will restrict myself to consequences of Chiral Symmetry for the strong interaction. The subject is very broad as can be judged from the lectures and review articles. In its modern form it was founded by Weinberg and Gasser and Leutwyler. I will discuss a few of the basics in sects. 2, 3, 4. The applications to ππ scattering (se...

This chapter first provides a formulation of the geometric path planning problem in Sect. 5.1 and then introduces sampling-based planning in Sect. 5.2. Sampling-based planners are general techniques applicable to a wide set of problems and have been successful in dealing with hard planning instances. For specific, often simpler, planning instances, alternative approaches exist and are presented...

This chapter first provides a formulation of the geometric path planning problem in Sect. 7.2 and then introduces sampling-based planning in Sect. 7.3. Sampling-based planners are general techniques applicable to a wide set of problems and have been successful in dealing with hard planning instances. For specific, often simpler, planning instances, alternative approaches exist and are presented...

BACKGROUND Dual energy CT (DECT) has proven its potential in oncological imaging. Considering the repeated follow-up examinations, radiation dose should not exceed conventional single energy CT (SECT). Comparison studies on the same scanner with a large number of patients, considering patient geometries and image quality, and exploiting full potential of SECT dose reduction are rare. Purpose of...

Rosa: Tape 1, Side B The recording begins in a delicatessen. Rosa is with her mother and twin brother. Over the noise of cars passing the shop, Rosa’s mother can be heard ordering some Cabanas while Rosa sings a song by her favourite pop group 5ive. As they leave the shop, Rosa says goodbye to the shopkeeper who had given the twins a free meat pie each. Their mother asks them to wait until they...

Roses (Rosa indica) belong to one of the most crucial groups of plants in the floriculture industry. Rosa species have special fragrances of interest to the perfume and pharmaceutical industries. The genetic diversity of plants based on morphological characteristics is difficult to measure under natural conditions due to the influence of environmental factors, which is why a reliable fingerprin...