Super-stability in the Student-Project Allocation Problem with Ties

The Student-Project Allocation problem with lecturer preferences over Students ( Open image in new window ) involves assigning students to projects based on student preferences over projects, lecturer preferences over students, and the maximum number of students that each project and lecturer can accommodate. This classical model assumes that preference lists are strictly ordered. Here, we study a generalisation of Open image in new window where ties are allowed in the preference lists of students and lecturers, which we refer to as the Student-Project Allocation problem with lecturer preferences over Students with Ties ( Open image in new window ). We investigate stable matchings under the most robust definition of stability in this context, namely super-stability. We describe the first polynomial-time algorithm to find a super-stable matching or to report that no such matching exists, given an instance of Open image in new window . Our algorithm runs in O(L) time, where L is the total length of all the preference lists. Finally, we present results obtained from an empirical evaluation of the linear-time algorithm based on randomly-generated Open image in new window instances. Our main finding is that, whilst super-stable matchings can be elusive, the probability of such a matching existing is significantly higher if ties are restricted to the lecturers’ preference lists

Emotions in context: examining pervasive affective sensing systems, applications, and analyses

Pervasive sensing has opened up new opportunities for measuring our feelings and understanding our behavior by monitoring our affective states while mobile. This review paper surveys pervasive affect sensing by examining and considering three major elements of affective pervasive systems, namely; “sensing”, “analysis”, and “application”. Sensing investigates the different sensing modalities that are used in existing real-time affective applications, Analysis explores different approaches to emotion recognition and visualization based on different types of collected data, and Application investigates different leading areas of affective applications. For each of the three aspects, the paper includes an extensive survey of the literature and finally outlines some of challenges and future research opportunities of affective sensing in the context of pervasive computing

Penalty-Based Aggregation of Strings

