You searched for subject:(Seguran a)
.
Showing records 1 – 7 of
7 total matches.
No search limiters apply to these results.
1.
Carneiro, Janderlin Patrick Rodrigues.
Impacto do Programa de Aquisi??o de Alimentos na sustentabilidade de agricultores familiares em Rio Preto da Eva - AM.
Degree: 2019, Universidade Federal do Amazonas
URL: https://tede.ufam.edu.br/handle/tede/7477
► O processo de moderniza??o da agricultura brasileira trouxe diferentes impactos socioecon?micos e ambientais, com a chamada Revolu??o Verde. A pobreza se intensificou pela distribui??o desigual…
(more)
▼ O processo de moderniza??o da agricultura brasileira trouxe diferentes impactos socioecon?micos e ambientais, com a chamada Revolu??o Verde. A pobreza se intensificou pela distribui??o desigual da terra, deslocamento os agricultores familiares para os centros urbanos e aumento da pobreza no mundo rural. A partir da metade da d?cada de 2000, o Estado brasileiro, buscou atender ?s demandas dos agricultores familiares criando pol?ticas p?blicas espec?ficas, em que se destacam os programas de compra institucional de alimentos dos agricultores familiares. O objetivo principal desta pesquisa foi avaliar os impactos gerados na sustentabilidade da agricultura familiar a partir da operacionaliza??o do Programa de Aquisi??o de Alimentos (PAA). Os interlocutores da pesquisa foram agricultores familiares associados ? Associa??o dos Produtores Rurais da Comunidade Nova Esperan?a (ASPRONES), que desenvolvem suas atividades ao longo do ramal do Banco, no munic?pio Rio Preto da Eva. Este munic?pio se destaca pelo volume de produ??o negociada com o programa PAA. Foram utilizados diferentes instrumentos metodol?gicos como pesquisa de campo e aplica??o de formul?rios (socioecon?mico, escala brasileira de inseguran?a alimentar e frequ?ncia alimentar). Os resultados indicaram que na compara??o entre os dois grupos de agricultores familiares: fornecedores e n?o-fornecedores, notou-se a influ?ncia do Programa em seus mais diferentes aspectos. O resultado permitiu concluir que o PAA contribuiu para a sustentabilidade dos agricultores familiares.
The process of modernization of Brazilian agriculture brought different socioeconomic and environmental impacts, with the so-called Green Revolution. Poverty was intensified by the uneven distribution of land, displacement of family farmers to urban centers and increased poverty in the rural world. Since the mid-2000s, the Brazilian State has sought to meet the demands of family farmers by creating specific public policies, in which institutional programs for the purchase of food from family farmers stand out. The main objective of this research was to evaluate the impacts generated in the sustainability of family agriculture from the operationalization of the Food Acquisition Program (PAA). The research partners were family farmers associated with the Association of Rural Producers of the Nova Esperan?a Community (ASPRONES), which develop their activities along the branch of the Bank, in the municipality Rio Preto da Eva. This municipality stands out for the volume of production negotiated with the PAA program. Different methodological instruments were used as field research and application of forms (socioeconomic, Brazilian scale of food insecurity and frequency of feeding). The results indicate that in the comparison between the two groups of family farmers: suppliers and non-suppliers, we can see the influence of the program in its different aspects. The result allows to conclude that the PAA contributed to the sustainability of family farmers.
Keywords: Family farming. Sustainability.…
Advisors/Committee Members: Pereira, Cloves Farias, 668137272-49, http://lattes.cnpq.br/2044866546851722, Santiago, Jozane Lima, 418382032-49, http://lattes.cnpq.br/2247173263656567, Fraxe, Therezinha de Jesus Pinto, 187554702-97, http://lattes.cnpq.br/1464615574272190, Silva, Carlos Augusto da, 068502782-15, http://lattes.cnpq.br/7477532256270106, [email protected].
Subjects/Keywords: Agricultura familiar - Rio Preto da Eva (AM); Programa de Aquisi??o de Alimentos (Brasil); Seguran?a alimentar; OUTROS; Agricultura familiar; Sustentabilidade; Pol?ticas p?blicas; Seguran?a alimentar
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Carneiro, J. P. R. (2019). Impacto do Programa de Aquisi??o de Alimentos na sustentabilidade de agricultores familiares em Rio Preto da Eva - AM. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7477
Chicago Manual of Style (16th Edition):
Carneiro, Janderlin Patrick Rodrigues. “Impacto do Programa de Aquisi??o de Alimentos na sustentabilidade de agricultores familiares em Rio Preto da Eva - AM.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed February 27, 2021.
https://tede.ufam.edu.br/handle/tede/7477.
MLA Handbook (7th Edition):
Carneiro, Janderlin Patrick Rodrigues. “Impacto do Programa de Aquisi??o de Alimentos na sustentabilidade de agricultores familiares em Rio Preto da Eva - AM.” 2019. Web. 27 Feb 2021.
Vancouver:
Carneiro JPR. Impacto do Programa de Aquisi??o de Alimentos na sustentabilidade de agricultores familiares em Rio Preto da Eva - AM. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2021 Feb 27].
Available from: https://tede.ufam.edu.br/handle/tede/7477.
Council of Science Editors:
Carneiro JPR. Impacto do Programa de Aquisi??o de Alimentos na sustentabilidade de agricultores familiares em Rio Preto da Eva - AM. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7477
2.
Silva, Alex Mariano Rosa da.
Programa de cirurgia segura: proposta para consolidar a implementa??o em dois hospitais p?blicos terci?rios em Manaus-AM.
Degree: 2019, Universidade Federal do Amazonas
URL: https://tede.ufam.edu.br/handle/tede/7369
► JUSTIFICATIVA: A Organiza??o Mundial da Sa?de (OMS) implantou, em 2007, o Programa ?Cirurgia Segura Salva Vidas? com o intuito de diminuir incidentes e acidentes no…
(more)
▼ JUSTIFICATIVA: A Organiza??o Mundial da Sa?de (OMS) implantou, em 2007, o
Programa ?Cirurgia Segura Salva Vidas? com o intuito de diminuir incidentes e
acidentes no per?odo perioperat?rio. No Brasil, em muitas institui??es, apesar de
anunciadamente implantado, o Programa n?o segue estritamente as regras
estipuladas pela OMS. Nos dois maiores hospitais terci?rios formadores de recursos
humanos na ?rea da Cirurgia, em Manaus, n?o ? diferente, sendo esta uma realidade
a ser mudada. OBJETIVOS: Geral: Propor m?todo para melhorar o emprego efetivo
do Protocolo de Cirurgia Segura em dois hospitais p?blicos terci?rios da cidade de
Manaus. Espec?ficos: Conhecer o processo de execu??o do Protocolo de Cirurgia
Segura nos dois hospitais; avaliar a ades?o da lista de controle de cirurgia segura pela
equipe cir?rgica; introduzir t?cnica estruturada de concep??o de estrat?gias de
inova??o que confira suporte ? implementa??o efetiva do Protocolo de Cirurgia Segura
(PCS) nos dois hospitais p?blicos; proposi??o de solu??es para garantir a execu??o
plena do PCS. M?TODO: Utilizou-se o Design Thinking como estrat?gia de solu??o
de problemas com amostra de profissionais de centro cir?rgico dos dois hospitais.
Ap?s revis?o da literatura sobre o assunto, seguiu-se a aplica??o das seguintes
etapas: 1) Descoberta do problema: observa??o n?o intervencionista (shadowing) em
ambos os hospitais; 2) S?ntese do problema, descrevendo o que foi observado e
discutindo com os interessados na mudan?a; 3) Desenvolvimento e cocria??o da
solu??o do problema com os participantes da pesquisa com prototipagem da solu??o;
e 4) Implementa??o da solu??o testada com estabelecimento da proposi??o final.
RESULTADOS: Sessenta e tr?s profissionais diretamente envolvidos em atos
cir?rgicos nos dois hospitais analisados foram inclu?dos. O shadowing foi desenvolvido
num total de 120h nos dois hospitais. Dele redundou relat?rio que apontou, para
ambos os hospitais, v?rias inst?ncias de descumprimento do PCS. Diante das
observa??es, socializadas com os participantes da pesquisa, foram discutidos os
porqu?s do descumprimento do PCS conforme norma internacional (S?ntese). Na
sequ?ncia, estando a problem?tica definida, em reuni?es com os participantes,
procedeu-se ? cocria??o da solu??o para o problema, estabelecendo-se m?todo em
que a mesma foi testada (prototipagem), decidindo-se iniciar a execu??o do PCS com
um dos servi?os cir?rgicos dos hospitais estudados. Finalmente, diante dos resultados
obtidos, prop?s-se solu??es definitivas a serem implementadas a fim de que o PCS
passe a ser efetivamente executado nos dois hospitais. CONCLUS?ES: Conheceuse o processo de execu??o do PCS nos dois hospitais escolhidos, observando-se que
o referido protocolo n?o era efetivamente executado. N?o se observou, inicialmente,
haver ades?o ? lista de controle de cirurgia segura (checklist) em ambos os hospitais,
e, ap?s a interven??o feita pelos pesquisadores, ainda se observou resist?ncia em
cumpri-la. Foi utilizado o m?todo Design Thinking para o…
Advisors/Committee Members: Silva, Ivan Tramujas da Costa e, 27571262968, http://lattes.cnpq.br/9640083128507793, Batista, Bruno Bruno Bellaguarda, http://lattes.cnpq.br/6170543311749874, Rocha, Mirian da Silva, http://lattes.cnpq.br/9090787223992119, Westphal, Fernando Luiz, http://lattes.cnpq.br/7831682850070733, [email protected].
Subjects/Keywords: Pacientes - Medidas de seguran?a; Cirurgi?es - Atitudes; Cirurgia; CIENCIAS DA SAUDE::MEDICINA; Seguran?a do paciente; Cirurgia; Atitude do pessoal da sa?de
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Silva, A. M. R. d. (2019). Programa de cirurgia segura: proposta para consolidar a implementa??o em dois hospitais p?blicos terci?rios em Manaus-AM. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7369
Chicago Manual of Style (16th Edition):
Silva, Alex Mariano Rosa da. “Programa de cirurgia segura: proposta para consolidar a implementa??o em dois hospitais p?blicos terci?rios em Manaus-AM.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed February 27, 2021.
https://tede.ufam.edu.br/handle/tede/7369.
MLA Handbook (7th Edition):
Silva, Alex Mariano Rosa da. “Programa de cirurgia segura: proposta para consolidar a implementa??o em dois hospitais p?blicos terci?rios em Manaus-AM.” 2019. Web. 27 Feb 2021.
Vancouver:
Silva AMRd. Programa de cirurgia segura: proposta para consolidar a implementa??o em dois hospitais p?blicos terci?rios em Manaus-AM. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2021 Feb 27].
Available from: https://tede.ufam.edu.br/handle/tede/7369.
Council of Science Editors:
Silva AMRd. Programa de cirurgia segura: proposta para consolidar a implementa??o em dois hospitais p?blicos terci?rios em Manaus-AM. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7369
3.
Carvalho, Claudemar Guarlote de.
Seguran?a alimentar e gest?o participativa dos agricultores familiares que atuam no fornecimento de alimentos do PAA Manacapuru (Amazonas, Brasil).
Degree: 2019, Universidade Federal do Amazonas
URL: https://tede.ufam.edu.br/handle/tede/7718
► O trabalho tem como objetivo verificar se agricultura familiar e as pol?ticas p?blicas, voltadas ? garantia de mercados para a produ??o da agricultura familiar, se…
(more)
▼ O trabalho tem como objetivo verificar se agricultura familiar e as pol?ticas p?blicas, voltadas ? garantia de mercados para a produ??o da agricultura familiar, se consolida com a cria??o do programa de aquisi??o de alimentos ? PAA, que tem com um dos seus principais objetivos o fortalecimento da agricultura familiar. Nesse contexto verifica-se o programa est? promovendo ou n?o a seguran?a alimentar (SAN) e se est? contribuindo com a receita e qualidade de vida dos fornecedores de alimentos da Cooperativa dos Trabalhadores da Agricultura Familiar COOTAF do Munic?pio de Manacapuru ? AM. Al?m de analisar se o programa do PAA tem sido uma ferramenta importante na sustentabilidade econ?mico e social e SAN dos agricultores familiares participantes da pesquisa. Assim na busca pela resposta de qual ? o papel que o programa tem no fortalecimento da agricultura familiar e considerando que o fortalecimento da agricultura tamb?m se d? atrav?s da organiza??o destes agricultores em associa??es ou cooperativas e nesse sentido foi feito um estudo de uma organiza??o social COOTAF, como uma alternativa de mercado e qual e a participa??o dos agricultores familiares dessa cooperativa com o mercado institucional, da? o interesse em buscar e coletar dados que pudessem contribuir com o entendimento da forma com que o PAA contribui para a seguran?a alimentar dos agricultores familiares da cooperativa, sendo est? escolhida por ser uma cooperativa que comercializa seus produtos da agricultura familiar diretamente para o PAA doa??o da CONAB-AM, e entender qual a import?ncia desse mercado institucional para os agricultores familiares da COOTAF. Os resultados da pesquisa confirmam parcialmente, demonstrando que o PAA de fato fortalece a agricultura familiar e que pode ser considerado como uma estrat?gia de pol?ticas p?blicas, de gera??o de receita e de retomo financeiro para os agricultores possibilitando a seguran?a alimentar de SAN e uma melhor qualidade de vida para os agricultores fornecedores de alimentos para o mercado institucional do PAA doa??o. Ao mesmo tempo, evidenciam que com o processo de comercializa??o via PAA, o produtor aumentou a sua renda e com isso modificou o seus h?bitos alimentares passando a consumir alimentos industrializados e desse modo podendo levar a uma, inseguran?a alimentar de INSAN, mas com rela??o aos agricultores familiares e o mercado institucional do PAA o mesmo vem cumprindo com os objetivos com que o programa foi proposto, e tem uma import?ncia significativa no fortalecimento da agricultura familiar e no desenvolvimento local, o investimento nessa ?rea por meio de pol?ticas p?blicas pode-se fomentar de forma positiva o desenvolvimento do setor rural, fazendo com que a comunidade desfrute de mais um segmento econ?mico, tendo em vista que a Agricultura Familiar, vem se fortalecendo com a venda dos produtos para o PAA no Estado do Amazonas.
The work aims to verify if family farming and public policies, aimed at guaranteeing markets for the production of family farming, are consolidated with the…
Advisors/Committee Members: Fraxe, Therezinha de Jesus Pinto, http://lattes.cnpq.br/1464615574272190, Oka, Jaisson Miyosi, http://lattes.cnpq.br/5952520937214398, Castro, Albejamere Pereira de, http://lattes.cnpq.br/7373400040002200, Silva, Carlos Augusto da, http://lattes.cnpq.br/7477532256270106.
Subjects/Keywords: Agricultura Familiar; Pol?ticas P?blicas; Seguran?a Alimentar; Programa de Aquisi??o de Alimentos; Cooperativas de produtores; CI?NCIAS AGR?RIAS; Seguran?a Alimentar; Agricultura Familiar; Cooperativa; Pol?ticas P?blicas
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Carvalho, C. G. d. (2019). Seguran?a alimentar e gest?o participativa dos agricultores familiares que atuam no fornecimento de alimentos do PAA Manacapuru (Amazonas, Brasil). (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7718
Chicago Manual of Style (16th Edition):
Carvalho, Claudemar Guarlote de. “Seguran?a alimentar e gest?o participativa dos agricultores familiares que atuam no fornecimento de alimentos do PAA Manacapuru (Amazonas, Brasil).” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed February 27, 2021.
https://tede.ufam.edu.br/handle/tede/7718.
MLA Handbook (7th Edition):
Carvalho, Claudemar Guarlote de. “Seguran?a alimentar e gest?o participativa dos agricultores familiares que atuam no fornecimento de alimentos do PAA Manacapuru (Amazonas, Brasil).” 2019. Web. 27 Feb 2021.
Vancouver:
Carvalho CGd. Seguran?a alimentar e gest?o participativa dos agricultores familiares que atuam no fornecimento de alimentos do PAA Manacapuru (Amazonas, Brasil). [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2021 Feb 27].
Available from: https://tede.ufam.edu.br/handle/tede/7718.
Council of Science Editors:
Carvalho CGd. Seguran?a alimentar e gest?o participativa dos agricultores familiares que atuam no fornecimento de alimentos do PAA Manacapuru (Amazonas, Brasil). [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7718
4.
Magalh?es, Luana Santiago de.
Efeito do g?s oz?nio na conserva??o de queijo coalho.
Degree: 2019, Universidade Federal do Amazonas
URL: https://tede.ufam.edu.br/handle/tede/7544
► Os queijos cont?m microrganismos desej?veis que contribuem positivamente para o desenvolvimento das caracter?sticas organol?pticas do produto. Entretanto, alguns microrganismos indesej?veis podem estar contidos, estes s?o…
(more)
▼ Os queijos cont?m microrganismos desej?veis que contribuem positivamente para o desenvolvimento das caracter?sticas organol?pticas do produto. Entretanto, alguns microrganismos indesej?veis podem estar contidos, estes s?o chamados de deteriorantes e/ou patog?nicos. A utiliza??o do oz?nio nos processos da ind?stria de alimentos vem crescendo ao longo dos anos, uma vez que tem gerado resultados positivos, pois o seu mecanismo de a??o atua diretamente nos componentes celulares. O objetivo deste trabalho foi avaliar a ocorr?ncia de altera??es na composi??o qu?mica e na carga microbiol?gica de queijo tipo coalho comercializado em Manaus ? AM, antes e ap?s a exposi??o ao g?s oz?nio. As amostras de queijo coalho artesanal foram coletadas em quatro feiras municipais da cidade de Manaus-AM. Foram coletadas tr?s amostras com peso de 250 g/amostra, por banca de venda, totalizando nove amostras por feira. As an?lises microbiol?gicas foram realizadas de acordo com a Instru??o Normativa n? 62 (MAPA, 2011) e para as an?lises bromatol?gicas foram usadas metodologias descritas pelo Instituto Adolfo Lutz (2008). Com base na an?lise estat?stica, os resultados significativos da aplica??o do g?s oz?nio foi o tempo de 6 horas em rela??o a redu??o da carga microbiana, e n?o houve altera??es relevantes na composi??o qu?mica do queijo analisado.
Cheeses contain desirable microorganisms that contribute positively to the development of the organoleptic characteristics of the product. However, some undesirable microorganisms may be contained, these are called spoilage and / or pathogens. Ozone utilization in food industry processes has been increasing over the years, as it has generated positive results, as its action mechanism acts directly on cellular components. The objective of this work was to evaluate the occurrence of changes in chemical composition and microbiological load of rennet cheese marketed in Manaus - AM, before and after exposure to ozone gas. The samples of artisanal coalho cheese were collected at four municipal fairs in Manaus-AM. Three samples weighing 250g / sample were collected per sales stand, totaling nine samples per fair. Microbiological analyzes were performed according to Normative Instruction n? 62 (MAPA, 2011) and for the bromatological analyzes methodologies described were used by the Adolfo Lutz Institute (2008). Based on the statistical analysis, the significant results of ozone gas application was the 6 hours time in relation to microbial load reduction, and there were no relevant changes in the chemical composition of the cheese analyzed.
FAPEAM - Funda??o de Amparo ? Pesquisa do Estado do Amazonas
Advisors/Committee Members: Costa Neto, Pedro de Queiroz, http://lattes.cnpq.br/9441888603413825, Pereira, Carlos Victor Lamar?o, http://lattes.cnpq.br/4615032888485093, Carvalho, Nilson Luiz de Aguiar, http://lattes.cnpq.br/8163327834949973.
Subjects/Keywords: Seguran?a alimentar; Queijo - Fabrica??o; Queijo - Microbiologia; Queijo de coalho; CI?NCIAS AGR?RIAS: CI?NCIA E TECNOLOGIA DE ALIMENTOS: TECNOLOGIA DE ALIMENTOS: TECNOLOGIA DE PRODUTOS DE ORIGEM ANIMAL; CI?NCIAS AGRARIAS: ZOOTECNIA; Seguran?a alimentar; B?cterias; Qualidade; Atmosfera Modificada
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Magalh?es, L. S. d. (2019). Efeito do g?s oz?nio na conserva??o de queijo coalho. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7544
Chicago Manual of Style (16th Edition):
Magalh?es, Luana Santiago de. “Efeito do g?s oz?nio na conserva??o de queijo coalho.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed February 27, 2021.
https://tede.ufam.edu.br/handle/tede/7544.
MLA Handbook (7th Edition):
Magalh?es, Luana Santiago de. “Efeito do g?s oz?nio na conserva??o de queijo coalho.” 2019. Web. 27 Feb 2021.
Vancouver:
Magalh?es LSd. Efeito do g?s oz?nio na conserva??o de queijo coalho. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2021 Feb 27].
Available from: https://tede.ufam.edu.br/handle/tede/7544.
Council of Science Editors:
Magalh?es LSd. Efeito do g?s oz?nio na conserva??o de queijo coalho. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7544
5.
Oliveira, Hyana Kamila Ferreira de; http://lattes.cnpq.br/5831299401855532.
Significados, a??es e interpreta??es dos discentes de enfermagem sobre a seguran?a do paciente.
Degree: 2020, Universidade Federal do Amazonas
URL: https://tede.ufam.edu.br/handle/tede/8007
► Introdu??o: Denomina-se Seguran?a do Paciente as medidas que s?o direcionadas ? preven??o do paciente em servi?os de sa?de contra riscos, danos desnecess?rios e eventos adversos…
(more)
▼ Introdu??o: Denomina-se
Seguran?a do Paciente as medidas que s?o direcionadas ? preven??o do paciente em servi?os de sa?de contra riscos, danos desnecess?rios e eventos adversos no momento da assist?ncia. A
seguran?a do paciente tem conduzido in?meros debates no atual cen?rio da sa?de mundial, com o objetivo de institucionaliza??o de melhores pr?ticas nos ambientes onde o paciente ? assistido. Para a constru??o da cultura de
seguran?a ? imprescind?vel abordar a
seguran?a do paciente nos diversos n?veis de ensino. Objetivo: Compreender os significados, a??es e interpreta??es atribu?dos acerca da tem?tica ?
seguran?a do paciente? por discentes do curso de enfermagem. Materiais e M?todos: Trata-se de um estudo explorat?rio, descritivo com abordagem qualitativa, utilizando-se como t?cnica de coleta de dados a entrevista semiestruturada e a an?lise documental. A entrevista semiestruturada foi realizada com 12 discentes concluintes do curso de gradua??o em enfermagem de uma Institui??o de Ensino Superior p?blica em um mun?cipio da regi?o norte do Estado do Amazonas, Brasil. Este estudo est? pautado na proposta te?rico-metodol?gica do Interacionismo Simb?lico. Para interpreta??o dos resultados utilizou-se a an?lise tem?tica. Na pesquisa documental foi realizada a investiga??o no Projeto Pedag?gico do Curso (PPC) e 12 planos de ensino do curso de enfermagem ? luz do Patient safety curriculum guide: multi-professional edition. Resultados: Os resultados gerados por meio das entrevistas dos discentes fizeram emergir tr?s categorias: ?O significado da
seguran?a do paciente?, ?Fatores que prejudicam a manuten??o da
seguran?a do paciente? e ?A inser??o do tema
seguran?a do paciente no curso de enfermagem?. Os significados para os discentes sobre a
seguran?a do paciente s?o, a redu??o de danos, a garantia da integridade do paciente, familiares e profissionais de sa?de, a promo??o da sa?de atrav?s do conhecimento adquirido na academia, da atitude do profissional e da pr?tica. Entre os fatores que prejudicam a manuten??o da
seguran?a do paciente citados pelos discentes est?o, a falta de implementa??o da
seguran?a do paciente em ambiente hospitalar, a falta de estrutura f?sica e de recursos humanos nos locais onde fazem as aulas pr?ticas e est?gios curriculares. Os discentes foram un?nimes ao declarar a necessidade da inser??o da
seguran?a do paciente como disciplina obrigat?ria no curso de enfermagem, bem como, a possibilidade de transversalidade no decorrer do curso. Os resultados da an?lise documental evidenciaram que existem conte?dos relacionados a
seguran?a do paciente referentes a nove dos onze t?picos do Patient safety curriculum guide: multi-professional edition no curso de gradua??o investigado. A abordagem ?
seguran?a do paciente foi identificada do 1? ao 10? per?odo no curso, com exce??o do 2?, 3? e 7? per?odo em que n?o foram identificados conte?dos relacionados ? tem?tica. Conclus?o: A realiza??o deste estudo possibilitou adentrar na realidade dos discentes de enfermagem de uma IES de um mun?cipio do interior do Amazonas,…
Advisors/Committee Members: Silva, Nair Chase da, http://lattes.cnpq.br/0446971881472652, Oliveira, Hadel?ndia Milon de, http://lattes.cnpq.br/8283844873211364, Lopes Neto, David.
Subjects/Keywords: Pacientes - Medidas de seguran?a; Pacientes hospitalizados - Enfermagem; Enfermagem - Estudo e ensino; CI?NCIAS DA SA?DE; Seguran?a do paciente; Educa??o em enfermagem; Programas de gradua??o em enfermagem; Curr?culo; Interacionismo simb?lico
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Oliveira, H. K. F. d. h. c. b. (2020). Significados, a??es e interpreta??es dos discentes de enfermagem sobre a seguran?a do paciente. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/8007
Chicago Manual of Style (16th Edition):
Oliveira, Hyana Kamila Ferreira de; http://lattes cnpq br/5831299401855532. “Significados, a??es e interpreta??es dos discentes de enfermagem sobre a seguran?a do paciente.” 2020. Masters Thesis, Universidade Federal do Amazonas. Accessed February 27, 2021.
https://tede.ufam.edu.br/handle/tede/8007.
MLA Handbook (7th Edition):
Oliveira, Hyana Kamila Ferreira de; http://lattes cnpq br/5831299401855532. “Significados, a??es e interpreta??es dos discentes de enfermagem sobre a seguran?a do paciente.” 2020. Web. 27 Feb 2021.
Vancouver:
Oliveira HKFdhcb. Significados, a??es e interpreta??es dos discentes de enfermagem sobre a seguran?a do paciente. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2020. [cited 2021 Feb 27].
Available from: https://tede.ufam.edu.br/handle/tede/8007.
Council of Science Editors:
Oliveira HKFdhcb. Significados, a??es e interpreta??es dos discentes de enfermagem sobre a seguran?a do paciente. [Masters Thesis]. Universidade Federal do Amazonas; 2020. Available from: https://tede.ufam.edu.br/handle/tede/8007
6.
Sousa, Felipe Rodrigues Monteiro; http://lattes.cnpq.br/4475065926209027.
Formal verification to ensuring the memory safety of C++ Programs.
Degree: 2020, Universidade Federal do Amazonas
URL: https://tede.ufam.edu.br/handle/tede/7762
► In the last three decades, memory safety issues in low-level programming languages such as C or C++ have been one of the significant sources of…
(more)
▼ In the last three decades, memory safety issues in low-level programming languages such as C or C++ have been one of the significant sources of security vulnerabilities; however, there exist only a few attempts with limited success to cope with the complexity of C++ program verification. This work describes and evaluates a novel verification approach based on bounded model checking (BMC) and satisfiability modulo theories (SMT) to verify C++ programs formally. This verification approach analyzes bounded C++ programs by encoding various sophisticated features that the C++ programming language offers into SMT, such as templates, sequential and associative containers, inheritance, polymorphism, and exception handling. We formalize these sophisticated features within our formal verification framework using a decidable fragment of first-order logic and then show how state-of-the-art SMT solvers can efficiently handle that. We implemented this verification approach on top of the Efficient SMT-Based Context-Bounded Model Checker (ESBMC). We compare ESBMC to LLBMC and DIVINE, which are state-of-the-art verifiers to check C++ programs directly from LLVM bitcode. The experimental evaluation contains a set of over 1,500 benchmarks from several sources (e.g., Deitel & Deitel, NEC Corporation, and GCC test suite), which covers several C++ features. Experimental results show that ESBMC can handle a wide range of C++ programs, presenting a higher number of correct verification results, and at the same time, it reduces the verification time if compared to LLBMC and DIVINE tools.
Este trabalho descreve e avalia o Efficient SMT-Based Context-Bounded Model Checker (ESBMC) para verificar formalmente programas C++. O ESBMC implementa a t?cnica de verifica??o de modelos limitados (do ingl?s, bounded model checking – BMC) com base em teorias do m?dulo da satisfabilidade (do ingl?s, satisfiability modulo theories – SMT) para lidar com recursos complexos que a linguagem de programa??o C++ oferece, tais como templates, cont?ineres sequenciais e associativos, heran?a, polimorfismo e manipula??o de exce??es. ESBMC ? comparado as ferramentas LLBMC e DIVINE, as quais verificam os programas C++ diretamente a n?vel de bitcode do LLVM. Resultados experimentais mostram que o ESBMC pode lidar com uma ampla gama de estruturas do C++, apresentando uma taxa de aproximadamente 85% de verifica??es corretas e, ao mesmo tempo, reduzindo o tempo de verifica??o se comparado as ferramentas LLBMC e DIVINE.
Advisors/Committee Members: Cordeiro, Lucas Carvalho, http://lattes.cnpq.br/5005832876603012, Barreto, Raimundo da Silva, http://lattes.cnpq.br/1132672107627968, Rocha, Herbert Oliveira, http://lattes.cnpq.br/2284500318304899.
Subjects/Keywords: Engenharia de Software; Software Verification; Model Checking; Memory Safety; Seguran?a de Mem?ria; CI?NCIAS EXATAS E DA TERRA: CI?NCIA DA COMPUTA??O: METODOLOGIA E T?CNICAS DA COMPUTA??O: ENGENHARIA DE SOFTWARE; Software Verification; Model Checking; C++; Memory Safety; Engenharia de Software; Verifica??o Formal; Seguran?a de Mem?ria
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Sousa, F. R. M. h. c. b. (2020). Formal verification to ensuring the memory safety of C++ Programs. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7762
Chicago Manual of Style (16th Edition):
Sousa, Felipe Rodrigues Monteiro; http://lattes cnpq br/4475065926209027. “Formal verification to ensuring the memory safety of C++ Programs.” 2020. Masters Thesis, Universidade Federal do Amazonas. Accessed February 27, 2021.
https://tede.ufam.edu.br/handle/tede/7762.
MLA Handbook (7th Edition):
Sousa, Felipe Rodrigues Monteiro; http://lattes cnpq br/4475065926209027. “Formal verification to ensuring the memory safety of C++ Programs.” 2020. Web. 27 Feb 2021.
Vancouver:
Sousa FRMhcb. Formal verification to ensuring the memory safety of C++ Programs. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2020. [cited 2021 Feb 27].
Available from: https://tede.ufam.edu.br/handle/tede/7762.
Council of Science Editors:
Sousa FRMhcb. Formal verification to ensuring the memory safety of C++ Programs. [Masters Thesis]. Universidade Federal do Amazonas; 2020. Available from: https://tede.ufam.edu.br/handle/tede/7762
7.
Costa, Elizangela Santos da.
Avaliando atributos de credibilidade de p?ginas Web utilizando Aprendizagem de M?quina.
Degree: 2020, Universidade Federal do Amazonas
URL: https://tede.ufam.edu.br/handle/tede/7807
► As informa??es compartilhadas na Web se propagam rapidamente, sejam elas verdadeiras ou n?o. O objetivo de reproduzir informa??es incorretas ou falsas est? relacionado a diversos…
(more)
▼ As informa??es compartilhadas na Web se propagam rapidamente, sejam elas verdadeiras ou n?o. O objetivo de reproduzir informa??es incorretas ou falsas est? relacionado a diversos fatores como manipula??o pol?tica, obten??o de benef?cios financeiros, dissemina??o de difama??es, entre outros. Sendo assim, verificar a credibilidade das informa??es dispon?veis na Web acaba sendo uma tarefa obrigat?ria. Dentre as diversas solu??es desenvolvidas para detectar se uma p?gina Web pode ser acreditada ou n?o, as baseadas em aprendizagem de m?quina s?o a mais empregadas. Esta disserta??o visa avaliar e definir atributos empreg?veis em um futuro modelo de avalia??o de credibilidade de p?ginas Web, por meio da extra??o de caracter?sticas do conte?do da p?gina e da rede, com o aux?lio de classificadores de aprendizagem de m?quina, possibilitando assim maior certeza sobre a credibilidade de p?ginas Web. Como resultado, esta disserta??o concluiu que o classificador Random Forest teve o melhor resultado para avalia??o de credibilidade de p?ginas web com 95.36% de acur?cia. Al?m de disponibilizar um script de extra??o de atributos, apontou tamb?m quais s?o os atributos mais relevantes e de f?cil extra??o que podem ser obtidos e qualquer URL, para isso utilizou 3 m?todos de sele??o de atributos: Select kbest, Sele??o RFE e Sele??o RFECV, no qual este ?ltimo apresentou o melhor resultado com 95.33% de acur?cia.
Information shared on the Web propagates quickly, whether true or not. Credibility in this context refers to the level of trust a user places subjectively on a Web page. The purpose of
reproducing incorrect information is related to several factors such as political manipulation,
obtain financial benefits, disseminate malicious defamation, among others. Therefore, verifying the credibility of the information available on the Web ends up being a mandatory task. Among the various techniques developed to detect whether aWeb page can be accredited or not, machine learning is the most used in comparison to the assessment of credibility manually. The purpose of this work is to evaluate and define attributes that can be used in a future model for assessing the credibility of Web pages, by extracting characteristics from the content of the page and the network, with the help of machine learning classifiers, thus enabling greater certainty on the credibility of web pages. As a result, this dissertation concluded that the Random Forest classifier had the best result for assessing the credibility of web pages with 95.36% accuracy. In addition to providing an attribute extraction script, also pointing out which are the most relevant and easy extraction attributes that can be selected for any URL, for that, 3 attribute selection methods are used: Select the best, RFE Selection and Selection RFECV, the last result with 95.33% accuracy.
Advisors/Committee Members: Feitosa, Eduardo Luzeiro, http://lattes.cnpq.br/5939944067207881, Giusti, Rafael, http://lattes.cnpq.br/0613781010575440, Santin, Altair Olivo, http://lattes.cnpq.br/9604696592563769.
Subjects/Keywords: Seguran?a da informa??o; Select kbest; Classificadores de aprendizagem de m?quina; Sele??o RFECV; Random Forest; CI?NCIAS EXATAS E DA TERRA: CI?NCIA DA COMPUTA??O; Credibilidade; Avalia??o de credibilidade; Web; Atributos
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Costa, E. S. d. (2020). Avaliando atributos de credibilidade de p?ginas Web utilizando Aprendizagem de M?quina. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7807
Chicago Manual of Style (16th Edition):
Costa, Elizangela Santos da. “Avaliando atributos de credibilidade de p?ginas Web utilizando Aprendizagem de M?quina.” 2020. Masters Thesis, Universidade Federal do Amazonas. Accessed February 27, 2021.
https://tede.ufam.edu.br/handle/tede/7807.
MLA Handbook (7th Edition):
Costa, Elizangela Santos da. “Avaliando atributos de credibilidade de p?ginas Web utilizando Aprendizagem de M?quina.” 2020. Web. 27 Feb 2021.
Vancouver:
Costa ESd. Avaliando atributos de credibilidade de p?ginas Web utilizando Aprendizagem de M?quina. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2020. [cited 2021 Feb 27].
Available from: https://tede.ufam.edu.br/handle/tede/7807.
Council of Science Editors:
Costa ESd. Avaliando atributos de credibilidade de p?ginas Web utilizando Aprendizagem de M?quina. [Masters Thesis]. Universidade Federal do Amazonas; 2020. Available from: https://tede.ufam.edu.br/handle/tede/7807
.