Garbage collection can be made real-time and verifiable

An efficient means of memory reclamation (also known as Garbage Collection) is essential for Machine Intelligence applications where dynamic storage allocation is desired or required. Solutions for real-time systems must introduce very small processing overhead and must also provide for the verification of the software in order to meet the application time budgets and to verify the correctness of the software. Garbage Collection (GC) techniques are proposed for symbolic processing systems which may simultaneously meet both real-time requirements and verification requirements. The proposed memory reclamation technique takes advantage of the strong points of both the earlier Mark and Sweep technique and the more recent Copy Collection approaches. At least one practical implementation of these new GC techniques has already been developed and tested on a very-high performance symbolic computing system. Complete GC processing of all generated garbage has been demonstrated to require as little as a few milliseconds to perform. This speed enables the effective operation of the GC function as either a background task or as an actual part of the application task itself

Who\u27s in Charge in the Inner City? The Conflict Between Efficiency and Equity in the Design of a Metropolitan Area

A circular metropolitan area consists of an inner city and a suburb. Households sort over the two jurisdictions based on public service levels and their costs of commuting to the metropolitan center. Using numerical simulations, we show (1) there typically exist two equilibria: one in which the poor form the majority in the inner city and the other in which the rich form the majority in the inner city; (2) there is an efficiency vs. equity trade-off as to which equilibrium is preferred; and (3) if the inner city contains only poor households, equity favors expanding the inner city to include rich households

On Two-Stage Hypothesis Testing Procedures Via Asymptotically Independent Statistics

Kooperberg and LeBlanc (2008) proposed a two-stage testing procedure to screen for significant interactions in genome-wide association (GWA) studies by a soft threshold on marginal associations (MA), though its theoretical properties and generalization have not been elaborated. In this article, we discuss conditions that are required to achieve strong control of the Family-Wise Error Rate (FWER) by such procedures for low or high-dimensional hypothesis testing. We provide proof of asymptotic independence of marginal association statistics and interaction statistics in linear regression, logistic regression, and Cox proportional hazard models in a randomized clinical trial (RCT) with a rare event. In case-control studies nested within a RCT, a complementary criterion, namely deviation from baseline independence (DBI) in the case-control sample, is advocated as a screening tool for discovering significant interactions or main effects. Simulations and an application to a GWA study in Women’s Health Initiative (WHI) are presented to show utilities of the proposed two-stage testing procedures in pharmacogenetic studies

Continuous product innovation : a comparison of key elements across different contingency sets

This paper discusses results from an international study of continuous improvement in product innovation. The empirical research is based upon a theoretical model of continuous product innovation (CPI) that identifies contingencies, behaviours, levers and performances relevant to improving product innovation processes. As successful knowledge management is widely recognised as a key capability for firms to successfully develop CPI, companies have been classified according to identified contingencies and the impact of these contingencies on key knowledge management criteria. Comparative analysis of the identified groups of companies has demonstrated important differences between the learning behaviours found present in the two groups thus identified, and in the levers used to develop and support these behaviours. The selection of performance measures by the two groups has highlighted further significant differences in the way the two groups understand and measure their CPI processes. Finally, the paper includes a discussion of appropriate mechanisms for firms with similar contingency sets to improve their approaches to organisational learning and product innovation

Proposed Repositioning of the Pennsylvanian-Permian Boundary in Kansas

The Pennsylvanian-Permian boundary in North America has not corresponded with the Carboniferous-Permian boundary in Europe for decades. To facilitate global correlations, an attempt is here made to suggest a possible solution to the dilemma by making the best possible correlation of the Kansas stratigraphic section with the recently proposed boundary location in the Russian type section. The Virgilian Stage (Upper Pennsylvanian) was defined nearly 60 years ago to include those rocks lying between the Missourian Stage and the base of the Permian System. In the type area in east-central Kansas, the Virgilian Stage comprised the Douglas, Shawnee, and Wabaunsee Groups. In Kansas, the Pennsylvanian-Permian boundary was placed eventually at the top of the Brownville Limestone Member on the basis of what was then believed to be a regional disconformity rather than on paleontological criteria. Recent advances in fusulinid and conodont biostratigraphy provide tentative criteria upon which to suggest a change in the placement of the Virgilian-Permian boundary. A Russian delegation formally proposed at the International Congress on the Permian System of the World held in Perm, U.S.S.R. (Russia) in August 1991 that the base of the Permian System be established at the base of the Asselian Stage at the approximate stratigraphic position of the first inflated fusulinids (Sphaeroschwagerina vulgaris-S. fusiformis). Inflated schwagerinids (Paraschwagerina kansasensis) first occur, along with evolutionary changes in conodonts, in the Neva Limestone Member of the Grenola Limestone (Council Grove Group). Thus, if we assume that inflated schwagerinids arose globally at about the same time, the Neva Limestone Member is the oldest definitive Permian in the United States midcontinent, as related to the newly proposed boundary in Russia and Kazakhstan. Consequently, we propose that the Virgilian Stage in Kansas include rocks between the top of the Missourian Stage and the base of the Neva Limestone Member

Redefinition of the Upper Pennsylvanian Virgilian Series in Kansas

The Virgilian Series was defined nearly 60 years ago to include those rocks lying between the Missourian Series and the base of the Permian System. In the type area in east-central Kansas, the Virgilian Series comprised the Douglas, Shawnee, and Wabaunsee Groups. In Kansas, the upper boundary of the Virgilian (Pennsylvanian-Permian boundary) was placed at the top of the Brownville Limestone Member on the basis of what was then believed to be a regional disconformity rather than on paleontological criteria. Recent advances in fusulinid and conodont biostratigraphy provide tentative criteria upon which to effect a change in the placement of the Virgilian-Permian boundary. It is now generally agreed that the base of the Permian System is approximated by the first occurrence of Pseudoschwagerina, an inflated schwagerinid. Furthermore, the Subcommission on Permian Stratigraphy has informally agreed that the base of the Permian should coincide with the first occurrence of the conodont species Streptognathodus barskovi. Inflated schwagerinids (Paraschwagerina kansasensis) first occur along with evolutionary changes in the Conodonta in the Neva Limestone of the Council Grove Group. Consequently, the Virgilian Series is herein redefined to include rocks present between the top of the Missourian Series and the base of the Neva Limestone. To increase compatibility between chronostratigraphic and lithostratigraphic nomenclature, the following changes are made: I) the Admire Group is redefined to include rocks between the base of the Onaga Shale and the base of the Neva Limestone; 2) the Admire is reassigned to the upper Virgilian Series; 3) the Neva Limestone is elevated to formational status; 4) the Grenola Limestone is redefined to include strata between the top of the Roca Shale and the base of the Neva Limestone; 5) the overlying Council Grove Group is redefined to include strata lying between the base of the Neva Limestone and the base of the Chase Group; and 6) regionally the base of the emended Council Grove Group marks the base of the Permian System. The emended Council Grove Group is lower Wolfcampian in age and is time equivalent with the Neal Ranch Formation of the west Texas type Wolfcampian