Although multithreading can improve performance, it is a source of nondeterminism in application behavior. Existing approaches to replicating multithreaded applications either synchronize replicas at interrupt level, at the expense of performance, or use a nonpreemptive deterministic scheduler, at the expense of concurrency. This paper presents a loose synchronization algorithm for ensuring det...

The rovers, which some researchers and agencies are developing, have many functions to sense a lot of information from peculiar environments like the lunar surface for localization, path planning and so on. On rough terrain, without artificial ground maintenance, like the lunar surface, the rovers avoid obstacles by using sensors, which they have. However, if the rovers traverse loose soil, lik...

In this paper we define the loose block independence property for positive entropy Zd actions and extend some of the classical results to higher dimensions. In particular, we prove that two loose block independent actions are even Kakutani equivalent if and only if they have the same entropy. We also prove that for d > 1 the ergodic, isometric extensions of the positive entropy loose block inde...

We investigated the lymphocyte-mediated immune response to polymethylmethacrylate bone cement in 26 patients who had revision surgery for aseptic loosening of cemented total hip arthroplasties, at a mean time of seven years after the first replacement. We studied eight patients with cemented total hip arthroplasties which were not loose as controls. Patch tests to polymethylmethacrylate bone ce...

In this paper, we propose a new,loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantics of a place/transition net reflects all its possible refinements and is given as a category of transition systems with alternative sequences of events over the net. The main result states that each plain morphism between two ...

Reading psychiatric research literature of the last several decades frequently gives the impression of fragmentation, where old research topics are abandoned for newer ones without proper follow-up that would place the existing data into a coherent structure. Such perspective is increasingly relevant though, as medical research draws more and more on methods that allow exploratory analyses of l...

Renaming is a classic distributed coordination task in which a set of processes must pick distinct identifiers from a small namespace. In this paper, we consider the time complexity of this problem when the namespace is linear in the number of participants, a variant known as loose renaming. We give a non-adaptive algorithm withO(log logn) (individual) step complexity, where n is a known upper ...

Recently, asymptotic values of 2-color Ramsey numbers for loose cycles and also loose paths were determined. Here we determine the 2-color Ramsey number of 3-uniform loose paths when one of the paths is significantly larger than the other: for every n > ⌊ 5m 4 ⌋ , we show that R(P n,P m) = 2n + ⌊m + 1 2 ⌋ .

OBJECTIVE To assess the association of CD40/CD40 ligand (CD40L) interactions with the development of skin fibrosis and autoimmunity in tight-skin (TSK/+) mouse, which is a mouse model for human systemic sclerosis. METHODS Newly born TSK/+ mice were treated with murine anti-CD40L monoclonal antibody (100 microg intraperitoneally weekly). Hypodermal thickness of 8-week-old female mice (defined ...

This study investigated the impact of two caustic and one acidic cleaning formulations (namely MC11, PC98, and MC3, respectively) on the properties and separation efficiency of three different nanofiltration (NF) membranes (namely NF270, NF90 and TFC-SR100). Overall, the impact of chemical cleaning on surface properties and rejection was membrane and cleaning reagent specific. It was driven mos...