Orientador: Suzete Maria Silva Afonso / Banca: Ligia Laís Fêmina / Banca: Marta Cilene Gadotti / Resumo: O propósito deste trabalho é explorar os métodos numéricos de passo único, denominados métodos de Euler e Runge - Kutta, e os métodos de passos múltiplos, denominados métodos de Adams-Bashforth e Adams-Moulton, para encontrar soluções aproximadas de problemas de valor inicial para equações diferenciais ordinárias de primeira ordem / Abstract: The goal of this work is to explore the one-step numerical methods, called methods of Euler and Runge - Kutta, and the multistep numerical methods, called methods of Adams-Bashforth and Adams Moulton, for finding approximate solutions of initial value problems for first-order ordinary differential equations / Mestre

El presente artículo trae a discusión cual es el propósito que nuestras normas y tribunales le han dado, por los últimos 20 años, a los contratos-ley suscritos entre el Estado con los particulares. Se intenta introducir al lector, con la presentación de los principales aspectos de este régimen contractual, en la historia y la evolución de los convenios de estabilidad jurídica que ha desarrollado en nuestro sistema. A partir del desarrollo constitucional de esta figura contractual se intenta consolidar sus bases y proponer su uso para incentivar a los inversionistas a seguir invirtiendo en nuestro Estado. Se muestran las clases de regímenes en las que se maneja los contratos-ley, se desarrolla la naturaleza de los convenios de estabilidad y se propone un régimen de solución de conflictos para continuar con el incremento de la inversión de los particulares en el Perú consolidando el uso de los contratos-ley. This article brings to discussion the purpose that our rules and courts have given to the contract law agreements signed between the State and individuals for the past 20 years. The aim is to introduce the reader to the history and evolution of legal stability agreements in our system, discussing the main aspects of the contractual regime. From the constitutional development of this contractual figure, the aim is to consolidate their bases and suggest its use to encourage investors to continue investing in our State. Different kind of regimes in which contract law agreements are dealt with are discussed, developing the nature of stability agreements and proposing a system of conflict resolution to continue with the growth of private investment in Peru, thus consolidating the use of contract law agreements.

Made available in DSpace on 2014-06-11T19:33:00Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-06-25Bitstream added on 2014-06-13T21:05:35Z : No. of bitstreams: 1 zina_lg_dr_araca_prot.pdf: 4162883 bytes, checksum: 7d06640dedf17f5b91065d9db8fc6d66 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O consumo de fórmula infantil durante a primeira infância tem sido considerado um fator de risco em potencial para a fluorose e cárie dentária. O objetivo desta tese de doutorado foi avaliar, por meio de duas revisões sistemáticas e meta-análises, a relação entre o consumo de fórmula infantil e o risco de fluorose e cárie dentária. Para isso, foram consultadas oito bases de dados e listas de referências de artigos. A análise da relevância e abstração de dados foram realizadas em duplicata e independentemente por dois revisores. A qualidade dos estudos foi avaliada e os odds ratios, quando obtidos, foram combinados utilizando-se modelos de efeito aleatório. Na revisão sobre fluorose dentária, 41 de 969 publicações potencialmente elegíveis avaliaram o impacto da fórmula infantil no risco de fluorose dentária. Quatorze publicações não apresentaram os achados nos resultados. As restantes 27 publicações relataram os resultados em 19 estudos observacionais. Dezessete destes 19 estudos apresentaram odds ratio (OR) e entre eles o consumo de fórmula infantil esteve associado com uma maior prevalência de fluorose dentária na dentição permanente (OR global=1,8; intervalo de confiança de 95%=1,4-2,3). Observou-se significativa heterogeneidade entre os estudos (I-quadrado=66%) e evidência de viés de publicação (p=0,002). A metarregressão indicou que o odds ratio associado à fórmula infantil com a fluorose dentária aumentou em 5% para cada aumento de 0,1 ppm nos níveis de flúor da água de abastecimento (OR=1,05; intervalo de confiança de 95%=1,02-1,09). Na revisão sobre cárie dentária, 31 de 1.695 publicações elegíveis avaliaram o impacto da fórmula infantil no risco de cárie dentária. Duas publicações não apresentaram os achados nos resultados. As restantes 29 publicações relataram os resultados em 26 estudos... / Infant formula consumption during childhood has been considered a potential risk factor for enamel fluorosis and dental caries. The aim of this doctorate thesis was to evaluate, through two systematic reviews and meta-analysis, the relationship between infant formula consumption and the risk of enamel fluorosis and dental caries. Eight databases and reference list of articles were searched. Assessment of relevance and data abstraction were conducted in duplicate and independently by two reviewers. Study quality was assessed and odds ratios, when obtainable, were combined using a random-effects model. In the fluorosis systematic review, 41 out of 969 potentially eligible publications evaluated the impact of infant formula on enamel fluorosis risk. Fourteen publications did not report the findings in the results. The remaining 27 publications reported on 19 observational studies. Seventeen of these 19 studies reported odds ratio (OR) and among these infant formula consumption was associated with a higher prevalence of enamel fluorosis in the permanent dentition (summary OR=1.8; 95% confidence interval=1.4-2.3). There was significant heterogeneity among studies (I-squared=66%) and evidence of publication bias (p=0.002). A metaregression indicated that the odds ratios associating infant formula with enamel fluorosis increased by 5% for each 0.1 ppm increase in the reported levels of fluoride in the water supply (OR=1.05, 95% confidence interval=1.02-1.09). In the dental caries systematic review, 31 out of 1695 eligible publications evaluated the impact of infant formula on dental caries risk. Two publications did not report the findings in the results. The remaining 29 publications reported on 26 observational studies. General (summary OR=1.7; 95% confidence interval=1.2-2.4) and nocturnal (summary OR=2.0; 95% confidence interval=1.3- 3.0) infant... (Complete abstract, click electronic access below)

