GeantV: Results from the prototype of concurrent vector particle transport simulation in HEP

Full detector simulation was among the largest CPU consumer in all CERN experiment software stacks for the first two runs of the Large Hadron Collider (LHC). In the early 2010's, the projections were that simulation demands would scale linearly with luminosity increase, compensated only partially by an increase of computing resources. The extension of fast simulation approaches to more use cases, covering a larger fraction of the simulation budget, is only part of the solution due to intrinsic precision limitations. The remainder corresponds to speeding-up the simulation software by several factors, which is out of reach using simple optimizations on the current code base. In this context, the GeantV R&D project was launched, aiming to redesign the legacy particle transport codes in order to make them benefit from fine-grained parallelism features such as vectorization, but also from increased code and data locality. This paper presents extensively the results and achievements of this R&D, as well as the conclusions and lessons learnt from the beta prototype.Comment: 34 pages, 26 figures, 24 table

Choreography Rehearsal ⋆

Abstract. We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised to handle event notification within the service choreography.

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

Dependent seniors garment design

This paper is part of a PhD research in Textile Engineering at University of Minho and aims to establish an ergonomic pattern design methodology to be used in the construction of garments for elderly women, aged 65 and over, dependent of care. The research was developed with a close contact with four institutions involved in supporting this aged population, located in the cities of Guimaraes (Portugal) and Teresina (Brazil). These clothes should be adequate to their anthropometrics and their special needs, in accordance with important functional factors for the dependency of their caregiver, such as: care for the caregiver and comfort for the user. Questions regarding the functional properties of the materials, the pattern design process, trimmings and the assembling process of the garments are specially considered in the desired comfort levels, in order to provide an adequate handling by facilitating the dressing and undressing tasks, but also to assure the user the needed comfort in all its variables.This work is supported by FEDER funds through the Competitive Factors Operational Program (COMPETE) POCI-01-0145-FEDER-007136 and by national funds through Portuguese Foundation for Science and Technology (FCT), under the project UID/CTM/000264 financed by Science Without Borders/CAPEs.info:eu-repo/semantics/publishedVersio

Curricular orientations to real-world contexts in mathematics

A common claim about mathematics education is that it should equip students to use mathematics in the ‘real world’. In this paper, we examine how relationships between mathematics education and the real world are materialised in the curriculum across a sample of eleven jurisdictions. In particular, we address the orientation of the curriculum towards application of mathematics, the ways that real-world contexts are positioned within the curriculum content, the ways in which different groups of students are expected to engage with real-world contexts, and the extent to which high-stakes assessments include real-world problem solving. The analysis reveals variation across jurisdictions and some lack of coherence between official orientations towards use of mathematics in the real world and the ways that this is materialised in the organisation of the content for students

Introdução à biomecânica do esporte considerações sobre métodos de investigação

Através de análise da literatura específica, discute-se o domínio da área de atuação da Biomecânica do Esporte, a interdisciplinaridade de Ciências Esportivas para a investigação do movimento e padronização conceituai, quanto à composição, classificação e metas na investigação. Quanto aos métodos de medidas, discutem-se os principais processos e suas características, visando a complexa investigação para a análise do movimento esportiv

Measurement of J/ψ production in association with a W ± boson with pp data at 8 TeV

A measurement of the production of a prompt J/ψ meson in association with a W± boson with W± → μν and J/ψ → μ+μ− is presented for J/ψ transverse momenta in the range 8.5–150 GeV and rapidity |yJ/ψ| < 2.1 using ATLAS data recorded in 2012 at the LHC. The data were taken at a proton-proton centre-of-mass energy of s = 8 TeV and correspond to an integrated luminosity of 20.3 fb−1. The ratio of the prompt J/ψ plus W± cross-section to the inclusive W± cross-section is presented as a differential measurement as a function of J/ψ transverse momenta and compared with theoretical predictions using different double-parton-scattering cross-sections. [Figure not available: see fulltext.]

A STUDY OF THE MECHANICAL ENERGY DIFFERENCES BETWEEN TREADMILL AND OVERGROUND WALKING

The aim of this paper was to analyze the components of the mechanical energy of the body considering the differences between treadmill and overground walking. One subject was filmed while walking at 1.5 m/s on treadmill and overground. The results show that the patterns of the curves are very similar, but the change in the total energy, both in the upper as in the lower extremity were greater on overground (23.20J and 17.47J respectively for overground and treadmill and for the upper extremity 4.91J and 2.56J). The potential energy change of the trunk was also greater on overground (overground 45.97J; treadmill 24.88J). These findings, showing a lower measured mechanical cost on treadmill address the problem whether the treadmill can be used as a valid simulator for overground walking

Recurrence of Dupuytren’s contracture: A consensus-based definition

Purpose: One of the major determinants of Dupyutren disease (DD) treatment efficacy is recurrence of the contracture. Unfortunately, lack of agreement in the literature on what constitutes recurrence makes it nearly impossible to compare the multiple treatments alternatives available today. The aim of this study is to bring an unbiased pool of experts to agree upon what would be considered a recurrence of DD after treatment; and from that consensus establish a much-needed definition for DD recurrence. Methods: To reach an expert consensus on the definition of recurrence we used the Delphi method and invited 43 Dupuytren’s research and treatment experts from 10 countries to participate by answering a series of questionnaire rounds. After each round the answers were analyzed and the experts received a feedback report with another questionnaire round to further hone in of the definition. We defined consensus when at least 70% of the experts agreed on a topic. Results: Twenty-one experts agreed to participate in this study. After four consensus rounds, we agreed that DD recurrence should be defined as “more than 20 degrees of contracture recurrence in any treated joint at one year post-treatment compared to six weeks post-treatment”. In addition, “recurrence should be reported individually for every treated joint” and afterwards measurements should be repeated and reported yearly. Conclusion: This study provides the most comprehensive to date definition of what should be considered recurrence of DD. These standardized criteria should allow us to better evaluate the many treatment alternatives

Advanced mechanisms for service combination and transactions

Languages and models for service-oriented applications usually include primitives and constructs for exception and compensation handling. Exception handling is used to react to unexpected events while compensation handling is used to undo previously completed activities. In this chapter we investigate the impact of exception and compensation handling in message-based process calculi and the related theories developed within Sensoria