• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 984
  • 48
  • 47
  • 47
  • 47
  • 30
  • 28
  • 17
  • 16
  • 16
  • 16
  • 6
  • 3
  • 1
  • Tagged with
  • 1029
  • 314
  • 260
  • 154
  • 112
  • 107
  • 95
  • 95
  • 94
  • 92
  • 88
  • 86
  • 77
  • 76
  • 73
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
291

Extração de invertase solúvel a partir de levedura de panificação (Saccharomyces cerevisiae) / Extraction of soluble invertase from Bakers yeast (Saccharomyces cerevisiae)

Vitolo, Michele 28 June 1979 (has links)
Não consta resumo na publicação. / Abstract not available.
292

Aplicações de modelagem molecular em engenharia química: investigação do mecanismo de degradação do fenol em processos oxidativos avançados. / Molecular modeling applications in chemical engineering: investigation of the mechanism of degradation of phenol in advanced oxidation processes.

Ramos, Bruno 06 March 2009 (has links)
O trabalho tem por objetivo a aplicação de técnicas de modelagem molecular como ferramenta de pesquisa em Engenharia Química, em particular no estudo das reações químicas envolvidas na degradação do fenol em processos oxidativos avançados. Os resultados obtidos para reações em fase gasosa mostram que o uso dessa ferramenta, no nível de teoria selecionado (B3LYP/6-31++G(d,p)), é adequado para descrever a maioria das reações do mecanismo proposto. As constantes cinéticas calculadas (através da Teoria do Estado de Transição), quando comparadas com os dados experimentais disponíveis, encontram-se dentro da mesma ordem de grandeza para a rota mais viável. A simulação de um par de reações paralelas mostra o mesmo perfil de queda do fenol encontrado para as constantes cinéticas experimentais. A comparação com resultados teóricos prévios mostra que a adição de efeitos de polarização das nuvens eletrônicas ao conjunto de base resulta em um aperfeiçoamento nos valores das constantes cinéticas. Os estudos do meio solvatado mostram que o modelo de solvatação implícita SM5.42R é adequado para descrever o sistema, por reproduzir bem o valor experimental da energia de solvatação do fenol. Entretanto, não é possível fazer comparações quanto aos radicais devido à ausência de dados experimentais. Dentre os modelos de solvatação explícita construídos, o modelo que conta com uma esfera de solvatação de 4 moléculas de água se mostrou melhor para o fenol. Já para o intermediário radicalar O1, o modelo mais adequado foi o que conta com 6 moléculas de água formando um ciclo sobre as hidroxilas ligadas ao anel. Com os resultados obtidos e suas comparações com valores experimentais discute-se a aplicabilidade de técnicas de Modelagem Molecular em estudos aplicados em Engenharia Química, reforçando a visão desta ferramenta como um instrumento importante no projeto de novos produtos e na otimização de processos de interesse tecnológico. / This work has the main objetive of applying molecular modeling techniques as a research tool in Chemical Engineering particularly on the study of the chemical reactions involved in the degradation of phenol by Advanced Oxidation Processes. The obtained results for gas phase reactions show that the use of this tool, in the selected level of theory (B3LYP/6- 31++G(d,p)) is adequate to describe most of the reactions within the proposed mechanism. The calculated kinetic constants (through Transition State Theory), when compared with the available experimental data, were found to be within the same order for the most likely pathway. The simulation of a parallel reactions pair shows the same declining profile found for experimental kinetic constants. The comparison with previous theoretical results suggest that the addition of polarization effects on the basis set results in a higher accuracy of the kinetic constant values. The studies of the continuum show that the implicit solvation model SM5.42R is adequate to describe the system, since it reproduces well the experimental value of solvation energy for phenol. However, it is not possible to do comparisons for the radicals due to the absence of experimental data. Among the explicit solvation models constructed, the one which represents a solvation sphere of four water molecules has shown better accuracy to phenol. For the radical intermediate O1, the most suitable model found was the one with six water molecules joined in a cycle on the hydroxyls bonded to the ring. With the obtained results and their comparisons with experimental data, the applicability of Molecular Modeling techniques in Chemical Engineering studies is discussed, reinforcing the perspective of this tool as an important instrument for the design of new products and the optimization of technologically relevant processes.
293

