ON LIST STRUCTURES AND THEIR USE IN THE PROGRAMMING OF UNIFICATION

The notion of list structure is discussed, and a new construct is introduced into LISP which permits the computation of list structures containing cycles without recourse to operations which alter existing structures. It is shown that list structures can be used to represent both finite and “rational” infinite terms. Substitutions (generalized for a term algebra which includes infinite terms) are discussed, “tables” are introduced as an abstract data type, and two methods of representing substitutions by tables, together with their interrelation, are considered. Concise programs are given for a succession of forms of Robinson’s unification algorithm, including one which operates in almost linear time, and for the application of substitutions to terms

Computing Cyclic List Structures

It is argued that list structures containing cycles are useful and unobjectionable Lisp entities. If this is so, it is desirable to have a means of computing them less foreign to the equational-definition style characteristic of Lisp than are the list-structure-altering primitives rplaca and rplacd. A notion is developed of a reasonable system of mutually recursive equations, guaranteed to have a unique solution in list structures. The notion is given in terms of the computations invoked by the equations, without reference to the forms of expressions appearing in them. A variety of programming examples are presented, including a curious implementation of the Knuth-Morris-Pratt string matching algorithm. Two methods of implementing the recursive definitions facility are discussed

A Time- and Space-Efficient Garbage Compaction Algorithm

Given an area of storage containing scattered marked nodes, one may wish to rearrange them into a compact mass at one end of the area, meanwhile revising all pointers to marked nodes to show their new locations. An algorithm is here described which accomplishes this task in Iinear time relative to the size of the storage area, and in space of the order of one bit for each pointer. The algorithm operates by reversibly encoding the situation that a collection of locations point to a single location by a linear list, emanating from the pointed-to location, passing through the pointing locations, and terminating with the pointed-to location\u27s transplanted contents

A Generalization of the Trie Data Structure

Tries, a form of string-indexed look-up structure, are generalized to permit indexing by terms built according to an arbitrary signature. The construction is parametric with respect to the type of data to be stored as values; this is essential, because the recursion which defines tries appeals from one value type to others. Trie (for any fixed signature) is then a functor, and the corresponding look-up function is a natural isomorphism. The trie functor is in principle definable by the initial fixed point semantics of Smyth and Plotkin. We simplify the construction, however, by introducing the category-cpo , a class of category within which calculations can retain some domain-theoretic flavor. Our construction of tries extends easily to many-sorted signatures

A Non-Deterministric Parallel Sorting Algorithm

A miniswap Si,1 ≤ i \u3c n, compares two adjacent keys Пi, Пi+1 in the sequence (П1, ... , Пn), and transposes them if they are out of order. A full sweep is any composition of all n - 1 possible miniswaps. We prove that the composition of any n- 1 full sweeps is a sorting function

The variable mass loss of the AGB star WX Psc as traced by the CO J=1-0 through 7-6 lines and the dust emission

Low and intermediate mass stars lose a significant fraction of their mass through a dust-driven wind during the Asymptotic Giant Branch (AGB) phase. Recent studies show that winds from late-type stars are far from being smooth. Mass-loss variations occur on different time scales, from years to tens of thousands of years. The variations appear to be particularly prominent towards the end of the AGB evolution. The occurrence, amplitude and time scale of these variations are still not well understood. The goal of our study is to gain insight into the structure of the circumstellar envelope (CSE) of WX Psc and map the possible variability of the late-AGB mass-loss phenomenon. We have performed an in-depth analysis of the extreme infrared AGB star WX Psc by modeling (1) the CO J=1-0 through 7-6 rotational line profiles and the full spectral energy distribution (SED) ranging from 0.7 to 1300 micron. We hence are able to trace a geometrically extended region of the CSE. Both mass-loss diagnostics bear evidence of the occurrence of mass-loss modulations during the last ~2000 yr. In particular, WX Psc went through a high mass-loss phase (Mdot~5e-5 Msun/yr) some 800 yr ago. This phase lasted about 600 yr and was followed by a long period of low mass loss (Mdot~5e-8 Msun/yr). The present day mass-loss rate is estimated to be ~6e-6 Msun/yr. The AGB star WX Psc has undergone strong mass-loss rate variability on a time scale of several hundred years during the last few thousand years. These variations are traced in the strength and profile of the CO rotational lines and in the SED. We have consistently simulated the behaviour of both tracers using radiative transfer codes that allow for non-constant mass-loss rates.Comment: 12 pages, accepted for publication in A&

Which executive functioning deficits are associated with AD/HD, ODD/CD and comorbid AD/HD+ODD/CD?

Item does not contain fulltextThis study investigated (1) whether attention deficit/hyperactivity disorder (AD/HD) is associated with executive functioning (EF) deficits while controlling for oppositional defiant disorder/conduct disorder (ODD/CD), (2) whether ODD/CD is associated with EF deficits while controlling for AD/HD, and (3)~whether a combination of AD/HD and ODD/CD is associated with EF deficits (and the possibility that there is no association between EF deficits and AD/HD or ODD/CD in isolation). Subjects were 99~children ages 6–12 years. Three putative domains of EF were investigated using well-validated tests: verbal fluency, working memory, and planning. Independent of ODD/CD, AD/HD was associated with deficits in planning and working memory, but not in verbal fluency. Only teacher rated AD/HD, but not parent rated AD/HD, significantly contributed to the prediction of EF task performance. No EF deficits were associated with ODD/CD. The presence of comorbid AD/HD accounts for the EF deficits in children with comorbid AD/HD+ODD/CD. These results suggest that EF deficits are unique to AD/HD and support the model proposed by R. A. Barkley (1997).17 p

