Differences in host susceptibility to infectious diseases are well documented. While the mechanisms underlying these differences are far from elucidated, recent progress in the genomics of pathogen-host interactions has increased our understanding of the phenomenon. An increasing number of studies demonstrate that the major histocompatibility complex molecules modulate the overall susceptibilit...

We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the pro...

interaction between urokinase-type plasminogen activator (upa) and its receptor (upar) plays an important role in the progression of numerous cancer types including breast cancer by promoting tumor initiating,  proliferation,  invasion  and  metastasis.  hence,  disruption  of  this  interaction  inhibits  their downstream cascades and subsequently tumor growth. for this, we created two series ...

This paper presents an interaction taxonomy for classifying and identifying requirement interactions in software systems. The proposed taxonomy is in the form of a four-layered pyramid that defines 6 Main Interaction Categories in the first layer, 17 Interaction Subcategories in the second layer, 29 Interaction Types in the third layer, and 29 Interaction Scenarios in the fourth layer. Each int...

This paper describes an interaction style in virtual environments that allows co-located users to manipulate certain interactive features of virtual environments with 2D or non-inmersive types of input devices. The concept proposes to make interaction accessible to groups of users by mirroring some of the VE interaction characteristics and functionality and making them accessible from other typ...

this study was inspired by vanpatten and uludag’s (2011) study on the transferability of training via processing instruction to output tasks and mori’s (2002) work on the development of talk-in-interaction during a group task. an interview was devised as the pretest, posttest, and delayed posttest to compare four intervention types for teaching the simple past passive: traditional intervention ...

In this poster we present novel development and extension of the Drug-drug Interaction and Drug-drug Interaction Evidence Ontology (DIDEO). We demonstrate how reasoning over this extension of DIDEO can a) automatically create a multi-level hierarchy of evidence types from descriptions of the underlying scientific observations and b) automatically subsume individual evidence items under the corr...

This paper presents an extension of the comprehensive (overall) concordance index of ELECTRE methods, which takes the interaction between criteria into account. In real-world decision-aiding situations, it is reasonable to consider only the interaction between a small number of criterion pairs. Three types of interaction have been considered: mutual strengthening, mutual weakening, and antagoni...