Laws for Communicating Parallel Processes

Key Words and Phrases: parallel processes, parallel or asynchronous computations, partial orders of events, Actor theory. CR Categories: 5.21, 5.24, 5.26. This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0522.This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and take the form of stating plausible restrictions on the histories of parallel computations to make them physically realizable. The laws are justified by appeal to physical intuition and are to be regarded as falsifiable assertions about the kinds of computations that occur in nature rather than as proven theorems in mathematics. The laws are used to analyze the mechanisms by which multiple processes can communicate to work effectively together to solve difficult problems. Since the causal relations among the events in a parallel computation do not specify a total order on events, the actor model generalizes the notion of computation from a sequence of states to a partial order of events. The interpretation of unordered events in this partial order is that they proceed concurrently. The utility of partial orders is demonstrated by using them to express our laws for distributed computation.MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agenc

Security and Modularity in Message Passing

This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Office of Naval Research of the Department of Defense under contract N00014-75-C-0522.This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in order to increase the modularity of concurrent systems. Our mechanism has the property that the actions caused by delegated messages are atomic. That is the handling of a message delegated by a client actor appears to be indivisible to other users of the actor. Our mechanism for delegating communications is a generalization suitable for use in concurrent systems of the sub-class mechanism of SIMULA. Our mechanism has the benefit that it easily lends itself to the implementation of efficient flexible access control mechanisms in distributed systems. It is a generalization of the protection mechanisms provided by capability-based system, access control lists, and the access control mechanisms provided by PDP-10 SIMULA.MIT Artificial Intelligence Laboratory Department of Defense Office of Naval Researc

Arthroscopic removal of palmar intermediate carpal bone fracture fragments in four horses using a transthecal approach through the carpal flexor tendon sheath

OBJECTIVE: To describe the removal of palmar intermediate carpal bone (ICB) fracture fragments using a transthecal approach through the carpal flexor tendon sheath. STUDY DESIGN: Case series. ANIMALS: Four horses with fractures of the palmar aspect of the ICB. METHODS: Two horses were injured when falling and two during recovery from general anesthesia. Three horses underwent MRI to supplement conventional imaging. Three horses had concurrent fractures of the radial and/or accessory carpal bones. Conventional proximolateral carpal sheath arthroscope and instrument portals were used, supplemented with a medial instrument portal through the carpal flexor retinaculum to access the palmar carpal ligament. Optimized dissection through the latter was facilitated by needle guidance and radiography. The fragment was dissected from the soft tissue attachments and the palmar ICB fragments retrieved through the carpal sheath in all horses. Surgery time was 85 to 142 min. RESULTS: Limitations of this technique include a long surgery time and the potential for hemorrhage to impair visibility during surgery. All four horses were discharged 3 to 8 days postoperatively. Three horses returned to full athletic work within 9 months postoperatively and one horse was euthanized due to persistent lameness. CONCLUSION: A tenoscopic transthecal carpal flexor tendon sheath approach provides access for removal of palmar ICB fracture fragments but should be viewed as an advanced arthroscopic procedure. CLINICAL SIGNIFICANCE: A transthecal approach through the carpal flexor tendon sheath offers an alternative technique for removal of palmar ICB fracture fragments

Pesticide application technology in the 21st century

Since 1996, glyphosate has been the predominant herbicide used postemergence for weed control in corn, soybean and cotton in the United States. Because of that, glyphosate-resistant weeds have become increasingly more prevalent in glyphosate-resistant crops which have forced many growers to use other herbicides. Herbicide programs that relied primarily on glyphosate for weed control often used rates as low as 5 gallon/acre (GPA). The other herbicides being used in row crops often require a higher carrier volume according to the label when compared to glyphosate which can be burdensome to the applicator, requiring the transport of more water, more refills and more potential of mixing errors. Additionally, there is growing concern about off-target movement of pesticides and what can be done to mitigate pesticide drift. Both drift and efficacy can be affected by spray quality and application decisions such as nozzle selection, operating pressure and components of the spray solution

The Incremental Garbage Collection of Processes

Key Words and Phrases: garbage collection, multiprocessing systems, processor scheduling. "lazy evaluation, "eager" evaluation. CR Categories: 3.60, 3.80, 4.13, 4.22, 4.32. This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0522. This paper was presented at the AI*PL Conference at Rochester, N.Y. in August, 1977.This paper investigates some problems associated with an argument evaluation order that we call "future" order, which is different from both call-by-name and call-by-value. In call-by-future, each formal parameter of a function is bound to a separate process (called a "future") dedicated to the evaluation of the corresponding argument. This mechanism allows the fully parallel evaluation of arguments to a function, and has been shown to augment the expressive power of a language. We discuss an approach to a problem that arises in this context: futures which were thought to be relevant when they were created become irrelevant through being ignored in the body of the expression where they were bound. The problem of irrelevant processes also appears in multiprocessing problem-solving systems which start several processors working on the same problem but with different methods, and return with the solution which finishes first. This parallel method strategy has the drawback that the processes which are investigating the losing methods must be identified, stopped, and re-assigned to more useful tasks. The solution we propose is that of garbage collection. We propose that the goal structure of the solution plan be explicitly represented in memory as part of the graph memory (like Lisp's heap) so that a garbage collection algorithm can discover which processes are performing useful work, and which can be recycled for a new task. An incremental algorithm for the unified garbage collection of storage and processes is described.MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agenc

