Rehabilitation of athletic injuries may include both physical and psychological components. When an athlete becomes injured they look to healthcare professionals to help them through their rehabilitation. These professionals are part of the social support network and among them are Canadian certified athletic therapists (CAT(C)). The aims of this qualitative study were to explore the role of a CAT(C) in the social support of an injured athlete by: (a) describing the nature of the therapeutic relationship between the athletic therapist and athletes; (b) exploring the social support provided by athletic therapists; and, (c) exploring how they perceive their preparation for the social support of an injured athlete. Purposive sampling was employed to recruit two male and two female Canadian certified athletic therapists, who had worked in a university setting, and were in good standing with the Canadian Athletic Therapists Association. Data were collected using webcam or telephone interviews. Findings were consistent with previous studies with health care professionals. CAT(C)’s played an integral role in dealing with the social support aspects of injury. Athletic therapists embraced their role in the social support of athletes and reported using strategies to enhance the therapeutic relationship, providing four dimensions of social support (emotional, esteem, informational and tangible) and acting as a communication link with other members of their social support network. CAT(C)’s acknowledged their limitations in the psychological side of injury due to only a small fraction of their educational curriculum preparing them for this aspect of injury. Experience was a key factor, and increased their comfort level.

Bakgrund: Runt om i världen och på svenska sjukhus och , överrapporteras dagligen flertaletpostoperativa patienter mellan anestesi-och intensivvårdssjuksköterskor. Vad somkommunicerats har stor betydelse för patienternas fortsatta vård och sjuksköterskornasupplevelse av överrapportering. Bristande överrapportering kan få konsekvenser som sämrevårdkvalité och ökad risk för komplikationer för patienterna. Syfte: Att beskriva anestesi-ochintensivvårdssjuksköterskors upplevelser av överrapportering av postoperativa patienter. Metod:Intervjuer genomfördes i form av fokusgrupper, en med anestesisjuksköterskor och en medintensivvårdssjuksköterskor. Materialet analyserades enligt kvalitativ innehållsanalys. Resultat:Fem huvudkategorier: Behov av att dubbelkolla och dubbeldokumentera, att inte veta vilkeninformation som är relevant och sakna förståelse för varandra, att den postoperativaavdelningen är rörig och orsakar störningar i överrapportering, attoperationssjuksköterskornas överrapportering är viktig och behov av att överrapportera vidpatienterna och upprätthålla fullständig sekretess. Slutsats: Tydliga rutiner behövs gällande vadpostoperativ överrapportering ska innehålla, samt utveckling av samarbete mellan de som deltar iöverrapportering. Behov av att kunna genomföra överrapportering vid patienterna men ändåupprätthålla sekretess var ett komplext område. Operationssjuksköterskans deltagande iöverrapportering var ett av de största förbättringsområden som framkom denna studie.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-24T15:02:38Z No. of bitstreams: 1 JOSÉ CÂNDIDO DA SILVA NÓBREGA - DISSERTAÇÃO PPGSA PROFISSIONAL 2018..pdf: 598498 bytes, checksum: c39669a11a1747c13a51de142da42356 (MD5) / Made available in DSpace on 2018-09-24T15:02:38Z (GMT). No. of bitstreams: 1 JOSÉ CÂNDIDO DA SILVA NÓBREGA - DISSERTAÇÃO PPGSA PROFISSIONAL 2018..pdf: 598498 bytes, checksum: c39669a11a1747c13a51de142da42356 (MD5) Previous issue date: 2018-03-12 / Esse estudo apresentou o plano de gestão na cadeia de comercialização do mel no sertão da Paraíba. A empresa que se pretende abrir terá o nome fictício de MEL ORGÂNICO POMBALENSE. Ela se diferenciará das concorrentes, pois oferecerá aos consumidores produtos orgânicos. O principal motivo para esta proposta é que atualmente não há nenhuma empresa especializada na região de Pombal em mel orgânico certificado, ou pelo menos não em evidência ou quantidade, que desenvolva um trabalho semelhante, portanto acredito que estes diferenciais possam agregar valor ao processo de venda, criando uma carteira fiel de clientes satisfeitos, garantindo boa rentabilidade, sucesso e prospecção do negócio. O foco da empresa será um atendimento premium de alta qualidade para o mercado de mel orgânico, hoje em dia carente de uma gestão profissional e com foco na satisfação do cliente. Teremos venda direta de produtos no varejo para os clientes. Concluiu-se que ao vender mel no mercado, é preciso levar em consideração uma série de questões que não podemos ignorar é que muito poucos comerciantes que não têm planos econômicos e, portanto, acabam falhando, por isso temos de ter um plano econômico também definido para este tipo de negócio de venda de mel. / This study presented the management plan in the honey commercialization chain in the interior of the state of Paraíba. The company that intends to open will have the fictitious name of ORGANIC HONEY POMBALENSE. It will differentiate itself from competitors as it will offer consumers organic products. The main reason for this proposal is that currently there is no company specialized in the region of Pombal certified organic honey, or at least not in evidence or quantity, that develops a similar work, so I believe that these differentials can add value to the sales process , creating a loyal portfolio of satisfied customers, ensuring good profitability, success and business prospecting. The focus of the company will be a premium service of high quality for the market of organic honey, nowadays lacking a professional management and with focus on the satisfaction of the client. We will have direct sales of products in retail for customers. It was concluded that when selling honey on the market, we must take into account a number of issues that we can not ignore is that very few traders who have no economic plans and therefore end up failing, so we have to have an economic plan also defined for this type of business. sale of honey.

