No description available.

Leadership in the health sector continues to be recognized as a key factor in improving healthcare and is considered part of professional competence in health professions. In dietetics, the Integrated Competencies of Dietetic Education and Practice, a document which informs dietetic education and professional development in Canada, was recently revised to include leadership as part of a new competency domain. But with limited research on dietetic leadership, it is challenging to develop and assess leadership skills in dietetic trainees and dietitians. My thesis addresses this gap by exploring how leadership is currently developed and used in practice through a three-phase qualitative design. The theoretical framework and conceptual model was pulled from complexity theory, leadership theory as well as feminist theory. The LEADS in a Caring Environment framework was used as the specific leadership framework. It is recognized as a comprehensive model for leadership in healthcare designed to embody the key skills, behaviours, abilities, and knowledge required to lead in all sectors and types of organizations. A multi-phase qualitative study was conducted, which included documentary analysis, one-on-one interviews with dietitians, and focus group interviews with dietetic educators. The methodology aligned with complexity science where interactions within and between the individual, micro-, meso-, and macro- levels were considered throughout the study. Furthermore, issues related to gender and other forms of diversity as crosscutting influences were considered. To inform this research, an expert committee comprised of dietitians from different practice areas was involved. Phase I included a documentary analysis of program documents and one focus group with dietetic educators to elaborate on their programs. In Phase II, using a multi-case study methodology, dietitians’ leadership skills development and use in practice were identified. Finally, Phase III focused on determining actions and implications of my research findings from Phases I and II through three focus groups with dietetic educators. The findings showed that dietitians tend to describe leadership in relation to having a formal management role. My study found that leadership skills have not been explicitly taught through dietetic education, but some are developed through transferrable skills that can be useful in leadership. The findings also demonstrated that dietitians use leadership skills in a variety of ways and contexts throughout their careers. All four cohorts provided personal examples of their leadership skills in practice that aligned with each of the LEADS domains and most of the capabilities. This might suggest that although dietitians were not formally taught leadership skills through their dietetic education, there is evidence that they possess and use leadership in their different practice areas throughout the career trajectory. This research furthers the scholarship on leadership development in dietetics and considers the complexities of leadership in a highly gendered system.

This project considers methods of construction QRS detectors. It focus in detection complexes of QRS single leads and space speed, which are calculated from three orthogonal leads. In theory was refer to various methods, which lead to design detector. It were designed two algoritms (constant and adaptive detecting threshold), which were implemented into detector and the signal was preprocessed by Hilbert transformation. Toward algoritms were completed by modification, which improved detection effectivity. Function of algoritms were tested in all signals of CSE (V2,V5,aVF).

There is a lack of academic research on sales teams, despite team selling becoming more prominent in recent years. Particularly in Inside Sales, there is a lack of clarity as to what are the drivers of optimum team-based selling and their degree of effect on sales performance. We utilize a team-based approach that aims to study the characteristics of Inside Sales teams and their interactions with business leads, using data from a well-reputed leads management software vendor. Based on prior team-based constructs in the literature, we built a framework that posits Quality of Team Composition, Task Utility and Intra-team Coordination leading to different categories of sales performance at various stages of the sales pipeline via their reflective variables. We tested our conceptual model in the following fashion: first, we used text mining on sales results to classify the different stages of the sales pipeline. Following that, we measured the conversion ratio at each stage as appropriate. Next, we discretized each conversion ratio into three levels of performance groups. The outcome variables in the model are different categories of team performance at each stage of the sales pipeline. Subsequently, we used multinomial logistic regression to regress our outcome variables on our team-based predictor variables in the hopes of establishing and validating important drivers for nuanced Inside Sales success. We uncovered new insight regarding team-selling best practices, using pre-identified constructs from the literature which are uniquely suited to teams and also constructs which are aggregated at a team level from an individual level. Our study is especially relevant to the Inside Sales process, as the outcome measures relate to the sales pipeline. Our main finding was that in there is a difference in skills required at different stages of the sales pipeline, in that more customization and experience is needed at the more advanced stages, whereas more repetition of activity is needed at the beginner stages. We also found that smaller team sizes tend to do better in Inside Sales, which was an unsettled research question in team research with plenty of evidence in favor of both smaller and bigger teams. Additionally, even if it was not a primary goal of our study, by virtue of classifying the leads by their final outcomes, we stumbled across an interesting finding, which is that an overwhelming majority of the sales leads tend to stay at one stage in their entire lifecycle. The implications of all our findings are very relevant to both practitioners and researchers of Inside Sales who are interested in team-based sales optimization. More research should be done in the field of Industrial Marketing, building upon what we found to be true for the B2B sector.

No description available.

