977 resultados para Logical consequence


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The referral letter is a key instrument in moving patients from primary to secondary care services. Consequently, the circumstances in which a referral should be made and its contents have been the subject of clinical guidelines. This article is based on a project that demonstrated that physicians do not adhere to clinical guidelines when referring patients to secondary mental health services. This research supports earlier findings into noncompliance with guidelines by general practitioners (GPs). The authors briefly note possible reasons, which have been the subject of some debate. They also present a content analysis of referral letters to demonstrate the important ways in which they differ from guideline criteria. However, their central argument is that the role of the referral letter in relation to the GP’s repertoire of treatments has not been understood fully. Such understanding implies the need for a reexamination of the support available for GPs.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The U.S. Nuclear Regulatory Commission implemented a safety goal policy in response to the 1979 Three Mile Island accident. This policy addresses the question “How safe is safe enough?” by specifying quantitative health objectives (QHOs) for comparison with results from nuclear power plant (NPP) probabilistic risk analyses (PRAs) to determine whether proposed regulatory actions are justified based on potential safety benefit. Lessons learned from recent operating experience—including the 2011 Fukushima accident—indicate that accidents involving multiple units at a shared site can occur with non-negligible frequency. Yet risk contributions from such scenarios are excluded by policy from safety goal evaluations—even for the nearly 60% of U.S. NPP sites that include multiple units. This research develops and applies methods for estimating risk metrics for comparison with safety goal QHOs using models from state-of-the-art consequence analyses to evaluate the effect of including multi-unit accident risk contributions in safety goal evaluations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper we present is part of the research project "The professional identity of teacher studies", that we are development for last 3 years. The third phase of this research put the focus on the experience of job placement of novel teachers, graduated no more than 5 years. We work with focal groups and professional experience and teacher education accounts of teachers implied in this research. Also, for any teachers, we do biographical interviews to deepen on processes of construction of professional identity. In this paper we present the Ana Belen History, a female teacher of pre-school education with an experience of 4 years in school, working in a urban school with students in risk of exclusion. This school have a educative project, commitment with the neighbourhood, joint with the community and other social groups. Ana Belen story, from professional perspective, is linked with the social politic and educational commitment of this school. Our interest is focused in the comprehension of professional identity that Ana Belen has gone forging along her personal story and how her education and job placement has contributed for it. Also we are interested in knowing how early professional experiences have influenced in her professional development as teacher. Specifically we ask ourselves about what influence have for her professional identity, that her career starts in this particular school. In consequence, this paper leads us to question the current teacher education model. In particular we are interested on the kind of professional experience that have place and, so, the kinds of commitments that enables. We understand that frameworks in which professional education and experience have place are relevant to enable more or less transformer understandings about teaching. From conceptual perspective this paper adopts a socio-critical point of view (Gergen, 1985; Kincheloe, 2001; Wenger, 1988, etc.). We understand that teaching has to be analysing according work contexts and personal stories of teachers, because we face processes historical and collective building. Teaching is the result of action of their actors, over time, and in specific stage. So, with this research we intend to break with the old gap between pre and in-service education. We think that both of them are part of the same process and are formed according similar logical; although scenes change. We understand that they are part of a continuous process in which is giving sense to different and complex settings where teaching profession is built, but they are not differenced and independent stages. The teacher work, so, is subject to particular conditions, generated from such different fields as institutional, corporative, cultural, social, political, moral, etc. It displays a kaleidoscopic view on space, time, context, ... These are the axis in which the teaching is formed, from the complexity and heterogeneity. How this complexity is articulated results in different ways to face the teacher work, according different personal and professional stories. The teacher acts with subjects in instituted contexts from relationships he has with them, which gives a situated and contingent character. But, these contexts are strongly structured and ruled according centralized and generalized positions; which is, at the very least, paradoxical. Possibly, from our point of view, same of the crisis of teaching have to explain from this paradoxical perspective and the conflict, which characterize this job (Rivas, Leite y Cortés, 2011)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Hazardous materials are substances that, if not regulated, can pose a threat to human populations and their environmental health, safety or property when transported in commerce. About 1.5 million tons of hazardous material shipments are transported by truck in the US annually, with a steady increase of approximately 5% per year. The objective of this study was to develop a routing tool for hazardous material transport in order to facilitate reduced environmental impacts and less transportation difficulties, yet would also find paths that were still compelling for the shipping carriers as a matter of trucking cost. The study started with identification of inhalation hazard impact zones and explosion protective areas around the location of hypothetical hazardous material releases, considering different parameters (i.e., chemicals characteristics, release quantities, atmospheric condition, etc.). Results showed that depending on the quantity of release, chemical, and atmospheric stability (a function of wind speed, meteorology, sky cover, time and location of accidents, etc.) the consequence of these incidents can differ. The study was extended by selection of other evaluation criteria for further investigation because health risk as an evaluation criterion would not be the only concern in selection of routes. Transportation difficulties (i.e., road blockage and congestion) were incorporated as important factor due to their indirect impact/cost on the users of transportation networks. Trucking costs were also considered as one of the primary criteria in selection of hazardous material paths; otherwise the suggested routes would have not been convincing for the shipping companies. The last but not least criterion was proximity of public places to the routes. The approach evolved from a simple framework to a complicated and efficient GIS-based tool able to investigate transportation networks of any given study area, and capable of generating best routing options for cargos. The suggested tool uses a multi-criteria-decision-making method, which considers the priorities of the decision makers in choosing the cargo routes. Comparison of the routing options based on each criterion and also the overall suitableness of the path in regards to all the criteria (using a multi-criteria-decision-making method) showed that using similar tools as the one proposed by this study can provide decision makers insights in the area of hazardous material transport. This tool shows the probable consequences of considering each path in a very easily understandable way; in the formats of maps and tables, which makes the tradeoffs of costs and risks considerably simpler, as in some cases slightly compromising on trucking cost may drastically decrease the probable health risk and/or traffic difficulties. This will not only be rewarding to the community by making cities safer places to live, but also can be beneficial to shipping companies by allowing them to advertise as environmental friendly conveyors.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Purpose: The purpose of this paper is to present the application of logical framework analysis (LFA) for implementing continuous quality improvement (CQI) across multiple settings in a tertiary care hospital. Design/methodology/approach: This study adopts a multiple case study approach. LFA is implemented within three diverse settings, namely, intensive care unit, surgical ward, and acute in-patient psychiatric ward. First, problem trees are developed in order to determine the root causes of quality issues, specific to the three settings. Second, objective trees are formed suggesting solutions to the quality issues. Third, project plan template using logical framework (LOGFRAME) is created for each setting. Findings: This study shows substantial improvement in quality across the three settings. LFA proved to be effective to analyse quality issues and suggest improvement measures objectively. Research limitations/implications: This paper applies LFA in specific, albeit, diverse settings in one hospital. For validation purposes, it would be ideal to analyse in other settings within the same hospital, as well as in several hospitals. It also adopts a bottom-up approach when this can be triangulated with other sources of data. Practical implications: LFA enables top management to obtain an integrated view of performance. It also provides a basis for further quantitative research on quality management through the identification of key performance indicators and facilitates the development of a business case for improvement. Originality/value: LFA is a novel approach for the implementation of CQI programs. Although LFA has been used extensively for project development to source funds from development banks, its application in quality improvement within healthcare projects is scant.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The purpose of this paper is to raise a debate on the urgent need for teachers to generate innovative situations in the teaching-learning process, in the field of Mathematics, as a way for students to develop logical reasoning and research skills applicable to everyday situations. It includes some statistical data and possible reasons for the poor performance and dissatisfaction of students towards Mathematics. Since teachers are called to offer meaningful and functional learning experiences to students, in order to promote the pleasure of learning, teacher training should include experiences that can be put into practice by teachers in the education centers. This paper includes a work proposal for Mathematics Teaching to generate discussion, curiosity and logical reasoning in students, together with the Mathematical problem solving study.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This dissertation investigates the relations between logic and TCS in the probabilistic setting. It is motivated by two main considerations. On the one hand, since their appearance in the 1960s-1970s, probabilistic models have become increasingly pervasive in several fast-growing areas of CS. On the other, the study and development of (deterministic) computational models has considerably benefitted from the mutual interchanges between logic and CS. Nevertheless, probabilistic computation was only marginally touched by such fruitful interactions. The goal of this thesis is precisely to (start) bring(ing) this gap, by developing logical systems corresponding to specific aspects of randomized computation and, therefore, by generalizing standard achievements to the probabilistic realm. To do so, our key ingredient is the introduction of new, measure-sensitive quantifiers associated with quantitative interpretations. The dissertation is tripartite. In the first part, we focus on the relation between logic and counting complexity classes. We show that, due to our classical counting propositional logic, it is possible to generalize to counting classes, the standard results by Cook and Meyer and Stockmeyer linking propositional logic and the polynomial hierarchy. Indeed, we show that the validity problem for counting-quantified formulae captures the corresponding level in Wagner's hierarchy. In the second part, we consider programming language theory. Type systems for randomized \lambda-calculi, also guaranteeing various forms of termination properties, were introduced in the last decades, but these are not "logically oriented" and no Curry-Howard correspondence is known for them. Following intuitions coming from counting logics, we define the first probabilistic version of the correspondence. Finally, we consider the relationship between arithmetic and computation. We present a quantitative extension of the language of arithmetic able to formalize basic results from probability theory. This language is also our starting point to define randomized bounded theories and, so, to generalize canonical results by Buss.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Uncoupling protein one (UCP1) is a mitochondrial inner membrane protein capable of uncoupling the electrochemical gradient from adenosine-5'-triphosphate (ATP) synthesis, dissipating energy as heat. UCP1 plays a central role in nonshivering thermogenesis in the brown adipose tissue (BAT) of hibernating animals and small rodents. A UCP1 ortholog also occurs in plants, and aside from its role in uncoupling respiration from ATP synthesis, thereby wasting energy, it plays a beneficial role in the plant response to several abiotic stresses, possibly by decreasing the production of reactive oxygen species (ROS) and regulating cellular redox homeostasis. However, the molecular mechanisms by which UCP1 is associated with stress tolerance remain unknown. Here, we report that the overexpression of UCP1 increases mitochondrial biogenesis, increases the uncoupled respiration of isolated mitochondria, and decreases cellular ATP concentration. We observed that the overexpression of UCP1 alters mitochondrial bioenergetics and modulates mitochondrial-nuclear communication, inducing the upregulation of hundreds of nuclear- and mitochondrial-encoded mitochondrial proteins. Electron microscopy analysis showed that these metabolic changes were associated with alterations in mitochondrial number, area and morphology. Surprisingly, UCP1 overexpression also induces the upregulation of hundreds of stress-responsive genes, including some involved in the antioxidant defense system, such as superoxide dismutase (SOD), glutathione peroxidase (GPX) and glutathione-S-transferase (GST). As a consequence of the increased UCP1 activity and increased expression of oxidative stress-responsive genes, the UCP1-overexpressing plants showed reduced ROS accumulation. These beneficial metabolic effects may be responsible for the better performance of UCP1-overexpressing lines in low pH, high salt, high osmolarity, low temperature, and oxidative stress conditions. Overexpression of UCP1 in the mitochondrial inner membrane induced increased uncoupling respiration, decreased ROS accumulation under abiotic stresses, and diminished cellular ATP content. These events may have triggered the expression of mitochondrial and stress-responsive genes in a coordinated manner. Because these metabolic alterations did not impair plant growth and development, UCP1 overexpression can potentially be used to create crops better adapted to abiotic stress conditions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The role of orbital differentiation on the emergence of superconductivity in the Fe-based superconductors remains an open question to the scientific community. In this investigation, we employ a suitable microscopic spin probe technique, namely Electron Spin Resonance (ESR), to investigate this issue on selected chemically substituted BaFe2As2 single crystals. As the spin-density wave (SDW) phase is suppressed, we observe a clear increase of the Fe 3d bands anisotropy along with their localization at the FeAs plane. Such an increase of the planar orbital content is interestingly independent of the chemical substitution responsible for suppressing the SDW phase. As a consequence, the magnetic fluctuations in combination with this particular symmetry of the Fe 3d bands are propitious ingredients for the emergence of superconductivity in this class of materials.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