Made available in DSpace on 2014-06-11T19:27:45Z (GMT). No. of bitstreams: 0 Previous issue date: 2004Bitstream added on 2014-06-13T18:31:54Z : No. of bitstreams: 1 pagliari_av_me_araca.pdf: 502519 bytes, checksum: c3e78ebb5faf7a92ff598d7f5d916c09 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação para o Desenvolvimento da UNESP (FUNDUNESP) / O leite materno é, indiscutivelmente, o alimento ideal para os primeiros meses de vida da criança, mas existem situações que impossibilitam ou dificultam seu consumo. Nestes casos, fórmulas infantis, leite de vaca integral diluído e leite de soja podem ser oferecidos. Este trabalho pretende avaliar o leite como contribuinte para a ingestão diária de flúor em crianças e como fator de risco para o desenvolvimento de fluorose dentária. A primeira parte procura estimar esta contribuição, partindo da concentração de flúor no leite humano, leite de vaca, leite em pó e fórmulas infantis, encontrada em pesquisas publicadas. Os resultados indicam que os leites materno e de vaca in natura não oferecem risco ao desenvolvimento de lesões de fluorose dentária esteticamente inaceitáveis em dentes decíduos ou permanentes, o mesmo ocorrendo para a ingestão de leite em pó quanto aos dentes permanentes. Já as fórmulas infantis e o leite em pó, comercializados no Brasil, preparados em água com concentração ótima de flúor (0,7 mg/L), podem contribuir com uma ingestão diária de flúor acima do limite considerado seguro, podendo provocar o aparecimento de lesões de fluorose em dentes decíduos. A segunda parte deste trabalho teve como objetivos determinar os teores de flúor de fórmulas infantis (n=7), leites (n=10) e leites de soja (n=3), em pó, produzidos em território nacional e adquiridos em Araçatuba-SP e avaliar a possibilidade de desenvolvimento de fluorose dentária, esteticamente inaceitável, com o consumo destes produtos. As amostras de pó foram reconstituídas em água deionizada e analisadas em duplicata pelo método eletrodo específico, após difusão facilitada por hexametildisiloxano... / Mother's milk is, unquestionably, the ideal food for children's first months of life, however, there are situations that make its consumption impossible. In these cases, infant formulas, cow's diluted whole milk and soy-milk can be offered. This paper intends to evaluate milk as a contributor for children's daily fluoride ingestion and as a risk factor to develop dental fluorosis. The first part estimates this contribution by the fluoride concentration of human milk, in natura cow's milk, powder-milk, infant formulas obtained from publications specialized on the subject. The results indicate that that human milk and in natura cow's milk do not offer risk to the development of esthetically unacceptable lesions of dental fluorosis in deciduous or permanent teeth, the same occurring with powder-milk ingestion for the permanent teeth. The infant formulas and powder-milk commercialized in Brazil, prepared in water with optimal fluoride concentration (0.7 mg F/L) can contribute to daily fluoride ingestion above the limit considered as safe for the development of fluorosis in deciduous teeth. The second part of this paper had the purpose to determine the fluoride content in infant formulas (n=7), powder-milk (n=10) and soy-milk (n=3) produced in the national territory and acquired in Araçatuba - SP, and evaluate the possibility to develop esthetically unacceptable dental fluorosis by consuming these products. The powder samples were reconstituted in deionized water and doublechecked through the potentiometrical method after hexametyldisiloxane facilitated diffusion... (Complete abstract, click electronic access below)

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-08-23T12:48:01Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao_mestrado_rafael_araujo.pdf: 1319314 bytes, checksum: 15854b595d618c609a911b95573a01ad (MD5) / Made available in DSpace on 2017-08-23T12:48:01Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao_mestrado_rafael_araujo.pdf: 1319314 bytes, checksum: 15854b595d618c609a911b95573a01ad (MD5) Previous issue date: 2016-09-15 / Robots are increasingly being used in industry and starting their way to our homes as well. Nonetheless, the most frequently used techniques to analyze robots motion are based on simulations or statistical experiments made from filming robots’ movements. In this work we propose an alternative way of performing such analysis by using Probabilistic Model Checking with the language and tool PRISM. With PRISM we can perform simulations as well as check exhaustively whether a robot motion planning satisfies specific Probabilistic Temporal formulas. Therefore we can measure energy consumption, time to complete missions, etc., and all of these in terms of specific motion planning algorithms. As consequence we can also determine if an algorithm is superior to another in certain metrics. Furthermore, to ease the use of our work, we hide the PRISM syntax by proposing a more user-friendly DSL. As a consequence, we created a translator from the DSL to PRISM by implementing the translation rules and also, a preliminary investigation about its relative completeness by using the grammatical elements generation tool LGen. We illustrate those ideas with motion planning algorithms for home cleaning robots. / Robôs estão sendo cada vez mais utilizados na indústria e entrando em nossas casas também. No entanto, as técnicas mais frequentemente utilizadas para analisar a movimentação dos robôs são baseadas em simulações ou experimentos estatísticos realizados a partir da filmagem do movimento dos robôs. Neste trabalho, nós propomos uma maneira alternativa de realizar tais análises com a utilização da técnica de Verificação de Modelos Probabilísticos com a linguagem e ferramenta PRISM. Com PRISM, podemos, tanto realizar simulações quanto verificar exaustivamente se um planejamento de movimentação do robô satisfaz fórmulas Probabilísticas Temporais específicas. Portanto, podemos medir o consumo de energia, tempo necessário para completar missões, etc. e tudo isso em termos de algoritmos específicos de planejamento de movimentação. Como consequência, podemos, também, determinar se um algoritmo é superior a outro em relação a certas métricas. Além disso, para facilitar o uso do nosso trabalho, escondemos a sintaxe do PRISM propondo uma DSL amigável ao usuário. Em consequência, criamos um tradutor da DSL em PRISM através da implementação de regras de tradução bem como fizemos uma investigação preliminar sobre sua completude relativa usando a ferramenta de geração de elementos gramaticais LGen. Ilustramos as idéias com algoritmos de planejamento de movimentação para robôs de limpeza de casas.