Concurrent programs are known to be complicated because synchronisation is required amongst the processes in order to ensure safety (nothing bad ever happens) and progress (something good eventually happens). Due to possible interference from other processes, a straightforward rearrangement of statements within a process can lead to dramatic changes in the behaviour of a program, even if the behaviour of the process executing in isolation is unaltered. Verifying concurrent programs using informal arguments are usually unconvincing, which makes formal methods a necessity. However, formal proofs can be challenging due to the complexity of concurrent programs. Furthermore, safety and progress properties are proved using fundamentally different techniques. Within the literature, safety has been given considerably more attention than progress. One method of formally verifying a concurrent program is to develop the program, then perform a post-hoc verification using one of the many available frameworks. However, this approach tends to be optimistic because the developed program seldom satisfies its requirements. When a proof becomes difficult, it can be unclear whether the proof technique or the program itself is at fault. Furthermore, following any modifications to program code, a verification may need to be repeated from the beginning. An alternative approach is to develop a program using a verify-while-develop paradigm. Here, one starts with a simple program together with the safety and progress requirements that need to be established. Each derivation step consists of a verification, followed by introduction of new program code motivated using the proofs themselves. Because a program is developed side-by-side with its proof, the completed program satisfies the original requirements. Our point of departure for this thesis is the Feijen and van Gasteren method for deriving concurrent programs, which uses the logic of Owicki and Gries. Although Feijen and van Gasteren derive several concurrent programs, because the Owicki-Gries logic does not include a logic of progress, their derivations only consider safety properties formally. Progress is considered post-hoc to the derivation using informal arguments. Furthermore, rules on how programs may be modified have not been presented, i.e., a program may be arbitrarily modified and hence unspecified behaviours may be introduced. In this thesis, we develop a framework for developing concurrent programs in the verify-while-develop paradigm. Our framework incorporates linear temporal logic, LTL, and hence both safety and progress properties may be given full consideration. We examine foundational aspects of progress by formalising minimal progress, weak fairness and strong fairness, which allow scheduler assumptions to be described. We formally define progress terms such as individual progress, individual deadlock, liveness, etc (which are properties of blocking programs) and wait-, lock-, and obstruction-freedom (which are properties of non-blocking programs). Then, we explore the inter-relationships between the various terms under the different fairness assumptions. Because LTL is known to be difficult to work with directly, we incorporate the logic of Owicki-Gries (for proving safety) and the leads-to relation from UNITY (for proving progress) within our framework. Following the nomenclature of Feijen and van Gasteren, our techniques are kept calculational, which aids derivation. We prove soundness of our framework by proving theorems that relate our techniques to the LTL definitions. Furthermore, we introduce several methods for proving progress using a well-founded relation, which keeps proofs of progress scalable. During program derivation, in order to ensure unspecified behaviour is not introduced, it is also important to verify a refinement, i.e., show that every behaviour of the final (more complex) program is a possible behaviour of the abstract representation. To facilitate this, we introduce the concept of an enforced property, which is a property that the program code does not satisfy, but is required of the final program. Enforced properties may be any LTL formula, and hence may represent both safety and progress requirements. We formalise stepwise refinement of programs with enforced properties, so that code is introduced in a manner that satisfies the enforced properties, yet refinement of the original program is guaranteed. We present derivations of several concurrent programs from the literature.

No description available.

Abstrakt: Inom vården används olika undersökningsmetoder för att kunna utvärdera hjärtats funktion. Elektrokardiografi (EKG) är en av de metoderna. EKG har många fördelar exempelvis är metoden tillgänglig, billig, riskfri och icke-invasiv. Vid vilo-EKG placeras tio elektroder på bestämda positioner på kroppen vilka ger upphov till 12 avledningar. Avledningarna indelas i två grupper: bröstavledningar och extremitetavledningar. Studiens syfte var att undersöka närmare om det finns skillnader som påverkar bedömningen av EKG:et i P- vågor, QRS- komplex och hjärtats elektriska axel (QRS el-axel) i extremitetavledningar mellan standardkoppling och två andra omkopplingar. Trettio frivilliga deltagare inkluderades i denna studie. För samtliga deltagare registrerades tre EKG:n. I det första EKG:et kopplades extremitetselektroderna enligt standardkopplingen. I det andra EKG:et kopplades armelektroder på höger och vänstra överarmar, vänster benelektroden kopplades på lårbenet. Det tredje EKG:et kopplades enligt Mason- Liker, förutom att höger benelektrod inte omplacerades. Vid alla tre EKG:na placerades bröstelektroderna enligt standardkopplingen. Förändringar i duration, amplitud, och QRS el-axel mellan dessa EKG:n undersöktes. Resultaten av studien visade att det inte fanns någon signifikant skillnad mellan dessa kopplingar i duration och amplitud i QRS-komplexen. Inte heller i durationen på P-vågen. Däremot påvisades en signifikant skillnad i QRS el-axel samt i amplitud på P-vågen för den ena omkopplingen.

