Logic1 GLARF relations are generated from treebank and parses for English, Chinese and Japanese. We focus on evaluation of system output for both input types, often allowing for multiple correct answers.

We present and discuss a simple semantic approach to force step-indexed logical relations to be transitive.

We investigatea simple form of parametricity, based on adding \abstract" copies of pre-existing types. Connections are made with the Reynolds-Ma theory of parametricity by logical relations, with the theory of parametricity via dinaturality, and with the categorical notion of equivalence.

The introduction of modern digital technologies into the practice financial market entities contributes to resolution contradictions in economic relations between suppliers and consumers products by forming a local compromise. digitalization services helps increase physical tariff accessibility services, reduces costs company expand its client portfolio. However, it should be noted that product...

Objective: The aim of this case report is to demonstrate the feasibility of a systemic procedure (synergetic process management) including modeling of the idiographic psychological system and continuous high-frequency monitoring of change dynamics in a case of dissociative identity disorder. The psychotherapy was realized in a day treatment center with a female client diagnosed with borderline ...

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...