We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF extends the Linear Logical Framework to allow the natural representation of concurrent computations in an object language. The underlying type theory uses monadic types to segregate values from computations. This separation leads to a tractable notion of definitional equality that identifies computations d...

Antibody-dependent cell-mediated cytotoxicity (ADCC) by peripheral blood mononuclear cells in patients with Sj6grcn's syndrome (SjS) was estimated with special reference te differentiation from phagocytic activity caused by phagocytes. There was no significant difference in ADCC activity of peripheral blood ITmphocytes (phagocyte-depleted lymphocyte fraction) between patients with SjS and norma...

This paper considers safe control synthesis for dynamical systems with either probabilistic or worst-case uncertainty in both the dynamics model and safety constraints. We formulate novel robust (worst-case) Lyapunov function (CLF) barrier (CBF) constraints that take into account effect of case. show formulation leads to a second-order cone program (SOCP), which enables efficient stable synthes...

In the title mol-ecule, C(16)H(17)ClF(2)N(3)O(2)P, the N-H unit of the C(=O)NHP(=O) fragment adopts a syn orientation with respect to the P=O group. The two F atoms and the Cl atom of the ClF(2)C group are disordered over two sets of sites with refined occupancies of 0.605 (6) and 0.395 (6). In the crystal, mol-ecules are linked via N-H⋯O=C hydrogen bonds the and the (N-H⋯)(N-H⋯)O=P group into ...

This paper investigates the relationship between systems to enact software processes and systems to coordinate distributed, heterogeneous and concurrent objects. In particular, we describe in detail how one of these coordination systems systems—the “Coordination Language Facility” (CLF), developed at the Rank Xerox Research Centre—can be used to model and execute a sample software development p...

We recently reported two novel breeding lines of rats known as Carioca Highand Low-conditioned Freezing (CHF and CLF), based on defensive freezing responses to contextual cues previously associated with electric footshock. The present study used animals of the 8th generation of our selective breeding program to investigate both contextual fear extinction and re-extinction. The results consisten...

This work builds off of recent work on rapidly exponentially stabilizing control Lyapunov functions (RES-CLF) and presents a novel method to address actuator saturation in bipedal walking. The proposed method employs quadratic programming (QP) to implement CLF-based controllers, enabling directly incorporating user-specified input bounds into the controller. We show that even with increasingly ...

It is shown that the existence of a continuous controlLyapunov function (CLF) is necessary and sufficient for null asymptotic controllability of nonlinear finitedimensional control systems. The CLF condition is expressed in terms of a concept of generalized derivative that has been studied in set-valued analysis and the theory of differential inclusions with various names such as “upper conting...

Lysobacter are ubiquitous environmental bacteria emerging as novel biocontrol agents and new sources of anti-infectives. So far, very little effort has been invested in the study of the biology of these Gram-negative gliding bacteria. Many Lysobacter species are characterized by their yellow-orange appearance. Using transposon mutagenesis, we identified a stand-alone polyketide synthase (PKS) g...

PECAM-1 is expressed on endothelial cells and leukocytes. Its extracellular domain has been implicated in leukocyte diapedesis. In this study, we used PECAM-1(-/-) mice and relevant cells derived from them to assess the role of PECAM-1 in an experimental model of acute colonic inflammation with a predominant innate immune response, i.e., 2,4,6-trinitrobenzine sulfonic acid (TNBS). Using chimeri...