Neste trabalho demos continuidade ao estudo desenvolvido por Colla (2007) que utilizou-se do arcabouço de álgebra linear com técnicas de fatoração de matrizes esparsas aplicadas à inferência em redes Bayesianas. Com isso, a biblioteca computacional resultante possui uma separação clara entre a fase simbólica e numérica da inferência, o que permite aproveitar os resultados obtidos na primeira etapa para variar apenas os valores numéricos. Aplicamos técnicas de paralelização para melhorar o desempenho computacional, adicionamos inferência para Redes Credais e novos algoritmos para inferência em Redes Bayesianas para melhor eciência dependendo da estrutura do grafo relacionado à rede e buscamos tornar ainda mais independentes as etapas simbólica e numérica. / In this work we continued the study by Colla (2007), who used the framework of linear algebra techniques with sparse matrix factorization applied to inference in Bayesian networks. Thus, the resulting computational library has a clear separation between the symbolic and numerical phase of inference, which allows you to use the results obtained in the rst step to vary only numeric values. We applied parallelization techniques to improve computational performance, we add inference to Credal Networks and new algorithms for inference in Bayesian networks for better eciency depending on the structure of the graph related to network and seek to become more independent symbolic and numerical steps.

Neste trabalho demos continuidade ao estudo desenvolvido por Colla (2007) que utilizou-se do arcabouço de álgebra linear com técnicas de fatoração de matrizes esparsas aplicadas à inferência em redes Bayesianas. Com isso, a biblioteca computacional resultante possui uma separação clara entre a fase simbólica e numérica da inferência, o que permite aproveitar os resultados obtidos na primeira etapa para variar apenas os valores numéricos. Aplicamos técnicas de paralelização para melhorar o desempenho computacional, adicionamos inferência para Redes Credais e novos algoritmos para inferência em Redes Bayesianas para melhor eciência dependendo da estrutura do grafo relacionado à rede e buscamos tornar ainda mais independentes as etapas simbólica e numérica. / In this work we continued the study by Colla (2007), who used the framework of linear algebra techniques with sparse matrix factorization applied to inference in Bayesian networks. Thus, the resulting computational library has a clear separation between the symbolic and numerical phase of inference, which allows you to use the results obtained in the rst step to vary only numeric values. We applied parallelization techniques to improve computational performance, we add inference to Credal Networks and new algorithms for inference in Bayesian networks for better eciency depending on the structure of the graph related to network and seek to become more independent symbolic and numerical steps.

At diploma thesis will be used for determination of alkyl - derivatives of mercury especially gass chromatography. At diploma thesis will be developed metod for it´s identification, quantification, standard operating procedure and validation of the method of determination of alkyl - derivatives of mercury in animal tissues. There will be evaluated level of contamination by the polutants.

