In this section, we shall introduce a formal definition for the notion of a relation on a set. This is something we often take for granted in elementary algebra courses, but is a fundamental concept in mathematics i.e. the very notion of a function relies upon the definition of a relation. Following this, we shall discuss special types of relations on sets. 1. Binary Relations and Basic Definit...

BACKGROUND Knowing one's interpersonal relationship preferences can be tremendously helpful for medical students' lives. The purpose of this study was to examine the interpersonal needs in medical students. METHODS Between 2010 and 2015, a total of 877 students from four Korean medical schools took the Korean version of the Fundamental Interpersonal Relations Orientation - Behaviour (FIRO-B) ...

The TRELLYS project has produced several designs for practical dependently typed languages. These languages are broken into two fragments—a logical fragment where every term normalizes and which is consistent when interpreted as a logic, and a programmatic fragment with general recursion and other convenient but unsound features. In this paper, we present a small example language in this style....

The purpose of this qualitative study is to pave the way for the establishment of healthy interpersonal relations by facilitating an understanding of the impacts of Lions Quest Skills for Adolescence as perceived by adolescents and teachers who took part in it. Lions Quest has become recognized as an evidence-based program for preventing alcohol and drug use through the development of social sk...

A widely observed phenomenon in children’s word-extensions and generalizations is the characteristic-to-defining shift, whereby young children initially generalize words based on typical properties and gradually transition into generalizing words using abstract, logical information. In this paper, we propose a statistically principled model of conceptual development grounded in the trade-off be...

Private communication has been a concern throughout history. People have developed many clever ways to send secret messages to their partners in business, politics, war, and adultery. In the age of computer communication, we assume that anyone may examine the bits flying around the internet, and we use mathematical techniques to scramble the bits in our message so that it is intelligible only a...

This article aims at contributing to the understanding of the trust–control nexus. The objective is to bring the discussion around the relationship between both concepts a step further by identifying common foundations, distinctive mechanisms and key implications relevant for theorybuilding and empirical research on trust and control. First, the concept of trust and related concepts are introdu...

y view on justice in regard to health is distinctive in two ways. First, I hold that the strength of our moral reasons to prevent or to mitigate particular medical conditions does not depend only on what one might call distributional factors, such as how badly off the people affected by these conditions are in absolute and relative terms, how costly prevention or treatment would be, and how muc...

We investigate a calculus with positive inductive and coin-ductive types , which we call ;; , using logical relations. We show that parametric theories have the strong categorical properties, that the rep-resentable functors and natural transformations have the expected properties. Finally we apply the theory to show that terms of functorial type are almost canonical and that monotone inductive...

Antitrust litigation involving hospitals is common. This paper describes recent developments and underlying issues in antitrust law with respect to hospital-hospital relations, hospital-physician relations, and hospital-payer relations. A key unanswered question in each of these areas is how government regulation and public purchasing affect competitive markets for hospital services.