883 resultados para Reasoning about variation and distribution


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mercury intrusion porosimetry (MIP) has been widely used to evaluate the quality of concrete through the pore size distribution parameters. Two of these parameters are the critical pore diameter (Dcrit) and the percentage of the most interconnected net of pores compared to the total volume of pores. Some researchers consider Dcrit as the diameter obtained from the inflexion point of the cumulative mercury intrusion curve while others consider Dcrit as the diameter obtained from the point of abrupt variation in the same curve. This study aims to analyze two groups of concretes of varying w/c ratios, one cast with pozzolanic cement and another with high initial strength cement, in order to determine which of these diameters feature a better correlation with the quality parameters of the concretes. The concrete quality parameters used for the evaluations were (1) the w/c ratios and (2) chloride diffusion coefficients measured at approximately 90 days. MIP cumulative distributions of the same concretes were also measured at about 90 days, and Dcrit values were determined (1) from the point of abrupt variation and alternatively, (2) from the inflexion point of each of these plots. It was found that Dcrit values measured from the point of abrupt variation were useful indicators of the quality of the concrete, but the Dcrit values based on the inflexion points were not. Hence, it is recommended that Dcrit and the percentage of the most interconnected volume of pores should be obtained considering the point of abrupt variation of the cumulative curve of pore size distribution.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Australian lungfish Neoceratodus forsteri may be the closest living relative to the first tetrapods and yet little is known about their retinal ganglion cells. This study reveals that lungfish possess a heterogeneous population of ganglion cells distributed in a horizontal streak across the retinal meridian, which is formed early in development and maintained through to adult stages. The number and complement of both ganglion cells and a population of putative amacrine cells within the ganglion cell layer are examined using retrograde labelling from the optic nerve and transmission electron-microscopic analysis of axons within the optic nerve. At least four types of retinal ganglion cells are present and lie predominantly within a thin ganglion cell layer, although two subpopulations are identified, one within the inner plexiform and the other within the inner nuclear layer. A subpopulation of retinal ganglion cells comprising up to 7% or the total population are significantly larger (> 400 mu m(2)) and are characterized as giant or alpha-like cells. Up to 44% of cells within the retinal ganglion cell layer represent a population of presumed amacrine cells. The optic nerve is heavily fasciculated and the proportion of myelinated axons increases with body length from 17% in subadults to 74% in adults. Spatial resolving power, based on ganglion cell spacing, is low (1.6-1.9 cycles deg(-1), n = 2) and does not significantly increase with growth. This represents the first detailed study of retinal ganglion cells in sarcopterygian fish, and reveals that, despite variation amongst animal groups, trends in ganglion cell density distribution and characteristics of cell types were defined early in vertebrate evolution.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents a new formalism for reasoning about change over time. The formalism derives a clean separation between the notion of states and situations. It allows more flexible temporal causal relationships than do other formalisms for reasoning about causal change, such as the situation calculus and the event calculus. It includes effects that start during, immediately after, or some time after their causes, and which end before, simultaneously with, or after their causes. A formal distinction between actions, action-types and events is proposed, which allows the expression of common-sense causal laws at high level. It is shown how these laws can be used to deduce state change over time at low level, when events occur under certain preconditions hold. Two problems that beset most interval-based temporal systems, i.e., the so-called dividing instant problem and intermingling problem, are absent from the formalism.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dados suplementares associados com o artigo e epígrafe estão disponíveis em: http://dx.doi.org/10.1016/j.cogdev.2016.08.007

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis investigates how the strong verb system inherited from Old English evolved in the regional dialects of Middle English (ca. 1100-1500). Old English texts preserve a relatively complex system of strong verbs, in which traditionally seven different ablaut classes are distinguished. This system becomes seriously disrupted from the Late Old English and Early Middle English periods onwards. As a result, many strong verbs die out, or have their ablaut patterns affected by sound change and morphological analogy, or transfer to the weak conjugation. In my thesis, I study the beginnings of two of these developments in two strong verb classes to find out what the evidence from Middle English regional dialects can tell us about their origins and diffusion. Chapter 2 concentrates on the strong-to-weak shift in Class III verbs, and investigates to what extent strong, mixed and weak past tense and participle forms vary in Middle English dialects, and whether the variation is more pronounced in the paradigms of specific verbs or sub-classes. Chapter 3 analyses the regional distribution of ablaut levelling in strong Class IV verbs throughout the Middle English period. The Class III and IV data for the Early Middle English period are drawn from A Linguistic Atlas of Early Middle English, and the data for the Late Middle English period from a sub-corpus of files from The Penn-Helsinki Parsed Corpus of Middle English and The Middle English Grammar Corpus. Furthermore, The English Dialect Dictionary and Grammar are consulted as an additional reference point to find out to what extent the Middle English developments are reflected in Late Modern English dialects. Finally, referring to modern insights into language variation and change and linguistic interference, Chapter 4 discusses to what extent intra- and extra-linguistc factors, such as token and type frequency, stem structure and language contact, might correlate with the strong-to-weak shift and ablaut levelling in Class III and IV verbs in the Middle English period. The thesis is accompanied by six appendices that contain further information about my distinction of Middle English dialect areas (Appendix A), historical Class III and IV verbs (B and C) and the text samples and linguistic data from the Middle English text corpora (D, E and F).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