To characterize the recently described SCI1 (stigma/style cell cycle inhibitor 1) gene relationship with the auxin pathway, we have taken the advantage of the Arabidopsis model system and its available tools. At first, we have analyzed the At1g79200 T-DNA insertion mutants and constructed various transgenic plants. The loss- and gain-of-function plants displayed cell number alterations in upper pistils that were controlled by the amino-terminal domain of the protein. These data also confirmed that this locus holds the functional homolog (AtSCI1) of the Nicotiana tabacum SCI1 gene. Then, we have provided some evidences the auxin synthesis/signaling pathways are required for downstream proper AtSCI1 control of cell number: (a) its expression is downregulated in yuc2yuc6 and npy1 auxin-deficient mutants, (b) triple (yuc2yuc6sci1) and double (npy1sci1) mutants mimicked the auxin-deficient phenotypes, with no synergistic interactions, and (c) the increased upper pistil phenotype in these last mutants, which is a consequence of an increased cell number, was able to be complemented by AtSCI1 overexpression. Taken together, our data strongly suggests SCI1 as a component of the auxin signaling transduction pathway to control cell proliferation/differentiation in stigma/style, representing a molecular effector of this hormone on pistil development.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Tomato (Solanum lycopersicum) shows three growth habits: determinate, indeterminate and semi-determinate. These are controlled mainly by allelic variation in the SELF-PRUNING (SP) gene family, which also includes the florigen gene SINGLE FLOWER TRUSS (SFT). Determinate cultivars have synchronized flower and fruit production, which allows mechanical harvesting in the tomato processing industry, whereas indeterminate ones have more vegetative growth with continuous flower and fruit formation, being thus preferred for fresh market tomato production. The semi-determinate growth habit is poorly understood, although there are indications that it combines advantages of determinate and indeterminate growth. Here, we used near-isogenic lines (NILs) in the cultivar Micro-Tom (MT) with different growth habit to characterize semi-determinate growth and to determine its impact on developmental and productivity traits. We show that semi-determinate genotypes are equivalent to determinate ones with extended vegetative growth, which in turn impacts shoot height, number of leaves and either stem diameter or internode length. Semi-determinate plants also tend to increase the highly relevant agronomic parameter Brix×ripe yield (BRY). Water-use efficiency (WUE), evaluated either directly as dry mass produced per amount of water transpired or indirectly through C isotope discrimination, was higher in semi-determinate genotypes. We also provide evidence that the increases in BRY in semi-determinate genotypes are a consequence of an improved balance between vegetative and reproductive growth, a mechanism analogous to the conversion of the overly vegetative tall cereal varieties into well-balanced semi-dwarf ones used in the Green Revolution.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Trees from tropical montane cloud forest (TMCF) display very dynamic patterns of water use. They are capable of downwards water transport towards the soil during leaf-wetting events, likely a consequence of foliar water uptake (FWU), as well as high rates of night-time transpiration (Enight) during drier nights. These two processes might represent important sources of water losses and gains to the plant, but little is known about the environmental factors controlling these water fluxes. We evaluated how contrasting atmospheric and soil water conditions control diurnal, nocturnal and seasonal dynamics of sap flow in Drimys brasiliensis (Miers), a common Neotropical cloud forest species. We monitored the seasonal variation of soil water content, micrometeorological conditions and sap flow of D. brasiliensis trees in the field during wet and dry seasons. We also conducted a greenhouse experiment exposing D. brasiliensis saplings under contrasting soil water conditions to deuterium-labelled fog water. We found that during the night D. brasiliensis possesses heightened stomatal sensitivity to soil drought and vapour pressure deficit, which reduces night-time water loss. Leaf-wetting events had a strong suppressive effect on tree transpiration (E). Foliar water uptake increased in magnitude with drier soil and during longer leaf-wetting events. The difference between diurnal and nocturnal stomatal behaviour in D. brasiliensis could be attributed to an optimization of carbon gain when leaves are dry, as well as minimization of nocturnal water loss. The leaf-wetting events on the other hand seem important to D. brasiliensis water balance, especially during soil droughts, both by suppressing tree transpiration (E) and as a small additional water supply through FWU. Our results suggest that decreases in leaf-wetting events in TMCF might increase D. brasiliensis water loss and decrease its water gains, which could compromise its ecophysiological performance and survival during dry periods.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Atmospheric carbon dioxide records indicate that the land surface has acted as a strong global carbon sink over recent decades, with a substantial fraction of this sink probably located in the tropics, particularly in the Amazon. Nevertheless, it is unclear how the terrestrial carbon sink will evolve as climate and atmospheric composition continue to change. Here we analyse the historical evolution of the biomass dynamics of the Amazon rainforest over three decades using a distributed network of 321 plots. While this analysis confirms that Amazon forests have acted as a long-term net biomass sink, we find a long-term decreasing trend of carbon accumulation. Rates of net increase in above-ground biomass declined by one-third during the past decade compared to the 1990s. This is a consequence of growth rate increases levelling off recently, while biomass mortality persistently increased throughout, leading to a shortening of carbon residence times. Potential drivers for the mortality increase include greater climate variability, and feedbacks of faster growth on mortality, resulting in shortened tree longevity. The observed decline of the Amazon sink diverges markedly from the recent increase in terrestrial carbon uptake at the global scale, and is contrary to expectations based on models.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper I present some evidencie that forces us to conclude that within the Minimalist Program (Chomsky 1993; 1995), Binding Theory (BT) should be computed after LF (Logical Form). I show that derivations leading to structures containing violations of BT-Principles must converge at LF, since less economical alternative derivations respecting those principles are also ungrammatical. Being irrelevant to the notion of convergence, BT must apply after LF. A similar reasoning reveals that the Theta-Criterion should have the status of a bare output condition appling at LF, since less economical derivations are allowed by the computational system to prevent violations of it.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

