We present an object calculus for structured concurrent programming, facilitating the implementation of typed binary protocols, known as sessions. Session types are based on a concept of duality of interactions, providing a powerful type-theoretic foundation for guaranteeing well-behaved parallel composition of communicating code. Our formalism extends the Abadi and Cardelli imperative object c...

PURPOSE To verify the results obtained by ten sessions of specific instruction about language and communication to mothers of children of the autistic spectrum. METHODS Subjects were 26 mother-child dyads. The children attended language therapy in a specialized service. Five pre-planned instruction sessions and five accompanying sessions to small groups of mothers parallel to the children's l...

The developmental trajectories of specific forms of maternal touch during natural caregiving were examined across the first year in relation to the development of mother-infant reciprocal communication. One hundred and thirty-one mothers and infants in four groups aged 3, 6, 9, and 12 months were observed in a cross-sectional design at home during natural caregiving and mother-child play sessio...

The 2011 World Statistics Congress included approximately 1,150 oral and 250 poster presentations over approximately 250 sessions, with as many as 20 sessions running in parallel at any one time. Scheduling a timetable for such a conference is hence a complicated task, as ideally, talks on similar topics should be scheduled in the same session, and similar session topics should not be presented...

Invention activities challenge students to tackle problems that superficially appear unrelated to the course material but illustrate underlying fundamental concepts that are fundamental to material that will be presented. During our invention activities in a first-year biology class, students were presented with problems that are parallel to those that living cells must solve, in weekly session...