With the emergence of multi-core processors into the mainstream, parallel programming is no longer the specialized domain it once was. There is a growing need for systems to allow programmers to more easily reason about data dependencies and inherent parallelism in general purpose programs. Many of these programs are written in popular imperative programming languages like Java and C]. In this thesis I present a system for reasoning about side-effects of evaluation in an abstract and composable manner that is suitable for use by both programmers and automated tools such as compilers. The goal of developing such a system is to both facilitate the automatic exploitation of the inherent parallelism present in imperative programs and to allow programmers to reason about dependencies which may be limiting the parallelism available for exploitation in their applications. Previous work on languages and type systems for parallel computing has tended to focus on providing the programmer with tools to facilitate the manual parallelization of programs; programmers must decide when and where it is safe to employ parallelism without the assistance of the compiler or other automated tools. None of the existing systems combine abstraction and composition with parallelization and correctness checking to produce a framework which helps both programmers and automated tools to reason about inherent parallelism. In this work I present a system for abstractly reasoning about side-effects and data dependencies in modern, imperative, object-oriented languages using a type and effect system based on ideas from Ownership Types. I have developed sufficient conditions for the safe, automated detection and exploitation of a number task, data and loop parallelism patterns in terms of ownership relationships. To validate my work, I have applied my ideas to the C] version 3.0 language to produce a language extension called Zal. I have implemented a compiler for the Zal language as an extension of the GPC] research compiler as a proof of concept of my system. I have used it to parallelize a number of real-world applications to demonstrate the feasibility of my proposed approach. In addition to this empirical validation, I present an argument for the correctness of the type system and language semantics I have proposed as well as sketches of proofs for the correctness of the sufficient conditions for parallelization proposed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