Orientador: Marcos Benevenuto Jardim / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Cientifica / Made available in DSpace on 2018-08-16T11:14:18Z (GMT). No. of bitstreams: 1 Melo_FabioSilva_M.pdf: 3864560 bytes, checksum: 704d21404c48a187914a0238b121d30e (MD5) Previous issue date: 2010 / Resumo: A teoria local de curvas da Geometria Diferencial no plano e no espaço euclidiano é bem conhecida (vide referências como [4] e [13]). Este trabalho consiste de uma generalização desta teoria usando métricas arbitrárias. Tal generalização é feita substituindo a matriz identidade que define o produto interno usual por outra matriz quadrada, simétrica e positiva definida. Com este novo produto interno, são estudados conceitos como vetor tangente, vetor normal, vetor binormal, fórmulas de Frenet, curvatura e torção / Abstract: The local theory of curves of the Differential Geometry in the Euclidean plane and euclidean space is well known (see references as [4] and [13]). This work consists of a generalization of this theory using arbitrary metrics. Such generalization is made replacing the identity matrix which defines the usual inner product with another square matrix, symmetrical and positive defined. With this new inner product, concepts like tangent vector, normal vector, binormal vector, Frenet's formulas, curvature and torsion are studied / Mestrado / Geometria Diferencial / Mestre em Matemática

