A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Comparison of two population pharmacokinetic programs, NONMEM and P-PHARM, for tacrolimus

Objectives: To compare the population modelling programs NONMEM and P-PHARM during investigation of the pharmacokinetics of tacrolimus in paediatric liver-transplant recipients. Methods: Population pharmacokinetic analysis was performed using NONMEM and P-PHARM on retrospective data from 35 paediatric liver-transplant patients receiving tacrolimus therapy. The same data were presented to both programs. Maximum likelihood estimates were sought for apparent clearance (CL/F) and apparent volume of distribution (V/F). Covariates screened for influence on these parameters were weight, age, gender, post-operative day, days of tacrolimus therapy, transplant type, biliary reconstructive procedure, liver function tests, creatinine clearance, haematocrit, corticosteroid dose, and potential interacting drugs. Results: A satisfactory model was developed in both programs with a single categorical covariate - transplant type - providing stable parameter estimates and small, normally distributed (weighted) residuals. In NONMEM, the continuous covariates - age and liver function tests - improved modelling further. Mean parameter estimates were CL/F (whole liver) = 16.3 1/h, CL/F (cut-down liver) = 8.5 1/h and V/F = 565 1 in NONMEM, and CL/F = 8.3 1/h and V/F = 155 1 in P-PHARM. Individual Bayesian parameter estimates were CL/F (whole liver) = 17.9 +/- 8.8 1/h, CL/F (cutdown liver) = 11.6 +/- 18.8 1/h and V/F = 712 792 1 in NONMEM, and CL/F (whole liver) = 12.8 +/- 3.5 1/h, CL/F (cut-down liver) = 8.2 +/- 3.4 1/h and V/F = 221 1641 in P-PHARM. Marked interindividual kinetic variability (38-108%) and residual random error (approximately 3 ng/ml) were observed. P-PHARM was more user friendly and readily provided informative graphical presentation of results. NONMEM allowed a wider choice of errors for statistical modelling and coped better with complex covariate data sets. Conclusion: Results from parametric modelling programs can vary due to different algorithms employed to estimate parameters, alternative methods of covariate analysis and variations and limitations in the software itself.

Fate of N-15-labelled nitrate in a wet summer under different residue management regimes in young hoop pine plantations

A field study was conducted to investigate the fate of N-15-labelled nitrate applied at 20 kg N ha(-1) in a wet summer to microplots installed in areas under different residue management regimes in second-rotation hoop pine (Araucaria cunninghamii) plantations aged 1-3 years in south-east Queensland, Australia. PVC microplots of 235 mm diameter and 300 mm long were driven into 250 mm soil. There were three replications of each of eight treatments. These were areas just under and between 1-year-old windrows (ca. 2-3 m in width) of harvesting residues spaced 15 m apart, and with and without incorporated foliage residues (20 t DM ha(-1)); the areas just under and between 2- or 3-year-old windrows spaced 10 m apart. Only 7-29% of the added N-15 was recovered from the top 750 mm of the soil profile with the leaching loss estimated to be 70-86% over the 34-day period. The N-15 loss via denitrification was 3.7-6.3% by directly measuring the N-15 gases emitted. The microplots with the incorporated residues at the 1-year-old site had the highest N-15 loss (6.3%) as compared with the other treatments. The N-15 mass balance method together with the use of bromide (Br) tracer applied at 100 kg Br ha(-1) failed to obtain a reliable estimate of the denitrification loss. The microplots at the 1-year-old site had higher N-15 immobilisation rate (7.5-24.7%) compared with those at 2- and 3-year-old sites (2.1-3.6%). Incorporating the residues resulted in an increase in N-15 immobilisation rate (24.5-24.7%) compared with the control without the incorporated residues (8.4-14.3%). These findings suggest that climatic conditions played important roles in controlling the N-15 transformations in the wet summer season and that the residue management regimes could also significantly influence the N-15 transformations. Most of the N-15 loss occurred through leaching, but a considerable amount of the N-15 was lost through denitrification. Bromide proved to be an unsuitable tracer for monitoring the N-15 leaching and movement under the wet summer conditions. (C) 2002 Elsevier Science B.V. All rights reserved.