Implementação de plataforma de simulação hardware-in-the-loop ABS para aplicações didáticas. / Implementation of ABS hardware-in-the-loop simulation platform for didactic applications.

Santos Junior, Aguinaldo Batista dos 18 April 2017 (has links)
A utilização de plataformas HIL (Hardware-in-the-loop) tem aumentado dentro do processo de desenvolvimento de ECU\'s em indústrias do ramo automotivo. A principal justificativa para tal aumento é a utilização da metodologia de desenvolvimento baseada em modelo, a qual integra a técnica HIL como um de seus principais pilares, possibilitando redução no tempo e custos de desenvolvimento de uma ECU. Quando aplicada a validação de sistemas de controle de freios, a simulação HIL possui vital importância, pois permite a prévia visualização de efeitos diretamente relacionados à dinâmica veicular, os quais somente podiam ser analisados através da realização de testes em pistas. No entanto, os benefícios da simulação HIL não se restringem somente as aplicações industriais. A possibilidade de análise dos efeitos produzidos por um módulo eletrônico de controle através de simulações cria um campo para a utilização da técnica HIL como uma ferramenta efetiva no ensino de sistemas eletrônicos veiculares. Neste trabalho demonstra-se a implementação de uma plataforma HIL ABS para aplicações didáticas. Esta plataforma é implementada incluindo o uso de um circuito elétrico para emulação de cargas e aquisição de sinais, de uma interface com entradas e saídas reconfiguráveis, de uma ECU ABS e de um computador de simulação, o qual executa os softwares de manipulação de dados e de simulação de dinâmica veicular. Os resultados obtidos através de simulações realizadas com a plataforma desenvolvida são comparados com resultados de testes reais, validando desta forma o modelo proposto. / The HIL (Hardware-in-the-loop) platforms utilization has increased within the development process of ECUs in the automotive industry. The main reason for this increase is the usage of the model based development methodology, which integrates the HIL technique as one of its main pillars, allowing a reduction in the time and costs of developing an ECU. When applied to the validation of brake control systems, HIL simulation has a vital importance, since it allows a prior visualization of effects directly related to the vehicle dynamics, which could only be analyzed by performing track tests. However, the benefits of HIL simulation are not only restricted to the industrial applications. The possibility of analyzing the effects produced by an electronic control module through simulations creates a field for the use of the HIL technique as an effective tool for teaching vehicular electronic systems. This work demonstrates the implementation of an ABS HIL platform for didactic applications. This platform is implemented including the usage of an electrical circuit for loads emulation and signals acquisition, an interface with reconfigurable inputs and outputs, an ABS ECU and a simulation computer, which runs the data manipulation and vehicle dynamic simulation softwares. The results obtained through the performed simulations with the developed platform are compared with actual test results, validating therefore the proposed model.
294

Obstrução de Euler de aplicações analíticas / Euler obstruction of analytic maps

Grulha Júnior, Nivaldo de Góes 28 November 2007 (has links)
Neste trabalho determinamos relações entre a obstrução de Euler de uma função analítica com singularidade isolada f e o número de Milnor de f definido por Bruce e Roberts para funções definidas em espaços singulares. Apresentamos também uma generalização da obstrução de Euler de uma função analítica com singularidade isolada para o caso de uma aplicação \'f : (V, 0) seta (\'C POT. k\', 0) onde (V, 0) é o germe de uma variedade analítica complexa, equidimensional de dimensão \' n > OU = k\' , e uma fórmula para calcular a obstrução de Euler de k-referenciais, em termos da obstrução de Euler de f / In this work we determine relations between the local Euler obstruction of an analytic function singular at the origin to the case of a analytic map \'f : (V, 0) seta (\'C POT. k, 0\'), where (V, 0) is the germ of a complex analytic variety, equidimensional of dimension \' n > OU = k\', and a formula which computes the local Euler obstruction, defined for k-frames, in the local Euler obstruction of f
295

Portal de conhecimento sobre critérios, estratégias, técnicas e ferramentas de teste de aplicações web / Knowledge portal about testing web application criteria, procedures, techniques and tools