As the world’s population is growing, so is the demand for agricultural products. However, natural nitrogen (N) fixation and phosphorus (P) availability cannot sustain the rising agricultural production, thus, the application of N and P fertilisers as additional nutrient sources is common. It is those anthropogenic activities that can contribute high amounts of organic and inorganic nutrients to both surface and groundwaters resulting in degradation of water quality and a possible reduction of aquatic life. In addition, runoff and sewage from urban and residential areas can contain high amounts of inorganic and organic nutrients which may also affect water quality. For example, blooms of the cyanobacterium Lyngbya majuscula along the coastline of southeast Queensland are an indicator of at least short term decreases of water quality. Although Australian catchments, including those with intensive forms of land use, show in general a low export of nutrients compared to North American and European catchments, certain land use practices may still have a detrimental effect on the coastal environment. Numerous studies are reported on nutrient cycling and associated processes on a catchment scale in the Northern Hemisphere. Comparable studies in Australia, in particular in subtropical regions are, however, limited and there is a paucity in the data, in particular for inorganic and organic forms of nitrogen and phosphorus; these nutrients are important limiting factors in surface waters to promote algal blooms. Therefore, the monitoring of N and P and understanding the sources and pathways of these nutrients within a catchment is important in coastal zone management. Although Australia is the driest continent, in subtropical regions such as southeast Queensland, rainfall patterns have a significant effect on runoff and thus the nutrient cycle at a catchment scale. Increasingly, these rainfall patterns are becoming variable. The monitoring of these climatic conditions and the hydrological response of agricultural catchments is therefore also important to reduce the anthropogenic effects on surface and groundwater quality. This study consists of an integrated hydrological–hydrochemical approach that assesses N and P in an environment with multiple land uses. The main aim is to determine the nutrient cycle within a representative coastal catchment in southeast Queensland, the Elimbah Creek catchment. In particular, the investigation confirms the influence associated with forestry and agriculture on N and P forms, sources, distribution and fate in the surface and groundwaters of this subtropical setting. In addition, the study determines whether N and P are subject to transport into the adjacent estuary and thus into the marine environment; also considered is the effect of local topography, soils and geology on N and P sources and distribution. The thesis is structured on four components individually reported. The first paper determines the controls of catchment settings and processes on stream water, riverbank sediment, and shallow groundwater N and P concentrations, in particular during the extended dry conditions that were encountered during the study. Temporal and spatial factors such as seasonal changes, soil character, land use and catchment morphology are considered as well as their effect on controls over distributions of N and P in surface waters and associated groundwater. A total number of 30 surface and 13 shallow groundwater sampling sites were established throughout the catchment to represent dominant soil types and the land use upstream of each sampling location. Sampling comprises five rounds and was conducted over one year between October 2008 and November 2009. Surface water and groundwater samples were analysed for all major dissolved inorganic forms of N and for total N. Phosphorus was determined in the form of dissolved reactive P (predominantly orthophosphate) and total P. In addition, extracts of stream bank sediments and soil grab samples were analysed for these N and P species. Findings show that major storm events, in particular after long periods of drought conditions, are the driving force of N cycling. This is expressed by higher inorganic N concentrations in the agricultural subcatchment compared to the forested subcatchment. Nitrate N is the dominant inorganic form of N in both the surface and groundwaters and values are significantly higher in the groundwaters. Concentrations in the surface water range from 0.03 to 0.34 mg N L..1; organic N concentrations are considerably higher (average range: 0.33 to 0.85 mg N L..1), in particular in the forested subcatchment. Average NO3-N in the groundwater has a range of 0.39 to 2.08 mg N L..1, and organic N averages between 0.07 and 0.3 mg N L..1. The stream bank sediments are dominated by organic N (range: 0.53 to 0.65 mg N L..1), and the dominant inorganic form of N is NH4-N with values ranging between 0.38 and 0.41 mg N L..1. Topography and soils, however, were not to have a significant effect on N and P concentrations in waters. Detectable phosphorus in the surface and groundwaters of the catchment is limited to several locations typically in the proximity of areas with intensive animal use; in soil and sediments, P is negligible. In the second paper, the stable isotopes of N (14N/15N) and H2O (16O/18O and 2H/H) in surface and groundwaters are used to identify sources of dissolved inorganic and organic N in these waters, and to determine their pathways within the catchment; specific emphasis is placed on the relation of forestry and agriculture. Forestry is predominantly concentrated in the northern subcatchment (Beerburrum Creek) while agriculture is mainly found in the southern subcatchment (Six Mile Creek). Results show that agriculture (horticulture, crops, grazing) is the main source of inorganic N in the surface waters of the agricultural subcatchment, and their isotopic signature shows a close link to evaporation processes that may occur during water storage in farm dams that are used for irrigation. Groundwaters are subject to denitrification processes that may result in reduced dissolved inorganic N concentrations. Soil organic matter delivers most of the inorganic N to the surface water in the forested subcatchment. Here, precipitation and subsequently runoff is the main source of the surface waters. Groundwater in this area is affected by agricultural processes. The findings also show that the catchment can attenuate the effects of anthropogenic land use on surface water quality. Riparian strips of natural remnant vegetation, commonly 50 to 100 m in width, act as buffer zones along the drainage lines in the catchment and remove inorganic N from the soil water before it enters the creek. These riparian buffer zones are common in most agricultural catchments of southeast Queensland and are indicated to reduce the impact of agriculture on stream water quality and subsequently on the estuary and marine environments. This reduction is expressed by a significant decrease in DIN concentrations from 1.6 mg N L..1 to 0.09 mg N L..1, and a decrease in the �15N signatures from upstream surface water locations downstream to the outlet of the agricultural subcatchment. Further testing is, however, necessary to confirm these processes. Most importantly, the amount of N that is transported to the adjacent estuary is shown to be negligible. The third and fourth components of the thesis use a hydrological catchment model approach to determine the water balance of the Elimbah Creek catchment. The model is then used to simulate the effects of land use on the water balance and nutrient loads of the study area. The tool that is used is the internationally widely applied Soil and Water Assessment Tool (SWAT). Knowledge about the water cycle of a catchment is imperative in nutrient studies as processes such as rainfall, surface runoff, soil infiltration and routing of water through the drainage system are the driving forces of the catchment nutrient cycle. Long-term information about discharge volumes of the creeks and rivers do, however, not exist for a number of agricultural catchments in southeast Queensland, and such information is necessary to calibrate and validate numerical models. Therefore, a two-step modelling approach was used to calibrate and validate parameters values from a near-by gauged reference catchment as starting values for the ungauged Elimbah Creek catchment. Transposing monthly calibrated and validated parameter values from the reference catchment to the ungauged catchment significantly improved model performance showing that the hydrological model of the catchment of interest is a strong predictor of the water water balance. The model efficiency coefficient EF shows that 94% of the simulated discharge matches the observed flow whereas only 54% of the observed streamflow was simulated by the SWAT model prior to using the validated values from the reference catchment. In addition, the hydrological model confirmed that total surface runoff contributes the majority of flow to the surface water in the catchment (65%). Only a small proportion of the water in the creek is contributed by total base-flow (35%). This finding supports the results of the stable isotopes 16O/18O and 2H/H, which show the main source of water in the creeks is either from local precipitation or irrigation waters delivered by surface runoff; a contribution from the groundwater (baseflow) to the creeks could not be identified using 16O/18O and 2H/H. In addition, the SWAT model calculated that around 68% of the rainfall occurring in the catchment is lost through evapotranspiration reflecting the prevailing long-term drought conditions that were observed prior and during the study. Stream discharge from the forested subcatchment was an order of magnitude lower than discharge from the agricultural Six Mile Creek subcatchment. A change in land use from forestry to agriculture did not significantly change the catchment water balance, however, nutrient loads increased considerably. Conversely, a simulated change from agriculture to forestry resulted in a significant decrease of nitrogen loads. The findings of the thesis and the approach used are shown to be of value to catchment water quality monitoring on a wider scale, in particular the implications of mixed land use on nutrient forms, distributions and concentrations. The study confirms that in the tropics and subtropics the water balance is affected by extended dry periods and seasonal rainfall with intensive storm events. In particular, the comprehensive data set of inorganic and organic N and P forms in the surface and groundwaters of this subtropical setting acquired during the one year sampling program may be used in similar catchment hydrological studies where these detailed information is missing. Also, the study concludes that riparian buffer zones along the catchment drainage system attenuate the transport of nitrogen from agricultural sources in the surface water. Concentrations of N decreased from upstream to downstream locations and were negligible at the outlet of the catchment.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Health policy, guidelines, and standards advocate giving patients comprehensive information and facilitating their involvement in health-related decision-making. Routine assessment of patient reports of these processes is needed. Our objective was to examine decision-making processes, specifically information provision and consumer involvement in decision-making, for nine pregnancy, labour, and birth procedures, as reported by maternity care consumers in Queensland, Australia. Methods: Participants were women who had a live birth in Queensland in a specified time period and were not found to have had a baby that died since birth, who completed the extended Having a Baby in Queensland Survey, 2010 about their maternity care experiences, and who reported at least one of the nine procedures of interest. For each procedure, women answered two questions that measured perceived (i) receipt of information about the benefits and risks of the procedure and (ii) role in decision-making about the procedure. Results: In all, 3,542 eligible women (34.2%) completed the survey. Between 4% (for pre-labour caesarean section) and 60% (for vaginal examination) of women reported not being informed of the benefits and risks of the procedure they experienced. Between 2% (epidural) and 34% (episiotomy) of women reported being unconsulted in decision-making. Over one quarter (26%) of the women who experienced episiotomy reported being neither informed nor consulted. Conclusions: There is an urgent need for interventions that facilitate information provision and consumer involvement in decision-making about several perinatal procedures, especially those performed within the time-limited intrapartum care episode.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

