Lower bound cost estimation for logic programs

It is generally recognized that information about the runtime cost of computations can be useful for a variety of applications, including program transformation, granularity control during parallel execution, and query optimization in deductive databases. Most of the work to date on compile-time cost estimation of logic programs has focused on the estimation of upper bounds on costs. However, in many applications, such as parallel implementations on distributed-memory machines, one would prefer to work with lower bounds instead. The problem with estimating lower bounds is that in general, it is necessary to account for the possibility of failure of head unification, leading to a trivial lower bound of 0. In this paper, we show how, given type and mode information about procedures in a logic program, it is possible to (semi-automatically) derive nontrivial lower bounds on their computational costs. We also discuss the cost analysis for the special and frequent case of divide-and-conquer programs and show how —as a pragmatic short-term solution —it may be possible to obtain useful results simply by identifying and treating divide-and-conquer programs specially.

Programming with global analysis

Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity. A natural question is whether it is time for its routine incorporation in standard compilers, something which, beyond a few experimental systems, has not happened to date. Such incorporation arguably makes good sense only if: • the range of applications of global analysis is large enough to justify the additional complication in the compiler, and • global analysis technology can deal with all the features of "practical" languages (e.g., the ISO-Prolog built-ins) and "scales up" for large programs. We present a tutorial overview of a number of concepts and techniques directly related to the issues above, with special emphasis on the first one. In particular, we concéntrate on novel uses of global analysis during program development and debugging, rather than on the more traditional application área of program optimization. The idea of using abstract interpretation for validation and diagnosis has been studied in the context of imperative programming [2] and also of logic programming. The latter work includes issues such as using approximations to reduce the burden posed on programmers by declarative debuggers [6, 3] and automatically generating and checking assertions [4, 5] (which includes the more traditional type checking of strongly typed languages, such as Gódel or Mercury [1, 8, 9]) We also review some solutions for scalability including modular analysis, incremental analysis, and widening. Finally, we discuss solutions for dealing with meta-predicates, side-effects, delay declarations, constraints, dynamic predicates, and other such features which may appear in practical languages. In the discussion we will draw both from the literature and from our experience and that of others in the development and use of the CIAO system analyzer. In order to emphasize the practical aspects of the solutions discussed, the presentation of several concepts will be illustrated by examples run on the CIAO system, which makes extensive use of global analysis and assertions.

Programming with Global Analysis

Abstract is not available

Searching for solutions: a policy discussion series. Nationwide Personal Transportation Survey Symposium. Proceedings.

Federal Highway Administration, Office of Highway Policy Information, Washington, D.C.

Federal Mediation & Conciliation Service 1947-1997 : 50 years of conflict resolution.

Published in conjunction with a symposium held in Washington, D.C., 1997.

Mortes evitáveis em menores de um ano, Brasil, 1997 a 2006: contribuições para a avaliação de desempenho do Sistema Único de Saúde

Os óbitos de menores de um ano foram classificados em causas evitáveis, mal definidas e não evitáveis empregando a Lista Brasileira de Mortes Evitáveis, entre 1997-2006. Foram calculados tendências dos coeficientes de mortalidade infantil por causas de morte e se usou regressão não linear para avaliação de tendência. As causas evitáveis e as causas mal definidas apresentaram significativa redução (p < 0,001). As causas reduzíveis de mortalidade apresentaram redução de 37%. A mortalidade por causas reduzíveis por adequada atenção ao parto declinou em 27,7%; adequada atenção ao recém-nascido, 42,5%; e por adequada atenção à gestação cresceu 28,3%. Concluiu-se que os serviços de saúde contribuíram para a redução da mortalidade infantil. O declínio das causas mal definidas de morte indica ampliação do acesso aos serviços de saúde. O aumento do acesso e atenção ao parto e aos cuidados com recém-nascido contribuíram para a redução de óbitos infantis. O aumento da mortalidade por adequada atenção à gestação revela a necessidade de aprimoramento da atenção pré-natal.

Highlights from the I international symposium of thrombosis and anticoagulation in internal medicine, October 23–25, 2008, Sao Paulo, Brazil