International Summer School on Aggregation Operators (2019. Olomouc, Czech Republic

Cognitive loading affects motor awareness and movement kinematics but not locomotor trajectories during goal-directed walking in a virtual reality environment.

The primary purpose of this study was to investigate the effects of cognitive loading on movement kinematics and trajectory formation during goal-directed walking in a virtual reality (VR) environment. The secondary objective was to measure how participants corrected their trajectories for perturbed feedback and how participants' awareness of such perturbations changed under cognitive loading. We asked 14 healthy young adults to walk towards four different target locations in a VR environment while their movements were tracked and played back in real-time on a large projection screen. In 75% of all trials we introduced angular deviations of ±5° to ±30° between the veridical walking trajectory and the visual feedback. Participants performed a second experimental block under cognitive load (serial-7 subtraction, counter-balanced across participants). We measured walking kinematics (joint-angles, velocity profiles) and motor performance (end-point-compensation, trajectory-deviations). Motor awareness was determined by asking participants to rate the veracity of the feedback after every trial. In-line with previous findings in natural settings, participants displayed stereotypical walking trajectories in a VR environment. Our results extend these findings as they demonstrate that taxing cognitive resources did not affect trajectory formation and deviations although it interfered with the participants' movement kinematics, in particular walking velocity. Additionally, we report that motor awareness was selectively impaired by the secondary task in trials with high perceptual uncertainty. Compared with data on eye and arm movements our findings lend support to the hypothesis that the central nervous system (CNS) uses common mechanisms to govern goal-directed movements, including locomotion. We discuss our results with respect to the use of VR methods in gait control and rehabilitation

Recognition of dance-like actions: memory for static posture or dynamic movement?

Dance-like actions are complex visual stimuli involving multiple changes in body posture across time and space. Visual perception research has demonstrated a difference between the processing of dynamic body movement and the processing of static body posture. Yet, it is unclear whether this processing dissociation continues during the retention of body movement and body form in visual working memory (VWM). When observing a dance-like action, it is likely that static snapshot images of body posture will be retained alongside dynamic images of the complete motion. Therefore, we hypothesized that, as in perception, posture and movement would differ in VWM. Additionally, if body posture and body movement are separable in VWM, as form- and motion-based items, respectively, then differential interference from intervening form and motion tasks should occur during recognition. In two experiments, we examined these hypotheses. In Experiment 1, the recognition of postures and movements was tested in conditions in which the formats of the study and test stimuli matched (movement-study to movement-test, posture-study to posture-test) or mismatched (movement-study to posture-test, posture-study to movement-test). In Experiment 2, the recognition of postures and movements was compared after intervening form and motion tasks. These results indicated that (1) the recognition of body movement based only on posture is possible, but it is significantly poorer than recognition based on the entire movement stimulus, and (2) form-based interference does not impair memory for movements, although motion-based interference does. We concluded that, whereas static posture information is encoded during the observation of dance-like actions, body movement and body posture differ in VWM

High-resolution genetic mapping with pooled sequencing

Background: Modern genetics has been transformed by high-throughput sequencing. New experimental designs in model organisms involve analyzing many individuals, pooled and sequenced in groups for increased efficiency. However, the uncertainty from pooling and the challenge of noisy sequencing data demand advanced computational methods. Results: We present MULTIPOOL, a computational method for genetic mapping in model organism crosses that are analyzed by pooled genotyping. Unlike other methods for the analysis of pooled sequence data, we simultaneously consider information from all linked chromosomal markers when estimating the location of a causal variant. Our use of informative sequencing reads is formulated as a discrete dynamic Bayesian network, which we extend with a continuous approximation that allows for rapid inference without a dependence on the pool size. MULTIPOOL generalizes to include biological replicates and case-only or case-control designs for binary and quantitative traits. Conclusions: Our increased information sharing and principled inclusion of relevant error sources improve resolution and accuracy when compared to existing methods, localizing associations to single genes in several cases. MULTIPOOL is freely available at http://cgs.csail.mit.edu/multipool/ webcite.National Science Foundation (U.S.) (Graduate Research Fellowship Grant 0645960

An insight into the sialome of Simulium guianense (DIPTERA:SIMulIIDAE), the main vector of River Blindness Disease in Brazil

<p>Abstract</p> <p>Background</p> <p>Little is known about the composition and function of the saliva in black flies such as <it>Simulium guianense</it>, the main vector of river blindness disease in Brazil. The complex salivary potion of hematophagous arthropods counteracts their host's hemostasis, inflammation, and immunity.</p> <p>Results</p> <p>Transcriptome analysis revealed ubiquitous salivary protein families--such as the Antigen-5, Yellow, Kunitz domain, and serine proteases--in the <it>S. guianense </it>sialotranscriptome. Insect-specific families were also found. About 63.4% of all secreted products revealed protein families found only in <it>Simulium</it>. Additionally, we found a novel peptide similar to kunitoxin with a structure distantly related to serine protease inhibitors. This study revealed a relative increase of transcripts of the SVEP protein family when compared with <it>Simulium vittatum </it>and <it>S. nigrimanum </it>sialotranscriptomes. We were able to extract coding sequences from 164 proteins associated with blood and sugar feeding, the majority of which were confirmed by proteome analysis.</p> <p>Conclusions</p> <p>Our results contribute to understanding the role of <it>Simulium </it>saliva in transmission of <it>Onchocerca volvulus </it>and evolution of salivary proteins in black flies. It also consists of a platform for mining novel anti-hemostatic compounds, vaccine candidates against filariasis, and immuno-epidemiologic markers of vector exposure.</p

Observational Learning of New Movement Sequences Is Reflected in Fronto-Parietal Coherence

Mankind is unique in her ability for observational learning, i.e. the transmission of acquired knowledge and behavioral repertoire through observation of others' actions. In the present study we used electrophysiological measures to investigate brain mechanisms of observational learning. Analysis investigated the possible functional coupling between occipital (alpha) and motor (mu) rhythms operating in the 10Hz frequency range for translating “seeing” into “doing”. Subjects observed movement sequences consisting of six consecutive left or right hand button presses directed at one of two target-buttons for subsequent imitation. Each movement sequence was presented four times, intervened by short pause intervals for sequence rehearsal. During a control task subjects observed the same movement sequences without a requirement for subsequent reproduction. Although both alpha and mu rhythms desynchronized during the imitation task relative to the control task, modulations in alpha and mu power were found to be largely independent from each other over time, arguing against a functional coupling of alpha and mu generators during observational learning. This independence was furthermore reflected in the absence of coherence between occipital and motor electrodes overlaying alpha and mu generators. Instead, coherence analysis revealed a pair of symmetric fronto-parietal networks, one over the left and one over the right hemisphere, reflecting stronger coherence during observation of movements than during pauses. Individual differences in fronto-parietal coherence were furthermore found to predict imitation accuracy. The properties of these networks, i.e. their fronto-parietal distribution, their ipsilateral organization and their sensitivity to the observation of movements, match closely with the known properties of the mirror neuron system (MNS) as studied in the macaque brain. These results indicate a functional dissociation between higher order areas for observational learning (i.e. parts of the MNS as reflected in 10Hz coherence measures) and peripheral structures (i.e. lateral occipital gyrus for alpha; central sulcus for mu) that provide low-level support for observation and motor imagery of action sequences

Psychophysiology in games

Psychophysiology is the study of the relationship between psychology and its physiological manifestations. That relationship is of particular importance for both game design and ultimately gameplaying. Players’ psychophysiology offers a gateway towards a better understanding of playing behavior and experience. That knowledge can, in turn, be beneficial for the player as it allows designers to make better games for them; either explicitly by altering the game during play or implicitly during the game design process. This chapter argues for the importance of physiology for the investigation of player affect in games, reviews the current state of the art in sensor technology and outlines the key phases for the application of psychophysiology in games.The work is supported, in part, by the EU-funded FP7 ICT iLearnRWproject (project no: 318803).peer-reviewe

Establishment of a Bluetongue Virus Infection Model in Mice that Are Deficient in the Alpha/Beta Interferon Receptor

Bluetongue (BT) is a noncontagious, insect-transmitted disease of ruminants caused by the bluetongue virus (BTV). A laboratory animal model would greatly facilitate the studies of pathogenesis, immune response and vaccination against BTV. Herein, we show that adult mice deficient in type I IFN receptor (IFNAR(−/−)) are highly susceptible to BTV-4 and BTV-8 infection when the virus is administered intravenously. Disease was characterized by ocular discharges and apathy, starting at 48 hours post-infection and quickly leading to animal death within 60 hours of inoculation. Infectious virus was recovered from the spleen, lung, thymus, and lymph nodes indicating a systemic infection. In addition, a lymphoid depletion in spleen, and severe pneumonia were observed in the infected mice. Furthermore, IFNAR(−/−) adult mice immunized with a BTV-4 inactivated vaccine showed the induction of neutralizing antibodies against BTV-4 and complete protection against challenge with a lethal dose of this virus. The data indicate that this mouse model may facilitate the study of BTV pathogenesis, and the development of new effective vaccines for BTV