Este trabalho apresenta o desenvolvimento de um sistema de controle de absorção ativa de ondas como parte integrante da implementação de um novo tanque de ensaios de estruturas oceânicas na Universidade de São Paulo. O tanque é equipado com 148 geradores de onda dispostos em todo o seu perímetro para propiciar a geração de ondas em quaisquer direções. O método de absorção de ondas implementado é baseado em filtros digitais utilizando como realimentação hidrodinâmica a leitura de sensores de nível solidários ao gerador de ondas. Foram estudados filtro recursivos e não recursivos, unidimensionais e bidimensionais. Também é apresentado um método para a análise da estabilidade do sistema de controle em malha fechada. Para avaliar o desempenho do sistema de controle de absorção foi executada uma série de experimentos com ondas regulares com direção de propagação normal ao gerador de ondas e algumas direções oblíquas. Também foram executados ensaios com ondas irregulares na direção de propagação normal ao gerador de ondas. O coeficiente de reflexão experimental obtido apresentou boa aderência aos valores teóricos, apresentado um máximo de 5,61% para um ângulo de incidência entre 0 e 45 graus na faixa de frequência de operação do tanque. Nos ensaios com ondas oblíquas foi observado o aparecimento de uma ressonância lateral de ondas com frequência mais alta que a da onda gerada, o que impossibilitou a execução de ensaios de longa duração de ondas com ângulo de incidência diferente de 0 grau. No final são apresentadas sugestões para a correção deste problema. / This work presents the development of a control system for active absorption of waves as part of the implementation of a new test tank of ocean structures at the University of São Paulo. The tank is equipped with 148 wave generators disposed around its perimeter to allow the generation of waves in all directions. The implemented method of wave absorption is based on digital filters with hydrodynamic feedback given by level sensors solidary to the wave generator. Were studied recursive and non-recursive, one-dimensional and two-dimensional filters. A method for stability analysis of the closed loop control system it is also presented. To evaluate the performance of the absorption control system, a series of experiments was performed considering regular waves with propagation direction normal to the wave generator and some oblique directions. Were also performed tests with irregular waves with propagation direction normal to the wave generator. The experimental reflection coefficient obtained showed good adherence to the theoretical values, presenting a maximum of 5.61% for an angle of incidence between 0o to 45o in the frequency range of operation of the tank. In tests with oblique waves was observed the appearance of a lateral wave resonance with highest frequency of the generated wave, prohibiting the accomplishment of long term experiments of waves with different incidence angle of 0o. At the end it is made suggestions to correct this problem.