One of the effects of the globalized world is a strong tendency to eliminate differences, promoting a planetary culture. Education systems are particularly affected, undergoing strong pressure from international studies and evaluations, inevitably comparative, and sadly competitive. As a result, one observes the gradual elimination of cultural components in the definition of education systems. The constitution of new social imaginaries becomes clear; imaginaries empty of historical, geographical and temporal referents, characterized by a strong presence of the culture of the image. The criteria of classification establish an inappropriate reference that has as its consequence the definition of practices and even of education systems. On the other hand, resistance mechanisms, often unconscious, are activated seeking to safeguard and recover the identifying features of a culture, such as its traditions, cuisine, languages, artistic manifestations in general, and, in doing so, to contribute to cultural diversity, an essential factor to encourage creativity. In this article, the sociocultural basis of mathematics and of its teaching are examined, and also the consequences of globalization and its effects on multicultural education. The concept of culture is discussed, as well as issues related to culture dynamics, resulting in the proposition of a theory of transdisciplinar and transcultural knowledge. Upon such basis the Ethnomathematics Program is presented. A critique is also made of the curriculum presently used, which is in its conception and detailing, obsolete, uninteresting and of little use. A different concept of curriculum is proposed, based on the communicative (literacy), analytical (matheracy), and material (technoracy) instruments.