Orientador: Sirio Possenti / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-15T02:23:14Z (GMT). No. of bitstreams: 1 Miqueletti_Fabiana_D.pdf: 2651532 bytes, checksum: 5a3f74e11ace6006bd39f1d2d644c3f3 (MD5) Previous issue date: 2009 / Resumo: O presente trabalho acompanha o tratamento da temática da mutação da política, considerada relevante para a área de Ciência Política, em diversos gêneros textuais do discurso político jornalístico e do discurso político de natureza teórica. Considerando um corpus constituído de enunciados, articulados em torno de uma opinião comum, e enunciada de maneiras diversas, segundo a qual a política está se transformando em outra coisa, ou tomando outras formas, interessamo-nos pela circulação de significantes formalmente heterogêneos (sintagmas nominais e frases sentenciosas) que são um "referente social" (Krieg-Planque, 2003), isto é, condensam neles um conjunto de formulações que remetem às teses filosóficas do declínio e do fim da política. Em termos bakhtinianos, são significantes "habitados" de um discurso, socialmente representado, no campo erudito, como doxa. Estes significantes são, assim, candidatos a "fórmulas", porque apresentam certas características ou propriedades próprias das fórmulas: são formas mais ou menos cristalizadas, autônomas, breves, polêmicas, que resumem um discurso, acionam um arquivo etc. Tendo como fundo teórico a noção de fórmula (Krieg-Planque, 2003, 2009), analisamos o modo como estes significantes saturados de significações circulam em textos do domínio acadêmico que fazem a crítica da visão substancialista da política. Assim, a análise privilegiou as diferentes formas de representação de um discurso outro no discurso. Buscamos compreender o modo como estas formas ocupam a linearidade textual a partir das formulações de Bakhtin ([1929] 1994) e Authier-Revuz (1982, 1998) sobre as formas do discurso relatado, e do conceito de "enunciação aforizante", elaborado por Maingueneau (2006, 2007). / Abstract: This thesis deals with different angles brought to the theme of transformation of politics in the contemporary world, analyzing a relatively wide range of texts from media to theoretical discourse. The selected texts support a common opinion that politics is developing into something else and getting different meanings. Our analysis focus on discourse circulation, more specifically on circulation of terms whose the main role is to comprise a variety of formulations concerning the thesis of "decline" or "end" of politics. In Bakhtin's terms, it means that the heterogeneous discourse of mutation in politics, which is represented as formulation of doxa, it has previously occupied those expressions. One of the purposes of this study is to support the hypothesis that these signifiers constitute linguistic and discursive units, i.e. formulas. Such terms share some of the main general linguistic and discursive characteristics of formula, basically a standard and short form, independent from a text, which summarizes a discourse. The theory of formulas developed by Krieg-Planque (2003, 2009) provides the theoretical background of the study of the nature of formula. In addition to this conceptual discussion of formulas, we also analyze the way these forms are integrated in the surface of journalistic and academic texts that specifically criticize the essentialist view of politics. We examined different linguistic forms based on Bakthin's and Auhtier-Revuz's studies on discourse representation and on the concept of "enunciation aphorisante " formulated by Maingueneau. / Doutorado / Linguistica / Doutor em Linguística

Na presente pesquisa faz-se um estudo sobre o tratamento na interação, considerando que o tratamento não se limita apenas às formas pronominais e nominais, mas faz parte de um ritual da interação. Entende-se que ele está presente durante toda a interação, de forma mais marcada no estabelecimento e encerramento do contato e, como faz parte de um ritual lingüístico, a escolha do tratamento dispensado ao interlocutor é culturalmente marcada e segue padrões sociais de comportamento. Para adequar-se às diferentes situações comunicativas, os locutores utilizam formas de tratamento (pronominais e nominais) e fórmulas que os auxiliem na abordagem do outro. As fórmulas usadas no tratamento fazem parte das chamadas fórmulas de rotina e fórmulas discursivas, as quais foram analisadas, neste trabalho, de maneira contrastiva entre a língua alemã e a língua portuguesa, em e-mails de ambas as línguas. / This research focuses on forms of address in verbal interaction considering that they are not limited to pronouns or nouns, but should be seen as a central piece in the interaction ritual. They are present throughout interaction, more clearly at the moments when contact begins and ends, and, since they are part of a linguistic ritual, the choice of the form used to address the interlocutor is culturally marked and follows social patterns of behavior. In order to fit different communicative situations, speakers use forms of address (both nouns and pronouns) and formulas that help them to approach the hearer. The formulas used in address are known as routine and discoursive formulas, both of which are analyzed in this research in a contrast between German and Portuguese, using e-mails written in both languages.