Made available in DSpace on 2016-04-28T19:34:29Z (GMT). No. of bitstreams: 1 Dissertacao Regina Helena Alves Codesseira.pdf: 741122 bytes, checksum: ba8125aea4e979e12be9cc1c68a2b344 (MD5) Previous issue date: 2005-06-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho tem por objetivo identificar e categorizar as estratégias interacionais presentes na construção dos lides das notícias jornalísticas impressas produzidos por dois jornais paulistas de grande circulação: O Estado de S.Paulo e o Jornal da Tarde Buscamos respaldo teórico no dialogismo interacional proposto por Mikhail Bakhtin nas idéias a cerca da função do leitor formuladas por Eco e Maingueneau, e discutimos a questão do envolvimento entre os interlocutores Sob essa perspectiva teórica tivemos embasamento para analisar a organização estrutural do lide que não segue a formulação tradicional estruturada no princípio da relevância e então levantar as estratégias interacionais presentes nesses lides que visam a construir o envolvimento do leitor com a notícia jornalística Por meio da análise da amostra chegamos a basicamente dois recursos que podem ser utilizados pelo jornalista para interagir e seduzir o seu leitor: ou mexer com o imaginário dele construindo lenta e detalhadamente uma cena em sua mente ou dirigir-se diretamente a ele criando assim uma idéia de que os interlocutores mantêm uma conversação face a face

Grandes aglomerações urbanas estão geralmente ligadas a seus corpos hídricos de abastecimento de água. Com a Região Metropolitana de São Paulo não foi diferente. Os rios Tietê e Pinheiros passaram por transformações no decorrer dos anos, interferindo no índice de qualidade de águas da Bacia do Alto Tietê. Há, ao mesmo tempo, um elevado consumo de água e inúmeras fontes poluidoras na forma de esgotos domésticos e efluentes industriais. A análise feita do Rio Pinheiros focou duas variáveis: as transformações gradativas e impactantes ocorridas no sistema e as políticas públicas, buscando identificar a relação de decorrência entre elas. As transformações foram analisadas pelos indicadores alterações ocorridas na paisagem e território do sistema, como a retificação e canalização do rio e seu uso e ocupação do solo. A partir de então, este contexto foi confrontado com as políticas públicas ambientais, focando no Projeto Tietê como principal indicador da variável política pública além da UGRH e da qualidade das águas para análise das mudanças ocorridas no sistema. Assim, esta pesquisa pode contribuir com a discussão da melhoria do uso dos recursos naturais metropolitanos. A pesquisa orienta-se pela perspectiva sistêmica apoiada nos conceitos de impactos e de derivações antropogenéticas dos sistemas, o que permite analisar as alterações mais velozes e mais gradativas (respectivamente) advindas da conexão entre a dinâmica dos elementos naturais (sistemas) e a dinâmica dos agentes sociais (derivações antropogenéticas). Os procedimentos metodológicos utilizados são a análise sistêmica, no momento do diagnóstico, e a análise integrada, no momento do prognóstico. As alterações ocorridas, e o uso e ocupação das margens contribuíram para o índice atual de qualidade de águas do sistema. Estas transformações ocorreram de forma gradativa e impactante e apenas décadas depois do começo destas intervenções, políticas públicas tentam melhorar a qualidade hídrica metropolitana, com o desenvolvimento de projetos de despoluição, que já apresentam melhoria nas qualidades de água, mas ainda não foram capazes de fazer com que o rio mudasse de classe de acordo com a classificação CONAMA 357. / Large urban agglomerations are generally linked to their bodies of water. In the Metropolitan Region of São Paulo it was no different. The Tietê and Pinheiros rivers have undergone transformations over the years, affecting the water quality index of the Upper Tietê Basin. There is at the same time, a high consumption of water and many sources of pollution in the form of domestic sewage and industrial wastewater. The analysis focused on the Rio Pinheiros two variables: the gradual and transformations occurring in the system and impacting public policy, seeking to identify the relationship between them due. The changes were identified by the indicators of changes in the landscape and territory system and their uses. Since then, this context was confronted with environmental policies, focusing on the Tiete project as the main indicator variable beyond the UGRH and the quality water treatment for the analysis of public policy changes in the system. Thus, this research can contribute to analyze the interventions in the river with a discussion of improving the use of natural resources. The research is guided by the systems perspective and is based on the concepts of impact and derivations anthropogenetic systems, which allows to analyze the fast and more gradual (respectively) changes arising from the connection between the dynamics of natural elements (systems) and the dynamics of social agents ( anthropogenetic derivations). The method used was based on the analysis of evolutionary transformations of the water course. The methodological procedures used are systemic analysis during the diagnosis, and integrated analysis at the time of prognosis. The changes and the use and occupancy of the banks contributed to the current rate of water quality system. These changes occurred gradually and impactful and only decades after the beginning of these interventions, policymakers are trying to improve the water quality in the metropolitan areas, with the development of remediation projects, having already improved water quality, but have not been able to change the river conditions according to the class classification CONAMA 357.