3 Hits in 5.6 sec

Bisimulation on speed: worst-case efficiency

Gerald Lüttgen, Walter Vogler
2004 Information and Computation  
The paper also develops the semantic theory of TACS by studying congruence properties, equational laws, and abstractions from internal actions.  ...  Two examples, one dealing with mail delivery and one relating two implementations of a simple storage system, testify to the practical utility of the new theory.  ...  Nielsen (Eds.), 12th International Conference on Concurrency Theory (CONCUR 2001), Lecture Notes in Computer Science, vol. 2154, Aalborg, Denmark, August, Springer-Verlag, 2001. 0 | 0 | a.0 of Q, where  ... 
doi:10.1016/j.ic.2002.08.001 fatcat:jft4pxesp5ev7l6jm2q3ewbqj4

Abstracts accepted for publication only

2010 Clinical Microbiology and Infection  
Quantitative real-time PCR was carried out using gyrB as an internal control.  ...  It was ica-dependent for 9 isolates, and ica-independent for 20 isolates include 5 ica-positive.  ...  The second swab was used for proceeding SpeedOligo GBS assay.  ... 
doi:10.1111/j.1469-0691.2010.03240.x fatcat:6r2pqunsknaxfhmimrsh542bem

Campo de las Naciones

Campo De Las Naciones, Spain Madrid
ACKNOWLEDGEMENTS This conference was organised by the OECD, the Madrid City Council and the Club of Madrid. Special thanks are given to Madrid City Council; in particular to the Mayor, Mr.  ...  Concurrently, the number of people with no qualification has reduced from half of all men and women in 1974 to 13% of men and 15% of women in 2001.  ...  The City of Madrid hopes that the international conference -What Policies for Globalising Cities?  ...