Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs

Bruynooghe described a framework for the top-down abstract interpretation of logic programs. In this framework, abstract interpretation is carried out by constructing an abstract and-or tree in a top-down fashion for a given query and program. Such an abstract interpreter requires fixpoint computation for programs which contain recursive predicates. This paper presents in detail a fixpoint algorithm that has been developed for this purpose and the motivation behind it. We start off by describing a simple-minded algorithm. After pointing out its shortcomings, we present a series of refinements to this algorithm, until we reach the final version. The aim is to give an intuitive grasp and provide justification for the relative complexity of the final algorithm. We also present an informal proof of correctness of the algorithm and some results obtained from an implementation.

Estimating the relative roles of top-down and bottom-up forces on insect herbivore populations: A classic study revisited

Although most ecologists agree that both top-down and bottom-up forces (predation and resource limitation, respectively) act in concert to influence populations of herbivores, it has proven difficult to estimate the relative contributions of such forces in terrestrial systems. Using a combination of time–series analysis of population counts recorded over 16 years and experimental data, we present the first estimates of the relative roles of top-down and bottom-up forces on the population dynamics of two terrestrial insect herbivores on the English oak (Quercus robur). Data suggest that temporal variation in winter moth, Operophtera brumata, density is dominated by time-lagged effects of pupal predators. By comparison, spatial variation in O. brumata density is dominated by host–plant quality. Overall, top-down forces explain 34.2% of population variance, bottom-up forces explain 17.2% of population variance, and 48.6% remains unexplained. In contrast, populations of the green oak tortrix, Tortrix viridana, appear dominated by bottom-up forces. Resource limitation, expressed as intraspecific competition among larvae for oak leaves, explains 29.4% of population variance. Host quality effects explain an additional 5.7% of population variance. We detected no major top-down effects on T. viridana populations. An unknown factor causing a linear decline in T. viridana populations over the 16-year study period accounts for most of the remaining unexplained variance. We discuss the observed differences between the insect species and the utility of time–series analysis as a tool in assessing the relative importance of top-down and bottom-up forces on herbivore populations.

Benthic–pelagic links and rocky intertidal communities: Bottom-up effects on top-down control?

Insight into the dependence of benthic communities on biological and physical processes in nearshore pelagic environments, long considered a “black box,” has eluded ecologists. In rocky intertidal communities at Oregon coastal sites 80 km apart, differences in abundance of sessile invertebrates, herbivores, carnivores, and macrophytes in the low zone were not readily explained by local scale differences in hydrodynamic or physical conditions (wave forces, surge flow, or air temperature during low tide). Field experiments employing predator and herbivore manipulations and prey transplants suggested top-down (predation, grazing) processes varied positively with bottom-up processes (growth of filter-feeders, prey recruitment), but the basis for these differences was unknown. Shore-based sampling revealed that between-site differences were associated with nearshore oceanographic conditions, including phytoplankton concentration and productivity, particulates, and water temperature during upwelling. Further, samples taken at 19 sites along 380 km of coastline suggested that the differences documented between two sites reflect broader scale gradients of phytoplankton concentration. Among several alternative explanations, a coastal hydrodynamics hypothesis, reflecting mesoscale (tens to hundreds of kilometers) variation in the interaction between offshore currents and winds and continental shelf bathymetry, was inferred to be the primary underlying cause. Satellite imagery and offshore chlorophyll-a samples are consistent with the postulated mechanism. Our results suggest that benthic community dynamics can be coupled to pelagic ecosystems by both trophic and transport linkages.

Top-down versus bottom-up and the Ruritanian bean bug

In a recent article, Hunter uses the late George Varley and George Gradwell’s long-term data on the winter moth (Operophtera brumata) and green tortrix (Tortrix viridana) populations to propose a method of quantifying the relative importance of top-down effects (because of natural enemies) and bottom-up effects (because of resource competition) in influencing population dynamics. We believe this approach is deeply flawed. Using Varley and Gradwell’s winter moth study, we show that the problems with Hunter’s analysis lie in his misinterpretation of the population dynamics and his inappropriate use of statistical techniques. We also emphasize the importance of distinguishing clearly between two quite different things: firstly, top-down and bottom-up regulation of populations and secondly, the much simpler task of categorizing factors affecting changes in population density as either top-down or bottom-up processes.

Top-down morphogenesis of colorectal tumors

