A technique for dynamic term size computation via program transformation

Knowing the size of the terms to which program variables are bound at run-time in logic programs is required in a class of applications related to program optimization such as, for example, granularity analysis and selection among different algorithms or control rules whose performance may be dependent on such size. Such size is difficult to even approximate at compile time and is thus generally computed at run-time by using (possibly predefined) predicates which traverse the terms involved. We propose a technique based on program transformation which has the potential of performing this computation much more efficiently. The technique is based on finding program procedures which are called before those in which knowledge regarding term sizes is needed and which traverse the terms whose size is to be determined, and transforming such procedures so that they compute term sizes "on the fly". We present a systematic way of determining whether a given program can be transformed in order to compute a given term size at a given program point without additional term traversal. Also, if several such transformations are possible our approach allows finding minimal transformations under certain criteria. We also discuss the advantages and applications of our technique and present some performance results.

Dynamic term size computation in logic programs via program transformation

Knowing the size of the terms to which program variables are bound at run-time in logic programs is required in a class of applications related to program optimization such as, for example, recursion elimination and granularity analysis. Such size is difficult to even approximate at compile time and is thus generally computed at run-time by using (possibly predefined) predicates which traverse the terms involved. We propose a technique based on program transformation which has the potential of performing this computation much more efficiently. The technique is based on finding program procedures which are called before those in which knowledge regarding term sizes is needed and which traverse the terms whose size is to be determined, and transforming such procedures so that they compute term sizes "on the fly". We present a systematic way of determining whether a given program can be transformed in order to compute a given term size at a given program point without additional term traversal. Also, if several such transformations are possible our approach allows finding minimal transformations under certain criteria. We also discuss the advantages and present some applications of our technique.

Neuroprotective activity of a new class of steroidal inhibitors of the N-methyl-d-aspartate receptor

Release of the excitatory neurotransmitter glutamate and the excessive stimulation of N-methyl-d-aspartate (NMDA)-type glutamate receptors is thought to be responsible for much of the neuronal death that occurs following focal hypoxia-ischemia in the central nervous system. Our laboratory has identified endogenous sulfated steroids that potentiate or inhibit NMDA-induced currents. Here we report that 3α-ol-5β-pregnan-20-one hemisuccinate (3α5βHS), a synthetic homologue of naturally occurring pregnanolone sulfate, inhibits NMDA-induced currents and cell death in primary cultures of rat hippocampal neurons. 3α5βHS exhibits sedative, anticonvulsant, and analgesic properties consistent with an action at NMDA-type glutamate receptors. Intravenous administration of 3α5βHS to rats (at a nonsedating dose) following focal cerebral ischemia induced by middle cerebral artery occlusion significantly reduces cortical and subcortical infarct size. The in vitro and in vivo neuroprotective effects of 3α5βHS demonstrate that this steroid represents a new class of potentially useful therapeutic agents for the treatment of stroke and certain neurodegenerative diseases that involve over activation of NMDA receptors.

A targeted mutation in the murine gene encoding the high density lipoprotein (HDL) receptor scavenger receptor class B type I reveals its key role in HDL metabolism

Plasma high density lipoprotein (HDL), which protects against atherosclerosis, is thought to remove cholesterol from peripheral tissues and to deliver cholesteryl esters via a selective uptake pathway to the liver (reverse cholesterol transport) and steroidogenic tissues (e.g., adrenal gland for storage and hormone synthesis). Despite its physiologic and pathophysiologic importance, the cellular metabolism of HDL has not been well defined. The class B, type I scavenger receptor (SR-BI) has been proposed to play an important role in HDL metabolism because (i) it is a cell surface HDL receptor which mediates selective cholesterol uptake in cultured cells, (ii) its physiologically regulated expression is most abundant in the liver and steroidogenic tissues, and (iii) hepatic overexpression dramatically lowers plasma HDL. To test directly the normal role of SR-BI in HDL metabolism, we generated mice with a targeted null mutation in the SR-BI gene. In heterozygous and homozygous mutants relative to wild-type controls, plasma cholesterol concentrations were increased by ≈31% and 125%, respectively, because of the formation of large, apolipoprotein A-I (apoA-I)-containing particles, and adrenal gland cholesterol content decreased by 42% and 72%, respectively. The plasma concentration of apoA-I, the major protein in HDL, was unchanged in the mutants. This, in conjunction with the increased lipoprotein size, suggests that the increased plasma cholesterol in the mutants was due to decreased selective cholesterol uptake. These results provide strong support for the proposal that in mice the gene encoding SR-BI plays a key role in determining the levels of plasma lipoprotein cholesterol (primarily HDL) and the accumulation of cholesterol stores in the adrenal gland. If it has a similar role in controlling plasma HDL in humans, SR-BI may influence the development and progression of atherosclerosis and may be an attractive candidate for therapeutic intervention in this disease.