Critical Perspective: Named Reactions Discovered and Developed by Women

Named organic reactions. As chemists, we’re all familiar with them: who can forget the Diels−Alder reaction? But how much do we know about the people behind the names? For example, can you identify a reaction named for a woman? How about a reaction discovered or developed by a woman but named for her male adviser? Our attempts to answer these simple questions started us on the journey that led to this Account. We introduce you to four reactions named for women and nine reactions discovered or developed by women. Using information obtained from the literature and, whenever possible, through interviews with the chemists themselves, their associates, and their advisers, we paint a more detailed picture of these remarkable women and their outstanding accomplishments. Some of the women you meet in this Account include Irma Goldberg, the only woman unambiguously recognized with her own named reaction. Gertrude Maud Robinson, the wife of Robert Robinson, who collaborated with him on several projects including the Piloty−Robinson pyrrole synthesis. Elizabeth Hardy, the Bryn Mawr graduate student who discovered the Cope rearrangement. Dorothee Felix, a critical member of Albert Eschenmoser’s research lab for over forty years who helped develop both the Eschenmoser−Claisen rearrangement and the Eschenmoser−Tanabe fragmentation. Jennifer Loebach, the University of Illinois undergraduate who was part of the team in Eric Jacobsen’s lab that discovered the Jacobsen−Katsuki epoxidation. Keiko Noda, a graduate student in Tsutomu Katsuki’s lab who also played a key role in the development of the Jacobsen−Katsuki epoxidation. Lydia McKinstry, a postdoc in Andrew Myers’s lab who helped develop the Myers asymmetric alkylation. Rosa Lockwood, a graduate student at Boston College whose sole publication is the discovery of the Nicholas reaction. Kaori Ando, a successful professor in Japan who helped develop the Roush asymmetric alkylation as a postdoc at MIT. Bianka Tchoubar, a critically important member of the organic chemistry community in France who developed the Tiffeneau−Demjanov rearrangement. The accomplishments of the women in this Account illustrate the key roles women have played in the discovery and development of reactions used daily by organic chemists around the world. These pioneering chemists represent the vanguard of women in the field, and we are confident that many more of the growing number of current and future female organic chemists will be recognized with their own named reactions

Revealing the Appetite of the Marine Aquarium Fish Trade: The Volume and Biodiversity of Fish Imported into the United States

The aquarium trade and other wildlife consumers are at a crossroads forced by threats from global climate change and other anthropogenic stressors that have weakened coastal ecosystems. While the wildlife trade may put additional stress on coral reefs, it brings income into impoverished parts of the world and may stimulate interest in marine conservation. To better understand the influence of the trade, we must first be able to quantify coral reef fauna moving through it. Herein, we discuss the lack of a data system for monitoring the wildlife aquarium trade and analyze problems that arise when trying to monitor the trade using a system not specifically designed for this purpose. To do this, we examined an entire year of import records of marine tropical fish entering the United States in detail, and discuss the relationship between trade volume, biodiversity and introduction of non-native marine fishes. Our analyses showed that biodiversity levels are higher than previous estimates. Additionally, more than half of government importation forms have numerical or other reporting discrepancies resulting in the overestimation of trade volumes by 27%. While some commonly imported species have been introduced into the coastal waters of the USA (as expected), we also found that some uncommon species in the trade have also been introduced. This is the first study of aquarium trade imports to compare commercial invoices to government forms and provides a means to, routinely and in real time, examine the biodiversity of the trade in coral reef wildlife species

A study protocol of a randomised controlled trial incorporating a health economic analysis to investigate if additional allied health services for rehabilitation reduce length of stay without compromising patient outcomes

Background Reducing patient length of stay is a high priority for health service providers. Preliminary information suggests additional Saturday rehabilitation services could reduce the time a patient stays in hospital by three days. This large trial will examine if providing additional physiotherapy and occupational therapy services on a Saturday reduces health care costs, and improves the health of hospital inpatients receiving rehabilitation compared to the usual Monday to Friday service. We will also investigate the cost effectiveness and patient outcomes of such a service. Methods/Design A randomised controlled trial will evaluate the effect of providing additional physiotherapy and occupational therapy for rehabilitation. Seven hundred and twelve patients receiving inpatient rehabilitation at two metropolitan sites will be randomly allocated to the intervention group or control group. The control group will receive usual care physiotherapy and occupational therapy from Monday to Friday while the intervention group will receive the same amount of rehabilitation as the control group Monday to Friday plus a full physiotherapy and occupational therapy service on Saturday. The primary outcomes will be patient length of stay, quality of life (EuroQol questionnaire), the Functional Independence Measure (FIM), and health utilization and cost data. Secondary outcomes will assess clinical outcomes relevant to the goals of therapy: the 10 metre walk test, the timed up and go test, the Personal Care Participation Assessment and Resource Tool (PC PART), and the modified motor assessment scale. Blinded assessors will assess outcomes at admission and discharge, and follow up data on quality of life, function and health care costs will be collected at 6 and 12 months after discharge. Between group differences will be analysed with analysis of covariance using baseline measures as the covariate. A health economic analysis will be carried out alongside the randomised controlled trial. Discussion This paper outlines the study protocol for the first fully powered randomised controlled trial incorporating a health economic analysis to establish if additional Saturday allied health services for rehabilitation inpatients reduces length of stay without compromising discharge outcomes. If successful, this trial will have substantial health benefits for the patients and for organizations delivering rehabilitation services