One of the fundamental tenets of oncology is that tumors arise from stem cells. In the colon, stem cells are thought to reside at the base of crypts. In the early stages of tumorigenesis, however, dysplastic cells are routinely found at the luminal surface of the crypts whereas the cells at the bases of these same crypts appear morphologically normal. To understand this discrepancy, we evaluated the molecular characteristics of cells isolated from the bases and orifices of the same crypts in small colorectal adenomas. We found that the dysplastic cells at the tops of the crypts often exhibited genetic alterations of adenomatous polyposis coli (APC) and neoplasia-associated patterns of gene expression. In contrast, cells located at the base of these same crypts did not contain such alterations and were not clonally related to the contiguous transformed cells above them. These results imply that development of adenomatous polyps proceeds through a top-down mechanism. Genetically altered cells in the superficial portions of the mucosae spread laterally and downward to form new crypts that first connect to preexisting normal crypts and eventually replace them.

Top-down free-energy minimization on protein potential energy landscapes

The hierarchical properties of potential energy landscapes have been used to gain insight into thermodynamic and kinetic properties of protein ensembles. It also may be possible to use them to direct computational searches for thermodynamically stable macroscopic states, i.e., computational protein folding. To this end, we have developed a top-down search procedure in which conformation space is recursively dissected according to the intrinsic hierarchical structure of a landscape's effective-energy barriers. This procedure generates an inverted tree similar to the disconnectivity graphs generated by local minima-clustering methods, but it fundamentally differs in the manner in which the portion of the tree that is to be computationally explored is selected. A key ingredient is a branch-selection algorithm that takes advantage of statistically predictive properties of the landscape to guide searches down the tree branches that are most likely to lead to the physically relevant macroscopic states. Using the computational folding of a β-hairpin-forming peptide as an example, we show that such predictive properties indeed exist and can be used for structure prediction by free-energy global minimization.

O efeito da estimulação top-down e bottom-up no potencial evocado auditivo de tronco encefálico com estímulo complexo

Introdução: Crianças com transtorno fonológico (TF) apresentam dificuldade na percepção de fala, em processar estímulos acústicos quando apresentados de forma rápida e em sequência. A percepção dos sons complexos da fala, dependem da integridade no processo de codificação analisado pelo Sistema Nervoso Auditivo. Por meio do Potencial Evocado Auditivo de Tronco Encefálico com estímulo complexo (PEATEc) é possível investigar a representação neural dos sons em níveis corticais e obter informações diretas sobre como a estrutura do som da sílaba falada é codificada no sistema auditivo. Porém, acredita-se que esse potencial sofre interferências tanto de processos bottom-up quanto top-down, o que não se sabe é quanto e como cada um desses processos modifica as respostas do PEATEc. Uma das formas de investigar a real influência dos aspectos top-down e bottom-up nos resultados do PEATEc é estimulando separadamente esses dois processos por meio do treinamento auditivo e da terapia fonoaudiológica. Objetivo: Verificar o impacto da estimulação sensorial (processamento bottom-up) e cognitiva (processamento top-down), separadamente, nos diferentes domínios da resposta eletrofisiológica do PEATEc. Método: Participaram deste estudo 11 crianças diagnosticadas com TF, com idades entre 7 e 10:11, submetidas a avaliação comportamental e eletrofisiológica e então dividas nos grupos Bottom-up (B-U) (N=6) e Top-down T-D (N=5). A estimulação bottom-up foi voltada ao treinamento das habilidades sensoriais, através de softwares de computador. A estimulação top-down foi realizada por meio de tarefas para estimular as habilidades cognitiva por meio do Programa de Estimulação Fonoaudiológica (PEF). Ambas as estimulações foram aplicadas uma vez por semana, num período de aproximadamente 45 minutos por 12 semanas. Resultados: O grupo B-U apresentou melhoras em relação aos domínios onset e harmônicos e no valor da pontuação do escore após ser submetido à estimulação bottom-up. Por sua vez, após serem submetidos à estimulação top-down, o grupo T-D apresentou melhoras em relação aos domínios onset, espectro-temporal, fronteiras do envelope e harmônicos e para os valores da pontuação do escore. Conclusão: Diante dos resultados obtidos neste estudo, foi possível observar que a estimulação sensorial (processamento bottom-up) e a estimulação cognitiva (processamento top-down) mostraram impactar de forma diferente a resposta eletrofisiológica do PEATEc

PATTIE : an automated tutor for top-down programming /

Vita.

Mollusca Non-Grata: The influence of top-down control and residence time on the abundance, distribution, and behavior of non-native marine snails in Washington State

Thesis (Ph.D.)--University of Washington, 2016-06

Top-down influences on lexical selection during spoken word production: A 4T fMRI investigation of refractory effects in picture naming