Orientador: Analúcia Bueno dos Reis Giometti / Resumo: A presente dissertação de mestrado faz uma reflexão sobre a Questão Socioambiental e a relação com o Serviço Social. Entende-se a Questão Socioambiental de um modo complexo e totalitário, uma relação intrínseca entre homem e meio ambiente, mostrando assim que é uma relação indissociável. O estudo se justifica, pois a questão ambiental é uma área crescente de discussões e inúmeras tragédias ambientais acontecem, solicitando assim de diversas áreas do conhecimento as suas contribuições para a causa. No que concerne à metodologia utilizada trata-se de uma pesquisa social de cunho qualitativo com estudo bibliográfico e documental utilizando do método materialismo histórico dialético. Com base em leituras acerca da temática em livros, revistas, artigos científicos, publicações em eventos, além de levantamentos sobre as produções (teses e dissertações que estudam a relação proposta por tal estudo, centrou-se a análise em dois projetos pedagógicos e quatro matrizes curriculares do curso de Serviço Social da UFTM, lócus de tal pesquisa. Tal estudo está dividido em quatro capítulos. No primeiro capítulo é apresentado o desenvolvimento da pesquisa. O segundo capítulo é centrado nas discussões sobre como a relação entre homem e meio ambiente se difere com o decorrer da história e as influências do atual modo de produção econômico vigente denominado capitalismo influencia nas expressões da Questão Socioambiental. No terceiro capítulo situa-se breve histórico sobre a legislação ambiental ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This Master's dissertation reflects on the Socio-environmental Question and the relationship with Social Work. The Socio-environmental Question is understood in a complex and totalitarian way, an intrinsic relation between man and environment, thus showing that it is an inseparable relationship. The study is justified because the environmental issue is a growing area of discussions and countless environmental tragedies happen, thus soliciting from various areas of knowledge their contributions to the cause. As far as the methodology is concerned, it is a qualitative social research with a bibliographical and documentary study and using the dialectical historical materialism method. Based on readings about the subject in books, journals, scientific articles, publications in events, besides surveys on the productions (theses and dissertations), who study the relationship proposed by such study, the analysis despite of the two pedagogical projects and four curricular matrices of the UFTM Social Service course, the locus of such research. This study is divided into four chapters. In the first chapter the research development is presented. In the second chapter we present discussions about how the relationship between man and the environment differs with the course of history and the influences of the current mode of economic production called capitalism influence the expressions of the Socioenvironmental Question. In the third chapter there is a brief history on Brazilian environ... (Complete abstract click electronic access below) / Mestre

Orientador: Jair Lopes Junior / Banca: Márcia Cristina da Costa Trindade Cyrino / Banca: Nelson Antonio Pirola / Resumo: A proposta e as orientações curriculares do Ensino Fundamental para a área de Matemática e as Matrizes de Referência do SARESP preconizam conteúdo curriculares e expectativas de aprendizagem expressas sob a forma de competências passíveis de avaliação ao final dos Ciclos I e II. Este trabalho, fundamentado teoricamente na Análise do Comportamento, utilizou essas propostas para analisar registros em vídeo de aulas ministradas por docentes das 4ª e 8ª séries, sustentando dois objetivos: 1) caracterizar práticas de ensino de professores da rede estadual que ministram conteúdos de matemática, com ênfase na identificação e na descrição de consistências entre as contingências de ensino registradas, os conteúdos ministrados e as competências explicitadas na documentação acima especificada; 2) verificar se a caracterização das práticas de ensino desses professores se constituiria em condição favorecedora para o delineamento de recursos didáticos para o ensino de conteúdos curriculares de matemática previstos nesta mesma documentação. O primeiro objetivo justificou a execução das três etapas do Procedimento de Descrição e Análise, de acordo com a sequência: seleção dos registros em vídeo de duas unidades didáticas (UDs) e vinculação de habilidades e competências parametrizadas pelo SARESP às práticas de ensino de duas professoras; descrições e análises das interações observadas; síntese das análises das UDs, salientando as ocorrências de ações mais incidentes nas práticas de ensino das professoras. Pela síntese, constatou-se que as professoras prescindiram de (1) fornecer condições com as quais os alunos pudessem elaborar suas próprias respostas às atividades propostas e (2) apresentar consequências imediatas contingentes às respostas dos alunos; (3) explorar possíveis relações de controle das respostas fornecidas pelos alunos... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The proposal and curricular guidelines for elementary school of Mathematics and São Paulo Student Performance Appraisal System (Sistema de Avaliação do Rendimento Escolar de São Paulo) - SARESP suggest curriculum content and learning expectations expressed as skills which could be assessed at the end of Cycles I and II. Basing on the Behavior Analysis theories, this study aimed to analyze video recorded 4th and 8th grade classes, considering two goals: 1) to characterize3 the educational practices of public school teachers, when teaching contents in mathematics with emphasis on identifiying and describing consistencies among the recorded teaching contingencies, the contents taught as well as the skills explained in the documentation specified above and 2) to verify if the characterization of these teacher's educational practices would constitute in a favoring condition for the instructional design of educational resources for teaching mathematics contents provided in the same documentation previously mentioned The first goal justified the realization of the Analysis and Description Procedure, completing the three stages concerned, according to the following sequence: video recording selection of two teaching units (TUs) and linking skills and competencies parameterized by SARESP to the teaching practices of two teachers; descriptions and analysis of the observed interactions; synthesis of both TU analysis, pointing the most frequent actions in the teacher's educational practices. Through the synthesis referred, it was found that the teachers have chosen not (1) to provide conditions in which students could develop their own asnwers to the proposed activities and (2) to present immediate consequences related to the students' answers, (3) to explore possible relations for controlling the answers given by students who differed from those predicted previously. For the seconde goal... (Complete abstract click electronic acces below) / Mestre