Simultaneous assessment of cytotoxic T lymphocyte responses against multiple viral infections by combined usage of optimal epitope matrices, anti- CD3 mAb T-cell expansion and "RecycleSpot"

The assessment of cellular anti-viral immunity is often hampered by the limited availability of adequate samples, especially when attempting simultaneous, high-resolution determination of T cell responses against multiple viral infections. Thus, the development of assay systems, which optimize cell usage, while still allowing for the detailed determination of breadth and magnitude of virus-specific cytotoxic T lymphocyte (CTL) responses, is urgently needed. This study provides an up-to-date listing of currently known, well-defined viral CTL epitopes for HIV, EBV, CMV, HCV and HBV and describes an approach that overcomes some of the above limitations through the use of peptide matrices of optimally defined viral CTL epitopes in combination with anti-CD3 in vitro T cell expansion and re-use of cells from negative ELISpot wells. The data show that, when compared to direct ex vivo cell preparations, antigen-unspecific in vitro T cell expansion maintains the breadth of detectable T cell responses and demonstrates that harvesting cells from negative ELISpot wells for re-use in subsequent ELISpot assays (RecycleSpot), further maximized the use of available cells. Furthermore when combining T cell expansion and RecycleSpot with the use of rationally designed peptide matrices, antiviral immunity against more than 400 different CTL epitopes from five different viruses can be reproducibly assessed from samples of less than 10 milliliters of blood without compromising information on the breadth and magnitude of these responses. Together, these data support an approach that facilitates the assessment of cellular immunity against multiple viral co-infections in settings where sample availability is severely limited

Phenotypic and functional analyses show stem cell-derived hepatocyte-like cells better mimic fetal rather than adult hepatocytes

Background & Aims: Hepatocyte-like cells (HLCs), differentiated from pluripotent stem cells by the use of soluble factors, can model human liver function and toxicity. However, at present HLC maturity and whether any deficit represents a true fetal state or aberrant differentiation is unclear and compounded by comparison to potentially deteriorated adult hepatocytes. Therefore, we generated HLCs from multiple lineages, using two different protocols, for direct comparison with fresh fetal and adult hepatocytes. Methods: Protocols were developed for robust differentiation. Multiple transcript, protein and functional analyses compared HLCs to fresh human fetal and adult hepatocytes. Results: HLCs were comparable to those of other laboratories by multiple parameters. Transcriptional changes during differentiation mimicked human embryogenesis and showed more similarity to pericentral than periportal hepatocytes. Unbiased proteomics demonstrated greater proximity to liver than 30 other human organs or tissues. However, by comparison to fresh material, HLC maturity was proven by transcript, protein and function to be fetal-like and short of the adult phenotype. The expression of 81% phase 1 enzymes in HLCs was significantly upregulated and half were statistically not different from fetal hepatocytes. HLCs secreted albumin and metabolized testosterone (CYP3A) and dextrorphan (CYP2D6) like fetal hepatocytes. In seven bespoke tests, devised by principal components analysis to distinguish fetal from adult hepatocytes, HLCs from two different source laboratories consistently demonstrated fetal characteristics. Conclusions: HLCs from different sources are broadly comparable with unbiased proteomic evidence for faithful differentiation down the liver lineage. This current phenotype mimics human fetal rather than adult hepatocytes

Discursive deracialization in talk about asylum seeking

ABSTRACT In this paper we explore the extent to which ‘discursive deracialization’, the removal of ‘race’ from potentially racially motivated arguments, is taking place in talk about asylum seeking. A discourse analysis is conducted on the part of a corpus of data collected from focus groups with undergraduate students talking about asylum seeking, in which they were asked if they considered it to be racist to oppose asylum. We show that speakers use three arguments for opposing asylum that are explicitly framed as non-racist: opposition is based on (1) economic reasons (2) religious grounds and the associated threat of terrorism and (3) the lack of asylum seekers' ability to integrate into British society. These findings are discussed with regard to the implications they have for our understanding of discursive deracialization in which it is shown that there is a common knowledge understanding, albeit one that needs qualifying, that opposition to asylum is not racist

Regulation of the host immune system by helminth parasites

Helminth parasite infections are associated with a battery of immunomodulatory mechanisms, which impact all facets of the host immune response to ensure their persistence within the host. This broad-spectrum modulation of host immunity has intended and unintended consequences, both advantageous and disadvantageous. Thus the host may benefit from suppression of collateral damage during parasite infection, and from reduced allergic, autoimmune and inflammatory reactions. However, helminth infection can also be detrimental in reducing vaccine responses, increasing susceptibility to co-infection, and potentially reducing tumor immunosurveillance. In this review we will summarize the panoply of immunomodulatory mechanisms used by helminths, their potential utility in human disease, and prospective areas of future research