993 resultados para temporal disjunctive logic programming
Resumo:
This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.
Resumo:
1. Establishing biological control agents in the field is a major step in any classical biocontrol programme, yet there are few general guidelines to help the practitioner decide what factors might enhance the establishment of such agents. 2. A stochastic dynamic programming (SDP) approach, linked to a metapopulation model, was used to find optimal release strategies (number and size of releases), given constraints on time and the number of biocontrol agents available. By modelling within a decision-making framework we derived rules of thumb that will enable biocontrol workers to choose between management options, depending on the current state of the system. 3. When there are few well-established sites, making a few large releases is the optimal strategy. For other states of the system, the optimal strategy ranges from a few large releases, through a mixed strategy (a variety of release sizes), to many small releases, as the probability of establishment of smaller inocula increases. 4. Given that the probability of establishment is rarely a known entity, we also strongly recommend a mixed strategy in the early stages of a release programme, to accelerate learning and improve the chances of finding the optimal approach.
Resumo:
Two small RNAs regulate the timing of Caenorhabditis elegans development(1,2). Transition from the first to the second larval stage fates requires the 22-nucleotide lin-4 RNA(1,3,4), and transition from late larval to adult cell fates requires the 21-nucleotide let-7 RNA 2. The lin-4 and let-7 RNA genes are not homologous to each other, but are each complementary to sequences in the 3' untranslated regions of a set of protein-coding target genes that are normally negatively regulated by the RNAs1,2,5,6. Here we have detected let-7 RNAs of similar to 21 nucleotides in samples from a wide range of animal species, including vertebrate, ascidian, hemichordate, mollusc, annelid and arthropod, but not in RNAs from several cnidarian and poriferan species, Saccharomyces cerevisiae, Escherichia coli or Arabidopsis. We did not detect lin-4 RNA in these species. We found that let-7 temporal regulation is also conserved: let-7 RNA expression is first detected at late larval stages in C. elegans and Drosophila, at 48 hours after fertilization in zebrafish, and in adult stages of annelids and molluscs. The let-7 regulatory RNA may control late temporal transitions during development across animal phylogeny.
Resumo:
1. A model of the population dynamics of Banksia ornata was developed, using stochastic dynamic programming (a state-dependent decision-making tool), to determine optimal fire management strategies that incorporate trade-offs between biodiversity conservation and fuel reduction. 2. The modelled population of B. ornata was described by its age and density, and was exposed to the risk of unplanned fires and stochastic variation in germination success. 3. For a given population in each year, three management strategies were considered: (i) lighting a prescribed fire; (ii) controlling the incidence of unplanned fire; (iii) doing nothing. 4. The optimal management strategy depended on the state of the B. ornata population, with the time since the last fire (age of the population) being the most important variable. Lighting a prescribed fire at an age of less than 30 years was only optimal when the density of seedlings after a fire was low (< 100 plants ha(-1)) or when there were benefits of maintaining a low fuel load by using more frequent fire. 5. Because the cost of management was assumed to be negligible (relative to the value of the persistence of the population), the do-nothing option was never the optimal strategy, although lighting prescribed fires had only marginal benefits when the mean interval between unplanned fires was less than 20-30 years.
Resumo:
A chance constrained programming model is developed to assist Queensland barley growers make varietal and agronomic decisions in the face of changing product demands and volatile production conditions. Unsuitable or overlooked in many risk programming applications, the chance constrained programming approach nonetheless aptly captures the single-stage decision problem faced by barley growers of whether to plant lower-yielding but potentially higher-priced malting varieties, given a particular expectation of meeting malting grade standards. Different expectations greatly affect the optimal mix of malting and feed barley activities. The analysis highlights the suitability of chance constrained programming to this specific class of farm decision problem.
Resumo:
A modelling framework is developed to determine the joint economic and environmental net benefits of alternative land allocation strategies. Estimates of community preferences for preservation of natural land, derived from a choice modelling study, are used as input to a model of agricultural production in an optimisation framework. The trade-offs between agricultural production and environmental protection are analysed using the sugar industry of the Herbert River district of north Queensland as an example. Spatially-differentiated resource attributes and the opportunity costs of natural land determine the optimal tradeoffs between production and conservation for a range of sugar prices.
Resumo:
An assessment of the changes in the distribution and extent of mangroves within Moreton Bay, southeast Queensland, Australia, was carried out. Two assessment methods were evaluated: spatial and temporal pattern metrics analysis, and change detection analysis. Currently, about 15,000 ha of mangroves are present in Moreton Bay. These mangroves are important ecosystems, but are subject to disturbance from a number of sources. Over the past 25 years, there has been a loss of more than 3800 ha, as a result of natural losses and mangrove clearing (e.g. for urban and industrial development, agriculture and aquaculture). However, areas of new mangroves have become established over the same time period, offsetting these losses to create a net loss of about 200 ha. These new mangroves have mainly appeared in the southern bay region and the bay islands, particularly on the landward edge of existing mangroves. In addition, spatial patterns and species composition of mangrove patches have changed. The pattern metrics analysis provided an overview of mangrove distribution and change in the form of single metric values, while the change detection analysis gave a more detailed and spatially explicit description of change. An analysis of the effects of spatial scales on the pattern metrics indicated that they were relatively insensitive to scale at spatial resolutions less than 50 m, but that most metrics became sensitive at coarser resolutions, a finding which has implications for mapping of mangroves based on remotely sensed data. (C) 2003 Elsevier Science B.V. All rights reserved.
Resumo:
Reviews the book "The Human Organization of Time: Temporal Realities and Experience," by Allen C. Bluedorn.
Resumo:
Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.
Resumo:
Background and Objectives: A number of familial temporal lobe epilepsies (TLE) have been recently recognized. Mutations in LGI1 (leucine-rich, glioma-inactivated 1 gene) have been found in a few families with the syndrome of autosomal dominant partial epilepsy with auditory features (ADPEAF). The authors aimed to determine the spectrum of TLE phenotypes with LGI1 mutations, to study the frequency of mutations in ADPEAF, and to examine the role of LGI1 paralogs in ADPEAF without LGI1 mutations. Methods: The authors performed a clinical and molecular analysis on 75 pedigrees comprising 54 with a variety of familial epilepsies associated with TLE and 21 sporadic TLE cases. All were studied for mutations in LGI1. ADPEAF families negative for LGI1 mutations were screened for mutations in LGI2, LGI3, and LGI4. Results: Four families had ADPEAF, 22 had mesial TLE, 11 had TLE with febrile seizures, two had TLE with developmental abnormalities, and 15 had various other TLE syndromes. LGI1 mutations were found in two of four ADPEAF families, but in none of the other 50 families nor in the 21 individuals with sporadic TLE. The mutations were novel missense mutations in exons 1 (c. 124T --> G; C42G) and 8 (c. 1418C --> T; S473L). No mutations in LGI2, LGI3, or LGI4 were found in the other two ADPEAF families. Conclusion: In TLE, mutations in LGI1 are specific for ADPEAF but do not occur in all families. ADPEAF is genetically heterogeneous, but mutations in LGI2, LGI3, or LGI4 did not account for families without LGI1 mutations.
Resumo:
The prevalence of the parasite Aporobopyrus curtatus in Petrolisthes armatus from southern Brazil was determined, and the effect the parasite had on host reproduction was evaluated. Of all 775 crabs sampled in Araca region from March 2005 to July 2006, 3.2% presented bopyrid parasites. All the parasitized individuals had one branchial chamber occupied by two mature parasites, with no preference for the right or left chamber. Male and female hosts were infested in equal proportions. Parasitized juveniles, large individuals and ovigerous females were not found in our study. The absence of parasitized ovigerous females seems to be insufficient evidence to support the hypothesis of parasitic castration and would require a histological study to confirm their reproductive death. The percentage of infestation observed in our study (3.1%) is lower than the one found in other studies and it could indicate the existence of factor(s) regulating the density of A. curtatus in the Araca region. At least in this population, the low but constant presence of the bopyrid A. curtatus population did not appear to have a negative effect on the porcellanid population, and parasitized individuals did not play a significant role in the natural history of P. armatus.
Resumo:
Despite extensive research in the last 150 years, the regional tectonic reconstruction of the Western Alps has remained controversial. The curved orogenic belt consists of several ribbon-like continental terranes (Sesia/Austroalpine, Internal Crystalline Massifs, Brianconnais), which are separated by two or more ophiolitic sutures (Piemonte, Valais, Antrona?, Lanzo/ Canavese?). High-pressure (HP) metamorphism of each terrane occurred during distinct orogenic episodes: at similar to65 Ma in the Sesia/Austroalpine, at similar to45 Ma in the Piemonte zone and at similar to35 Ma in the Internal Crystalline Massifs. It is suggested that these events reflect individual accretionary episodes, which together with kinematic indicators and the speed and direction of plate motions, provide constraints for the discussed reconstruction model. The model involves a prolonged orogenic history that took place during relative convergence of Europe and Adria (here considered as a promontory of the African plate). The first accretionary event involved the Sesia/Austroalpine terrane. Final closure of the Piemonte Ocean occurred during the Eocene (similar to45 Ma) and involved ultra-high-pressure (UHP) metamorphism of the Piemonte oceanic crust. Incorporation of the Brianconnais terrane in the accretionary wedge occurred thereafter, possibly during or after subduction of the Valais Ocean in the late Eocene (45-35 Ma). This subduction was terminated at ca. 35 Ma, when the Internal Crystalline Massifs (i.e. the assumed internal parts of the Brianconnais terrane) were buried into great depths and underwent HP and UHP metamorphism. (C) 2004 Elsevier B.V. All rights reserved.
Resumo:
The present study aimed to determine the richness, occurrence constancy, reproductive modes. standard of abundance distribution, season of vocalization and to test correlation among climatic variables and activity of vocalization of anurans in a region of the Pampa Biome, Santa Maria, Rio Grande do Sul State. During the period of Novernber/2001 to October/2002 monthly collections were carried out utilizing the `survey at breeding site` method and examination of specimens kept in the Colecao Herpetologica do Setor de Zoologia da Universidade Federal de Santa Maria (ZUFSM). Tire Occurrence of 25 species of anurans was recorded. The anurofauna recorded represents 30% of the species known to Occur in Rio Grande do Sul, and comprises species generally associated with grasslands in this state and neighboring countries. Four reproductive modes were recorded: mode 1 (14 species: 58.3%) mode 11 and 30 (9 species` 37.5%) and mode 24 (1 species; 4.2%). The low diversification of reproductive modes is likely related to the homogeneity of the grassland habitat. Most species were constant or accessory in the Study area and the species abundance distribution patterns fit in the Broken Stick and Log-normal models. characterized by homogeneity of species abundance distribution. Most species showed great plasticity in habitat. but few were plastic in vocalization sites use. There was a weak positive correlation between species richness and precipitation. There was also a weak positive correlation between the abundance of species calling activity and maximum average temperatures. These correlations indicated that, in the study area. the abundance of calling males is more affected by the temperature, and species richness is more affected by precipitation, despite the fact that significantly higher species richness occurs during the hottest period of the year. These results showed that the climatological variables examined were not enough to explain the seasonal occurrence of species, thus the influence of other environmental variables merit to be tested in future studies.