Submitted by GUSTAVO ADOLPHO MARANHÃO AGUIAR null (guamaguiar@gmail.com) on 2018-02-06T17:09:19Z No. of bitstreams: 1 Dissertacao_Gustavo_Adolpho_Maranhao_Aguiar.pdf: 1414652 bytes, checksum: be3f7c0427ca89b6a08fd675438fda93 (MD5) / Approved for entry into archive by Alexandra Maria Donadon Lusser Segali null (alexmar@fcav.unesp.br) on 2018-02-07T15:45:41Z (GMT) No. of bitstreams: 1 aguiar_gam_me_jabo.pdf: 1414652 bytes, checksum: be3f7c0427ca89b6a08fd675438fda93 (MD5) / Made available in DSpace on 2018-02-07T15:45:41Z (GMT). No. of bitstreams: 1 aguiar_gam_me_jabo.pdf: 1414652 bytes, checksum: be3f7c0427ca89b6a08fd675438fda93 (MD5) Previous issue date: 2018-01-12 / A cadeia de carne bovina possui posição de destaque no contexto da economia rural brasileira, ocupando vasta área do território nacional e respondendo pela geração de emprego e renda de milhões de brasileiros. Contudo, para atender as demandas da sociedade moderna, é preciso avançar na produção de produtos mais diferenciados. Neste sentido, ganham relevância as estratégias empresariais nos diversos elos da cadeia produtiva da carne bovina, sobretudo no subsistema de industrialização. Na cadeia produtiva da carne bovina brasileira, um dos programas de destaque com essa finalidade é o Programa Carne Angus Certificada. Este trabalho, classificado como uma pesquisa aplicada, de natureza exploratória, de abordagem qualitativa, no contexto de uma análise de interação setorial, feita através de um procedimento de estudo multicaso, descreveu e analisou a estrutura competitiva e o comportamento estratégico dos frigoríficos participantes do Programa Carne Angus Certificada em São Paulo, com suporte das teorias do Modelo das Cinco Forças de Porter e das Tipologias Estratégicas de Miles e Snow. A coleta de dados se deu através de entrevista semiestruturada, realizada com quatro indústrias frigoríficas participantes do programa no estado, que contou com roteiro pré-determinado e perguntas avaliativas feitas após as respostas dadas com auxílio de itens da escala Likert (estrutura competitiva) e respostas às questões de múltipla escolha (comportamento estratégico). Os resultados para a estrutura competitiva indicaram que a ameaça de novos concorrentes e o poder dos fornecedores são as forças que exercem a maior pressão competitiva sobre as indústrias do setor. Quanto ao comportamento estratégico, o resultado global indicou que as Tipologias Prospectora e Analítica se destacaram, tendo representado a grande maioria das respostas dadas pelos entrevistados. Além disso, foi identificado que as empresas que tiveram a maior participação das Tipologias Prospectora e Analítica em seu comportamento são as que enxergam a menor pressão competitiva no segmento de mercado analisado. Como contribuição gerencial, entende-se que o presente estudo forneceu importantes informações, tanto para empresas que já atuam no setor, como para potenciais entrantes, colaborando para o delineamento de desafios e oportunidades e estratégias no setor em questão. / The beef production chain has a prominent position in the context of the Brazilian rural economy, occupying a large area of the national territory and responding to the generation of employment and income for millions of Brazilians. However, to meet the modern society demands, it is necessary to move forward in the production of differentiated products. In this sense, corporate strategies gain importance in the beef production chain channels, especially in the industrialization subsystem. In the Brazilian beef production chain, one of the main programs for this purpose is the Certified Angus Beef Program. This work, classified as an applied research, of an exploratory nature, with a qualitative approach, in the context of a sectorial interaction analysis, made through a multicase study procedure, described and analyzed the competitive structure and strategic behavior of the meatpackers participating in the Program Angus Beef Certified in São Paulo, with support from Porter's Five Forces Model theories and Miles and Snow Strategic Typologies. Data were collected through a semistructured interview, conducted with four meatpacking industries participating in the program in the state, which had a predetermined script and evaluative questions made after the answers given using Likert scale items (competitive structure) and responses to multiple choice issues (strategic behavior). The results for the competitive structure indicated that the threat of new competitors and the power of suppliers are the forces exerting the greatest competitive pressure. Regarding strategic behavior, the overall result indicated that the Prospector and Analyzer Typologies stood out, representing the great majority of the answers given by the interviewees. In addition, it was identified that the companies that had the greatest participation of the Prospector and Analyzer Typologies in their behavior are those that see the least competitive pressure in the analyzed market segment. As a managerial contribution, it is understood that the present study provided important information, both for companies already active in the sector and for potential entrants, collaborating to delineate challenges, opportunities and strategies for the companies.