Made available in DSpace on 2014-06-11T19:24:50Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-06-22Bitstream added on 2014-06-13T20:52:37Z : No. of bitstreams: 1 maestro_dc_me_bauru.pdf: 2016523 bytes, checksum: 86c445f9281c00c77dbe3124cd916cf0 (MD5) / A proposta e as orientações curriculares do Ensino Fundamental para a área de Matemática e as Matrizes de Referência do SARESP preconizam conteúdo curriculares e expectativas de aprendizagem expressas sob a forma de competências passíveis de avaliação ao final dos Ciclos I e II. Este trabalho, fundamentado teoricamente na Análise do Comportamento, utilizou essas propostas para analisar registros em vídeo de aulas ministradas por docentes das 4ª e 8ª séries, sustentando dois objetivos: 1) caracterizar práticas de ensino de professores da rede estadual que ministram conteúdos de matemática, com ênfase na identificação e na descrição de consistências entre as contingências de ensino registradas, os conteúdos ministrados e as competências explicitadas na documentação acima especificada; 2) verificar se a caracterização das práticas de ensino desses professores se constituiria em condição favorecedora para o delineamento de recursos didáticos para o ensino de conteúdos curriculares de matemática previstos nesta mesma documentação. O primeiro objetivo justificou a execução das três etapas do Procedimento de Descrição e Análise, de acordo com a sequência: seleção dos registros em vídeo de duas unidades didáticas (UDs) e vinculação de habilidades e competências parametrizadas pelo SARESP às práticas de ensino de duas professoras; descrições e análises das interações observadas; síntese das análises das UDs, salientando as ocorrências de ações mais incidentes nas práticas de ensino das professoras. Pela síntese, constatou-se que as professoras prescindiram de (1) fornecer condições com as quais os alunos pudessem elaborar suas próprias respostas às atividades propostas e (2) apresentar consequências imediatas contingentes às respostas dos alunos; (3) explorar possíveis relações de controle das respostas fornecidas pelos alunos... / The proposal and curricular guidelines for elementary school of Mathematics and São Paulo Student Performance Appraisal System (Sistema de Avaliação do Rendimento Escolar de São Paulo) - SARESP suggest curriculum content and learning expectations expressed as skills which could be assessed at the end of Cycles I and II. Basing on the Behavior Analysis theories, this study aimed to analyze video recorded 4th and 8th grade classes, considering two goals: 1) to characterize3 the educational practices of public school teachers, when teaching contents in mathematics with emphasis on identifiying and describing consistencies among the recorded teaching contingencies, the contents taught as well as the skills explained in the documentation specified above and 2) to verify if the characterization of these teacher's educational practices would constitute in a favoring condition for the instructional design of educational resources for teaching mathematics contents provided in the same documentation previously mentioned The first goal justified the realization of the Analysis and Description Procedure, completing the three stages concerned, according to the following sequence: video recording selection of two teaching units (TUs) and linking skills and competencies parameterized by SARESP to the teaching practices of two teachers; descriptions and analysis of the observed interactions; synthesis of both TU analysis, pointing the most frequent actions in the teacher's educational practices. Through the synthesis referred, it was found that the teachers have chosen not (1) to provide conditions in which students could develop their own asnwers to the proposed activities and (2) to present immediate consequences related to the students' answers, (3) to explore possible relations for controlling the answers given by students who differed from those predicted previously. For the seconde goal... (Complete abstract click electronic acces below)

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-04-24T13:24:16Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO (2016-6-30) - JOÁS TOMAZ DE AQUINO.PDF.pdf: 2545956 bytes, checksum: b9aabb94688142e23c5ace4525799a04 (MD5) / Made available in DSpace on 2017-04-24T13:24:16Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO (2016-6-30) - JOÁS TOMAZ DE AQUINO.PDF.pdf: 2545956 bytes, checksum: b9aabb94688142e23c5ace4525799a04 (MD5) Previous issue date: 2016-06-30 / FACEPE / Um dos primeiros passos para o sucesso dos projetos é a correta identificação e classificação dos fatores de risco que possuem impacto financeiro substancial. Pois, nesta fase ainda é possível a criação de modelos de gerenciamento de risco mais adaptativos e a criação de estratégias para a mitigação das perdas financeiras subjacentes. Assim, o objetivo deste trabalho é propor uma metodologia de avaliação dos riscos financeiros presentes em projetos inovadores realizados por empresas desenvolvedoras de software do Porto Digital. Este local foi escolhido por possuir empresas em essência mais inovadoras por florescerem em ambientes repletos de atividades de P&D e fazerem uso de tecnologias da informação para criação de novos produtos e processos. Buscando a criação de um diagnóstico quantitativo integrado dos sete fatores de risco identificados na literatura (relacionados ao planejamento, ações externas, capital financeiro, requisitos técnicos, mão de obra, execução, suporte e cronograma), foi utilizada uma metodologia com as seguintes etapas: (1) utilização do método Non-Traditional Capital Investment Criteria (NCIC) para identificação dos fatores de riscos críticos nos projetos com base na perda financeira proporcionada; (2) classificação dos riscos com base em matrizes de riscos; e (3) a realização da simulação do valor presente líquido agregado do projeto, finalizando com a análise pós-simulação. A metodologia mostrou-se adequada para a análise de projetos inovadores estudados por permitir a quantificação do impacto dos riscos, apoiando a tomada de decisão no planejamento de resposta aos mesmos. Apesar de cada projeto possuir natureza inovativa diferente, no geral foi identificado que o fator de risco relacionado às questões financeiras esteve presente em todos os projetos, ora em primeiro ora em segundo plano. Outro elemento pertinente verificado foi aquele relacionado ao planejamento e estimação dos benefícios que podem ser gerados pelo projeto, revelando a importância do processo de planejamento da inovação. Isto é, no momento de seleção de ideias e na verificação da viabilidade inicial do projeto, sobretudo, naqueles com maior grau de inovação. Enquanto o atendimento ao cronograma teve maior impacto no projeto de inovação incremental, riscos associados às questões técnicas não se mostraram expressivas nos projetos. Sob o ponto de vista do controle gerencial exercido foram identificados gaps demonstrando que se faz necessário repensar sobre como os projetos são conduzidos sob o ponto de vista de gestão e estabelecer novas estratégias de mitigação ou prevenção. Foi identificado também que os projetos A2 e A3 eram viáveis quando analisados apenas sob a ótica tradicional do seu VPL, mas quando são inseridos os fatores de risco relacionados ao planejamento, financeiro e cronograma, os projetos deixaram de ser viáveis, já que os seu valores presente líquidos agregados mostraram-se negativos. Isso revela a pertinência e a sensibilidade da análise multicritério na análise de investimentos complexos como aqueles estudados. / One of the first steps of project’s success is the correct identification and classification of risk factors with substantial financial impact. Since at this stage still allowed the creation of more adaptive risks management models and the creation of strategies to mitigate underlying financial losses. Therefore, the aim of this study is to create an evaluation of financial risks present proposal on innovative projects performed by software development companies at Porto Digital. This place of study was chosen because includes the most innovative companies in essence, by flourish in environments filled with research and development activities and make use of information technology on the process of creation of new products and processes. Searching for the creation of a quantitative diagnosis that integrates the seven risk factors identified on literature was used a methodology that follows this three steps: (1) using the NonTraditional Capital Investment Criteria method (NCIC) to identify critical risk factors on projects based on financial loss provided; (2) risks classification based on risk matrixes; and (3) the present liquid value simulation aggregated to the project, ending with the post-simulation analysis. The methodology proved itself adequate to innovative projects analysis by allowing to quantify the risks impacts on them, supporting the decision making process on planning the response to it. Although each project possess a different innovative nature, in general, it was identified that the risk factor related to financial issues was present in all of the projects, both on first or second plan. Another relevant element verified was the one related to planning and the estimation of benefits that can be generated by the project, revealing the importance of the innovative planning process. That is, the moment of the ideas selection and initial viability verification, especially on a higher degree of innovation projects. While the compliance schedule has higher impact on incremental innovative projects. Risks associated with the technical issues were not effective. From the point of view of management control, were identified gaps demonstrating that it is necessary rethink about the conduction of projects from the management angle and establish new strategies for mitigation or prevention. It has also been identified that projects A2 and A3 was viable only when analyzed under the traditional optical of theirs NPV, however when the risk factors are inserted, related to planning, financial and schedule, the projects are no longer viable with the aggregated NPV to become negative. This shows the relevance and sensitivity of the multi-criteria analysis on complexes investments analysis as studied here.