The proteolytic fragments generated by vertebrate proteasomes: structural relationships to major histocompatibility complex class I binding peptides.

Proteasomes are involved in the proteolytic generation of major histocompatibility complex (MHC) class I epitopes but their exact role has not been elucidated. We used highly purified murine 20S proteasomes for digestion of synthetic 22-mer and 41/44-mer ovalbumin partial sequences encompassing either an immunodominant or a marginally immunogenic epitope. At various times, digests were analyzed by pool sequencing and by semiquantitative electrospray ionization mass spectrometry. Most dual cleavage fragments derived from 22-mer peptides were 7-10 amino acids long, with octa- and nonamers predominating. Digestion of 41/44-mer peptides initially revealed major cleavage sites spaced by two size ranges, 8 or 9 amino acids and 14 or 15 amino acids, followed by further degradation of the latter as well as of larger single cleavage fragments. The final size distribution was slightly broader than that of fragments derived from 22-mer peptides. The majority of peptide bonds were cleaved, albeit with vastly different efficiencies. This resulted in multiple overlapping proteolytic fragments including a limited number of abundant peptides. The immunodominant epitope was generated abundantly whereas only small amounts of the marginally immunogenic epitope were detected. The frequency distributions of amino acids flanking proteasomal cleavage sites are correlated to that reported for corresponding positions of MHC class I binding peptides. The results suggest that proteasomal degradation products may include fragments with structural properties similar to MHC class I binding peptides. Proteasomes may thus be involved in the final stages of proteolytic epitope generation, often without the need for downstream proteolytic events.

The best books: a reader's guide to the choice of the best available books (about 100,000) in every department of science, art, and literature, with the dates of the first and last editions, and the prize, size and publisher's name (both English and American) of each book; a contribution towards systematic bibliography,

None of the American edition published after part 4. Parts 5 and 6 have imprinted: London, G, Routledge and sond, limited, 1931-35.

Approximating persistence in a general class of population processes

We provide a general framework for estimating persistence in populations which may be affected by catastrophic events, and which are either unbounded or have very large ceilings. We model the population using a birth-death process modified to allow for downward jumps of arbitrary size. For such processes, it is typically necessary to truncate the process in order to make the evaluation of expected extinction times (and higher-order moments) computationally feasible. Hence, we give particular attention to the selection of a cut-off point at which to truncate the process, and we present a simple method for obtaining quantitative indicators of the suitability of a chosen cut-off. (c) 2005 Elsevier Inc. All rights reserved.

Size frequency distribution of prion protein (PrP) aggregates in variant Creutzfeldt-Jakob disease (vCJD)

The frequency distribution of aggregate size of the diffuse and florid-type prion protein (PrP) plaques was studied in various brain regions in cases of variant Creutzfeldt-Jakob disease (vCJD). The size distributions were unimodal and positively skewed and resembled those of β-amyloid (Aβ) deposits in Alzheimer's disease (AD) and Down's syndrome (DS). The frequency distributions of the PrP aggregates were log-normal in shape, but there were deviations from the expected number of plaques in specific size classes. More diffuse plaques were observed in the modal size class and fewer in the larger size classes than expected and more florid plaques were present in the larger size classes compared with the log-normal model. It was concluded that the growth of the PrP aggregates in vCJD does not strictly follow a log-normal model, diffuse plaques growing to within a more restricted size range and florid plaques to larger sizes than predicted. © Springer-Verlag 2005.

The effect of rock surface aspect on growth, size structure and competition in the lichen Rhizocarpon geographicum

