921 resultados para Temporal ways of knowing
Resumo:
The Accelerating Moment Release (AMR) preceding earthquakes with magnitude above 5 in Australia that occurred during the last 20 years was analyzed to test the Critical Point Hypothesis. Twelve earthquakes in the catalog were chosen based on a criterion for the number of nearby events. Results show that seven sequences with numerous events recorded leading up to the main earthquake exhibited accelerating moment release. Two occurred near in time and space to other earthquakes preceded by AM R. The remaining three sequences had very few events in the catalog so the lack of AMR detected in the analysis may be related to catalog incompleteness. Spatio-temporal scanning of AMR parameters shows that 80% of the areas in which AMR occurred experienced large events. In areas of similar background seismicity with no large events, 10 out of 12 cases exhibit no AMR, and two others are false alarms where AMR was observed but no large event followed. The relationship between AMR and Load-Unload Response Ratio (LURR) was studied. Both methods predict similar critical region sizes, however, the critical point time using AMR is slightly earlier than the time of the critical point LURR anomaly.
Resumo:
Geospatio-temporal conceptual models provide a mechanism to explicitly represent geospatial and temporal aspects of applications. Such models, which focus on both what and when/where, need to be more expressive than conventional conceptual models (e.g., the ER model), which primarily focus on what is important for a given application. In this study, we view conceptual schema comprehension of geospatio-temporal data semantics in terms of matching the external problem representation (that is, the conceptual schema) to the problem-solving task (that is, syntactic and semantic comprehension tasks), an argument based on the theory of cognitive fit. Our theory suggests that an external problem representation that matches the problem solver's internal task representation will enhance performance, for example, in comprehending such schemas. To assess performance on geospatio-temporal schema comprehension tasks, we conducted a laboratory experiment using two semantically identical conceptual schemas, one of which mapped closely to the internal task representation while the other did not. As expected, we found that the geospatio-temporal conceptual schema that corresponded to the internal representation of the task enhanced the accuracy of schema comprehension; comprehension time was equivalent for both. Cognitive fit between the internal representation of the task and conceptual schemas with geospatio-temporal annotations was, therefore, manifested in accuracy of schema comprehension and not in time for problem solution. Our findings suggest that the annotated schemas facilitate understanding of data semantics represented on the schema.
Resumo:
The concept of communities of practice (CoPs) has rapidly gained ground in fields such as knowledge management and organisational learning since it was first identified by Lave and Wenger (1991) and Brown and Duguid (1991). In this article, we consider a related concept that we have entitled “communities of implementation.” Communities of implementation (CoIs) are similar to communities of practice in that they offer an opportunity for a collection of individuals to support each other and share knowledge in a dynamic environment and on a topic in which they share interest. In addition, and to differentiate them from CoPs, a community of implementation extends the responsibilities of a CoP by having as its focus the implementation of a programme of change. This may well extend to designing the change programme. Thus, whereas a main purpose of a CoP is to satisfy “a real need to know what each other knows” (Skyrme, 1999) in an informal way, we argue that a main purpose of a community of implementation is to “pool individual knowledge (including contacts and ways of getting things done) to stimulate collective enthusiasm in order to take more informed purposeful action for which the members are responsible.” Individual and collective responsibility and accountability for successfully implementing the actions/change programme is a key feature of a community of implementation. Without these pressures the members might lower the priority of implementation, allowing competing priorities to dominate their attention and resources. Without responsibility and accountability, the result is likely to be (at best) an organisation which has not begun a change programme, or (at worst) an organisation which is stuck halfway through another failing initiative. To achieve these additional objectives beyond those of a CoP, the CoI needs to provide heightened support to its members. In fact often the members will collectively strategise the development and implementation of the change programme they are leading in the organisation. Other concepts similar to CoPs have appeared in the literature, for example “communities of knowing” (Boland & Tenkasi, 1995), but none have a specific focus on implementation. Perhaps the closest example of a CoI, as suggested by our definition, is reported by Karsten, Lyytinen, Hurskainen, and Koskelainen (2001) who describe a CoP in a paper machinery manufacturer which seems to have the necessary focus on implementation. The theoretical aspects of this article will explore the relationship between CoPs and CoIs, and the needs for different arrangements for a CoI. The practical aspect of this article will consist of a report on a case study of a CoI that was successful in its implementation of a programme of change that aimed to improve its organisation’s knowledge management activities. Over two years the CoI implemented a suite of complementary actions across the organisation. These actions transformed the organisation and moved it towards achieving its ‘core values’ and overall objectives. The article will explore: the activities that formed and gelled the community, the role of the community in the implementation of actions, and experiences from key members of this community on its success and potential improvements.
Resumo:
Regional climate models (RCMs) provide reliable climatic predictions for the next 90 years with high horizontal and temporal resolution. In the 21st century northward latitudinal and upward altitudinal shift of the distribution of plant species and phytogeographical units is expected. It is discussed how the modeling of phytogeographical unit can be reduced to modeling plant distributions. Predicted shift of the Moesz line is studied as case study (with three different modeling approaches) using 36 parameters of REMO regional climate data-set, ArcGIS geographic information software, and periods of 1961-1990 (reference period), 2011-2040, and 2041-2070. The disadvantages of this relatively simple climate envelope modeling (CEM) approach are then discussed and several ways of model improvement are suggested. Some statistical and artificial intelligence (AI) methods (logistic regression, cluster analysis and other clustering methods, decision tree, evolutionary algorithm, artificial neural network) are able to provide development of the model. Among them artificial neural networks (ANN) seems to be the most suitable algorithm for this purpose, which provides a black box method for distribution modeling.
Resumo:
The Ráckeve-Soroksár Danube has a great importance as it is the second largest side arm in the Hungarian section of the river Danube and many demands of exploitation are expected. The aim of this study is to analyse the spatial and temporal changes of the zooplankton (Copepoda, Cladocera) community in this river arm, moreover the similarity patterns of zooplankton communities in different Hungarian water bodies are presented in special consideration of the Ráckeve-Soroksár Danube. Basically this study is based on data from literature, however our data are also used for compiling the database for the spatio-temporal changes of the Ráckeve-Soroksár Danube. We put emphasis on the three typical sections of the side arm, as these are stressed due to hydromorphological aspects, but creating artificial borders are objectionable as well. The results show that both spatial and temporal changes are evident, what is more, the stagnant water character of the side arm should be underlined.
Resumo:
One commonality across the leadership and knowledge related literature is the apparent neglect of the leaders own knowledge. This thesis sought to address this issue through conducting exploratory research into the content of leader’s personal knowledge and the process of knowing it. The empirical inquiry adopted a longitudinal approach, with interviews conducted at two separate time periods with an extended time-interval between each. The findings from this research contrast with images of leadership which suggest leaders are in control of what they know, that they own their own knowledge. The picture that emerges is one of individuals struggling to keep abreast of the knowledge required to deal with the dynamics and uncertainties of organisational life. Much knowledge is tacit, provisional and perishable and the related process of knowing more organic, evolutionary and informal than any structured or orchestrated approach. The collective nature of knowing is a central feature, with these leaders embedded in networks of uncontrollable relationships. In view of the indeterminate nature of knowing, the boundary between what is known and what one needs to know is both amorphous and ephemeral, and the likelihood of knowledge-absences is escalated. A significant finding in this regard is the identification of two critical points where not-knowing is most likely (entry and exit from role) and the differing implications of each. Overtime the knowledge that is legitimised or prioritised is significantly altered as these leaders replace the dogmas that were previously held in high esteem with the lessons from their own experience. This experience brings increased self-knowledge and a deeper appreciation of the values and morals instilled in their early lives. In view of the above findings, this study makes theoretical contribution to a number of core literatures: authentic leadership, role transition and knowledge-absences. In terms of leadership development, the findings point to the necessity to prepare leaders for the challenges they will encounter at the pivotal stages of the leadership role.
Resumo:
This paper presents the "state of the art" and some of the main issues discussed in relation to the topic of transnational migration and reproductive work in southern Europe. We start doing a genealogy of the complex theoretical development leading to the consolidation of the research program, linking consideration of gender with transnational migration and transformation of work and ways of survival, thus making the production aspects as reproductive, in a context of globalization. The analysis of the process of multiscale reconfiguration of social reproduction and care, with particular attention to its present global dimension is presented, pointing to the turning point of this line of research that would have taken place with the beginning of this century, with the rise notions such as "global care chains" (Hochschild, 2001), or "care drain" (Ehrenreich and Hochschild, 2013). Also, the role of this new agency, now composed in many cases women who migrate to other countries or continents, precisely to address these reproductive activities, is recognized. Finally, reference is made to some of the new conceptual and theoretical developments in this area.
Resumo:
My thesis explores the formation of the subject in the novels of Faulkner’s Go Down, Moses, Toni Morrison’s Song of Solomon, and Gloria Naylor’s Mama Day. I attach the concept of property in terms of how male protagonists are obsessed with materialistic ownership and with the subordination of women who, as properties, consolidate their manhood. The three novelists despite their racial, gendered, and literary differences share the view that identity and truth are mere social and cultural constructs. I incorporate the work of Judith Butler and other poststructuralist figures, who see identity as a matter of performance rather than a natural entity. My thesis explores the theme of freedom, which I attached to the ways characters use their bodies either to confine or to emancipate themselves from the restricting world of race, class, and gender. The three novelists deconstruct any system of belief that promulgates the objectivity of truth in historical documents. History in the three novels, as with the protagonists, perception of identity, remains a social construct laden with distortions to serve particular political or ideological agendas. My thesis gives voice to African American female characters who are associated with love and racial and gender resistance. They become the reservoirs of the African American legacy in terms of their association with the oral and intuitionist mode of knowing, which subverts the male characters’ obsession with property and with the mainstream empiricist world. In this dissertation, I use the concept of hybridity as a literary and theoretical devise that African-American writers employ. In effect, I embark on the postcolonial studies of Henry Louise Gates, Paul Gilroy, W. E. B Du Bois, James Clifford, and Arjun Appadurai in order to reflect upon the fluidity of Morrison’s and Naylor’s works. I show how these two novelists subvert Faulkner’s essentialist perception of truth, and of racial and gendered identity. They associate the myth of the Flying African with the notion of hybridity by making their male protagonists criss-cross Northern and Southern regions. I refer to Mae Gwendolyn Henderson’s article on “Speaking in Tongues” in my analysis of how Naylor subverts the patriarchal text of both Faulkner and Morrison in embarking on a more feminine version of the flying African, which she relates to an ex-slave, Sapphira Wade, a volatile female character who resists fixed claim over her story and identity. In dealing with the concept of hybridity, I show that Naylor rewrites both authors’ South by making Willow Springs a more fluid space, an assumption that unsettles the scores of critics who associate the island with authenticity and exclusive rootedness.
Resumo:
Adolescents - defined as young people between 10 and 19 years of age1 - are, in general, a relatively healthy segment of the population.2 However, the developmental changes that take place during adolescence may affect their subsequent risk for diseases and for a variety of health-related behaviors. In fact, early onset of preventable health problems (e.g. obesity, malnutrition, STDs) and the engagement in health risk behaviors (e.g., sedentary life style, excessive alcohol consumption, unprotected sex) during adolescence, are likely to put them at greater risk for physical and mental health problems at a later stage in life. Moreover, health related problems and health risk behaviors may disrupt adolescents' physical and cognitive development and therefore may affect their ability to think and act in relation to decisions about their health in the future.1 In summary, health-related behaviors in adolescence, apart from their influence on the continuum of "health-disease", they also have the potential to influence future behaviors. In fact, several studies have shown that past behaviors are good predictors of future behaviors .3,4 Thus, promoting healthy practices during adolescence and taking measures to better protect young people from health risks are essential for the prevention of health problems in adulthood.5 According to the World Health Organization, the main problems affecting young people include mental health problems (such as behavioral disorders, eating disorders, suicide, anxiety or depression), the use of substances (illegal substances, alcohol and tobacco), interpersonal violence, nutrition (a proper nutrition consists of healthy eating habits and physical exercise), unintentional injuries (which are a leading cause of death and disability among young people, with road traffic injuries accounting for about 700 deaths per day), sexual and reproductive health (for example, risky sexual behaviors, early pregnancy and childbirth) and HIV (resulting from sexual transmission and drug injection).5,6 On the other hand, the number of children and youth with chronic health conditions has increased dramatically in the past four decades7 as larger numbers of chronically ill children survive beyond the age of 10.8 Despite the lack of data on adolescents' health making it difficult to determine the prevalence of chronic illnesses in this age group9, it is known that one in ten adolescents suffers from a chronic condition worldwide.10 In fact, national population based studies from Western countries show that 20-30% of teenagers have a chronic illness, defined as one that lasts longer than six months.8 The most prevalent chronic illness among adolescents is asthma and the one with the highest incidence is diabetes mellitus, particularly type II.9 Traditionally, healthcare professionals have been mainly investing in health education activities, through the transmission of knowledge with a view to creating habits, customs and behaviors, and promoting healthy lifestyles. However, empowering people does not only consist of giving them the right information11 , i.e. good information is not enough to cause people to make changes.12 The motivation or desire to change unhealthy behaviors and habits depends on many factors, namely intrinsic motivation, control over personal decisions, self-confidence and perception of effectiveness, personal ambivalence, and individualized assistance.12 Many professionals assume that supplying knowledge is sufficient for behavioral changes; however, even very good advice often fails to generate behavioral change. After all, people continue to engage in unhealthy behaviors despite clearly knowing what they should do and how to change. "What is lacking is the motivation to apply that knowledge".13, p.1233 In fact, behavioral change is a complex phenomenon with multiple determinants that also includes motivational variables. It is associated with ambivalent processes expressed in the dilemma between keeping the current status and moving on to new ways of acting. For example, telling adolescents that if they keep on engaging in a certain behavior, they are increasing the risk of developing a long-term condition such as cardiovascular disease, stroke or diabetes is rarely enough to trigger the desired behavioral change; people are more likely to change when they believe that the change is really effective and that they are able to implement it.12 Therefore, it is essential to provide specific training for "healthcare professionals to master motivational techniques, avoid confrontation with the users, and facilitate behavioral changes".14 In this context, motivating patients to make behavioral changes is also an important nursing task where change in lifestyle is a major element of patients' treatment and preventive interventions.15 One of the nurse's goals is to help improve a patient's health or help them to manage existing health conditions. Once nurses are in a position where they have to focus on accomplishing tasks and telling patients what needs to be accomplished16, the role of the nurse is expanding even more into the use of motivational strategies.17 MI is bringing nurses back to therapeutic communication and moving them closer to successful health promotion and disease management, by promoting behavior change and empowering their patients. As the nursing profession evolves, MI is seen as a challenge and the basis of nurse's interactions with individuals, families and communities.16, 17 In the same way, MI may be taken as an essential tool in the provision of nursing care to adolescents, being itself a workspace with possible therapeutic effects regarding problems, clarification of doubts, and development of skills.18 In fact, MI may be particularly applicable in work with adolescents because of their specific developmental stage. Adolescents attempt to establish their own autonomy and identity while struggling with social interactions and moral issues, which leads to ambivalence.19 Consistent with the developmental challenges during adolescence, "MI explicitly honors autonomy, people's right and irrevocable ability to decide about their own behavior"20 while allowing the person to explore possibilities for change of risky or maladaptive behaviours.19 MI can be defined as a directive, client-centred counselling style for eliciting behavior change by helping clients to explore and resolve ambivalence. It is most centrally defined not by technique but by its spirit as a facilitative style of interpersonal relationship.21 It is a set of strategies and techniques widely used in clinical practice based on the transtheoretical model of change. The Stages of Change model describes five stages of readiness—precontemplation, contemplation, preparation, action, and maintenance—and provides a framework for understanding behavior change.22 The MI has been widely tested and applied in different areas, such as modification of addictive behaviors, interventions with offenders in the context of justice, eating disorders, promotion of therapeutic adherence among chronic patients, promotion of learning in school settings or intervention with adolescents at risk.18,23 In general, clinical practice has been adopting the perspective of motivation as something relatively immutable, i.e., the adolescent is either motivated for change/treatment and, in these conditions, the professional's role is to help him/her, or the adolescent is not motivated and then change/treatment is not feasible. Alternatively the theoretical model underlying the MI technique postulates that the individual's adherence to change/treatment depends on his/her motivation, which can change throughout the therapeutic intervention. As several studies found positive results for effects of MI24-26 and its use by health professionals is encouraged23,27 nurses may play an important role in patients' process of change. As nurses have a crucial role in clinical contexts, they can facilitate the process of ending risk behaviors and/or adopting positive health behaviors through some motivational techniques, namely with adolescents. A considerable number of systematic reviews about MI already exist pointing to some benefits of its use in the treatment of a broad range of behavioral problems and diseases.13,28,29 Some of the current reviews focus on examining the effectiveness of MI for adolescents with diverse health risks/problems 30-32. However, to date there are no reviews that present and assess the evidence for the use of nurse-led MI in adolescents. Therefore, we have little knowledge of what works for whom (which adolescent subpopulation) under what circumstances (in which setting, for what problem) in relation to motivational interviewing by nurses. There is a clear need for scoping or mapping the use of MI by nurses with adolescents to identify evidence gaps and to inform opportunities for future development in nursing practice. On the other hand, information regarding nurse-led implemented and evaluated interventions, techniques and/or strategies used, contexts of application and adolescents subpopulation groups is dispersed in the literature33-36 which impedes the formulation of precise questions about the effectiveness of those interventions conducted by nurses and therefore the realization of a systematic review. In other words, it is known that different kind of motivational interventions have been implemented in different contexts by nurses, however does not exist a map about all the motivational techniques and/or strategies used. Furthermore the literature does not clarify which is the role of nurses at cross professional motivational intervention implemented programs and finally the outcomes and evaluation of interventions are unclear. Thus, the practical implication of this mapping will be clarifying all these aspects. Without this clarification is not possible to proceed to the realization of a systematic review about the effectiveness of the use of motivational interviews by nurses to promote health behaviors in adolescents, in a particular context and/or health risk behavior; or regarding the effectiveness of certain technique and/or strategy of MI. Consequently, there are important questions about the nature of the evidence in this area that need to be answered before formulating a precise question of effectiveness. This scoping review aims to respond to these questions. An initial search of the JBI Database of Systematic Reviews & Implementation Reports, Cochrane Database of Systematic Reviews, , Database of promoting health effectiveness reviews (DoPHER), The Campbell Library, Medline and CINAHL, has revealed that currently there is no Scoping Review (published or in progress) on the subject. In this context, this scoping review will examine and map the published and unpublished research around the use of MI by nurses implemented and evaluated to promote health behaviors in adolescents; to establish its current extent, range and nature and identify its feasibility, outcomes and gaps in the evidence defining research priorities in this field. This scoping review will be informed by the JBI methodology37 that suggests a five stage methodological framework for conducting scoping reviews which includes: identifying the research question, searching for relevant studies, selecting studies, charting data, collating, summarizing and reporting the results.
Resumo:
While news stories are an important traditional medium to broadcast and consume news, microblogging has recently emerged as a place where people can dis- cuss, disseminate, collect or report information about news. However, the massive information in the microblogosphere makes it hard for readers to keep up with these real-time updates. This is especially a problem when it comes to breaking news, where people are more eager to know “what is happening”. Therefore, this dis- sertation is intended as an exploratory effort to investigate computational methods to augment human effort when monitoring the development of breaking news on a given topic from a microblog stream by extractively summarizing the updates in a timely manner. More specifically, given an interest in a topic, either entered as a query or presented as an initial news report, a microblog temporal summarization system is proposed to filter microblog posts from a stream with three primary concerns: topical relevance, novelty, and salience. Considering the relatively high arrival rate of microblog streams, a cascade framework consisting of three stages is proposed to progressively reduce quantity of posts. For each step in the cascade, this dissertation studies methods that improve over current baselines. In the relevance filtering stage, query and document expansion techniques are applied to mitigate sparsity and vocabulary mismatch issues. The use of word embedding as a basis for filtering is also explored, using unsupervised and supervised modeling to characterize lexical and semantic similarity. In the novelty filtering stage, several statistical ways of characterizing novelty are investigated and ensemble learning techniques are used to integrate results from these diverse techniques. These results are compared with a baseline clustering approach using both standard and delay-discounted measures. In the salience filtering stage, because of the real-time prediction requirement a method of learning verb phrase usage from past relevant news reports is used in conjunction with some standard measures for characterizing writing quality. Following a Cranfield-like evaluation paradigm, this dissertation includes a se- ries of experiments to evaluate the proposed methods for each step, and for the end- to-end system. New microblog novelty and salience judgments are created, building on existing relevance judgments from the TREC Microblog track. The results point to future research directions at the intersection of social media, computational jour- nalism, information retrieval, automatic summarization, and machine learning.
Resumo:
We take for granted that we exist in dimensions of time and space. We accept that time passes and that space extends as a matter of course. Just as our personal space is important to us, so is time of our own. The individual is capable of developing a variety of time perspectives or orientations, each applicable to a different aspect of life, for instance, home, leisure, economic, political and organisational. Our temporal perspective influences a wide range of psychological processes, from motivation, emotions and spontaneity to risk-taking creativity and problem-solving. Our temporal landscapes are made up of recognisable domains, with permeable borders – private time and public time, home time and work time, past, present and future time, cyclical time. Just as a geography of space contains recognisable natural features – rivers, deserts, mountains – and features created by human beings – canals, roads, skyscrapers – so our temporal landscape contains natural features – day and night, the seasons – and features created by us – the ordering of social, economic, legal, and organisational time into, among others, the practices of family life, financial periods, prison sentences and workloads. This paper views the temporal landscapes of night nurses, and is based on longitudinal ethnographic research. It highlights areas such as shift work, workload, and the temporal aspects of caring. The result is the production of a map, albeit a rough one, of the temporal landscape inhabited by night nurses as they go about their working lives.
Resumo:
My thesis explores the formation of the subject in the novels of Faulkner’s Go Down, Moses, Toni Morrison’s Song of Solomon, and Gloria Naylor’s Mama Day. I attach the concept of property in terms of how male protagonists are obsessed with materialistic ownership and with the subordination of women who, as properties, consolidate their manhood. The three novelists despite their racial, gendered, and literary differences share the view that identity and truth are mere social and cultural constructs. I incorporate the work of Judith Butler and other poststructuralist figures, who see identity as a matter of performance rather than a natural entity. My thesis explores the theme of freedom, which I attached to the ways characters use their bodies either to confine or to emancipate themselves from the restricting world of race, class, and gender. The three novelists deconstruct any system of belief that promulgates the objectivity of truth in historical documents. History in the three novels, as with the protagonists, perception of identity, remains a social construct laden with distortions to serve particular political or ideological agendas. My thesis gives voice to African American female characters who are associated with love and racial and gender resistance. They become the reservoirs of the African American legacy in terms of their association with the oral and intuitionist mode of knowing, which subverts the male characters’ obsession with property and with the mainstream empiricist world. In this dissertation, I use the concept of hybridity as a literary and theoretical devise that African-American writers employ. In effect, I embark on the postcolonial studies of Henry Louise Gates, Paul Gilroy, W. E. B Du Bois, James Clifford, and Arjun Appadurai in order to reflect upon the fluidity of Morrison’s and Naylor’s works. I show how these two novelists subvert Faulkner’s essentialist perception of truth, and of racial and gendered identity. They associate the myth of the Flying African with the notion of hybridity by making their male protagonists criss-cross Northern and Southern regions. I refer to Mae Gwendolyn Henderson’s article on “Speaking in Tongues” in my analysis of how Naylor subverts the patriarchal text of both Faulkner and Morrison in embarking on a more feminine version of the flying African, which she relates to an ex-slave, Sapphira Wade, a volatile female character who resists fixed claim over her story and identity. In dealing with the concept of hybridity, I show that Naylor rewrites both authors’ South by making Willow Springs a more fluid space, an assumption that unsettles the scores of critics who associate the island with authenticity and exclusive rootedness.
Resumo:
The organophosphate temephos has been the main insecticide used against larvae of the dengue and yellow fever mosquito ( Aedes aegypti ) in Brazil since the mid-1980s. Reports of resistance date back to 1995; however, no systematic reports of widespread temephos resistance have occurred to date. As resistance investigation is paramount for strategic decision-making by health officials, our objective here was to investigate the spatial and temporal spread of temephos resistance in Ae. aegypti in Brazil for the last 12 years using discriminating temephos concentrations and the bioassay protocols of the World Health Organization. The mortality results obtained were subjected to spatial analysis for distance interpolation using semi-variance models to generate maps that depict the spread of temephos resistance in Brazil since 1999. The problem has been expanding. Since 2002-2003, approximately half the country has exhibited mosquito populations resistant to temephos. The frequency of temephos resistance and, likely, control failures, which start when the insecticide mortality level drops below 80%, has increased even further since 2004. Few parts of Brazil are able to achieve the target 80% efficacy threshold by 2010/2011, resulting in a significant risk of control failure by temephos in most of the country. The widespread resistance to temephos in Brazilian Ae. aegypti populations greatly compromise effective mosquito control efforts using this insecticide and indicates the urgent need to identify alternative insecticides aided by the preventive elimination of potential mosquito breeding sites.
MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH
Resumo:
Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.
Resumo:
Teeth, with their high mineralisation, incremental growth, and lack of remodelling, serve as biological archives that document an individual's development. This project aims to utilise the potential of teeth in bioarchaeological studies to achieve three primary objectives: 1) to investigate the application of histological and histochemical methods in reconstructing developmental bio-chronologies and early life histories; 2) to refine the temporal precision of isotopic analysis of dentine collagen by developing a novel protocol that integrates micro-sampling techniques with high-resolution histomorphometrics; and 3) to synthesise data from enamel and dentine for a comprehensive understanding of early life development and dietary transitions. This study adopts an integrated multidisciplinary bioarchaeological approach, conducting histomorphometric analysis on enamel and dentine across deciduous and permanent dentitions. It applies high-temporal resolution trace element analysis to enamel using LA-ICPMS and δ13C and δ15N isotope analyses through sequential micro-sampling to dentine of permanent teeth. Samples were selected from diverse archaeological contexts across the Italian peninsula, covering the Upper Palaeolithic, Copper Age, and Early Medieval periods, providing insight into diachronic variations in infant development and life history. Findings highlight the efficacy of histological and histochemical techniques in accurately determining growth rates, physiological stress, dietary shifts (particularly timing of weaning), and age at death in infant remains. The consistency and comparison between enamel and dentine underscores the enhanced insight obtained from integrating information from both tissues. Importantly, the newly proposed protocol significantly improves the temporal accuracy of dentine collagen analysis, facilitating precise chronological placement of the results over broad developmental associations. This study reaffirms the significance of teeth as valuable bioarchaeological instruments. By introducing and testing multidisciplinary methods, it provides deeper insights into early life history and cultural practices across diverse chronological contexts, highlighting the importance of advanced methodologies in extracting detailed, accurate, and nuanced information from past populations.