889 resultados para Almost always propositional logic


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Coral reefs have exceptional biodiversity, support the livelihoods of millions of people, and are threatened by multiple human activities on land (e.g. farming) and in the sea (e.g. overfishing). Most conservation efforts occur at local scales and, when effective, can increase the resilience of coral reefs to global threats such as climate change (e.g. warming water and ocean acidification). Limited resources for conservation require that we efficiently prioritize where and how to best sustain coral reef ecosystems.----- ----- Methodology/Principal Findings: Here we develop the first prioritization approach that can guide regional-scale conservation investments in land-and sea-based conservation actions that cost-effectively mitigate threats to coral reefs, and apply it to the Coral Triangle, an area of significant global attention and funding. Using information on threats to marine ecosystems, effectiveness of management actions at abating threats, and the management and opportunity costs of actions, we calculate the rate of return on investment in two conservation actions in sixteen ecoregions. We discover that marine conservation almost always trumps terrestrial conservation within any ecoregion, but terrestrial conservation in one ecoregion can be a better investment than marine conservation in another. We show how these results could be used to allocate a limited budget for conservation and compare them to priorities based on individual criteria.----- ----- Conclusions/Significance: Previous prioritization approaches do not consider both land and sea-based threats or the socioeconomic costs of conserving coral reefs. A simple and transparent approach like ours is essential to support effective coral reef conservation decisions in a large and diverse region like the Coral Triangle, but can be applied at any scale and to other marine ecosystems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Animal models of refractive error development have demonstrated that visual experience influences ocular growth. In a variety of species, axial anisometropia (i.e. a difference in the length of the two eyes) can be induced through unilateral occlusion, image degradation or optical manipulation. In humans, anisometropia may occur in isolation or in association with amblyopia, strabismus or unilateral pathology. Non-amblyopic myopic anisometropia represents an interesting anomaly of ocular growth, since the two eyes within one visual system have grown to different endpoints. These experiments have investigated a range of biometric, optical and mechanical properties of anisometropic eyes (with and without amblyopia) with the aim of improving our current understanding of asymmetric refractive error development. In the first experiment, the interocular symmetry in 34 non-amblyopic myopic anisometropes (31 Asian, 3 Caucasian) was examined during relaxed accommodation. A high degree of symmetry was observed between the fellow eyes for a range of optical, biometric and biomechanical measurements. When the magnitude of anisometropia exceeded 1.75 D, the more myopic eye was almost always the sighting dominant eye. Further analysis of the optical and biometric properties of the dominant and non-dominant eyes was conducted to determine any related factors but no significant interocular differences were observed with respect to best-corrected visual acuity, corneal or total ocular aberrations during relaxed accommodation. Given the high degree of symmetry observed between the fellow eyes during distance viewing in the first experiment and the strong association previously reported between near work and myopia development, the aim of the second experiment was to investigate the symmetry between the fellow eyes of the same 34 myopic anisometropes following a period of near work. Symmetrical changes in corneal and total ocular aberrations were observed following a short reading task (10 minutes, 2.5 D accommodation demand) which was attributed to the high degree of interocular symmetry for measures of anterior eye morphology, and corneal biomechanics. These changes were related to eyelid shape and position during downward gaze, but gave no clear indication of factors associated with near work that might cause asymmetric eye growth within an individual. Since the influence of near work on eye growth is likely to be most obvious during, rather than following near tasks, in the third experiment the interocular symmetry of the optical and biometric changes was examined during accommodation for 11 myopic anisometropes. The changes in anterior eye biometrics associated with accommodation were again similar between the eyes, resulting in symmetrical changes in the optical characteristics. However, the more myopic eyes exhibited slightly greater amounts of axial elongation during accommodation which may be related to the force exerted by the ciliary muscle. This small asymmetry in axial elongation we observed between the eyes may be due to interocular differences in posterior eye structure, given that the accommodative response was equal between eyes. Using ocular coherence tomography a reduced average choroidal thickness was observed in the more myopic eyes compared to the less myopic eyes of these subjects. The interocular difference in choroidal thickness was correlated with the magnitude of spherical equivalent and axial anisometropia. The symmetry in optics and biometrics between fellow eyes which have undergone significantly different visual development (i.e. anisometropic subjects with amblyopia) is also of interest with respect to refractive error development. In the final experiment the influence of altered visual experience upon corneal and ocular higher-order aberrations was investigated in 21 amblyopic subjects (8 refractive, 11 strabismic and 2 form deprivation). Significant differences in aberrations were observed between the fellow eyes, which varied according to the type of amblyopia. Refractive amblyopes displayed significantly higher levels of 4th order corneal aberrations (spherical aberration and secondary astigmatism) in the amblyopic eye compared to the fellow non-amblyopic eye. Strabismic amblyopes exhibited significantly higher levels of trefoil, a third order aberration, in the amblyopic eye for both corneal and total ocular aberrations. The results of this experiment suggest that asymmetric visual experience during development is associated with asymmetries in higher-order aberrations, proportional to the magnitude of anisometropia and dependent upon the amblyogenic factor. This suggests a direct link between the development of higher-order optical characteristics of the human eye and visual feedback. The results from these experiments have shown that a high degree of symmetry exists between the fellow eyes of non-amblyopic myopic anisometropes for a range of biomechanical, biometric and optical parameters for different levels of accommodation and following near work. While a single specific optical or biomechanical factor that is consistently associated with asymmetric refractive error development has not been identified, the findings from these studies suggest that further research into the association between ocular dominance, choroidal thickness and higher-order aberrations with anisometropia may improve our understanding of refractive error development.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Media arts has been included as one of five Arts subjects for the new Australian Curriculum and will become mandatory learning for all Australian children from pre-school to year six, and elective for children in years seven to twelve. While media education has historically been associated with English curriculum in Australia, it has also occurred through the Arts since at least the 1960s and creative practice has almost always been included as an aspect of official media curricula. This chapter investigates the possibilities for creative and critical learning enabled through media arts by discussing the media learning of one primary school student. This chapter investigates the possibilities for creative and critical learning enabled through the inclusion of media arts in the curriculum. Media arts has been included as one of five Arts subjects for the new Australian Curriculum and will become mandatory learning for all Australian children from pre-school to year six, and elective for children in years seven to twelve. Media education has historically been associated with English curriculum in Australia due to its development through the critical reading tradition. However, media literacy education in secondary schools has also occurred through the Arts since at least the 1960s and creative practice has almost always been included as an aspect of official media curricula. This chapter investigates the media learning of one primary school student, to consider the nature of creative learning and how this relates to the ‘critical’ aspects of media arts curriculum. We undertook this work as part of a large research project that has been investigating the relationship between digital media and traditional literacy outcomes in a primary school.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Research on the effects of positional concerns on individuals' attitudes and behavior is sorely lacking. To address this deficiency, we use the International Social Survey Programme 1998 data on 25,000 individuals from 26 countries to investigate the impact of relative income position on three facets of social capital: horizontal and vertical trust as well as norm compliance. Testing relative deprivation theory, we identify a deleterious positional income effect for persons below the reference income, particularly for their social trust and confidence in secular institutions. Also often a social capital-lowering effect of relative income advantage occurs, while a rise in absolute income almost always contributes positively. These results indicate that a rise in income inequality in a society too large is rather detrimental to the formation of social capital. (JEL Z130, I300, D310)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