Abstract The importance of thrombosis and anticoagulation in clinical practice is rooted firmly in several fundamental constructs that can be applied both broadly and globally. Awareness and the appropriate use of anticoagulant therapy remain the keys to prevention and treatment. However, to assure maximal efficacy and safety, the clinician must, according to the available evidence, choose the right drug, at the right dose, for the right patient, under the right indication, and for the right duration of time. The first International Symposium of Thrombosis and Anticoagulation in Internal Medicine was a scientific program developed by clinicians for clinicians. The primary objective of the meeting was to educate, motivate and inspire internists, cardiologists and hematologists by convening national and international visionaries, thought-leaders and dedicated clinician-scientists in Sao Paulo, Brazil. This article is a focused summary of the symposium proceedings

Gestão do Conhecimento: a produção científica em períodos brasileiros entre 1997 e 2006

This study analyzes how the subject ""Knowledge Management"" (KM) has been published by authors of the Information Science (IS) and Administration (ADM). The research identifies the most productive periodicals, the most prolific institutions and authors in each area, as well as the results obtained. This is a study that presents the mapping of the Brazilian scientific production on KM, in national periodicals level A from CAPES, in the IS and ADM areas. The study is divided into three periods: 1997-2006, 1997-2001 and 2002-2006. The theoretical foundation is based on Nonaka and Takeuchi, Davenport and Prusak, Davenport and Cronin. Seventy-six articles are analyzed, forty in the IS area and thirty-six in the ADM area. The results indicate that the IS has published much more on the subject KM than the ADM. Although the chart presented is not exhaustive, it represents an important sample of the Brazilian scientific production on KM, from 1997-2006.

MHCPEP, a database of MHC-binding peptides: update 1997

MHCPEP (http://wehih.wehi.edu.au/mhcpep/) is a curated database comprising over 13 000 peptide sequences known to bind MHC molecules, Entries are compiled from published reports as well as from direct submissions of experimental data, Each entry contains the peptide sequence, its MHC specificity and where available, experimental method, observed activity, binding affinity, source protein and anchor positions, as well as publication references, The present format of the database allows text string matching searches but can easily be converted for use in conjunction with sequence analysis packages. The database can be accessed via Internet using WWW or FTP.

Book review of Mark McGillivray and Gary Smith's (eds.) "Australia and Asia", Melbourne: Oxford University Press, 1997. vii + 248 pp

The political capital invested in Australia's engagement with Asia over the past decade has sparked a lively discussion in the Australian academic community. The back cover of the book under review suggests that there are 'few bigger contemporary issues facing Australia than its relationship with Asia'. If the volume of scholarly material being produced on this issue is any indication, they are right. Like a number of similar works covering the shift in Australian foreign, defence, and trade policies towards Asia over the last decade, this book acknowledges a particular debt of gratitude to the Keating government for establishing regional engagement at the forefront of our national consciousness. Unlike some others however, this book seeks to place Australia's more recent 'discovery' of Asia into a broader historical framework.

Opioid overdose mortality in Australia, 1964-1997: birth-cohort trends

Objective: To examine trends in rates of opioid overdose deaths from 1964 to 1997 in different birth cohorts. Design: Age-period-cohort analysis of national data from the Australian Bureau of Statistics. Main outcome measures: Annual population rates of death attributed to opioid dependence or accidental opioid poisoning in people aged 15-44 years, by sex and birth cohort tin five-year intervals, 1940-1944 to 1975-1979). Results: The rate of opioid overdose deaths increased 55-fold between 1964 and 1997, from 1.3 to 71.5 per million population aged 15-44 years. The rate of opioid overdose deaths also increased substantially over the eight birth cohorts, with an incidence rate ratio of 20.70 (95% confidence interval, 13.60-31.46) in the 1975-1979 cohort compared with the 1940-1944 cohort. The age at which the cumulative rate of opioid overdose deaths reached 300 per million fell in successive cohorts (for men, from 28 years among those born 1955-1959 to 22 years among those born 1965-1974; for women, from 33 years among those born 1955-1959 to 27 years among those born 1965-1969). Conclusions: Heroin use in Australia largely began in the early 1970s and rates of heroin use have markedly increased in birth cohorts born since 1950.