Rhizocarpon geographicum is a crustose lichen found frequently on rock surfaces of southern aspect and less frequently on rock surfaces of northern aspect in Gwynedd, North Wales. This study tested the hypothesis that the radial growth of R. geographicum thalli predicts aspect distribution. Thalli of all sizes, however, exhibited significantly greater radial growth over 18 months on northwest compared with southeast facing surfaces. The hypothesis that a more intense competitive environment on northwest facing surfaces may explain the aspect distribution of R. geographicum was then tested. The size frequency distributions of thalli revealed a higher proportion of thalli in the smallest size class and a more restricted thallus size range on the northwest facing surfaces. In addition, thallus mortality appeared to be greater on northwest facing surfaces. Significantly more associated lichen species were present on rock surfaces of northern aspect at sites where R. geographicum was present. The mean frequency of the associated lichen species, however, was significantly lower on surfaces of northern aspect where R. geographicum was present. In addition, two common foliose species at these sites were demonstrated experimentally to overgrow thalli of R. geographicum. It is concluded that the growth of R. geographicum over the study period did not predict aspect distribution and that differences in the competitive environments on northwest and southeast surfaces may be an important factor determining aspect distribution. © 2002 Elsevier Science B.V. All rights reserved.

Size distribution curves of senile plaques in patients with Alzheimer’s disease: do plaques grow according to the log-normal model?

The size frequency distributions of diffuse, primitive and cored senile plaques (SP) were studied in single sections of the temporal lobe from 10 patients with Alzheimer’s disease (AD). The size distribution curves were unimodal and positively skewed. The size distribution curve of the diffuse plaques was shifted towards larger plaques while those of the neuritic and cored plaques were shifted towards smaller plaques. The neuritic/diffuse plaque ratio was maximal in the 11 – 30 micron size class and the cored/ diffuse plaque ratio in the 21 – 30 micron size class. The size distribution curves of the three types of plaque deviated significantly from a log-normal distribution. Distributions expressed on a logarithmic scale were ‘leptokurtic’, i.e. with excess of observations near the mean. These results suggest that SP in AD grow to within a more restricted size range than predicted from a log-normal model. In addition, there appear to be differences in the patterns of growth of diffuse, primitive and cored plaques. If neuritic and cored plaques develop from earlier diffuse plaques, then smaller diffuse plaques are more likely to be converted to mature plaques.

A Sensitive Metric of Class Cohesion

Metrics estimate the quality of different aspects of software. In particular, cohesion indicates how well the parts of a system hold together. A metric to evaluate class cohesion is important in object-oriented programming because it gives an indication of a good design of classes. There are several proposals of metrics for class cohesion but they have several problems (for instance, low discrimination). In this paper, a new metric to evaluate class cohesion is proposed, called SCOM, which has several relevant features. It has an intuitive and analytical formulation, what is necessary to apply it to large-size software systems. It is normalized to produce values in the range [0..1], thus yielding meaningful values. It is also more sensitive than those previously reported in the literature. The attributes and methods used to evaluate SCOM are unambiguously stated. SCOM has an analytical threshold, which is a very useful but rare feature in software metrics. We assess the metric with several sample cases, showing that it gives more sensitive values than other well know cohesion metrics.

The influence of body size on the ecology of coastal fish predators in the Bahamas

Body size is a fundamental structural characteristic of organisms, determining critical life history and physiological traits, and influencing population dynamics, community structure, and ecosystem function. For my dissertation, I focused on effects of body size on habitat use and diet of important coastal fish predators, as well as their influence on faunal communities in Bahamian wetlands. First, using acoustic telemetry and stable isotope analysis, I identified high variability in movement patterns and habitat use among individuals within a gray snapper (Lutjanus griseus) and schoolmaster snapper (L. apodus) population. This intrapopulation variation was not explained by body size, but by individual behavior in habitat use. Isotope values differed between individuals that moved further distances and individuals that stayed close to their home sites, suggesting movement differences were related to specific patterns of foraging behavior. Subsequently, while investigating diet of schoolmaster snapper over a two-year period using stomach content and stable isotope analyses, I also found intrapopulation diet variation, mostly explained by differences in size class, individual behavior and temporal variability. I then developed a hypothesis-testing framework examining intrapopulation niche variation between size classes using stable isotopes. This framework can serve as baseline to categorize taxonomic or functional groupings into specific niche shift scenarios, as well as to help elucidate underlying mechanisms causing niche shifts in certain size classes. Finally, I examined the effect of different-sized fish predators on epifaunal community structure in shallow seagrass beds using exclusion experiments at two spatial scales. Overall, I found that predator effects were rather weak, with predator size and spatial scale having no impact on the community. Yet, I also found some evidence of strong interactions on particular common snapper prey. As Bahamian wetlands are increasingly threatened by human activities (e.g., overexploitation, habitat degradation), an enhanced knowledge of the ecology of organisms inhabiting these systems is crucial for developing appropriate conservation and management strategies. My dissertation research contributed to this effort by providing critical information about the resource use of important Bahamian fish predators, as well as their effect on faunal seagrass communities.