O impacto da certificação foi o tema central desse projeto de pesquisa que consistiu em identificar o seu efeito sobre variáveis de interesse, isolado de outras fontes de variação. Para isso, uma metodologia de avaliação de impacto foi adaptada e testada para analisar a Certificação Socioambiental Rainforest Alliance da Rede de Agricultura Sustentável RAS na cafeicultura em Minas Gerais. A Certificação Socioambiental cresceu significativamente em fazendas produtoras de café no Brasil e no mundo desde sua criação em 1998 até o ano 2007. Os produtos vendidos com essa certificação carregam consigo a mensagem que vêm de sistemas de produção que promovem mais desenvolvimento humano e mais conservação da biodiversidade quando comparados aos sistemas convencionais. Contudo, o processo de Certificação Socioambiental não mede diretamente essas diferenças. Na rotina da certificação, o auditor avalia a conformidade dos sistemas de produção a padrões pré-estabelecidos. A ausência de avaliações de impactos pode acarretar questionamentos referentes às reais transformações decorrentes da certificação. Outro questionamento refere-se à elaboração das normas, as quais foram formuladas em processos de consulta pública com as partes interessadas, as quais estabelecem uma referência do que é desejável segundo a percepção de cada participante. Esses atores, num determinado momento ou contexto, podem ter dado maior ênfase a alguns aspectos que outros e não explicitam quais os problemas dos sistemas de produção conve ncional que pretendiam superar. Além disso, podem ocorrer mudanças de conduta e paradigmas nos sistemas convencionais que podem afetar no tempo as decisões das consultas públicas. Como parte do objetivo desse projeto pretendeu-se obter uma referência de sistemas de produção com e sem certificação como subsídio para elaboração das normas de certificação e para orientação dos trabalhos dos auditores. O método de avaliação de impacto utilizado foi comparar os empreendimentos agrícolas certificadas com os nãocertificados de forma a obter o cenário contrafactual, isto é, qual seria a situação dos empreendimentos certificados se, hipoteticamente, não tivessem passado pelo processo de certificação. A amostra foi de seis empreendimentos agrícolas do Sul de Minas e dez do Cerrado Mineiro, um total de 444 trabalhadores entrevistados. Os resultados foram gerados por meio da análise quantitativa dos dados primários obtidos por meio de entrevistas com os trabalhadores e com a administração da fazenda, análise de imagens de satélite e observações de campo. Os três temas selecionados para testar a metodologia foram bem estar dos trabalhadores, preservação da biodiversidade e conservação dos recursos hídricos e redução da poluição. Os resultados afirmaram a importância da Certificação Socioambiental para promoção da conservação da biodiversidade e do desenvolvimento humano no curto e longo prazo. Porém, não foram identificados impactos em alguns aspectos analisados, bem como uma manifestação distinta dos impactos nas regiões. A metodologia mostrou-se apropriada para identificar os impactos da certificação e para definir uma referência que contribua substancialmente para construção das normas e para orientar o trabalho de auditoria de forma a acentuar a contribuição da Certificação Socioambiental para promover a conservação da biodiversidade e o desenvolvimento humano. / The impact of certification was this research project´s major focus, which consisted of the identification of the effect of certification over interest variables, isolated from other sources of variation. Specifically in this dissertation, an impact assessment methodology was adapted and tested to analyze the impact of Rainforest Alliance socioenvironmental certification scheme, utilized by the Sustainable Agriculture Network - SAN (in Portuguese, RAS), in coffee plantations located in Minas Gerais State, Brazil. Socio-environmental certification has increased significantly in coffee-producing farms in Brazil, as well as worldwide, since its creation in 1998 up to 2007. Commercialized products with this type of certification carry a message that they are rooted in production systems which promote greater human development and biodiversity conservation values when compared to conventional systems. However, the socio-environmental certification process does not currently measure these differences in a direct way. During certification procedures, an auditor assesses whether production systems are accomplishing pre-established standards. The absence of impact assessments might raise doubts regarding real transformations provoked by certification. Another doubt relates to the establishment of such standards, which were elaborated in public meetings among interested parties that established a reference about what is desirable according to each participants perception. These stakeholders, in a given moment or context, may have emphasized some particular aspects without clarifying which of the problems of the conventional systems they intended to solve. Moreover, changes might occur in the conduct or paradigms of conventional systems which can affect decisions made in public meetings. As part of this projects objective, it was intended to obtain a reference for production systems with and without certification, to subsidize the establishment of standards and to guide auditing procedures. The impact assessment method utilized was based on comparing certified and non-certified agricultural enterprises in such a way as to obtain a non-factual scenario, in other words, what would occur in the certified enterprises if, hypothetically, they had not been targeted by certification. The sample consisted of sixteen agricultural enterprises in Brazil. Results were generated through quantitative analyses of primary data gathered through interviews with farm workers and managers, satellite image analyses, and field observations. There technical issues selected to test the methodology were worker welfare, biodiversity preservation and water resource conservation, and pollution impact. Results indicate an important role of Socio-environmental Certification in promoting conservation of biodiversity and human development in the short and long run. Some analyzed aspects did not present impacts, however, and some impacts presented a differentiated response in different regions. The methodology used was concluded to be suitable for identifying certification impacts and for defining a reference to substantially contribute to building standards, as well as guide auditors´ work in such a way as to increase the contribution of socio-environmental certification to biodiversity conservation and human development.