Em obras de fundações por estacas cravadas, os diferentes comprimentos finais das estacas refletem a variabilidade natural do terreno, e variam de acordo com o critério de paralização da cravação, normalmente baseado em medidas de nega e repique elástico. Pouco se tem aproveitado desses registros para o controle da resistência mobilizada na fundação ao final da cravação, devido à limitação da aplicação das fórmulas dinâmicas e ao desconhecimento de alguns parâmetros. Em muitos casos de controle de capacidade de carga, apenas é realizada a aferição de um fator de segurança pontual, obtido via prova de carga. Neste trabalho, é apresentado um procedimento de controle de capacidade de carga de fundações por estacas cravadas, baseado em registros de nega e repique elástico, a partir de fórmulas dinâmicas, que possibilitam a estimativa da resistência mobilizada ao final da cravação em todo o universo de estacas de uma obra. Este procedimento proposto foi aplicado em um estudo de caso de uma obra em um porto em Santa Catarina. Nesta obra foram cravadas 2506 estacas pré-moldadas de concreto, controladas por nega e repique elástico, registrados em todas as estacas no final da cravação. Neste conjunto de estacas foram executadas 74 provas de carga dinâmica, com energia crescente, e quatro provas de carga estática. Neste caso de obra controlada, os resultados mostraram que o procedimento adotado, baseado na utilização de fórmulas dinâmicas, com parâmetros calibrados a partir dos resultados das provas de carga dinâmica, permitiu estimar valores de resistência mobilizada ao final da cravação das 2506 estacas da obra, que apresentaram um valor médio próximo ao valor médio encontrado nas 74 estacas ensaiadas. Além disso, o coeficiente de variação dos valores de resistência mobilizada de todas as estacas da obra foi da ordem de 16,0%, similar ao coeficiente de variação de 14,7%, obtido nos resultados das provas de carga dinâmica. / The different final lengths of driven piles reflect the natural variability of the soil, and are dependent of the driving controls based in the measurements of the final set and elastic rebound. Normally these measurements are not used to predict the ultimate capacity of pile foundations, at the end of driving, due to the limitation of the dynamic formulas and the lack of some parameters. In many cases, the pile capacity control is based on a determination of a single safety factor, obtained from pile load tests. In this work, it is proposed a procedure to control the ultimate capacity of driven piles, based on the results of the final set and the elastic rebound, and dynamic formulas, which allow the estimation of the mobilized resistance at the end of driving of all piles driven in a particular project. This procedure was applied in a case study of a port in Santa Catarina. In this case, 2506 precast concrete piles were driven, and controlled by the elastic rebound, recorded at the end of driving. Also, dynamic load tests, with increasing energy, were performed on 74 piles, and static load tests were carried out on four piles. The results showed that this procedure adopted, based on the use of dynamic formulas calibrated using the results of dynamic load tests, is capable to estimate the values of mobilized resistance along all piles at the end of driving. The average result of the mobilized resistance of the 2506 piles was close to the average value found by the results of the 74 pile dynamic load tests. Also, the coefficient of variation of the mobilized resistance of all piles was around 16.0%, similar to the coefficient of variation of 14.7%, obtained by the dynamic load tests.

Orientadores: Luci Banks-Leite, Dominique Maingueneau / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-25T06:00:03Z (GMT). No. of bitstreams: 1 Marchesan_EduardoCaliendo_D.pdf: 2048113 bytes, checksum: 806c163710f980fba397fc4862566758 (MD5) Previous issue date: 2014 / Resumo: Esta pesquisa apresenta a descrição da fórmula x para o trabalho em gêneros ligados à instituição educacional brasileira entre as décadas de 1950 e 1980. Trata-se da descrição da emergência, da contestação e, finalmente, do estabelecimento de um objeto discursivo como evidência. Avançamos a hipótese de que x para o trabalho emerge como a tentativa de integração de dois ensinos até então apartados, o ensino técnico e o ensino acadêmico. O emprego e as transformações por que passa este significante estão relacionadas às próprias transformações do sistema educacional brasileiro no período tratado / Abstract: This research presents the description of a formula, x para o trabalho, in its path through the Brazilian educational institution between 1950 and 1982. It is the description of a discursive objet: its emergence, the debates around it and, finally, its acceptance as an evidence. Our hypothesis proposes x para o trabalho as a new kind of object that emerges in the 1950¿s and enters the national educational institution as an attempt to merge two kinds of school: the academic and the professional. The uses of this signifier and the changes it goes through are related to the educational institution¿s transformations in this period and are central to its reconfiguration / Doutorado / Psicologia Educacional / Doutor em Educação