Efficient numerical methods for the random-field Ising model: Finite-size scaling, reweighting extrapolation, and computation of response functions

It was recently shown [Phys. Rev. Lett. 110, 227201 (2013)] that the critical behavior of the random-field Ising model in three dimensions is ruled by a single universality class. This conclusion was reached only after a proper taming of the large scaling corrections of the model by applying a combined approach of various techniques, coming from the zero-and positive-temperature toolboxes of statistical physics. In the present contribution we provide a detailed description of this combined scheme, explaining in detail the zero-temperature numerical scheme and developing the generalized fluctuation-dissipation formula that allowed us to compute connected and disconnected correlation functions of the model. We discuss the error evolution of our method and we illustrate the infinite limit-size extrapolation of several observables within phenomenological renormalization. We present an extension of the quotients method that allows us to obtain estimates of the critical exponent a of the specific heat of the model via the scaling of the bond energy and we discuss the self-averaging properties of the system and the algorithmic aspects of the maximum-flow algorithm used.

[N]pT ensemble and finite-size-scaling study of the critical isostructural transition in the generalized exponential model of index 4.

First-order transitions of system where both lattice site occupancy and lattice spacing fluctuate, such as cluster crystals, cannot be efficiently studied by traditional simulation methods, which necessarily fix one of these two degrees of freedom. The difficulty, however, can be surmounted by the generalized [N]pT ensemble [J. Chem. Phys. 136, 214106 (2012)]. Here we show that histogram reweighting and the [N]pT ensemble can be used to study an isostructural transition between cluster crystals of different occupancy in the generalized exponential model of index 4 (GEM-4). Extending this scheme to finite-size scaling studies also allows us to accurately determine the critical point parameters and to verify that it belongs to the Ising universality class.

Grain size effects on excess Thorium-230 of sediment cores from the Southern Ocean and the South East Atlantic

Excess Thorium-230 (230Thxs) as a constant flux tracer is an essential tool for paleoceanographic studies, but its limitations for flux normalization are still a matter of debate. In regions of rapid sediment accumulation, it has been an open question if 230Thxs-normalized fluxes are biased by particle sorting effects during sediment redistribution. In order to study the sorting effect of sediment transport on 230Thxs, we analyzed the specific activity of 230Thxs in different particle size classes of carbonate-rich sediments from the South East Atlantic, and of opal-rich sediments from the Atlantic sector of the Southern Ocean. At both sites, we compare the 230Thxs distribution in neighboring high vs. low accumulation settings. Two grain-size fractionation methods are explored. We find that the 230Thxs distribution is strongly grain size dependent, and 50-90% of the total 230Thxs inventory is concentrated in fine material smaller than 10 µm, which is preferentially deposited at the high accumulation sites. This leads to an overestimation of the focusing factor Psi, and consequently to an underestimation of the vertical flux rate at such sites. The distribution of authigenic uranium indicates that fine organic-rich material has also been re-deposited from lateral sources. If the particle sorting effect is considered in the flux calculations, it reduces the estimated extent of sediment focusing. In order to assess the maximum effect of particle sorting on Psi, we present an extreme scenario, in which we assume a lateral sediment supply of only fine material (< 10 µm). In this case, the focusing factor of the opal-rich core would be reduced from Psi = 5.9 to Psi = 3.2. In a more likely scenario, allowing silt-sized material to be transported, Psi is reduced from 5.9 to 5.0 if particle sorting is taken into consideration. The bias introduced by particle sorting is most important for strongly focused sediments. Comparing 230Thxs-normalized mass fluxes biased by sorting effects with uncorrected mass fluxes, we suggest that 230Thxs-normalization is still a valid tool to correct for lateral sediment redistribution. However, differences in focusing factors between core locations have to be evaluated carefully, taking the grain size distributions into consideration.