The effect of sodium chloride supplementation on the milk production of grazing Holstein Friesian cows during summer and autumn in a humid sub-tropical environment

Two studies were conducted to examine the effects of including NaCl at various rates in grain-based supplements for Friesian cows grazing established, dominant (>90%), rainfed kikuyu (Pennisetum clandestinum cv. Common) pastures during summer and autumn in a humid sub-tropical environment. In study 1 (19 January-27 March 1998), 48 cows (36 multiparous, 12 primiparous; 27-96 days postpartum) were allocated to one of four groups based on genetic merit, milk production, liveweight (LW) and days postpartum. They were fed (2.7 kg dry matter (DM) per cow, twice-a-day) one of four isoenergetic and isonitrogenous barley grain-based concentrates containing NaCl at concentrations (% as-fed) of either 0 (SC1), 1.1 (SC2), 2.2 (SC3) or 3.3 (SC4). Maximum temperature humidity index (THImax) was greater than or equal to78 during 50% of the experimental period. Concentrate NaCl content had no effect (P>0.05) on daily milk yield or LW change but daily yields of 4% fat corrected milk (FCM), fat and protein were higher (P0.05) among treatments at 7.6+/-1.24 kg DM per cow. In study 2 (18 January 1999-1 March 1999), 48 cows (32 pluriparous, 16 primiparous: 32-160 days postpartum) were fed (2.7 kg DM per cow twice-a-day) one of two isoenergetic and isonitrogenous barley grain-based concentrates containing NaCl at concentrations (% as-fed) of 0 (control) or 2.2 (HSC). THImax was greater than or equal to78 during 34% of days in the experimental period. Yields of milk, FCM, fat and protein were lower (P0.05) by concentrate NaCl content. These studies indicate that NaCl supplementation can be beneficial in terms of milk production during warm, humid conditions as opposed to milder conditions. (C) 2002 Elsevier Science B.V. All rights reserved.

Identification of research to improve the efficiency of breeding strategies for white clover in Australia - a review

A major challenge faced by today's white clover breeder is how to manage resources within a breeding program. It is essential to utilise these resources with sufficient flexibility to build on past progress from conventional breeding strategies, but also take advantage of emerging opportunities from molecular breeding tools such as molecular markers and transformation. It is timely to review white clover breeding strategies. This background can then be used as a foundation for considering how to continue conventional plant improvement activities and complement them with molecular breeding opportunities. In this review, conventional white clover breeding strategies relevant to the Australian dryland target population environments are considered. Attention is given to: (i) availability of genetic variation, (ii) characterisation of germplasm collections, (iii) quantitative models for estimation of heritability, (iv) the role of multi-environment trials to accommodate genotype-by-environment interactions, (v) interdisciplinary research to understand adaptation to dryland environments, (vi) breeding and selection strategies, and (vii) cultivar structure. Current achievements in biotechnology with specific reference to white clover breeding in Australia are considered, and computer modelling of breeding programs is discussed as a useful integrative tool for the joint evaluation of conventional and molecular breeding strategies and optimisation of resource use in breeding programs. Four areas are identified as future research priorities: (i) capturing the potential genetic diversity among introduced accessions and ecotypes that are adapted to key constraints such as summer moisture stress and the use of molecular markers to assess the genetic diversity, (ii) understanding the underlying physiological/morphological root and shoot mechanisms involved in water use efficiency of white clover, with the objective of identifying appropriate selection criteria, (iii) estimation of quantitative genetic parameters of important morphological/physiological attributes to enable prediction of response to selection in target environments, and (iv) modelling white clover breeding strategies to evaluate the opportunities for integration of molecular breeding strategies with conventional breeding programs.

Winter intervention against Aedes aegypti (Diptera : Culicidae) larvae in subterranean habitats slows surface recolonization in summer