Costa, Marcella Letícia de Souza 26 February 2008 (has links)
O advento da tecnologia da Internet, juntamente com a World Wide Web, popularizaram e permitiram uma grande expansão e demanda por aplicações web. Por executarem em um ambiete heterogêneo e complexo, as aplicações web apresentam várias características que as diferenciam dos sistemas tradicionais. As particularidades dessas aplicações tornam o fator qualidade essencial para o sucesso dessas aplicações. Alguns requisitos de qualidade, como usabilidade, confiabilidade, interoperabilidade e segurança devem, então, ser validados. Para assegurar a qualidade desejada, são necessárias executar as atividades de Verificação, Validação e Teste (VV&T). Dentre elas, as mais utilizadas são as atividades de teste. Os critérios, estratégias e ferramentas de teste precisam ser identificados e avaliados para se estabelecer uma relação entre os custos e benefícios entre elas, a fim de guiar a escolha de cada uma durante os testes de aplicações web. A realização de estudos experimentais para realizar essa análise beneficia tanto a academia, nas atividades de ensino e pesquisa, como a indústria, nas atividades de seleção e aplicação de critérios, estratégias e ferramentas de teste de aplicações web. Para que os resultados obtidos estejam acessíveis, é proposto o desenvolvimento de um portal de conhecimento que disponibilize de maneira sistemática o conhecimento obtido sobre critérios, estratégias e ferramentas de teste de aplicações web. Esse portal tem como objetivo oferecer às organizações um ambiente compartilhado de conhecimento, a fim de proporcionar a existência de um ciclo de criação, troca, retenção e reuso do conhecimento / The development of internet technology, along with the World Wide Web, made popular and allowed a demand boom and expansion of web applications. Web applications present some characteristics that differentiate them from the traditional systems, since they execute in a heterogeneous and complex environment. The particularities of these applications demand quality as an essential factor for success. Is this way, quality requirements, like usability, reliability, interoperability and security must be validated. To assure the desired quality, it\'s necessary to execute the activities of Verification, Validation and Test (VV&T), where the most used are the testing activities. The testing criteria, strategies and tools need to be identified and evaluated to establish a relation between the costs and benefits, in order to guide the choice of each one during the tests of web applications. The carrying out of experimental studies benefits the academy, in the activities of education and research, and the industry, in the activities of selection and application of criteria, strategies and tools of testing web applications. Moreover, these results need to be accessible to make available information to the interest people. This work presents the development of a knowledge portal, to facilitate knowledge sharing in a systematic way, with information of test criteria, strategies and tools for validating web applications. This portal intends to offer to the organizations and academic institutions a shared environment of web application test knowledge, in order to constitute a knowledge creation, change, retention and reuse cycle
296

Aplicação da teoria qualitativa de equações diferenciais a problemas de sineronismo de fase / Qualitative theory of differential equations applied to phase synchronism problems.

Piqueira, José Roberto Castilho 11 June 1987 (has links)
Aplica-se a Teoria Qualitativa de Equações Diferenciais aos problemas de sincronismo de fase, associando às diversas regiões do espaço de parâmetros os tipos de atratores esperados. <p style=\"margin: 11px 0px;\">Três casos básicos são estudados: <ol type=\"i\" style=\"padding: 0px 40px\"> Malha de Sincronismo de fase Autônoma de 2ª Ordem Modulação em Frequência Acidental em Malha de Sincronismo de Fase de 2ª Ordem Malha de Sincronismo de Fase Autônoma de 3ª Ordem <p style=\"margin: 11px 0px;\">No caso (i), usando resultados clássicos da teoria de sistemas dinâmicos, discute-se os pontos de equilíbrio e os ciclos limite. <p style=\"margin: 11px 0px;\">No caso (ii), usando o método de Melnikov propõem-se critérios para previsão de aparecimento de atratores caóticos.<p style=\"margin: 11px 0px;\">No caso (iii), usando o teorema de bifurcações de Hopf, a estabilidade dos pontos de equilíbrio e a formação dos ciclos limite são analisadas / The Qualitative Theory of Differential Equations is applied to the phaselock problems, and the several parameters space regions are associated to the expected attractors. <p style=\"margin: 11px 0px;\">Three basic cases are studied: <ol type=\"i\" style=\"padding: 0px 40px\"> Autonomous Second Order Phaselock Loop Accidental Frequency Modulation on Second Orer Phaselock Loop Autonomous Third Order Phaselock Loop <p style=\"margin: 11px 0px;\">In case i), using classical results of dynamical systems theory, the equilibrium points and limit cycles are analyses. <p style=\"margin: 11px 0px;\">In case ii), the Melnikov technique gives some criteria for chaotic attractors.<p style=\"margin: 11px 0px;\">In case iii), Hopf bifurcation theorem provides propositions about equilibrium points and limit cycles.
297