Submitted by PPG Ci?ncias Criminais (ppgccrim@pucrs.br) on 2017-07-20T16:33:13Z No. of bitstreams: 1 MARCELO_ MARCANTE_FLORES_TES.pdf: 1039206 bytes, checksum: 7c87e81a42f05bbb1e9c469597fdd434 (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-07-28T20:00:46Z (GMT) No. of bitstreams: 1 MARCELO_ MARCANTE_FLORES_TES.pdf: 1039206 bytes, checksum: 7c87e81a42f05bbb1e9c469597fdd434 (MD5) / Made available in DSpace on 2017-07-28T20:05:04Z (GMT). No. of bitstreams: 1 MARCELO_ MARCANTE_FLORES_TES.pdf: 1039206 bytes, checksum: 7c87e81a42f05bbb1e9c469597fdd434 (MD5) Previous issue date: 2017-05-18 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The present study aims to discuss the limits for the evidence sharing in criminal action, focusing on the individual while subject of rights and not a mere object of investigation as the perspective for the analysis. Especially regarding the increment in the new ways of obtaining evidence, which provide a substantial change in the way one should look at the preliminary investigation and the production of the evidence under the contradictory scrutiny. In the Brazilian criminal action context, the understanding of the Superior Courts does not face the issue of evidence sharing with the necessary depth, which is why it has been admitted in an unlimited and unrestricted way. Thus, forensic praxis has been seeing the evidence sharing procedure - between criminal actions or even between criminal process and inaction of a different nature - without following the evidence prohibitions established by constitutional and infraconstitutional legislation. The evidence sharing discussion should observe that the introduction of new ways of obtaining evidence entails a (re)discussion on its general theory and its guiding principles. Evidence prohibition must be respected, and usurping these parameters by transversal routes (the sharing of evidence) cannot be allowed when there is violation of the subject?s fundamental rights. The study of the subject also passes through the valuation of fortuitous knowledge, which means, when and under what circumstances the information obtained in a criminal investigation can be used (shared) with another process of criminal nature as well. However, the discussion about sharing evidence is not restricted to fortuitous knowledge, once it covers other situations. Thus, the doctrinal discussion about the borrowed evidence also takes over great importance, as it is a starting point for the definition of some minimum standards. Nevertheless, one should observe that the legal categories discussed in the scope of the borrowed evidence do not provide enough subsidies to delimit the situations in which evidence is obtained by invasive methods in relation to fundamental rights, it is necessary to go further in this aspect from the comparative legislation and the established principles discussion. The construction of these minimum standards to delimit the hypotheses in which sharing shall happen (or not) has as basis the treatment of the individual as a subject of rights and not merely the object of the investigation, in order to establish a direction for the judicial valuation for the Brazilian criminal proceedings situations. / Questo lavoro si propone di discutere i limiti alle prove condivisione nei procedimenti penali, in prospettiva analitica dell?individuo come soggetto di diritti e non mero oggetto di ricerca, soprattutto se si considera l'aumento di nuovi mezzi di raccolta delle prove che forniscono una sostanziale cambiamento nel nostro modo di affrontare l'istruttoria e la produzione di elementi di prova sotto il controllo del contraddittorio. Nel contesto della procedura penale brasiliana, la comprensione delle Corti Superiori non affronta la questione della condivisione di prove con la profondit? necessaria, che ? il motivo per cui questo ? stato permesso modo illimitato e senza restrizioni. Cos?, nella prassi forense ha controllato le prove condivisione tra procedimento penale o anche tra procedimento penale e un processo di diversa natura, senza rispettare i divieti di prova stabiliti dalla normativa costituzionale e infra-costituzionale. La questione della condivisione delle prove dovrebbe notare che l'introduzione di nuovi mezzi di ottenere prove conduce ad una (ri) discussione della sua teoria generale e dei suoi principi guida. I divieti di prova devono essere rispettate, non essendo in grado di ammettere il furto di questi parametri per un percorso trasversale (di condividere la prova), si ? stabilito violazione dei diritti fondamentali del titolare dei diritti. L'oggetto di studio permea anche la valutazione delle conoscenze casuali, cio?, quando e quali circostanze prima che le informazioni ottenute nell'ambito di un'indagine penale pu? essere utilizzato (in comune) con un altro processo anche criminale. Tuttavia, la discussione di condivisione delle prove non si limita alla conoscenza casuale, dato che copre altre situazioni. Cos?, la discussione dottrinale circa la prova in prestito anche di grande importanza come punto di partenza per la definizione di alcuni standarts minimi. Tuttavia, va notato che le categorie legali riportate nella prova in prestito non fornisce sufficienti informazioni per definire i casi in cui le prove ? ottenuta con metodi invasivi ai diritti fondamentali, ? necessario compiere progressi in questo senso dal confronto e discussione la legislazione di principio stabilito. La costruzione di questi standarts minimi per definire le situazioni in cui sar? (o non) ha ammesso la condivisione, dovrebbe trattare l'individuo come soggetto di diritti e non mero oggetto di ricerca, per stabilire un percorso per la valutazione giudiziaria delle situazioni concreta verificato nel procedimento penale brasiliano. / O presente trabalho tem o objetivo de discutir os limites ao compartilhamento de provas no processo penal, tendo como perspectiva de an?lise o indiv?duo enquanto sujeito de direitos e n?o mero objeto da investiga??o, sobretudo considerando o incremento dos novos meios de obten??o de prova que propiciam uma substancial altera??o na forma como devemos encarar a investiga??o preliminar e a produ??o da prova sob o crivo do contradit?rio. No contexto do processo penal brasileiro, o entendimento dos Tribunais Superiores n?o enfrenta a tem?tica do compartilhamento de provas com a profundidade necess?ria, raz?o pela qual esse tem sido admitido de forma ilimitada e irrestrita. Com isso, na pr?xis forense tem se verificado o compartilhamento de provas entre processos penais ou mesmo entre o processo penal e um processo de natureza distinta, sem observ?ncia das proibi??es de prova estabelecidas pela legisla??o constitucional e infraconstitucional. A problem?tica do compartilhamento de provas deve observar que a introdu??o dos novos meios de obten??o de prova acarreta uma (re)discuss?o da sua teoria geral e de seus princ?pios norteadores. As proibi??es de prova devem ser respeitadas, n?o se podendo admitir a usurpa??o desses par?metros por uma via transversa (o compartilhamento das provas), quando se verificar viola??o aos direitos fundamentais do sujeito de direitos. O estudo da tem?tica tamb?m perpassa a valora??o dos conhecimentos fortuitos, ou seja, quando e diante de quais circunst?ncias a informa??o obtida em uma investiga??o criminal pode ser utilizada (compartilhada) com outro processo tamb?m de natureza penal. Contudo, a discuss?o sobre o compartilhamento de provas n?o se restringe aos conhecimentos fortuitos, pois abarca outras situa??es. Assim, a discuss?o doutrin?ria sobre a prova emprestada tamb?m assume grande import?ncia como ponto de partida para defini??o de alguns standards m?nimos. Entretanto, deve-se observar que as categorias jur?dicas discutidas no ?mbito da prova emprestada n?o fornecem subs?dios suficientes para delimitar as situa??es em que a prova ? obtida pelos m?todos invasivos aos direitos fundamentais, sendo necess?rio avan?ar nesse aspecto a partir de legisla??o comparada e da discuss?o principiol?gica estabelecida. A constru??o desses standards m?nimos para delimitar as hip?teses nas quais ser? (ou n?o) admitido o compartilhamento, tem como pauta o tratamento do indiv?duo como sujeito de direitos e n?o mero objeto da investiga??o, de modo a estabelecer um norte para a valora??o judicial das situa??es concretas verificadas no processo penal brasileiro.

Submitted by PPG Ci?ncias Criminais (ppgccrim@pucrs.br) on 2018-07-11T18:42:24Z No. of bitstreams: 1 Disserta??o_Ivan Jezler Costa J?nior_vers?o dep?sito biblioteca PUCRS_08_06_2018_com capa e contracapa.pdf: 2153899 bytes, checksum: 22b1ffc03b820d4e1b4f17b19739ea18 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-07-16T13:19:03Z (GMT) No. of bitstreams: 1 Disserta??o_Ivan Jezler Costa J?nior_vers?o dep?sito biblioteca PUCRS_08_06_2018_com capa e contracapa.pdf: 2153899 bytes, checksum: 22b1ffc03b820d4e1b4f17b19739ea18 (MD5) / Made available in DSpace on 2018-07-16T13:27:26Z (GMT). No. of bitstreams: 1 Disserta??o_Ivan Jezler Costa J?nior_vers?o dep?sito biblioteca PUCRS_08_06_2018_com capa e contracapa.pdf: 2153899 bytes, checksum: 22b1ffc03b820d4e1b4f17b19739ea18 (MD5) Previous issue date: 2018-03-22 / This paper analyzes the Civil Internet Framework in the context of the right to evidence in criminal proceedings. From the new technological resources of investigation energized by electronic compartments and by the Internet, the main legislative vacuums were pointed out in the orientation of these means of proof. There are no strong guiding rules, which contributed to a jurisprudential oscillation, with arbitrariness and decisionism in judicial decisions analyzed. In the pursuit of an absolute and anticipated truth, the trivialization of the hidden means of investigation had been demonstrated, even directly, when a public audience had been witnessed and concluded, which pursued the insertion of back door in applications with rigid encryption to propitiate the collection of communications stored in these telematic vehicles. The criminal prosecution organs questioned on this solemnity still supported the suppression of the rules of international cooperation for the collection of electronic data abroad. The distinction between interception and capture of conversations had still been drawn in a watertight manner. The general objective of the research is to analyze if the Civil Framework of the Internet presents itself as sufficient to regulate the capture of telematic data stored in electronic compartments. For that, a critical and multidisciplinary analysis of the themes was done, based on the consultation of scientific works and journalistic publications, and the documentary research was used to demonstrate the need to face the theme and the practical relevance of the theme, as attested by the analysis of the decisions of the Superior Courts and manifestations of other procedural subjects. As a result, the necessity of a proper legal regime for the search of digital data stored in electronic compartments was evidenced. The devices that regulate orthodox search and seizure do not have the ability to maintain the integrity and sameness of content volatile, tangible, and easily deteriorated. At the same time, in the wake of what had been commented on the ontological distinction between interception and informational search, the rule of Law no. 9,296, dated July 24, 1996, can not preserve the specificities of the collection of stored content. In this step, the application of the extensive and privileged interpretation, a taxation with protection in a constitutional hermeneutic, had been removed. It is concluded that the Civilian Internet Framework did not provide, with requirements and assumptions, the blind spot mentioned. There are no clear rules as to legitimacy, competence, reasoning and timing. This void provided the analysis of decisions of the first degree to the Federal Supreme Court, which evidenced the legal insecurity built by a non-existent or deficient legislation. / Este trabalho analisa o Marco Civil da Internet no contexto do direito ? prova no processo penal. A partir dos novos recursos tecnol?gicos de investiga??o energizados por compartimentos eletr?nicos e pela Internet, elencaram-se os principais v?cuos legislativos na orienta??o desses meios de prova. N?o h? regras orientadoras fortes, o que contribuiu para uma oscila??o jurisprudencial, com arbitrariedade e decisionismo em decis?es jurisdicionais analisadas. Na busca de uma verdade absoluta e antecipada, a banaliza??o dos meios ocultos de investiga??o fora demonstrada, inclusive diretamente, quando se presenciou e se colocou, a termo, uma audi?ncia p?blica que perseguiu a inser??o de porta dos fundos em aplicativos com criptografia r?gida para propiciar a coleta de comunica??es armazenadas nesses ve?culos telem?ticos. Os ?rg?os de persecu??o penal inquiridos nessa solenidade ainda sustentaram a supress?o das regras de coopera??o internacional para a coleta de dados eletr?nicos no exterior. Ainda fora tra?ada a distin??o entre intercepta??o e capta??o das conversas de maneira estanque. O objetivo geral da pesquisa busca analisar se o Marco Civil da Internet se apresenta como suficiente para regrar a capta??o de dados telem?ticos armazenados em compartimentos eletr?nicos. Para tanto, foi realizada uma an?lise cr?tica e multidisciplinar dos temas, a partir da consulta a trabalhos cient?ficos e publica??es jornal?sticas, sendo cogente a pesquisa documental para demonstrar a necessidade de enfrentamento do tema e a relev?ncia pr?tica do mesmo, como ficou atestado pela an?lise das decis?es dos Tribunais Superiores e manifesta??es de outros sujeitos processuais. Como resultado, evidenciou-se a necessidade de um regime jur?dico pr?prio para a busca de dados digitais armazenados em compartimentos eletr?nicos. Os dispositivos que regram a busca e apreens?o ortodoxa n?o t?m o cond?o de manter a integridade e mesmidade de conte?do vol?til, tang?vel e com f?cil deteriora??o. Ao mesmo tempo, na esteira do que fora comentado sobre a distin??o ontol?gica entre intercepta??o e busca informacional, o regramento da Lei n. 9.296, de 24 de julho de 1996, n?o pode preservar as especificidades da coleta de conte?do armazenado. Nesse passo, fora afastada a aplica??o da interpreta??o extensiva e privilegiada, uma taxatividade com amparo em uma hermen?utica constitucional. Conclui-se que o Marco Civil da Internet n?o supriu, com requisitos e pressupostos, o ponto cego mencionado. N?o h? regras claras quanto ? legitimidade, compet?ncia, fundamenta??o e prazo. Esse vazio proporcionou a an?lise de decis?es do primeiro grau ao Supremo Tribunal Federal, o que evidenciou a inseguran?a jur?dica constru?da por uma legisla??o inexistente ou deficiente.

Submitted by PPG Ci?ncias Criminais (ppgccrim@pucrs.br) on 2018-07-13T14:48:23Z No. of bitstreams: 1 ANDREA - disserta??o final.pdf: 2091650 bytes, checksum: 7b81ae03a610f71f23246b337d637540 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-07-20T12:31:21Z (GMT) No. of bitstreams: 1 ANDREA - disserta??o final.pdf: 2091650 bytes, checksum: 7b81ae03a610f71f23246b337d637540 (MD5) / Made available in DSpace on 2018-07-20T12:40:19Z (GMT). No. of bitstreams: 1 ANDREA - disserta??o final.pdf: 2091650 bytes, checksum: 7b81ae03a610f71f23246b337d637540 (MD5) Previous issue date: 2018-03-26 / The present work has the objective of analyzing the neuroscientificevidence in the criminal processalongwith its bioethicalimplications. Neuroethics and Neuroscience are also analyzed in modern and historicalcontextualization in the company of theirphilosophicalramifications. It discusses the dilemmasfaced for centuries by neurosciencetogetherwith the applicability of neuro-sensoryevidence in the courts and with the development of privilege in common law. After, here is discussed the question of actualevidence, the penal, scientific and neuroscientific evidence along with their species : namelythe PET, the SPECT and thefMRI, wherehere are discussed theirhistorical background and theiradmissibility as instruments to detect lies.Subsequently, the topic of transcranialmagneticstimulation and otherpsychiatrictechniques are addressed, takingintoaccount its bioethical, neuroethic and legal aspects. Finding the presentdissertationwith the evaluation and reliability of the neuroscientificevidence and it?s legal implications, showing in this final chapter the standards of scientificevidence, the judge and the juryevaluation and the Bioethical implications brought withsuch evidence in the light of Fundamental Rights. / O presente trabalho tem o objetivo de analisar as provas neurocient?ficas no processo penal juntamente com as suas implica??es bio?ticas. Analisa-se, ainda, a contextualiza??o moderna e hist?rica da Neuro?tica e da Neuroci?ncia em companhia de suas ramifica??es filos?ficas e debatem-se os dilemas enfrentados pela Neuroci?ncia quanto ? aplicabilidade das provas neurocient?ficas nos tribunais e com o desenvolvimento do privilege na common law. Na sequ?ncia, discute-se a quest?o das provas propriamente ditas: as provas penais, cient?ficas e neurocient?ficas junto com as suas esp?cies, quais sejam a PET, a SPECT e a fMRI, em que se discorre sobre o hist?rico e sobre a admissibilidade desses instrumentos como detectores de mentiras. Posteriormente, ? tratado o tema da estimula??o magn?tica transcraniana e outras t?cnicas psiqui?tricas, levando em conta os seus aspectos bio?ticos, neuro?ticos e jur?dicos. Finalmente, aborda-se a valora??o e a confiabilidade das provas neurocient?ficas e suas implica??es jur?dicas, mostrando os standards das provas cient?ficas, a valora??o do juiz e do j?ri e as implica??es bio?ticas trazidas com tais evid?ncias ? luz dos direitos fundamentais.

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-12-14T11:44:56Z No. of bitstreams: 1 José Américo Zampar Júnior.pdf: 1696664 bytes, checksum: 18a0c629a2f92a3a673492e43792847d (MD5) / Made available in DSpace on 2018-12-14T11:44:57Z (GMT). No. of bitstreams: 1 José Américo Zampar Júnior.pdf: 1696664 bytes, checksum: 18a0c629a2f92a3a673492e43792847d (MD5) Previous issue date: 2018-11-27 / The purpose of this dissertation was to answer the question whether there is only one single moment and no other moment to produce the evidence in the process. In order to answer the question, we investigated the possibility of producing evidence in appeals. The research was developed under a theoretical-doctrinal bias, analyzing four distinct aspects of the procedural phenomenon: the parties, the judge, the appeals and the evidence. It was analyzed when the parties can produce evidence in a court seat, the legal action of the trial for the production of evidence, which features involve the production of evidence and which evidence be produced after the typical investigation phase. This dissertation traces the beacons so that evidence can be produced after the time provided for procedural instruction. It was concluded that it is possible to produce evidence in a court seat, but this is not a rule, but an exception to the system and clarifies and complements the factual-evidential framework of the case or allows the decision to reflect the current state of the litigious object, with the insertion of facts and evidence supervenientes in the process / A presente dissertação teve como objetivo responder à questão se existe apenas um momento único e excludente de qualquer outro para a produção da prova no processo. Para responder à questão investigou-se a possibilidade de serem produzidas provas em sede de recursos. A pesquisa foi desenvolvida sob um viés teórico-doutrinário, analisando quatro aspectos distintos do fenômeno processual: as partes, o juiz, os recursos e as provas. Analisou-se quando as partes podem produzir provas em sede recursal, a atuação de ofício do juízo para a produção das provas, quais recursos comportam a produção de provas e quais provas comportam serem produzidas posteriormente à fase instrutória típica. O trabalho traça as balizas para que a prova possa ser produzida após o momento previsto para a instrução processual. Concluiu-se ser possível a produção de prova em sede recursal, todavia esta não é regra, mas exceção do sistema e se volta a aclarar e complementar o quadro fático-probatório do processo ou possibilitar que a decisão reflita o estado atual do objeto litigioso, com a inserção de fatos e provas supervenientes no processo

Este trabalho aborda uma análise comparativa dos resultados obtidos em provas de carga à tração, com os diversos métodos de previsão de carga última de estacas tracionadas. Os ensaios foram realizados no campo experimental de fundações do Departamento de Geotecnia da USP/São Carlos, sobre estacas apiloadas, escavadas a trado helicoidal e do tipo Strauss, com diâmetros de 20 a 32 cm, e comprimentos de 6 e 9 m. Observou-se que os métodos que consideram a ruptura na interface solo-estaca são os que conduzem a resultados mais satisfatórios de previsão. Ademais, estudou-se a colapsibilidade da ligação solo-estaca, uma vez que as estacas analisadas têm seu fuste embutido em solo de estrutura comprovadamente colapsível. Para tanto, realizaram-se as provas de carga primeiramente com o solo em estado natural e, posteriormente, inundado por 48 h, na carga de trabalho. Constatou-se o colapso da ligação solo-estaca nas cinco estacas, sendo que em três delas - duas escavadas e uma apiloada -, o colapso deu-se na carga de trabalho, com tempos de inundação inferiores a 48 h; nas outras duas estacas, após 48 h de inundação, prossegui-se normalmente com os incrementos de carga, ocorrendo o colapso para 60 e 78% das cargas respectivas de ruptura. / This dissertation deals with an analysis by comparison of results obtained with piles submitted to axial uplift foreces using several prediction methods of ultimate loads. The pile tests were performed in the Experimental Site of the Departament of Geotechnical Engineering of USP/São Carlos, on bored, hammed and Strauss pile types, with diameters varying from 0,20 to 0,32 m and 6 to 9 m long. It was observed that the methods that took into account the pile-soil interface failure yelded better results. Moreover, the pile-soil interface colapsibility was analyzed, once the shaft of the studied piles were embedded in soil whose structure are truly collapsible. For this, pile testings were performed both in the natural soil conditions and soaked during 48 h for working load. Collapse was observed in the pile-soil interface in five piles. For three of them (two of which were bored and one hammed) the failure took place with working loads under 48 h soaking time; in two others, the failure, occured after 48 h soaking time with loads equivalents to 60% and 78% of natural soil\'s ultimate loads, respectively.

Nos últimos anos, tem-se observado nas instituições de ensino superior, públicas e particulares, uma grande dificuldade dos alunos da área da saúde na aprendizagem de Bioquímica. Este problema deve-se principalmente ao uso da abstração para descrever fenômenos que acontecem em nível molecular, além da exigência de conhecimentos básicos de química. Portanto, para tornar a disciplina de Bioquímica efetiva na formação dos nutricionistas é necessário adotar medidas focadas nas principais dificuldades dos alunos. É muito importante ressaltar a necessidade de uma análise do ensino de Bioquímica no curso de Nutrição de uma Instituição de Ensino Superior da rede particular, pois sua contribuição para a formação profissional é, quantitativamente, superior às públicas. Contudo, as reais condições de ensino/aprendizado vigentes têm sido pouco estudadas, do ponto de vista acadêmico. A presente pesquisa identificou as principais dificuldades dos alunos no aprendizado de Bioquímica e propôs alternativas para seu aprimoramento, usando como modelo de estudo a disciplina de Bioquímica no curso de Nutrição em uma Instituição de Ensino Superior da rede particular. Durante a pesquisa, foi traçado um perfil da instituição e dos estudantes, foram realizados questionários e testes, para investigar as principais dificuldades no aprendizado de Bioquímica. Concluímos que os alunos têm grande dificuldade com as representações simbólicas, problemas em compreender palavras novas, interpretar textos e gráficos. Então, foram realizados exercícios direcionados à melhora da compreensão das representações simbólicas, interpretações de textos e gráficos e a cada palavra nova o seu significado era explicado. Diante da necessidade de compreensão de um conceito químico, o assunto era abordado. Também foram realizadas provas em grupo, para que os alunos tivessem a oportunidade de discutir de forma ativa os problemas apresentados. Para avaliar a eficácia das intervenções foram realizados os mesmos testes usados para diagnosticar o problema. No teste realizado para avaliar o entendimento das representações simbólicas (literacia visual), os alunos acertaram grande parte das questões. Apresentaram considerável evolução nos testes de interpretação de gráficos e de palavras novas. Comparando os depoimentos antes e depois das intervenções pudemos identificar uma maior satisfação no aprendizado por parte do aluno. Podemos concluir que, dentro da realidade apresentada, foi possível aprimorar de forma considerável o aprendizado da disciplina de Bioquímica, que é de suma importância para a formação dos futuros nutricionistas / In recent years, it has been observed that life science students in both private and public universities have great difficulties in learning biochemistry. This problem is due mostly to the lack of abstract thought, required for understanding phenomena at the molecular level, accompanied by lack of basic chemistry knowledge. Therefore to improve the effectiveness of biochemistry teaching it is necessary to adopt measures that address the main students\' difficulties The analysis of biochemistry teaching in the Nutrition course of a private university is considered essential given that their student output is superior to public universities\'. Despite of this, academic research on the actual teaching & learning conditions in private universities is limited. The current research used the teaching of biochemistry to Nutrition students of a private university as a case study. Profiles of the institution and students were drawn and questionnaires and tests carried out to investigate the main difficulties faced by students. We concluded that students have great difficulty in understanding symbolic representations, have problems in understanding new vocabulary and interpreting texts and graphs. Therefore, students were subjected to exercises aimed at developing the understanding of symbolic representations and text and graphics interpretation, with the meaning of each new word explained. Chemistry concepts were discussed as required. Assessments were held in small groups, to provide students the opportunity to actively discuss the issues being presented. To evaluate the effectiveness of these interventions the students were subjected to the same tests used to evaluate their difficulties . The visual literacy test showed considerable improvements in graphs interpretation and new vocabulary. A comparison of before and after evaluation sheets pointed that students were more satisfied with the learning experience following the interventions. Therefore we conclude that it was possible to significantly improve biochemistry learning, paramount to a Nutritionist\'s training

[pt] Na antologia que M.E. Szabo realizara dos trabalhos de Gentzen e publicara em 1969 se transcrevem, em um apêndice, algumas passagens apresentadas por Bernays ao editor pertencentes a uma primeira prova de consistência para a Aritmética de Peano realizada por Gentzen que não tinha sido publicada até então. À diferença das outras provas de consistência realizadas por Gentzen e já conhecidas na década de trinta, esta prova não utiliza o procedimento de indução transfinita até e0. Ao contrário, baseia-se na definição de um processo de redução de seqüentes que se associa sistematicamente a todo seqüente derivável permitindo reconhecê-lo como verdadeiro. Nós reconstruímos essa prova realizando algumas variações e estudamos o modo pelo qual a técnica principal utilizada (a definição do processo de redução de seqüentes) pode ser vista em relação a resultados da lógica clássica de primeira ordem tais como provas de completude. A parte central da nossa dissertação é a realização de uma versão desta prova de consistência para um sistema formal para a Aritmética de Heyting. / [en] In the antology of Gentzens works made by M.E.Szabo and published in 1969, we find out in an appendix, some passages presented by Bernays to the editor. These texts belong to a first proof of Peanos Arithmetic consistency that Gentzen did not publish. In a different way from the other proofs of consistency made by Gentzen and already known in the thirties, this proof does not use the procedure of transfinite induction up to e0. On the contrary, it is based on the definition of a reduction process for sequents that is systematically associated to every derivable sequent allowing us to recognize it as a true sequent. We reconstructed this proof making some variations and we studied how the main technique used (the definition of the reduction process) could be seen in relation with other results of first order logic like proofs of completness. The main part of our dissertation is another version of this consistency proof for a formal system for Heyting Arithmetic.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2015-06-25T12:39:30Z No. of bitstreams: 1 AlexandreRoratoMaciel.pdf: 1150123 bytes, checksum: cf6f0a649ba462fb7413232999ea37ab (MD5) / Made available in DSpace on 2015-06-25T12:39:30Z (GMT). No. of bitstreams: 1 AlexandreRoratoMaciel.pdf: 1150123 bytes, checksum: cf6f0a649ba462fb7413232999ea37ab (MD5) Previous issue date: 2011-12-15 / Nenhuma / Nas últimas décadas houve um grande avanço da globalização e do desenvolvimento tecnológico que, entre outros resultados – benéficos ou prejudiciais -, propiciou uma facilidade para a expansão do crime organizado, que hoje avança no mundo. Todavia, os meios tradicionais de investigação e formação de provas não se mostraram suficientes para um competente combate às organizações criminosas e assim, aos poucos, começaram a ser criados e utilizados mecanismos diferenciados. Ocorre que, no afã de responder rapidamente aos clamores populares, muitas vezes a lei deixou de regular de forma pormenorizada diversos assuntos, além de elencar medidas questionáveis frente aos direitos fundamentais. A tarefa de analisar o fenômeno do crime organizado e das medidas endereçadas ao seu enfrentamento torna-se ainda mais complexa na medida em que há muita discussão sobre o que vem a ser crime organizado e, por consequência, quanto à possibilidade de sua conceituação e tipificação, existindo até mesmo aqueles que negam a sua existência. Assim é que, neste trabalho, seguindo uma ordem lógica, será, inicialmente, enfrentada a questão ligada à própria existência de organizações criminosas e o que não são manifestações do crime organizado, para após se buscar um caminho para a sua conceituação a partir das características comuns aos diversos modelos de organizações criminosas, passando-se também por uma análise da Convenção das Nações Unidas contra o Crime Organizado Transnacional e da legislação estrangeira ligada ao tema. Uma vez esclarecido o que é o crime organizado, passa-se à análise crítica de diversos procedimentos de investigação e formação de provas comumente empregados para o enfrentamento dele. Por último, são elencadas diversas propostas que podem contribuir para a discussão de medidas eficazes para a prevenção e repressão ao crime organizado. / The past decades saw globalization grow and a great technological development that, among other results - good or bad -, made possible an expansion of organized crime, that today advance in the world. However, traditional means of investigation and the collecting of evidence were not enough for a competent combat to organized crime and because of that, new and differentiated mechanisms were created. Pressured by popular opinion, legislators passed laws that, in many cases, did not clarify several aspects of its application, besides creating questionable measures if one considers the fundamental rights. The task of analysing and the means of addressing organized crime becomes yet more complex considering there are still discussions regarding the definition of what is organized crime and about the possibility itself of definition and classification. Moreover, there are even those that deny its existence. In this work, at first and following a logical order, the question regarding the existence itself of criminal organizations and those aspects that are not manifestations of organized crime will be addrested. After that comes the search for a way of defining organized crime by the common characteristics of the several models of criminal organizations, also analysing The United Nations Convention against Transnational Organized Crime and the foreign legislation regarding the subject. Once it's defined what organized crime is, analysis of the several investigation and collecting of evidence proceedings commonly used for its repression is made possible. Last but not least, a list of propositions is presented for the discussion of what are the efficient measures to prevent and combat organized crime.

Made available in DSpace on 2015-04-14T14:34:05Z (GMT). No. of bitstreams: 1 458445.pdf: 109648 bytes, checksum: 8bdefee8f48a5852ae431a1390efb7e7 (MD5) Previous issue date: 2014-03-31 / The present work aims to critically analyze the political option made by the Brazilian judicial system of giving authority of material res judicata to the decisions that are judged unfounded because of insufficiency of evidences. First of all, it is necessary to analyze an overview of this subject in Brazilian evidence system and how it became very relevant to be considered a fundamental right. Right after this brief explanation, in the second part it tries to show a collective procedure perspective that is particularly viewed in relation with res judicata. In this kind of procedure, the res judicata secundum eventum probationis is adopted by litigations that are judged unfounded because of insufficiency of evidences. Moreover, it tries to compare the treatment of res judicata in both kinds of procedure. In the last part, the third one, it brings some questions about the political option made by State of giving authority of material res judicata to the decisions that are judged unfounded because of insufficiency of evidences, analyzing all subject explained to demonstrate the mistake in the made option. After that, it is suggested that option made by collective procedure should be extended to individual procedure. / O presente trabalho teve por escopo apresentar a an?lise cr?tica pertinente ? op??o pol?tica feita pelo sistema jur?dico p?trio de conferir autoridade de Coisa Julgada material ?s decis?es proferidas em demandas individuais julgadas improcedentes em face da insufici?ncia de provas. Para tanto, foi necess?rio, primeiramente, fazer uma an?lise de como ? hoje o sistema probat?rio no Brasil e considerar que a prova atingiu um status t?o relevante a ponto de ser considerado direito fundamental. Logo ap?s, no segundo cap?tulo, evidencia-se a perspectiva do processo coletivo, o qual possui vis?o muito particular do instituto da Coisa Julgada. E sob tal aspecto, o processo coletivo adotou a chamada Coisa Julgada secundum eventum probationis para disciplinar aquelas demandas julgadas improcedentes por insufici?ncia de provas. Ademais, intencionou-se fazer um cotejo entre o instituto da Coisa Julgada conforme o processo coletivo e da Coisa Julgada visto pelos olhos do sistema individual. Ao final, no terceiro cap?tulo, exp?e-se o questionamento cr?tico a respeito da op??o pol?tica feita pelo Estado de conferir autoridade de Coisa Julgada material ?s demandas tidas por improcedentes por falta de provas, desse modo, visando demonstrar que existe um equ?voco sist?mico nesta alternativa, pois n?o ocorre an?lise de m?rito, pressuposto indispens?vel para forma??o da pr?pria Coisa Julgada. Diante desse quadro, sugere-se que deva a op??o feita pelo processo coletivo ser estendida ao processo individual.