Recent logic calculi open new possibilities for logic programming. Apparently the most important of them is a linear logic which makes possible to solve problems by resources treatment. The linear logic has already been used for several proposals of logic programming language. But authors of these languages mostly focused on the proposal of language and somewhat turned aside its efficient imple...

We report the case of a 63-year-old woman who presented a 3-month history of hyperpigmented and pruritic skin lesions in the lumbar region. Physical examination revealed violaceous-brown macules in a linear distribution with an italic S morphology (Fig. 1). The nails and mucosas were not affected. The patient did not report using systemic or topical treatments, exposure to the sun, or trauma pr...

In this paper we work in the framework of a k-dimensional vector of log-linear risks. Under weak conditions on the marginal tails and the dependence structure of a vector of positive risks, we derive the asymptotic tail behaviour of the aggregated risk and present an application concerning log-normal risks with stochastic volatility.

In this paper we work in the framework of a k-dimensional vector of log-linear risks. Under weak conditions on the marginal tails and the dependence structure of a vector of positive risks we derive the asymptotic tail behaviour of the aggregated risk and present an application concerning log-normal risks with stochastic volatility.

A propositional logic of distributed protocols is introduced which includes both the logic of knowledge and temporal logic. Phenomena in distributed computing systems such as asynchronous time, incomplete knowledge by the computing agents in the system, and game-like behavior among the computing agents are all modeled in the logic. Two versions of the logic, the linear logic of protocols (LLP) ...

The purpose of this study was to use finite element analysis to compare the biomechanical characteristics after lateral locking plate (LLP) or LLP with a medial anatomical locking plate (LLP-MLP) fixation of proximal humeral fractures with an unstable medial column.First, a 3-dimensional, finite element analysis model was developed. Next, LLP and LLP-MLP implants were instrumented into the prox...

Learning from Label Proportions (LLP) is a machine learning problem in which the training data consist of bags of instances, and only the class label distribution for each bag is known. In some domains label proportions are readily available; for example, by grouping social media users by location, one can use census statistics to build a classifier for user demographics. However, label proport...

The molecular basis for localization of the human immunodeficiency virus type 1 envelope glycoprotein (Env) in detergent-resistant membranes (DRMs), also called lipid rafts, still remains unclear. The C-terminal cytoplasmic tail of gp41 contains three membrane-interacting, amphipathic alpha-helical sequences, termed lentivirus lytic peptide 2 (LLP-2), LLP-3, and LLP-1, in that order. Here we id...