At semiarid Charters Towers, north Queensland, Australia, the importance of Aedes aegypti (L.) in wells was assessed in relation to the colonization of surface habitats during the wet season. From April to July 1999, 10 wells (five positive for Ae. aegypti) were monitored to assess their status and larvae population numbers therein. All surface containers located within a 100 m radius of each well were removed, treated with s-methoprene or sealed to prevent the utilization of these containers by mosquitoes. These inner cores were surrounded by outer zones for a further 100 m in which surface containers were left untreated but all subterranean habitats were treated. Ovitraps were monitored monthly in the inner cores for 36 wk from August 1999 to April 2000 and differences in the proportions of ovitraps positive for Ae. aegypti and Ochlerotatus notoscriptus (Skuse) were analyzed by logistic regression. Analysis of the proportions of ovitraps positive for Ae. aegypti near positive wells indicated significantly greater colonization from November to March (the wet season), compared with those situated near Ae. aegypti negative wells. As Oc. notoscriptus were not produced from subterranean sites, comparisons of the proportions of ovitraps positive for Oc. notoscriptus in positive and negative inner cores provided an indication of the relative productivity of the uncontrolled surface containers in the outer zones. Differences in the utililization of ovitraps by Oc. notoscriptus among positive and negative cores were observed during only one month (March), when oviposition was greater in ovitraps in the negative cores, compared with the positive cores. Best subsets linear regression analysis of the proportion of ovitraps positive for Ae. aegypti against meteorological variables (rainfall, mean wind speed, mean relative humidity, mean minimum, and maximum temperature) during the week of ovitrapping indicated that minimum temperature and wind speed accounted for 63.4% of the variability. This study confirms that for semiarid towns such as Charters Towers, the practice of treating a relatively small number of key subterranean habitats during winter will significantly affect Ae. aegypti recolonization of surface container habitats during summer, the period of greatest risk for dengue.

Bone mineral density of rat femurs after hindlimb unloading and different physical rehabilitation programs

Bone weakening can occur due to the absence of load on the skeleton or even short periods of decreased physical activity. Therefore, musculoskeletal diseases that involve temporary immobilization by casts, inactivity or tension increases the risk of fractures. Physical activity is the most studied procedure both to prevent damage and to restore bone structure. The present study aimed at evaluating, by bone densitometry on rat femurs, the influence of hindlimb unloading and later running activity on treadmill or free movement. Sixty-four Wistar rats were used, aged 65 days with a mean corporal mass of 316.11g, randomly divided into eight experimental groups: group 1, the suspended control with seven animals under hindlimb unloading regimen for 28 days, then euthanized; groups 2 and 3, the trained suspended comprising of 7 and five animals, respectively, subjected to hindlimb unloading for 28 days, followed by treadmill exercise for 28 days (group 2) or 56 days (group 3), then euthanized; groups 4 and 5, designated free suspended, comprised of 7 animals each under hindlimb unloading regimen for 28 days followed by free activity in cages for 28 days (group 4) or 56 days (group 5), then euthanized; groups 6, 7 and 8, negative controls, each with 8 animals allowed to free activity in cages and euthanized at the ages of 93, 121 and 149 days, respectively. Bone mineral density (BMD) of the left femur was analyzed by bone densitometry. Unloading by tail-suspension decreased BMD while treadmill training and free activity in cages promoted its recovery in a similar way and over time.

Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

Criminal Liability of Organizations, Corporations, Legal Persons, and Similar Entities on Law of Portuguese Cybercrime: A Brief Discussion on the Issue of Crimes of “False Information,” the “Damage on Other Programs or Computer Data,” the “Computer-Software Sabotage,” the “Illegitimate Access,” the “Unlawful Interception,” and “Illegitimate Reproduction of the Protected Program”

Abstract: in Portugal, and in much of the legal systems of Europe, «legal persons» are likely to be criminally responsibilities also for cybercrimes. Like for example the following crimes: «false information»; «damage on other programs or computer data»; «computer-software sabotage»; «illegitimate access»; «unlawful interception» and «illegitimate reproduction of protected program». However, in Portugal, have many exceptions. Exceptions to the «question of criminal liability» of «legal persons». Some «legal persons» can not be blamed for cybercrime. The legislature did not leave! These «legal persons» are v.g. the following («public entities»): legal persons under public law, which include the public business entities; entities utilities, regardless of ownership; or other legal persons exercising public powers. In other words, and again as an example, a Portuguese public university or a private concessionaire of a public service in Portugal, can not commit (in Portugal) any one of cybercrime pointed. Fair? Unfair. All laws should provide that all legal persons can commit cybercrimes. PS: resumo do artigo em inglês.

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs