We investigate a notion of behavioral genericity in the context of session type disciplines. To this end, we develop a logically motivated theory of parametric polymorphism, reminiscent of the Girard-Reynolds polymorphic λcalculus, but casted in the setting of concurrent processes. In our theory, polymorphism accounts for the exchange of abstract communication protocols and dynamic instantiatio...

The balance between the costs and benefits of conspicuous animal communication signals ensures that signal expression relates to the quality of the bearer. Signal plasticity enables males to enhance conspicuous signals to impress mates and competitors and to reduce signal expression to lower energetic and predation-related signaling costs when competition is low. While signal plasticity may ben...

Communicative pointing is a human specific gesture which allows sharing information about a visual item with another person. It sets up a three-way relationship between a subject who points, an addressee and an object. Yet psychophysical and neuroimaging studies have focused on non-communicative pointing, which implies a two-way relationship between a subject and an object without the involveme...

I n recent years there has been an explosion of investigation of the microbiota which constitutes the gut microbiome (1 5). The trillions of bacteria which together make this up are engaged in multiple interactions with each other and the host in which they live. Indeed, they have been regarded as an additional organ within the external compartment of the body which influences the endocrine, me...

background and objectives: active presence of hospitals on the internet is becoming a hallmark of hospitals’ commitment to quality healthcare services delivery. for insightful planning towards a strong internet-based information delivery and communication, there is a need for continuous monitoring of hospital website’s status. built on this need, this paper provides, for the first time, a ranki...

0

The Effectiveness of Cognitive-Behavioral Stress Management Training on Marital Commitment and Communication Beliefs in Mothers with Low Satisfaction

PURPOSE OF REVIEW Efficacious behavioral interventions and practices have not been universally accepted, adopted, or diffused by policy makers, administrators, providers, advocates, or consumers. Biomedical innovations for sexually transmitted disease (STD) and HIV prevention have been embraced but their effectiveness is hindered by behavioral factors. Behavioral interventions are required to s...