Spoken word production is assumed to involve stages of processing in which activation spreads through layers of units comprising lexical-conceptual knowledge and their corresponding phonological word forms. Using high-field (4T) functional magnetic resonance imagine (fMRI), we assessed whether the relationship between these stages is strictly serial or involves cascaded-interactive processing, and whether central (decision/control) processing mechanisms are involved in lexical selection. Participants performed the competitor priming paradigm in which distractor words, named from a definition and semantically related to a subsequently presented target picture, slow picture-naming latency compared to that with unrelated words. The paradigm intersperses two trials between the definition and the picture to be named, temporally separating activation in the word perception and production networks. Priming semantic competitors of target picture names significantly increased activation in the left posterior temporal cortex, and to a lesser extent the left middle temporal cortex, consistent with the predictions of cascaded-interactive models of lexical access. In addition, extensive activation was detected in the anterior cingulate and pars orbitalis of the inferior frontal gyrus. The findings indicate that lexical selection during competitor priming is biased by top-down mechanisms to reverse associations between primed distractor words and target pictures to select words that meet the current goal of speech.

Top-down or bottom-up: the real choice for public services

This article considers two contrasting approaches to reforming public services in order to meet the needs of people living in poverty. The first approach is top-down, involves categorising individuals (as 'hard to help', 'at risk', etc) and invokes scientific backing for justification. The second approach is bottom-up, emancipatory, relates to people as individuals and treats people who have experience of poverty and social exclusion as experts. The article examines each approach through providing brief examples in the fields of unemployment and parenting policy - two fields that have been central to theories of 'cycles of deprivation'. It is suggested here that the two approaches differ in terms of their scale, type of user involvement and type of evidence that is used for their legitimation. While the article suggests that direct comparison between the two approaches is difficult, it highlights the prevalence of top-down approaches towards services for people living in poverty, despite increasing support for bottom-up approaches in other policy areas.

Top-down lipidomics of low density lipoprotein reveal altered lipid profiles in advanced chronic kidney disease

This study compared the molecular lipidomic profi le of LDL in patients with nondiabetic advanced renal disease and no evidence of CVD to that of age-matched controls, with the hypothesis that it would reveal proatherogenic lipid alterations. LDL was isolated from 10 normocholesterolemic patients with stage 4/5 renal disease and 10 controls, and lipids were analyzed by accurate mass LC/MS. Top-down lipidomics analysis and manual examination of the data identifi ed 352 lipid species, and automated comparative analysis demonstrated alterations in lipid profi le in disease. The total lipid and cholesterol content was unchanged, but levels of triacylglycerides and N -acyltaurines were signifi cantly increased, while phosphatidylcholines, plasmenyl ethanolamines, sulfatides, ceramides, and cholesterol sulfate were signifi cantly decreased in chronic kidney disease (CKD) patients. Chemometric analysis of individual lipid species showed very good discrimination of control and disease sample despite the small cohorts and identifi ed individual unsaturated phospholipids and triglycerides mainly responsible for the discrimination. These fi ndings illustrate the point that although the clinical biochemistry parameters may not appear abnormal, there may be important underlying lipidomic changes that contribute to disease pathology. The lipidomic profi le of CKD LDL offers potential for new biomarkers and novel insights into lipid metabolism and cardiovascular risk in this disease. -Reis, A., A. Rudnitskaya, P. Chariyavilaskul, N. Dhaun, V. Melville, J. Goddard, D. J. Webb, A. R. Pitt, and C. M. Spickett. Topdown lipidomics of low density lipoprotein reveal altered lipid profi les in advanced chronic kidney disease. J. Lipid Res. 2015.

Temporal and Spatial Variability of Mesozooplankton in a Shallow Sub-Tropical Bay: Influence of Top-Down Control

Quantifying the relationship between mesozooplankton and water quality parameters identifies the factors that structure the mesozooplankton community and can be used to generate hypotheses regarding the mechanisms that control the mesozooplankton population and potentially the trophic network. To investigate this relationship, mesozooplankton and water quality data were collected in Florida Bay from 1994 to 2004. Three key characteristics were found in the mesozooplankton community structure: (1) there are significant differences between the four sub-regions of Florida Bay; (2) there is a break in May of 1997 with significant differences before and after this date; and (3) there is a positive correlation between mesozooplankton abundance and salinity. The latter two characteristics are closely correlated with predator abundance, indicating the importance of top-down control. Hypersaline periods appear to provide a refuge from predators, allowing mesozooplankton to increase in abundance despite the increased physiological stress.