Anisotropia de fluorescência: aplicações em membranas modelo. / Fluorescence anisotropy: applications in model membranes.

Pazin, Wallance Moreira 27 March 2012 (has links)
O estudo de agregados anfifílicos é de extrema importância devido à sua mimetização de membranas celulares, que são essenciais para a vida da célula. Sabe-se que os fosfolipídios não possuem estruturas moleculares bem definidas nas membranas, porém exercem um papel essencial na manutenção da sua integridade. Fosfolipídios zwitteriônicos são um dos principais componentes estruturais das membranas celulares, e um modelo simplificado destas membranas são as bicamadas que estes fosfolipídios podem formar em meio aquoso. A principal característica destas bicamadas lipídicas é a auto-organização dos lipídios, fazendo-se necessário o estudo de processos naturais e espontâneos, como suas propriedades estruturais e dinâmicas. A espectroscopia de fluorescência tem sido utilizada no estudo de diversos processos e sistemas de interesse biológico, principalmente por medidas de anisotropia de fluorescência, que fornece informações sobre a dinâmica rotacional das sondas fluorescentes inseridas nos sistemas de interesse, refletindo efeitos combinados de flexibilidade, fluidez e interações estáticas com moléculas circundantes. Neste trabalho examinamos as propriedades estruturais e dinâmicas de membranas modelo fosfolipídicas formadas de 1,2-dipalmitoil-sn-glicero-3-fosfocolina (DPPC) por técnicas relacionadas à espectroscopia de fluorescência, principalmente por medidas de anisotropia do estado estacionário e resolvida no tempo, das sondas fluorescentes 1,6-diphenil-1,3,5-hexatrieno (DPH), 7-nitrobenz-2-oxa-1,3-diazol-il (NBD) ligado em diferentes regiões das moléculas fosfolipídicas e também da sonda lipofílica 2-amino-N-hexadecil-benzamida (Ahba). As medidas foram realizadas tanto acima como abaixo da temperatura de transição de fase das bicamadas fosfolipídicas de DPPC, na fase gel e líquido-cristalina, devido à diferença da organização lateral das cadeias de hidrocarboneto nestas duas fases. Medidas de espalhamento dinâmico de luz foram realizadas para confirmar a formação das vesículas unilamelares pelo processo de extrusão da suspensão lipídica contendo vesículas multilamelares, e a técnica de calorimetria diferencial de varredura foi empregada para verificar se baixa concentração das sondas fluorescentes nas vesículas afetam seu empacotamento lipídico. Pelos resultados obtidos, constatamos que os comportamentos das três sondas fluorescentes diferem em ambas as fases das bicamadas fosfolipídicas, revelando suas propriedades estruturais e dinâmicas, principalmente pelas diferentes localizações dos fluoróforos. Verificamos que, devido à afinidade pela região hidrofóbica, o movimento do DPH é restrito ao movimento \"wobbling\", limitado pelas cadeias alifáticas. Para o NBD em lipídios marcados, o movimento do análogo fluorescente como um todo depende da localização do fluoróforo e de sua conformação em ambas as fases das bicamadas lipídicas. Devido à localização do grupo fluorescente da sonda Ahba na interface das bicamadas lipídicas, verificamos que seu movimento rotacional aumenta à medida que a bicamada torna-se mais fluida, mostrando uma dependência deste movimento com a microviscosidade destas bicamadas. / The study of amphiphilic aggregates is extremely important due to their cell membrane mimic, which are essential for the life of the cell. It is known that phospholipids do not have molecular structure well defined in membranes, but play an essential role in maintaining of their integrity. Zwitterionic phospholipids are one of the main components of cell membranes, and a simplified model for the membranes are the bilayers they can form in aqueous medium. The main characteristic of lipid bilayers is the self-organization of lipids, making it necessary to study natural and spontaneous process, as their structural and dynamical properties. The fluorescence spectroscopy has been used to study many processes and systems of biological interest, especially by measurement of fluorescence anisotropy, which gives information about the rotational dynamics of the fluorescent probe inserted in the systems of interest, reflecting the combined effects of flexibility, fluidity and static interactions with surrounding molecules. In this work we examined the structural and dynamic properties of phospholipid model membranes formed of 1,2-dipalmitoyl-sn-glycero-3-phosphocoline DPPC by techniques related to fluorescence spectroscopy, mainly by measurements of steady-state and time resolved anisotropy of the probes 1,6-diphenyl-1,3,5-hexatriene (DPH), 7-nitrobenz-2-oxa-1,3-diazol-yl (NBD) attached to different regions of phospholipid molecules and also the lipophilic probe 2-amino-N-hexadecyl-benzamide (Ahba). The measurements were perfomed above and below of the phase transition temperature of the phospholipid bilayers of DPPC, gel and liquid-crystalline phase, due to the difference in the lateral organization of hydrocarbon chains in these two phases. Measures of dynamic light scattering (DLS) was performed to confirm the formation of the unilamellar vesicles by extrusion of lipid suspension containing multilamellar vesicles, and the technique of differential scanning calorimetry (DSC) was used to verify if the low concentration of fluorescent probes in lipid vesicles affect its packing. From the results, we found that the behavior of the three different fluorescent probes differ in both phases of phospholipid bilayers, revealing their structural and dynamic properties, mainly because to specific locations of the fluorophores. We verify that, due to the affinity for the hydrophobic region, the motion of the DPH is restricted to the \"wobbling\" motion, limited by hydrocarbon chains. For the NBD labeled in lipids, the motion of the fluorescent analogues as a whole depends on the location of the fluorophore and on the lipid conformation in both phases of lipid bilayers. Because of the location of the fluorescent group of the probe Ahba in the interface of lipid bilayers, we found that its rotational motion increases as the bilayers becomes more fluid, showing a dependency of the motion with the microviscosity of these bilayers.
298