How is your academic institution structured? If you work within a university, then no doubt you are familiar with the use of faculties or perhaps colleges. What about departments or schools? Whatever names or structures are employed, how would you describe the working relationship between academics and professional staff members? As a research scientist and academic over the last twenty years, my appointments have almost always been made through academic departments or schools. In each case, the academic unit has been led by a senior academic manager, such as a chair or head, supported by a dedicated team of professional staff. More recently, however, I have had the opportunity of leading an academic discipline and the experience has led me to reflect more broadly about leadership styles and academic structures within the Australian higher education sector. The written record of this reflection was published last year in the Australian Universities Review (Harkin and Healy, 2013), but I’m pleased to be able to provide a brief synopsis here for the readership of Insights.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

As the Journal of Media Innovations comes into existence, this article reflects on the first and most obvious question: just what do we mean by “media innovations”? Drawing on the examples of a range of recent innovations in media technologies and practices, initiated by a variety of media audiences, users, professionals, and providers, it explores the interplay between the different drivers of innovation and the effects of such innovation on the complex frameworks of contemporary society and the media ecology which supports it. In doing so, this article makes a number of key observations: first, it notes that media innovation is an innovation in media practices at least as much as in media technologies, and that changes to the practices of media both reflect and promote societal changes as well – media innovations are never just media technology innovations. Second, it shows that the continuing mediatisation of society, and the shift towards a more widespread participation of ordinary users as active content creators and media innovators, make it all the more important to investigate in detail these interlinked, incremental, everyday processes of media and societal change – media innovations are almost always also user innovations. Finally, it suggests that a full understanding of these processes as they unfold across diverse interleaved media spaces and complex societal structures necessarily requires a holistic perspective on media innovations, which considers the contemporary media ecology as a crucial constitutive element of societal structures and seeks to trace the repercussions of innovations across both media and society – media innovations are inextricably interlinked with societal innovations (even if, at times, they may not be considered to be improvements to the status quo).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Trivium is a stream cipher candidate of the eStream project. It has successfully moved into phase three of the selection process under the hardware category. No attacks faster than the exhaustive search have so far been reported on Trivium. Bivium-A and Bivium-B are simplified versions of Trivium that are built on the same design principles but with two registers. The simplified design is useful in investigating Trivium type ciphers with a reduced complexity and provides insight into effective attacks which could be extended to Trivium. This paper focuses on an algebraic analysis which uses the boolean satisfiability problem in propositional logic. For reduced variants of the cipher, this analysis recovers the internal state with a minimal amount of keystream observations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Cancer can be defined as a deregulation or hyperactivity in the ongoing network of intracellular and extracellular signaling events. Reverse phase protein microarray technology may offer a new opportunity to measure and profile these signaling pathways, providing data on post-translational phosphorylation events not obtainable by gene microarray analysis. Treatment of ovarian epithelial carcinoma almost always takes place in a metastatic setting since unfortunately the disease is often not detected until later stages. Thus, in addition to elucidation of the molecular network within a tumor specimen, critical questions are to what extent do signaling changes occur upon metastasis and are there common pathway elements that arise in the metastatic microenvironment. For individualized combinatorial therapy, ideal therapeutic selection based on proteomic mapping of phosphorylation end points may require evaluation of the patient's metastatic tissue. Extending these findings to the bedside will require the development of optimized protocols and reference standards. We have developed a reference standard based on a mixture of phosphorylated peptides to begin to address this challenge.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Negative ions and negatively charged micro- to nano-meter sized dust grains are ubiquitous in astrophysical as well as industrial processing plasmas. The negative ions can appear in electro-negative plasmas as a result of elementary processes such as dissociative or non-dissociative electron attachment to neutrals. They are usually rather small in number, and in general do not affect the overall plasma behavior. On the other hand, since the dust grains are almost always highly negative, even in small numbers they can take up a considerable proportion of the total negative charge in the system. The presence of dusts can affect the characteristics of most collective processes of the plasma since the charge balance in both the steady and dynamic states can be significantly altered. Another situation that often occurs is that the electron number density becomes small because of their absorption by the dust grains or the discharge walls. In this case the negative ions in the plasma can play a very important role. Here, a self-consistent theory of linear waves in complex laboratory plasmas containing dust grains and negative ions is presented. A comprehensive model for such plasmas including source and sink effects associated with the presence of dust grains and negative ions is introduced. The stationary state of the plasma as well as the dispersion and damping characteristics of the waves are investigated. All relevant processes, such as ionization, diffusion, electron attachment, negative-positive ion recombination, dust charge relaxation, and dissipation due to electron and ion elastic collisions with neutrals and dust particles, as well as charging collisions with the dusts, are taken into consideration.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Detection of faults in roller element bearing is a topic widely discussed in the scientific field. Bearings diagnostics is usually performed by analyzing experimental signals, almost always vibration signals, measured during operation. A number of signal processing techniques have been proposed and applied to measured vibrations. The diagnostic effectiveness of the techniques depends on their capacities and on the environmental conditions (i.e. environmental noise). The current trend, especially from an industrial point of view, is to couple the prognostics to the diagnostics. The realization of a prognostic procedure require the definition of parameters able to describe the bearing condition during its operation. Monitoring the values of these parameters during time allows to define their trends depending on the progress of the wear. In this way, a relation between the variation of the selected parameters and the wear progress, useful for diagnostics and prognostics of bearings in real industrial applications, can be established. In this paper, a laboratory test-rig designed to perform endurance tests on roller element bearing is presented. Since the test-rig has operated for a short time, only some preliminary available results are discussed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The standard method for deciding bit-vector constraints is via eager reduction to propositional logic. This is usually done after first applying powerful rewrite techniques. While often efficient in practice, this method does not scale on problems for which top-level rewrites cannot reduce the problem size sufficiently. A lazy solver can target such problems by doing many satisfiability checks, each of which only reasons about a small subset of the problem. In addition, the lazy approach enables a wide range of optimization techniques that are not available to the eager approach. In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are complementary in terms of the types of problems they can efficiently solve. For this reason, we propose a portfolio approach that runs a lazy and eager solver in parallel. Our empirical evaluation shows that the lazy solver can solve problems none of the eager solvers can and that the portfolio solver outperforms other solvers both in terms of total number of problems solved and the time taken to solve them.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The construction industry accounts for a significant portion of the material consumption of our industrialised societies. That material consumption comes at an environmental cost, and when buildings and infrastructure projects are demolished and discarded, after their useful lifespan, that environmental cost remains largely unrecovered. The expected operational lifespan of modern buildings has become disturbingly short as buildings are replaced for reasons of changing cultural expectations, style, serviceability, locational obsolescence and economic viability. The same buildings however are not always physically or structurally obsolete; the materials and components within them are very often still completely serviceable. While there is some activity in the area of recycling of selected construction materials, such as steel and concrete, this is almost always in the form of down cycling or reprocessing. Very little of this material and component resource is reuse in a way that more effectively captures its potential. One significant impediment to such reuse is that buildings are not designed in a way that facilitates easy recovery of materials and components; they are designed and built for speed of construction and quick economic returns, with little or no consideration of the longer term consequences of their physical matter. This research project explores the potential for the recovery of materials and components if buildings were designed for such future recovery; a strategy of design for disassembly. This is not a new design philosophy; design for disassembly is well understood in product design and industrial design. There are also some architectural examples of design for disassembly; however these are specialist examples and there is no significant attempt to implement the strategy in the main stream construction industry. This paper presents research into the analysis of the embodied energy in buildings, highlighting its significance in comparison with operational energy. Analysis at material, component, and whole-of-building levels shows the potential benefits of strategically designing buildings for future disassembly to recover this embodied energy. Careful consideration at the early design stage can result in the deconstruction of significant portions of buildings and the recovery of their potential through higher order reuse and upcycling.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Introduction Many prey species around the world are suffering declines due to a variety of interacting causes such as land use change, climate change, invasive species and novel disease. Recent studies on the ecological roles of top-predators have suggested that lethal top-predator control by humans (typically undertaken to protect livestock or managed game from predation) is an indirect additional cause of prey declines through trophic cascade effects. Such studies have prompted calls to prohibit lethal top-predator control with the expectation that doing so will result in widespread benefits for biodiversity at all trophic levels. However, applied experiments investigating in situ responses of prey populations to contemporary top-predator management practices are few and none have previously been conducted on the eclectic suite of native and exotic mammalian, reptilian, avian and amphibian predator and prey taxa we simultaneously assess. We conducted a series of landscape-scale, multi-year, manipulative experiments at nine sites spanning five ecosystem types across the Australian continental rangelands to investigate the responses of sympatric prey populations to contemporary poison-baiting programs intended to control top-predators (dingoes) for livestock protection. Results Prey populations were almost always in similar or greater abundances in baited areas. Short-term prey responses to baiting were seldom apparent. Longer-term prey population trends fluctuated independently of baiting for every prey species at all sites, and divergence or convergence of prey population trends occurred rarely. Top-predator population trends fluctuated independently of baiting in all cases, and never did diverge or converge. Mesopredator population trends likewise fluctuated independently of baiting in almost all cases, but did diverge or converge in a few instances. Conclusions These results demonstrate that Australian populations of prey fauna at lower trophic levels are typically unaffected by top-predator control because top-predator populations are not substantially affected by contemporary control practices, thus averting a trophic cascade. We conclude that alteration of current top-predator management practices is probably unnecessary for enhancing fauna recovery in the Australian rangelands. More generally, our results suggest that theoretical and observational studies advancing the idea that lethal control of top-predators induces trophic cascades may not be as universal as previously supposed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Lethal control of wild dogs - that is Dingo (Canis lupus dingo) and Dingo/Dog (Canis lupus familiaris) hybrids - to reduce livestock predation in Australian rangelands is claimed to cause continental-scale impacts on biodiversity. Although top predator populations may recover numerically after baiting, they are predicted to be functionally different and incapable of fulfilling critical ecological roles. This study reports the impact of baiting programmes on wild dog abundance, age structures and the prey of wild dogs during large-scale manipulative experiments. Wild dog relative abundance almost always decreased after baiting, but reductions were variable and short-lived unless the prior baiting programme was particularly effective or there were follow-up baiting programmes within a few months. However, age structures of wild dogs in baited and nil-treatment areas were demonstrably different, and prey populations did diverge relative to nil-treatment areas. Re-analysed observations of wild dogs preying on kangaroos from a separate study show that successful chases that result in attacks of kangaroos by wild dogs occurred when mean wild dog ages were higher and mean group size was larger. It is likely that the impact of lethal control on wild dog numbers, group sizes and age structures compromise their ability to handle large difficult-to-catch prey. Under certain circumstances, these changes sometimes lead to increased calf loss (Bos indicus/B. taurus genotypes) and kangaroo numbers. Rangeland beef producers could consider controlling wild dogs in high-risk periods when predation is more likely and avoid baiting at other times.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Eighty-five new cases of conjunctival melanoma (CM) were diagnosed in Finland between 1967 and 2000. The annual crude incidence of CM was 0.51 per million inhabitants. The average age-adjusted incidence of 0.54 doubled during the study period, analogous to the increase in the incidence of cutaneous malignant melanoma during this period, suggesting a possible role for ultraviolet radiation in its pathogenesis. Nonlimbal tumors were more likely than limbal ones to recur and they were associated with decreased survival. Increasing tumor thickness and recurrence of the primary tumor were other clinical factors related to death from CM. The histopathologic specimens of 85 patients with CM melanoma were studied for cell type, mitotic count, tumor-infiltrating lymphocytes and macrophages, mean vascular density, extravascular matrix loops and networks, and mean diameter of the ten largest nucleoli (MLN). The absence of epithelioid cells, increasing mitotic count and small MLN were associated with shorter time to recurrence according to the Cox univariate regression. None of the histopathologic variables was associated with mortality from CM. Four (5%) patients had a CM limited to the cornea without evidence of a tumor other than primary acquired melanosis of the conjunctiva. Because there are no melanocytes in the cornea, the origin of these melanomas most likely is the limbal conjunctiva. All four corneally displaced CM were limited to the epithelium, and none of the patients developed metastases. An anatomic sub-classification based on my patients and world literature was developed for corneally displaced CM. In 20 patients the metastatic pattern could be determined. Ten patients had initial systemic metastases detected, nine had initial regional metastases, and in one case the two types were detected simultaneously. The patients most likely to develop either type of initial metastases were those with nonlimbal conjunctival melanoma, those with a primary tumor more than 2 mm thick, and those with a recurrent conjunctival melanoma. Approximately two thirds of the patients had limbal CM, a location associated with good prognosis. One third, however, had a primary CM originating outside the limbus. In these patients the chance of developing local recurrences as well as systemic metastases was significantly higher than in patients with limbal CM. Each recurrence accompanies an increased risk of developing metastases, and recurrences contribute to death along with increasing tumor thickness and nonlimbal tumor location. In my data, an equal number of patients with initial locoregional and systemic metastasis existed. Patients with limbal primary tumors less than 2 mm in thickness rarely experienced metastases, unless the tumor recurred. Consequently, the patients most likely to benefit from sentinel lymph node biopsy are those who have nonlimbal tumors, CM that are over 2 mm thick, or recurrent CM. The histopathology of CM differs from that of uveal melanoma. Microvascular factors did not prove to be of prognostic importance, possibly due to the fact that CM at least as often disseminates first to the regional lymph nodes, unlike uveal melanoma that almost always disseminates hematogenously.