In AM93b] an asynchronous process algebra with multiple clocks, called PMC, was introduced and a complete axiomatization of strong bisimulation equivalence was given for a class of nite state processes. In this report we show how to extend the equational calculus so as to arrive at a complete axiomatization of observation congruence. Completeness is proven for the class of nite processes. With ...

BACKGROUND Mucinous breast carcinoma (MC) is a special type of breast cancer that presents with a large amount of extracellular mucin. MC comprises approximately 4% of all invasive breast cancers. This type of tumor has a better prognosis and higher incidence in peri- and post-menopausal patients. Pathologically, there are two main subtypes of MC: pure and mixed. In this study, we describe 10 y...

Este artículo discute la criminalización de protesta social y labor defensa ambiental en Costa Rica, basándose el estudio caso lucha contra Proyecto Minero Crucitas (PMC), entre los años 2008 2010. El incluyó una metodología centrada consulta bibliográfica, hemerográfica entrevistas a personas defensoras ambientales que enfrentaron denuncias penales por su militancia PMC. En este caso, como otr...

W artykule omówiono wykorzystanie Prywatnych Przedsiębiorstw Militarnych (PMC) we współczesnych konfliktach zbrojnych. Ukazano wzrost zapotrzebowania na firmy usługowe tego typu oraz zaprezentowano ich liczebności w okresie po zakończeniu zimnej wojny. Przedstawiono, kim są pracownicy tych przedsiębiorstw jakie usługi świadczą te firmy. Opisano, dlaczego państwa korzystają z PMC zastępstwie do ...

We present an approach to joint application of spectral subtraction (SPS) and model combination (PMC) for speech recognition in noisy environments. Contrary to previous solutions e.g. [2] distortion introduced by SPS is not modeled in PMC. Instead we ensure compatibility of the two methods by adapting parameters of SPS (spectral floor and overestimation factor) according to the present signalto...

The prognostic value of angiogenic factors in newly pregnant women with obstetric antiphospholipid syndrome (oAPS) has not been documented. We observed 513 oAPS who experienced three consecutive spontaneous abortions before the 10th week of gestation or one fetal loss at or beyond the 10th week. We assessed the plasma concentrations of the proangiogenic factor placenta growth factor (PIGF) and ...

By March 2014 we received the confirmation that the application of Journal of Optometry to be indexed in PubMed database had been successful. This is noteworthy considering that PubMed receives over 400 requests every 3 months and of course the rejection rate is extremely high. Now, from the 24th of March, the articles published in Journal of Optometry from 2014 (inclusive) will be indexed in P...