Assessment of motor coordination in primary education of Barcelona and province

El presente estudio tiene por objetivo valorar la coordinación motora de estudiantes de primaria de Barcelona y provincia. Para la evaluación se ha utilizado el test KTK en el que participaron 1254 personas, 670 niños y 584 niñas, de edades entre 7 y 10 años. Se realizó el análisis descriptivo y la comparación entre género y edad. Los resultados indican que más del 40% de la población estudiada presenta una coordinación por debajo de la normalidad, cerca de un 57% de la muestra fue clasificado con coordinación normal y solamente el 4,6% lo ha sido por encima de esta clasificación. Los chicos han presentado resultados significativamente mejores que las chicas. Los datos del estudio no permiten generalizar los resultados, sin embargo como es una muestra representativa, nos lleva a creer que la población de alumnos en educación primaria de Barcelona y su provincia tiene un nivel coordinativo por debajo del esperado para su edadThe present study aims to assess motor coordination of primary-school students of Barcelona and its province. For evaluation we used the KTK test. 1254 people, 670 boys and 584 girls with ages between 7 and 10 years participated in the study. Descriptive analysis and the comparison between gender and age were performed. The results indicate that about 40% of the population studied presents results below normal, around 57% were classified with normal coordination and only 4.6% has been above this rating. The boys have presented significantly better results than girls. The study data do not permit to generalize the results, however as a representative sample, it leads us to believe that the student population in elementary education from Barcelona and its province has a coordinative level below expected for their ageAgrupació de Recerca en Ciències de l’Educació. U

A criterion for separating process calculi

We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible action by an arbitrary process never inhibits the capability of the resulting process to perform a visible action. We prove that there exists no compositional and interaction sensitive encoding of a not strongly replacement free calculus into any strongly replacement free one. We then define a weaker version of replacement freeness, by only considering replacement of closed processes, and prove that, if we additionally require the encoding to preserve name independence, it is not even possible to encode a non replacement free calculus into a weakly replacement free one. As a consequence of our encodability results, we get that many calculi equipped with priority are not replacement free and hence are not encodable into mainstream calculi like CCS and pi-calculus, that instead are strongly replacement free. We also prove that variants of pi-calculus with match among names, pattern matching or polyadic synchronization are only weakly replacement free, hence they are separated both from process calculi with priority and from mainstream calculi.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

Searches for neutrinoless double beta decay

Neutrinoless double beta decay is a lepton number violating process whose observation would also establish that neutrinos are their own anti-particles. There are many experimental efforts with a variety of techniques. Some (EXO, Kamland-Zen, GERDA phase I and CANDLES) started take data in 2011 and EXO has reported the first measurement of the half life for the double beta decay with two neutrinos of $^{136}$Xe. The sensitivities of the different proposals are reviewed.Comment: 8 pages, prepared for TAUP 201

Searches for neutrinoless double beta decay

Neutrinoless double beta decay is a lepton number violating process whose observation would also establish that neutrinos are their own anti-particles. There are many experimental efforts with a variety of techniques. Some (EXO, Kamland-Zen, GERDA phase I and CANDLES) started take data in 2011 and EXO has reported the first measurement of the half life for the double beta decay with two neutrinos of $^{136}$Xe. The sensitivities of the different proposals are reviewed.Comment: 8 pages, prepared for TAUP 201

Searches for neutrinoless double beta decay

Neutrinoless double beta decay is a lepton number violating process whose observation would also establish that neutrinos are their own anti-particles. There are many experimental efforts with a variety of techniques. Some (EXO, Kamland-Zen, GERDA phase I and CANDLES) started take data in 2011 and EXO has reported the first measurement of the half life for the double beta decay with two neutrinos of $^{136}$Xe. The sensitivities of the different proposals are reviewed.Comment: 8 pages, prepared for TAUP 201

On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

A detector module with highly efficient surface-alpha event rejection operated in CRESST-II Phase 2

The cryogenic dark matter experiment CRESST-II aims at the direct detection of WIMPs via elastic scattering off nuclei in scintillating CaWO$_4$ crystals. We present a new, highly improved, detector design installed in the current run of CRESST-II Phase 2 with an efficient active rejection of surface-alpha backgrounds. Using CaWO$_4$ sticks instead of metal clamps to hold the target crystal, a detector housing with fully-scintillating inner surface could be realized. The presented detector (TUM40) provides an excellent threshold of ${\sim}\,0.60\,$keV and a resolution of $\sigma\,{\approx}\,0.090$ keV (at 2.60$\,$keV). With significantly reduced background levels, TUM40 sets stringent limits on the spin-independent WIMP-nucleon scattering cross section and probes a new region of parameter space for WIMP masses below 3$\,$GeV/c$^2$. In this paper, we discuss the novel detector design and the surface-alpha event rejection in detail.Comment: 9 pages, 6 figure