Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed participants. By capturing distributed interaction as a series of typed interactions, MPSTs allow for the static verification of compliance of corresponding distributed object programs. We observe that explicit control flow informat...

M. Jongmans, P. Hoogerbrugge, L. Hilkens, U. Flucke, I. van der Burgt, K. Noordam, M. Ruiterkam-Versteeg, H. Yntema, W. Nillesen, M. Ligtenberg, A. Geurts-van Kessel, R. Kuiper, N. Hoogerbrugge 1 Radboud University Nijmegen Medical Centre, Human Genetics, Nijmegen, The Netherlands 2 Radboud University Nijmegen Medical Centre, Paediatric Oncology, Nijmegen, The Netherlands 3 Radboud University N...

P144 Influence of diet on oocyst output and intestinal lesion development in Coccivac®-D vaccinated replacement broiler breeders reared on new and used litter. L. A. Oden*1, D. J. Caldwell1, S. K. Pohl1, A. E. Klein1, S. Young2, C. Broussard3, S. Fitz-Coy3, L. Newmann3, and J. T. Lee1, 1Department of Poultry Science, Agrilife Research, Texas A&M System, College Station, 2Pilgrim’s Pride Corpora...

PURPOSE The purpose was to determine the number of semantic neighbors, namely, semantic set size, for 88 nonobjects (J. F. Kroll & M. C. Potter, 1984) and determine how semantic set size related to other measures and age. METHOD Data were collected from 82 adults and 92 preschool children in a discrete association task. The nonobjects were presented via computer, and participants reported the...

In the present article we observe the significations and the dimensions of interaction between instruments and performers in musical performance. This will lead us, firstly, to consider interaction as a phenomenon non-exclusively correlated with the use of numeric technologies. Then, still within the realm of interaction, we describe some of the transmutations introduced by digital music instru...

Non-linear dose response relationships pose statistical challenges for their discovery. Even when an initial linear approximation is followed by other approaches, the results may be misleading and, possibly, preclude altogether the discovery of the nonlinear relationship under investigation. We review a variety of straightforward statistical approaches for detecting nonlinear relationships and ...

Introduction: Unlike the face-to-face courses offered on campus, online courses are predominantly asynchronous, where students basically decide when they can attend online courses. There is also an intermediate method referred to as blended learning (BL) that combines the merits of both methods. This study investigates the effect of blended learning on attitude and learning applied Biostatistic...

Children's ability to place fractions on a number line strongly correlates with math achievement. But does the number line play a causal role in fraction learning or does it simply index more advanced fraction knowledge? The number line may be a particularly effective representation for fraction learning because its properties align with the desired mental representation and take advantage of p...