In this expository paper, we use automata for software model checking in a new way. The starting point is to fix the alphabet: the set of statements of the given program. We show how automata over the alphabet of statements can help to decompose the main problem in software model checking, which is to find the right abstraction of a program for a given correctness property.

Background. In the beginning of the 21st century, the world summit on population taking place in Madrid approved active ageing, WHO (2002) as the main objective of health and social policies for old people. Few studies have been done on the scientific validity of the construct. This study aims to validate the construct of active ageing and test empirically the WHO (2002) model of Active Ageing ...

The next-to-leading order QCD corrections to the production of a W -boson in association with a jet containing a heavy quark are presented. The calculation is fully differential in the final state particle momenta and includes the mass of the heavy quark. We study for the case of the Tevatron the sensitivity of the cross section to the strange quark distribution function, the dependence of the ...

We study the inclusive production of Λ (Λ̄) in several high energy collision processes (e+e−, e±p, ν(ν̄)p, pp), in view of an accurate determination of the unpolarized and polarized fragmentation functions of a quark into a Λ (Λ̄). For polarized fragmentation functions the inaccuracy and the scarcity of present data do not allow to distinguish between various theoretical models. We will indicate h...

The top quark with its mass of about 172 GeV/c is the most massive fundamental particle observed by experiment. In this talk we highlight the most recent measurements of several top quark properties performed with the CDF detector based on data samples corresponding to integrated luminosities up to 1 fb. These results include a search for top quark pair production via new massive resonances, me...

In these lectures I want to discuss how the structure functions in deep inelastic scattering relate to quark and gluon correlation functions. In particular we will consider the issue of intrinsic transverse momenta of quarks, which becomes important in processes like 1-particle inclusive leptoproduction. Some examples of cross sections and asymmetries, in particular in polarized scattering proc...

In these lectures I want to discuss how the structure functions in deep inelastic scattering relate to quark and gluon correlation functions. In particular we will consider the issue of intrinsic transverse momenta of quarks, which becomes important in processes like 1-particle inclusive leptoproduction. Some examples of cross sections and asymmetries, in particular in polarized scattering proc...

We developed a question and answering system QUARK. This system extracts an answer from newspaper corpus as a knowledge source by a statistical technique. We participated in NTCIR3 QAC task to evaluate our system.

It is shown that the quark–gluon interaction induced by instan-tons leads to the quark anomalous chromomagnetic moment. In the instanton-liquid model for the QCD vacuum, the chromomagnetic moment is µ a = − πf 2αs , where f is the packing fraction of instantons in the vacuum.