The murine major histocompatibility complex encodes H-2K and H-2D transplantation antigens and other class I-like proteins called Qa and Tla molecules; the functions of the Qa/Tla molecules are not known. That they may participate in embryonic cell-cell interactions and/or play a role in immune responses against tumors has been speculated. We have studied two murine embryonal carcinoma tumors, ...

Labor is a crucial resource in most organizations. In not-for-profit, public, and government services, it is common for labor to include unpaid volunteers. This article demonstrates how the volunteer labor assignment (VLA) problem is markedly different from traditional labor assignment (TLA) problems such as labor scheduling. One core difference pertains to the cost structure of labor, where TL...

Thrombus-related catheter malfunction is a significant problem for catheter-dependent dialysis patients. The primary medical intervention is the local luminal installation of thrombolytic agents (TLAs). There are three major TLA installation methodologies: locking, push, and infusion protocols. A systematic literature review of existing TLA protocols for treating dialysis catheter malfunction w...

Partial synchrony is a model of computation in many distributed algorithms and modern blockchains. These are typically parameterized the number participants, their correctness requires existence bounds on message delays relative speed processes after reaching Global Stabilization Time. characteristics make partially synchronous processes, parametric time bounds, which render automated verificat...

CAML Review is published three times per year. It concerned with music and materials strives to promote a better understanding of the cultural importance libraries, archives documentation centres locally, regionally nationally.

Although, historically, fault tolerance is connected to safetycritical systems, there has been an increasing interest in fault tolerance in mainstream application such as the cloud. There is a need for formal specification and verification of industrial fault-tolerant designs, since they integrate, in a non-trivial way, the ideas from distributed algorithms, whose correctness is usually based o...

Using different specification formalisms together is necessary to leverage better reliability on component-based systems. The ConFract system provides a contracting system for hierarchical software components, but currently, only executable assertions are supported. In this paper, we describe how TLA, taken as an instance of behavioral sequence-based formalism, was integrated in ConFract. A dom...