Physical haptic interaction is added to the modern manipulation with objects in virtual space. In content of this master's thesis the haptic technology is represented by SensAble Phantom Omni device and OpenHaptics toolkit, which is related to the device. Reader is initially introduced into mathematical basics of manipulation and into haptic technology history including current state. The introduction into Openhaptics toolkit follows as well as HDAPI and HLAPI libraries description. As a result of this theoretical basics demo aplications have been created, that show basic and advanced abilities of the Phantom Omni device. Demos represent the functionality of the device as examples integrating well-known elementary physical laws and events.

Made available in DSpace on 2016-04-26T20:25:18Z (GMT). No. of bitstreams: 1 Renato Romeu Renck.pdf: 847067 bytes, checksum: cc4077af3099f7e2dd49656f8ce62b9e (MD5) Previous issue date: 2006-12-04 / This doctoral dissertation aims at checking if the Brazilian Supreme Court uses recurrent paradigms, determined from a specific and defined nucleolus of intelligibility, when judging parts involved in quantifying the tax base of the income tax for legal person. The Constitution through the concept of income, establishes limits to the taxing power which must be observed in order not to risk constitutional violation. To formulate such limits, it is paramount the formulation of a verifying procedure of what income means, to confront it with the standards determined by law. Through the jurisprudence research, structuring and reasoning of judicial theses, we want to investigate if the Supreme Federal Court establishes such limits. This reasoning must be present in decision making paradigms justified by rational criteria and accepted by the judicial community. We refute the structure of rationality which justifies the theory of the national tributary law by pointing out its flaws. We use the Hermeneutic Phenomenology which is the most adequate theory to the application of the institutional regulations and it also allows for the inference of the universal tributary concepts into single concepts. It defines the limits of each individual taxation. From the results of this research the following is justified: when the Supreme Court rejects as several judged antecedents and permits that the income be determined by the legislator, it is not taking into account the formation of a judging paradigm for the evaluation of income. As it states that the legislator has autonomy to determine what tribute income is for the legal person, the Federal Supreme Court renounces the constitutional duty to establish an applicable paradigm to the income evaluation procedure which institutes the limits to the power of tribute. Such renunciation empowers the legislator to institute whatever pleases him or her, removing from the context of the income tax any remains of the existence of the Rule of Law / A presente tese tem como objetivo verificar se a Suprema Corte brasileira adota paradigmas recorrentes determinados, firmados a partir de um núcleo de inteligibilidade específico e definido, quando julga processos de apuração e quantificação da base impositiva do imposto de renda pessoa jurídica. Para formular, em teses paradigmáticas, limites ao poder de tributar, impõe-se a pré-formulação de um procedimento verificatório do que é renda pelo STF, para confrontá-lo com os standards determinados pela lei. Busca-se verificar, pela pesquisa de jurisprudência e pela estruturação e fundamentação das teses jurídicas, se o STF estabelece tais limites e se repousam em paradigmas de decisões, justificados a partir de critérios racionais e aceitos pela comunidade jurídica. Refuta-se a estrutura de racionalidade, que justifica a teoria do direito tributário nacional, apontando suas deficiências e se adota a fenomenologia hermenêutica, que permite a inferência dos conceitos universais tributários em conceitos singulares; possibilitando concretizar os limites constitucionais em cada tributação individual. Pelo resultado da pesquisa justifica-se: o STF ao permitir que a renda seja livremente fixada pelo legislador, não apresenta um paradigma de julgamento em relação a um procedimento de verificação da renda. Portanto, ao afirmar que o legislador tem autonomia para estabelecer o que é renda tributável da pessoa jurídica, a Suprema Corte renunciou tacitamente ao seu dever constitucional, não estabelecendo um paradigma aplicável ao procedimento de apuração da base de cálculo do Imposto de Renda, que institua limites ao poder de tributar. Tal renúncia outorga ao legislador estabelecer o que quiser, removendo do contexto do imposto sobre a renda a existência do Estado de Direito