Submitted by Gabriela Lopes (gmachadolopesufpel@gmail.com) on 2018-07-16T20:23:35Z No. of bitstreams: 1 Dissertação JOSE RODOLFO COSTA.pdf: 429198 bytes, checksum: f227c91dc1d6a259437d82c2ce8f733a (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-07-17T21:29:58Z (GMT) No. of bitstreams: 1 Dissertação JOSE RODOLFO COSTA.pdf: 429198 bytes, checksum: f227c91dc1d6a259437d82c2ce8f733a (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-07-17T21:32:58Z (GMT) No. of bitstreams: 1 Dissertação JOSE RODOLFO COSTA.pdf: 429198 bytes, checksum: f227c91dc1d6a259437d82c2ce8f733a (MD5) / Made available in DSpace on 2018-07-17T21:33:05Z (GMT). No. of bitstreams: 1 Dissertação JOSE RODOLFO COSTA.pdf: 429198 bytes, checksum: f227c91dc1d6a259437d82c2ce8f733a (MD5) Previous issue date: 2016-12-02 / O presente trabalho teve como de objetivo desse trabalho foi levantar os principais aspectos relacionados à comercialização de sementes de soja na região Sul de Goiás .Para tal conhecimento, fez-se o uso de um questionário com dez perguntas fechadas aplicadas pessoalmente e por telefone , a 24 agricultores da região sul de Goiás A realização das entrevistas ocorreu no período de outubro e novembro de 2016. Após a tabulação dos dados obtidos da pesquisa, pode-se levar em consideração que problemas de qualidade de semente, como reduzido potencial de germinação e vigor favorecem o aumento das sementes salvas, mesmo produtores buscando comprar sementes comerciais. Este procedimento é dependente das condições climáticas, ou seja, excesso de chuva ocasiona maior risco de ataque fungos após o beneficiamento, reduzindo a qualidade dos lotes utilizados para futuro semeio. É possível reverter este quadro de insatisfação por parte dos produtores com adoção de um eficiente controle de coleta de dados sobre a intenção em adquirir a semente pelo produtor e pela satisfação quando o mesmo passa pelo pós-venda da empresa. Os produtores rurais estão cada vez mais qualificados e atentos quando o assunto é sementes, principalmente no quesito qualidade, por isso cabe ao setor sementeiro entender melhor o perfil do seu consumidor e transmitir confiabilidade do produto a ser oferecido, buscando a máxima qualidade nos procedimentos de produção de semente. / The present work had as objective of this work was to raise the main aspects related to the commercialization of soybean seeds in the South region of Goiás. For this knowledge, a questionnaire with ten closed questions applied in person and by telephone was used. 24 farmers in the southern region of Goiás The interviews were carried out in October and November 2016. After tabulation of the data obtained from the research, it can be taken into account that seed quality problems such as reduced germination potential and vigor Favor the increase of seed saved, even producers seeking to buy commercial seeds. This procedure is dependent on the climatic conditions, ie excess rainfall poses a greater risk of attacking fungi after processing, reducing the quality of the lots used for future sowing. It is possible to reverse this scenario of producers' dissatisfaction with the adoption of an efficient control of data collection on the intention to acquire the seed by the producer and the satisfaction when it goes through the after sales of the company. Rural producers are more and more qualified and attentive when it comes to seeds, especially in terms of quality, so it is up to the sowing sector to better understand the profile of their consumers and to convey reliability of the product to be offered, seeking the highest quality in the Seed production.

This work focuses on the actions sought by the authorities to minimize global climate problems that are currently changing the conditions of survival of the planet to mitigate emissions of greenhouse gases (GHG) in the atmosphere. First, it is addressed the Framework Convention to start the discussions on climate changes, then the creation of the Kyoto Protocol, which came, giving nations the opportunity to act, minimizing damage to the environment, thus enabling that developing countries work together through the Clean Development Mechanism (CDM) in creating new and more efficient technologies, replacing the use of fossil fuels by renewable energy sources. The power source focus of this work is the residue of sugar cane bagasse that is more representative biomass of the Brazilian energy matrix. The sector chosen for the research was the sugar-alcohol, through the Usina Santa Candida placed within the State of Sao Paulo. It is shown through data comparison, the current Brazilian situation in the global scenario, both in world energy supply and in the composition of the energy matrix, showing that Brazil is in a privileged position about renewable energy use in comparison to the world, and is the third more significant country that reduces emissions of CO2, which shows its commitment to the Kyoto Protocol. By creating a scenario, it is evaluated the financial performance of Usina Santa Candida (SP), after the implementation of CDM. Scenario 1 shows the financial return without cogeneration system; scenario 2 shows the financial return after installation of cogeneration system; scenario 3 shows the financial return of cogeneration system installation associated to sale of grant guarantee; and the scenario 4 shows the financial return of cogeneration system installation associated to sale of grant guarantees and the receipt obtained with carbon credit market. Briefings for scenario analysis were generated through calculations of net present value (NPV), internal rate of return (IRR) and payback, to demonstrate the financial benefits after the adjustment to the clean development mechanism, demonstrating the gains from the sale of surplus power and the negotiations of certified emission reductions (CERs), the brief return of the investment payback, profitability by the board and monetary return for NPV. The result of the work shows that investment in compliance with the guidelines is very low compared to the financial return in the first auction of CERs, and added that the sale of surplus power, it becomes even more viable. / Este trabalho aborda as ações buscadas pelas autoridades mundiais para minimizar os problemas climáticos que atualmente estão mudando as condições de sobrevivência do planeta, mitigando as emissões de gases de efeito estufa (GEE) na atmosfera. Primeiramente, foi abordada a Convenção-Quadro como início das discussões sobre as mudanças do clima, posteriormente, a criação do Protocolo de Kyoto, que surgiu, dando às nações, a oportunidade para que ajam, minimizando os danos causados ao ambiente, possibilitando assim, que os países em desenvolvimento colaborem por meio do mecanismo de desenvolvimento limpo (MDL) na criação de novas e mais eficientes tecnologias, substituindo o uso de fontes de energia fósseis por fontes de energia renováveis. A fonte de energia foco desta pesquisa, o bagaço da cana-de-açúcar que é a biomassa mais representativa da matriz energética brasileira. O setor escolhido para a pesquisa foi o sucroalcooleiro, na Usina Santa Cândida situada no interior do Estado de São Paulo. É demonstrado, por meio de comparação de dados, a atual situação brasileira perante o mundo, tanto na oferta mundial de energia como na composição da matriz energética, mostrando que o Brasil está em uma posição privilegiada na utilização de energias renováveis em relação ao mundo, sendo o terceiro país que mais reduz as emissões de CO2, confirmando seu comprometimento com o Protocolo de Kyoto. Por meio da criação de cenários, foi possível avaliar o desempenho financeiro da Usina Santa Cândida (SP). O cenário 1 demonstra o retorno financeiro sem sistema de cogeração, o cenário 2 demonstra o retorno financeiro após a implementação de sistemas de cogeração, o cenário 3 demonstra o retorno financeiro do sistema de cogeração mais a venda das garantias contratuais, e por fim, o 4 cenário onde e demonstrado o retorno financeiro da implementação do sistema de cogeração mais a venda das garantias contratuais e ainda a receita obtida por meio da negociação dos créditos de carbono. As informações apuradas para análise dos cenários foram geradas a partir dos cálculos de Valor Presente Líquido (VPL), da Taxa Interna de Retorno (TIR) e do Payback para demonstrar os benefícios financeiros após a adequação ao mecanismo de desenvolvimento limpo, comprovando os ganhos obtidos com a venda de energia excedente e com as negociações dos Certificados de Redução de Emissão (RCEs), o retorno breve do investimento pelo payback, sua rentabilidade pela TIR e o retorno monetário pelo VPL. O resultado da pesquisa mostra que o investimento para a adequação às diretrizes é muito baixo se comparado com o retorno financeiro já no primeiro leilão das RCEs e que somado à venda de energia excedente, torna-se financeiramente ainda mais viável.

Les méthodes formelles ont atteint un degré de maturité conduisant à la conception de systèmes de preuves généralistes, permettant à la fois de vérifier la correction de systèmes logiciels complexes ou de formaliser des mathématiques avancées. Mais souvent, l'accent est mis davantage sur la facilité du raisonnement sur les programmes plutôt que sur leur exécution efficace. L'antagonisme entre ces deux aspects est particulièrement sensible pour les algorithmes de calcul formel, dont la correction repose habituellement sur des concepts mathématiques élaborés, mais dont l'efficacité pratique est une préoccupation importante. Cette thèse développe des approches à l'étude formelle et l'exécution efficace de programmes en théorie des types, et plus précisément dans l'assistant à la preuve \coq{}. Dans un premier temps, nous présentons un environnement d'exécution permettant de compiler en code natif de tels programmes tout en conservant la généralité et l'expressivité du formalisme. Puis, nous nous intéressons aux représentations de données et plus particulièrement au lien formellement vérifié et automatisé entre représentations adaptées aux preuves ou au calcul. Ensuite, nous mettons à profit ces techniques pour l'étude d'algorithmes en algèbre linéaire, comme le produit matriciel de Strassen, le procédé d'élimination de Gauss ou la mise en forme canonique de matrices, dont notamment la forme de Smith pour les matrices sur un anneau euclidien. Enfin, nous ouvrons le champ des applications à la formalisation et au calcul certifié des groupes d'homologie de complexes simpliciaux issus d'images numériques. / Formal methods have reached a degree of maturity leading to the design of general-purpose proof systems, enabling both to verify the correctness of complex software systems and to formalize advanced mathematics. However, the ease of reasoning on programs is often emphasized more than their efficient execution. The antagonism between these two aspects is particularly significant for computer algebra algorithms, whose correctness usually relies on elaborate mathematical concepts, but whose practical efficiency is an important matter of concern. This thesis develops approaches to the formal study and the efficient execution of programs in type theory, and more precisely in the proof assistant \coq{}. In a first part, we introduce a runtime environment enabling the native code compilation of such programs while retaining the generality and expressiveness of the formalism. Then, we focus on data representations and in particular on the formally verified and automatized link between proof-oriented and computation-oriented representations. Then, we take advantage of these techniques to study linear algebra algorithms, like Strassen's matrix product, Gaussian elimination or matrix canonical forms, including the Smith normal form for matrices over a Euclidean ring. Finally, we open the field of applications to the formalization and certified computation of homology groups of simplicial complexes arising from digital images.

The aim of the thesis is to describe the attitude of the region Polabí visitors and the potential consumers generally towards the certified regional products which were branded within the system under the patronage of Association of Regional Brands. The thesis is divided into two parts, theoretical and practical. The theoretical part defines tourism in relation to region, it's benefits and impacts and deals with the problem of it's sustainable development. It also presents the national coordinator of branding - Association of Regional Brands, it's activities and the specifics of branding in Polabí region. The practical part is based on a survey among potential consumers, producers and official sellers of certified products bearing the brand Polabí regionální produkt. The information obtained and presented provides valuable insights concerning the relationship of potential consumers to the certified regional products. On this basis, other possible ways of the development of the branding system in Polabí are suggested.

Bakgrund: Tidigare forskning visar att det finns flera faktorer som bidrar till preoperativ oro, vilket är ett tillstånd som kan orsaka flera negativa konsekvensen både i direkt anslutning till operation som långt senare efter operation. Ett av målen vid ett preoperativt möte mellan anestesisjuksköterskan och patienten är att anestesisjuksköterskan ska minska patientens stress. Därmed är det av värde att göra en översikt avseende aktuell forskning kring omvårdnadsåtgärder som kan vidtas av anestesisjuksköterskor för att lindra preoperativ oro. Syfte: Studiens syfte var att beskriva vilka omvårdnadsåtgärder som kan att vidtas av anestesisjuksköterskor för att lindra preoperativ oro hos patienten. Metod: Metod var integrerad litteraturöversikt bestående av 20 vetenskapliga artiklar, varav 14 kvantitativa och sex kvalitativa. Vid litteratursökning användes databaserna CINAHL och PubMed. Resultat: Analysen resulterade i fyra kategorier som beskriver omvårdnadsåtgärder som anestesisjuksköterskor kan vidta för att lindra preoperativ oro: Individanpassa den preoperativa informationen, Skapa en bekväm miljö, Bemöta individanpassat och empatiskt och Ha en lugnande närvaro och kommunikation. Slutsats: Analysen resulterade i fyra distinkta kategorier gällande omvårdnadsåtgärder mot preoperativ oro. Utifrån komfortteorin är det möjligt att anföra att om anestesisjuksköterskor kombinerar omvårdnadsåtgärder från de fyra kategorierna för att lindra patienters preoperativa oro har patienter större möjlighet att nå total komfort. Framtida forskning behövs avseende effekten av omvårdnadsåtgärder som utförs av just anestesisjuksköterskor samt effekten av patientens egna strategier för att lindra preoperativ oro. / Background: Previous research has identified several factors contributing to patients experiencing preoperative anxiety, which is a condition that can cause several negative consequences both directly in connection with the surgery, as well as long after the surgical procedure. One of the aims during a preoperative meeting between the nurse anesthetist and the patient is for the nurse anesthetist to ease the patient’s stress. Thus, it is of value to conduct and overview of current research regarding nursing interventions that can be conducted by nurse anesthetists to alleviate preoperative anxiety. Aim: The aim of the study was to describe what nursing interventions that nurse anesthetists can conduct to alleviate a patient’s preoperative anxiety. Method: Integrative literature review consisting of 20 scientific articles, of which 14 were quantitative and six qualitative. The literature search was conducted in the databases CINAHL and PubMed. Result: The analysis resulted in four categories describing nursing interventions that nurse anesthetists can conduct to alleviate a patient’s preoperative anxiety: Individualize the preoperative information, Create a comfortable environment, Treat individually and empathically and Have a soothing presence and communication. Conclusion: The integrative literature review with data from the 20 scientific articles resulted in four categories describing nursing interventions to alleviate preoperative anxiety. It is possible to say, based on the theory of comfort, that the patient has a greater chance to reach total comfort if nurse anesthetists combine multiple nursing interventions from the four categories to alleviate the patient’s preoperative anxiety. Future research is suggested to focus on the effect of nursing interventions performed by nurse anesthetists and the effect of the patient’s own strategies to alleviate preoperative anxiety.