Proposta de um gerador de ambientes para a modelagem de aplicações usando tecnologia adaptativa. / A proposal for an environment generator for modeling application using adaptive technology.

Camolesi, Almir Rogério 11 May 2007 (has links)
Este trabalho tem por objetivo propor um gerador de ambientes (metambiente) que possibilite a geração automática de ambientes para o projeto de aplicações adaptativas. Tal gerador fundamenta-se nos conceitos de Tecnologia Adaptativa e permite a definição de dispositivos adaptativos dirigidos por regras. No desenvolvimento deste trabalho foram propostos um método para definição de dispositivos adaptativos, a arquitetura geral de um ambiente para o projeto de aplicações adaptativas e a arquitetura para um gerador de ambientes para a modelagem de aplicações usando um dispositivo adaptativo específico. Com base nos conceitos propostos foram realizadas a implementação de algumas ferramentas para validar os mesmos e desenvolvidos alguns experimentos com o propósito de demonstrar a utilização de tais ferramentas e dos dispositivos adaptativos no projeto de aplicações. / This research aims at proposing an environment generator (meta-environment) which makes it possible the automatic environment generation for the project of adaptive applications. This generator establishes its concepts in Adaptive Technology and allows the definition of rule-driven adaptive devices. When developing the present study, we considered the general architecture of an environment for the project of adaptive applications and the architecture for an environment generator of modeling applications using a specific adaptive device as a method for definition of adaptive devices. Based on the concepts mentioned, the implementation of some tools were done to show such concepts and some experiments were made to demonstrate the use of such tools and adaptive devices in the project of applications.
299

Um framework baseado em componentes para desenvolvimento de aplicações web e um processo de instanciação associado / A component-based framework for web applications development and an associated instantiation process