An experiment was conducted to investigate the process of reasoning about directions in an egocentric space. Each participant walked through a corridor containing an angular turn ranging in size from 0° to 90°, in 15° increments. A direction was given to participants at the entrance of the corridor and they were asked to answer this direction at the end of this corridor. Considering the fact that participants had to reason the direction in the featureless corridor, two hypotheses were proposed: (i) reasoning about directions falls into qualitative reasoning by using a small number of coarse angular categories (four 90° categories or eight 45° categories: 90° categories consist of front, back, left, right; 45° categories consist of 90° categories and the four intermediates) that reference axes generate; (ii) reasoning about directions would be done by recalling the rotation angle from the traveling direction to the direction that participants tried to answer. In addition, the configuration of reference axes that participants employed was examined. Both hypotheses were supported, and the data designated that reference axes consisted of eight directions: a pair of orthogonal axes and diagonals.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents a symbolic navigation system that uses spatial language descriptions to inform goal-directed exploration in unfamiliar office environments. An abstract map is created from a collection of natural language phrases describing the spatial layout of the environment. The spatial representation in the abstract map is controlled by a constraint based interpretation of each natural language phrase. In goal-directed exploration of an unseen office environment, the robot links the information in the abstract map to observed symbolic information and its grounded world representation. This paper demonstrates the ability of the system, in both simulated and real-world trials, to efficiently find target rooms in environments that it has never been to previously. In three unexplored environments, it is shown that on average the system travels only 8.42% further than the optimal path when using only natural language phrases to complete navigation tasks.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Western European house mouse, Mus musculus domesticus, is well-known for the high frequency of Robertsonian fusions that have rapidly produced more than 50 karyotipic races, making it an ideal model for studying the mechanisms of chromosomal speciation. The mouse mandible is one of the traits studied most intensively to investigate the effect of Robertsonian fusions on phenotypic variation within and between populations. This complex bone structure has also been widely used to study the level of integration between different morphogenetic units. Here, with the aim of testing the effect of different karyotypic assets on the morphology of the mouse mandible and on its level of modularity, we performed morphometric analyses of mice from a contact area between two highly metacentric races in Central Italy. We found no difference in size, while the mandible shape was found to be different between the two Robertsonian races, even after accounting for the genetic relationships among individuals and geographic proximity. Our results support the existence of two modules that indicate a certain degree of evolutionary independence, but no difference in the strength of modularity between chromosomal races. Moreover, the ascending ramus showed more pronounced interpopulation/race phenotypic differences than the alveolar region, an effect that could be associated to their different polygenic architecture. This study suggests that chromosomal rearrangements play a role in the house mouse phenotypic divergence, and that the two modules of the mouse mandible are differentially affected by environmental factors and genetic makeup.