Silva, Elaine Quintino da 06 April 2006 (has links)
Nos últimos anos, a área de educação vem passando por mudanças importantes em relação à introdução das tecnologias da informação no processo de ensino/aprendizagem. Como resultado dessas mudanças e dos esforços para aproveitar os benefícios dessas tecnologias, diversos sistemas (ou ambientes virtuais) de apoio à educação foram desenvolvidos. Apesar do vasto conjunto de ferramentas oferecidas por esses ambientes, muitos usuários ainda optam pelo desenvolvimento de suas próprias aplicações de apoio à educação. Isso acontece em função da diversidade das técnicas de ensino e avaliação existentes entre diferentes professores. Devido ao fato dos ambientes educacionais tradicionais não serem projetados para oferecer muitas possibilidades de adaptação e extensão, principalmente em termos de funcionalidades, os usuários são desmotivados a utilizar esses sistemas e acabam criando suas próprias aplicações. Como uma alternativa para essa falta de flexibilidade, nesta tese, um framework modular baseado em componentes (WebMODE - Web MOdular DEvelopment) foi proposto para o desenvolvimento de aplicações Web mais adaptáveis e extensíveis (em especial as aplicações de apoio à educação). Além disso, também foi proposto um processo de software para a instanciação de aplicações sobre esse framework. Tal processo enfatiza as atividades de especificação dos módulos, que fazem parte dessas aplicações, de forma independente da tecnologia que será utilizada na sua implementação. Os pontos principais deste framework são o uso de padrões de projeto, como o MVC (Model View Controller) e o uso de sistemas modulares e baseados em componentes no desenvolvimento de aplicações Web que são compostas de módulos com funcionalidades configuráveis. O WebMODE foi projetado como um framework conceitual e, posteriormente, implementado e avaliado utilizando a tecnologia J2EE (Java 2 Enterprise Edition) / In the last few years, education has been going through important changes related to the introduction of information technology in the learning process. As a result of these changes and of efforts to take advantage of the benefits provided by this technology, many systems (or virtual environments) for supporting the learning process have been developed. However, despite the great number of tools offered by those systems, many users still prefer to develop their own tools. This happens because there is a lot of diversity in teaching and evaluation techniques among different teachers and traditional learning systems are not designed to adapt to this diversity. They do not offer many possibilities for functionality adaptation and extension. This makes users unmotivated to use them and forces them to write their own applications. As an alternative to this flexibility problem, a modular, component-based framework (WebMODE - Web MOdular DEvelopment) was proposed for the development of more adaptable and extensible Web applications, especially for web-based learning systems. In addition, a software process for instantiating software applications using this framework was also proposed. This software process emphasizes the specification of the modules that form these software applications in a format independent of the technology used for their implementation. The main features of this framework are the use of design patterns, such as MVC (Model View Controller), and the use of concepts from modular and component-based systems for the development of web applications composed by modules with configurable functionalities. The WebMODE was designed as a conceptual framework and later implemented and evaluated using the J2EE (Java 2 Enterprise Edition) technology
300

Trigonometria no ensino médio e suas aplicações / Trigonometry in the High School and its applications

Souza, Francine Dalavale Tozatto 28 May 2018 (has links)
Neste trabalho fazemos um estudo detalhado sobre o tema Trigonometria. A trigonometria é um tema bastante discutido em sala de aula durante o ensino médio. Não apenas apresentamos resultados sobre o tema mas também suas provas e justificativas, assim como exemplos e exercícios com o objetivo de ter um material completo para professores do ensino médio que desejem estudar tais tópicos. Em seguida apresentamos algumas aplicações da Trigonometria que podemos encontrar em nosso dia-a-dia, também aqui o objetivo é apresentar motivação para o estudo deste importante assunto e tão frequente nos vestibulares atualmente. Finalmente, apresentamos uma atividade realizada com meus alunos em sala de aula. Esta dissertação foi desenvolvida como parte dos requisitos necessários para a obtenção do título de mestrado acadêmico junto ao Instituto de Ciências Matemáticas e de Computação (ICMC), da Universidade de São Paulo (USP). / In this dissertation we present a detailed study about Trigonometry. This subject is frequently discussed em classes during High school courses. We do not only present the main results about Trigonometry but also their proofs, as well examples and exercises. Our main objective here is obtain a complete text for high school teachers. We also present some applications of Trigonometry that can be easily find in our life. Here our main objective is to motivate the study of this important subject that appears so frequently in the exams for universities entrance. To conclude, we present an activity realized with high school students. This dissertation was developed as part of the requirements necessary for the obtension of the degree of Mathematics Professional Master at Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC-USP).

Page generated in 0.0686 seconds