• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 8931
  • 660
  • 647
  • 647
  • 563
  • 549
  • 404
  • 179
  • 98
  • 45
  • 41
  • 41
  • 40
  • 17
  • 15
  • Tagged with
  • 9769
  • 3584
  • 2879
  • 1970
  • 1780
  • 1733
  • 1450
  • 1398
  • 1318
  • 1318
  • 1316
  • 1288
  • 1266
  • 1019
  • 954
  • 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.
1111

Uma logica modal temporal

Magossi, José Carlos, 1963- 24 June 1994 (has links)
Orientador: Jose Alexandre Durry Guerzoni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T12:28:05Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_M.pdf: 10085958 bytes, checksum: 78f696d242fe4880bc35c9334cf34e9c (MD5) Previous issue date: 1994 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência
1112

Teoria das funções recursivas e aplicações a logica

Centenaro, Iralino Fidencio 20 July 2018 (has links)
Orientador: Andres Raggio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T02:47:32Z (GMT). No. of bitstreams: 1 Centenaro_IralinoFidencio_M.pdf: 1220197 bytes, checksum: eac1b52a24281e9708380f3d735c2f8b (MD5) Previous issue date: 1977 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática
1113

Polinômios complementares de Romanovski-Routh e funções com ortogonalidade híbrida /

Ribeiro, Luana de Lima Silva. January 2019 (has links)
Orientador: Alagacone Sri Ranga / Banca: Valdir Antonio Menegato / Banca: Paulo Leandro Dattori da Silva / Banca: Ali Messaoudi / Banca: Jorge Alberto Borrego Morell / Resumo: Consideramos propriedades e aplicações dos polinômios complementares de Romanovski-Routh e de funções definidas em [-1,1] que satisfazem uma ortogonalidade híbrida. Estas funções estão relacionadas com uma certa classe de polinômios para-ortogonais na circunferência unitária através das transformações de Cayley e de Delsarte e Genin, respectivamente. Os polinômios complementares de Romanovski-Routh estão relacionados com as funções especiais de onda Coulomb e de Bessel regulares, e além disso, seus zeros coincidem com as coordenadas do ponto de equilíbrio de uma função energia. Também exploramos a expansão de funções em termos de uma série de funções com ortogonalidade híbrida, onde obtemos resultados sobre a convergência e desigualdade tipo Bessel. Além disso, esta expansão é obtida via um método dos mínimos quadrados modificado / Abstract: We consider properties and applications of the complementary Romanovski-Routh polynomials and functions defined in [−1, 1] that satisfy a hybrid orthogonality. These functions are related with a class of para-orthogonal polynomials in the unit circle through the Cayley transform and through Delsarte and Genin transform, respectively. The complementary Romanovski-Routh polynomials are related to the regular Coulomb wave functions and also to the regular Bessel functions. Furthermore, their zeros coincide with the coordinates of the equilibrium point of an energy function. We also explore the expansion of functions in series of functions of hybrid orthogonality and results concerning convergence and Bessel-type inequality were obtained. Moreover, this expansion is given by a modified least square method / Doutor
1114

Estudio de variantes del problema de la Secretaria

García, Émilien January 2016 (has links)
Ingeniero Civil Matemático / El Problema de la Secretaria (SP) (por Secretary Problem), un problema con mucho interés desde los años 50, se trata de encontrar una manera de procesar las entrevistas de N candidatos a un puesto de secretaria para maximizar la probabilidad de contratar al mejor de ellos, bajo el supuesto que las entrevistas se realizan en orden aleatorio y que las decisiones tomadas: rechazar o aceptar, son irrevocables. Esto permite modelar directamente la versión discreta del problema. También se puede considerar una versión contínua con una infinidad de candidatos, suponiendo que los instantes de entrevista son tiempos aleatorios uniformes sobre el intervalo [0,1]. Este problema y sus variantes tienen muchas aplicaciones. Esta memoria se enfoca en el estudio de la variante llamada Problema de la Secretaria con Restricciones de Tiempo (TCSP). En la formulación discreta del (TCSP) se rechazan k candidatos y luego se quiere contratar al mejor de los N−k que quedan, mientras que en su formulación contínua se rechazan todos los candidatos entrevistados antes de un tiempo T y luego se quiere contratar al mejor de los candidatos entrevistados después del tiempo T. En ambos casos los candidatos rechazados al principio forman un sampleo, y se puede utilizar la información acumulada en este sampleo inicial para mejorar la toma de decisión durante la fase de aceptación que sigue. Después de familiarizarse con esta variante, se demuestran propiedades que cumple la regla óptima que resuelve el (TCSP) discreto. Basándose en esto, se estudia la siguiente estrategia para el caso contínuo. Se selecciona una sucesión creciente de constantes absolutas {T_i} en [0,1] o tiempos barreras, independientes del tiempo T del sampleo. El proceso de selección se realiza del siguiente modo: sólo se acepta un candidato entrevistado entre los tiempos T_i y T_{i+1} si es mejor que todos los ya entrevistado después del tiempo T y mejor que el i-ésimo mejor del sampleo inicial. Se encuentran fórmulas explícitas para calcular dichas barreras. La regla óptima para resolver el (TCSP) discreto tiene una forma similar, donde en vez de tiempos barreras, se usan candidatos barreras. Se comprueba que a medida que N tiende a infinito, las razones entre la posición del candidato barrera i-ésimo y el número de candidatos tienden al valor encontrado para los tiempos barreras en el caso contínuo. Finalmente, se estudia una variante del (TCSP) en la cual el empleador sólo puede recordar un candidato del periodo del sampleo (no necesariamente el mejor) y al mejor candidato entrevistado luego del sampleo. Se deduce en el caso discreto la forma de la regla óptima en la situación donde el algoritmo guarda el i-ésimo mejor candidato de la zona sampleada. Esta regla interpretada en el caso contínuo consiste en: rechazar a todos los candidatos hasta un tiempo T_1 > T, luego aceptar un candidato entrevistado entre los tiempos T_1 y T_0 > T_1 si es mejor que ambos miembros en memoria, y luego si no se aceptó a nadie, aceptar a un candidato entrevistado después del tiempo T_0 solamente si es mejor que el mejor entrevistado después del tiempo T. Se encuentran fórmulas explícitas para las barreras T_1 y T_0 como función de T y del rango i del candidato del sampleo guardado en memoria.
1115

Probabilidade no futebol : um incentivo ao estudo da teoria estatística /

Corrêa, Arthur Necchi. January 2019 (has links)
Orientador: João Carlos Ferreira Costa / Banca: Jéfferson Luiz Rocha Bastos / Banca: Aldicio José Miranda / Resumo: O desinteresse pela Matemática pode estar atrelado à falta de articulação entre teoria e prática.Apresentá-la de forma contextualizada é uma maneira positiva para o ensino dessa ciência. Diante disso, esse trabalho traz um incentivo ao estudo da modelagem matemática em um campeonato de futebol, usando técnicas da teoria Estatística. A partir de um modelo de previsão de resultados no futebol, presente na literatura, foi proposto um novo modelo baseado no primeiro, que mostrou-se uma alternativa viável para previsão esportiva. Além disso, exibimos uma aplicação prática dos modelos, no campeonato Brasileiro de 2018 Série A, e sugerimos algumas atividades para serem desenvolvidas em sala de aula para o Ensino Médio / Abstract: The lack of interest in Mathematics may be related to the lack of articulation between theory and practice. Presenting it in a contextualized way is a positive way to teach this science. Therefore,this workbrings an incentive to the study of mathematical modeling in a soccer league, using Statistical theory techniques. Based on a soccer results prediction model presented in the literature,a new model based on the first one was proposed,which proved to be a viable alternative for sports forecasting. In addition, we showed a practical application of the models, in the 2018 Campeonato Brasileiro Série A, and we suggest some activities to be developed in the classroom for high school / Mestre
1116

Análise de flexibilidade para o problema de dimensionamento de lotes com plantas flexíveis e custo de transporte /

Teixeira, Samanta Bellei. January 2019 (has links)
Orientador: Silvio Alexandre de Araujo / Coorientador: Diego Jacinto Fiorotto / Banca: Mariá Cristina Vasconcelos Nascimento Rosset / Banca: Desiree Maldonado Carvalho / Resumo: O problema de dimensionamento de lotes com plantas flexíveis e custo de transporte consiste em definir quais plantas deverão ser flexíveis para produzir determinados itens e em determinar a quantidade de itens que deve ser produzida em cada planta e para quais clientes estes itens deverão ser entregues de forma a suprir as demandas predeterminadas, em um horizonte de tempo finito e dividido em períodos, levando em conta custos de produção, preparo, estoque, hora extra, flexibilidade e transporte. Neste trabalho é proposto um modelo matemático para este problema, além de uma análise computacional a fim de verificar se, com um orçamento de flexibilidade predefinido, pode-se oferecer as mesmas vantagens comparado ao orçamento de flexibilidade total. São analisados os casos de flexibilidade com plantas dedicada, plantas com flexibilidade total e algumas reduções deste nível de flexibilidade, como de 20%, 50% e 80% deste orçamento para investir em possíveis flexibilidades das plantas. Os resultados computacionais, para instâncias de tamanho pequeno indicam que é possível obter bons resultados com flexibilidade reduzida e que investir em flexibilidade é importante. Para instâncias de tamanho médio, a dificuldade em se resolver o modelo matemático não permitiu uma análise precisa sobre flexibilidade / Abstract: The lot sizing problem with flexible plants and transport costs consists in defining which plants should be flexible to produce certain items and to determine the quantity of items that should be produced in each plant and to which customers these items should be delivered in order to meet predetermined demands, in a finite time horizon divided into time periods, taking into account production, setup, inventory, overtime, flexibility and transportation costs. In this work, we propose a mathematical model for this problem, in addition to a computational analysis, in order to determine if, with a lower flexibility budget, the same benefits can be achieved compared to the total flexibility budget. We analyze the cases of flexibility with dedicated plants, plants with total flexibility and some reductions of flexibility, such as 20%, 50% and 80% of this budget to invest in possible plant flexibility. The computational results for small instances indicate that it is possible to obtain good results with reduced flexibility and that investing in flexibility is important. For medium instances, the difficulty in solving the mathematical model has not allowed an accurate analysis of flexibility / Mestre
1117

Derivaciones y dualidad en algebras de Banach

Aleandro, María José 10 March 2020 (has links)
Sin excepción, en este trabajo U denota un álgebra de Banach compleja. Los aportes originales de este trabajo se dan en tres capítulos: - En el Capítulo 2 asumimos que el álgebra de Banach U es Arens regular y consideramos derivaciones acotadas D : U→U* : Como U** admíte una estructura natural de álgebra de Banach estudiamos problemas concernientes a cuándo el operador adjunto D* : U** → U* es derivación. En particular, analizaremos el caso de la clase D(U) de derivaciones tales que (a,D(a)) = 0 para todo E U, las que caracterizamos. Veremos que para que el álgebra U sea débilmente amenable es necesario y suficiente que D(U) sea no trivial. Analizamos esta problemática en el caso específico de álgebras de Beurling construídas sobre el grupo aditivo de los enteros. Esta investigación está publicada en el New York Journal of Matematics [1]. - En el Capítulo 3 nos damos a la tarea de caracterizar los elementos a** E U** para los que a**U* es débil*-cerrado. Esta investigación tiene relación con la existencia de aproximaciones acotadas de la identidad en ideales cerrados del álgebra, por lo que se trata de un tema que requiere atención. El material presentado está en etapa de prensa de las Actas del XIV Congreso Dr. A. Monteiro [2]. - En el Capítulo 4 retomamos el tema derivaciones, ahora sobre el álgebra de convolución asociada a permutaciones de un conjunto numerable en si mismo. Es profusa la literatura sobre el particular, y naturalmente se da la necesidad de estudiar álgebras de convolución nito-dimensionales. Veremos cómo las algebras de convolución sobre grupos nitos de permutaciones pueden ser inmersas en álgebras de matrices. Por otra parte, si bien toda derivación centralizante sobre un álgebra de Banach mapea sobre el radical se verá que esta condición no es necesaria, incluso en el contexto finito dimensional. Esta investigación está en prensa en Acta Mathematica Academiae Paedagogicae Nyíregyháziensis [3]. / Without exception, U will denote a complex Banach algebra. Our original contributions in this work are given in three chapters: - In Chapter 2 we assume that the Banach algebra U is Arens regular and we consider bounded derivations D : U→U* : As U** has a natural structure of a Banach algebra we seek on conditions under which the adjoint operator D* : U** U→U* is a derivation. We shall characterize the class D(U) of bounded derivations so that (a,D(a)) = 0 for all a E U. We shall prove that the Banach algebra U is weakly amenable if and only if D(U) is non trivial. We shall consider this matters in the speci c case of Beurling algebras constructed on the additive group of integers. This research was published in the New York Journal of Mathematics [1]. - In Chapter 3 we shall characterize the elements a** E U** so that a**U* is weak*- closed. This investigation is connected with the existence of bounded approximate identities within closed ideals of U and is a matter that deserves attention. This investigation is in press of Actas del XIV Congreso Dr. A. Monteiro [2]. - In Chapter 4 we return to the issue of derivations, now on the convolution algebra on the discrete permutation group on a countable set. There is a huge literature in this matter and it is necessary to study nite dimensional convolution algebras. Althought any central derivation maps on the radical we shall see that this condition is not necessary, event in the nite dimensional context. This investigation is in press of Acta Mathematica Academiae Paedagogicae Nyíregyháziensis [3]. / TEXTO PARCIAL en período de teletrabajo
1118

Dois ensaios sobre a institucionalização da Matemática aplicada no Brasil /

Anjos, Marta Figueredo dos. January 2018 (has links)
Orientador: Arlete de Jesus Brito / Banca: Fumikazu Saito / Banca: André Luis Mattedi Dias / Banca: César Donizetto Pereira Leite / Banca: Elmha Coelho Martins Moura / Resumo: Esta tese tem como objeto de estudo a institucionalização da matemática aplicada no Brasil. Para tanto, apresentamos dois ensaios, os quais têm o objetivo de mostrar alguns elementos constituintes da referida institucionalização. Assim, por meio de entrevistas, cartas, fotos e músicas partimos para a construção dos documentos, para tanto nos guiamos pelos preceitos metodológicos da história cultural capturados, particularmente nos escritos de Peter Burke(2005) e Carlo Ginzburg (2002). Nesse sentido, promovemos problematizações acerca dos acontecimentos sociopolíticos das décadas de 1930 a 1980, no Brasil. No Primeiro ensaio, apresentamos uma análise de quatro instâncias sociais, a saber: o ensino, a pesquisa, a divulgação e a aplicação do conhecimento, os quais foram compreendidos, a partir dos estudos de Whiltey (1980), Bazi e Silveira (2007) e Alfonso - Goldfarb e Ferraz (2002), como elementos fundamentais para avaliação do processo de institucionalização de uma ciência. Por meio dessa análise, empreendemos um exercício de releitura de eventos históricos, envolvendo as décadas de 1930 a 1980. O referido exercício mostrou que a institucionalização da matemática aplicada no Brasil se estabeleceu em um ambiente multidisciplinar/interdisciplinar, por meio da articulação e consolidação dos elementos supracitados. Evidentemente, seguiu os contornos estabelecidos por uma prática científica própria das relações culturais brasileiras, construída por meio das novas demandas, fossem e... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This thesis aims to study the institutionalization of applied mathematics in Brazil. Therefore, we present two essays with the objective of showing some constituent elements of the referred institutionalization. Thus, through interviews, letters, photos and music, we began to construct the documents, so we are guided by the methodological precepts of cultural history captured, particularly in the writings of Peter Burke (2005) and Carlo Ginzburg (2002). With this, we promote problematizations about the sociopolitical events of the decades of 1930 to 1980, in Brazil. In the first essay we present an analysis of four social instances, namely: teaching, research, dissemination and application of knowledge, which were understood, according to studies by Whiltey (1980), Bazi and Silveira (2007) and Alfonso- Goldfarb and Ferraz (2002), as fundamental elements for the evaluation of the process of institutionalization of a science. Through this analysis we carried out an exercise in re-reading historical events involving the decades of 1930 and 1980, revealing that the institutionalization of applied mathematics in Brazil was established in a multidisciplinary/ interdisciplinary environment, through the articulation and consolidation of the aforementioned elements. Evidently, it followed the outlines established by a scientific practice proper to Brazilian cultural relations, built through the new demands - whether they were industrialization or the need to adapt to the context of Wo... (Complete abstract click electronic access below) / Doutor
1119

Matrizes no estudo e na resolução de sistemas lineares /

Sampaio, Ricardo. January 2018 (has links)
Orientador: Évelin Meneguesso Barbaresco / Banca: Ermínia de Lourdes Campello Fanti / Banca: Anderson Paião dos Santos / Resumo: Os sistemas de equações lineares são muito úteis, pois podem modelar matematicamente diversos problemas em Estatística, Física, Química, Engenharia, Administração, Economia, enfim, em várias áreas do conhecimento. Historicamente, o cálculo de soluções desse tipo de sistema pelos chineses motivou o surgimento das matrizes, que, grosseiramente falando, são tabelas de elementos distribuídos em linhas e colunas. O uso de matrizes facilita o estudo e também a resolução de sistemas lineares, pois simplificam a notação e padronizam os procedimentos. O método do escalonamento de matrizes, por exemplo, é uma técnica que pode ser utilizada em sistemas lineares em geral, além de ser facilmente automatizada devido ao seu algoritmo. O objetivo deste trabalho é apresentar alguns conceitos e resultados sobre matrizes e sistemas lineares e abordar a relação entre eles, além de propor alguns problemas que podem ser resolvidos utilizando esses resultados. Professores do Ensino Médio podem utilizar tais problemas em sala de aula para trabalhar esse assunto com seus alunos / Abstract: The systems of linear equations are very useful because they can mathematically model several problems in Statistics, Physics, Chemistry, Engineering, Administration, Economics, and finally, in various areas of knowledge. Historically, the computation of solutions of this type of system by the Chinese motivated the emergence of matrices, which, roughly speaking, are tables of elements distributed in rows and columns. The use of matrices facilitates the study and the resolution of linear systems because they simplify the notation and standardize the procedures. The Echelonment method, for example, is a technique that can always be used in linear systems in general, besides being easily automated due to its algorithm. The objective of this work is to present some concepts and results about matrices and linear systems and to approach the relation between them, besides proposing some problems that can be solved using these results. High school teachers may use such problems in the classroom to work on this subject with their students / Mestre
1120

Criptografia como recurso didático : uma proposta metodológica aos professores de matemática /

Rosseto, Cintia Kohori. January 2018 (has links)
Orientador: Suetônio de Almeida Meira / Banca: José Roberto Nogueira / Banca: Dayene Miralha de Carvalho Sano / Resumo: A criptografia tem como objetivo básico, transmitir uma mensagem a um destinatário sem que outra pessoa possa conhecer seu conteúdo, para que isso ocorra usa como ferramenta os recursos matemáticas. A preocupação com a privacidade e segurança é muito antiga, ao longo do tempo muitos códigos foram usados e utilizados principalmente para proteger segredos militares. Com o advento da comunicação eletrônica, muitas atividades essenciais passaram a depender do sigilo na troca de mensagens, principalmente aquelas que envolvem transações financeiras e uso seguro da internet. O presente trabalho trata a Criptografia como ferramenta de ensino nas aulas de Matemática, tendo em vista que o ensino da matemática está cada vez mais comprometido, principalmente por conta do desinteresse dos alunos e da grande defasagem com a qual chegam no Ensino Fundamental II. Diante disto, propomos a utilização de temas que tragam significado à aprendizagem e cativem o aluno. A criptografia pode ser abordada em vários conteúdos do Ensino Fundamental e Médio, como funções e matrizes, assuntos abordados no presente trabalho. Pretendemos, com a utilização da Criptografia no ensino dos conteúdos matemáticos, proporcionar sentido prático ao conteúdo estudado de forma que a aprendizagem se torne significativa para o aluno. Apresentaremos alguns modelos de atividades que abordam o tema criptografia e poderão ser aplicados no Ensino Fundamental e no Ensino Médio / Abstract: Encryption has the basic purpose of transmitting a message to a recipient without anyone else being able to know its contents, so that this occurs using the mathematical resources as a tool. The concern with privacy and security is very old, over time many codes have been used and used mainly to protect military secrets. With the advent of electronic communication, many essential activities depend on secrecy in the exchange of messages, especially those involving financial transactions and safe use of the internet. The present work treats Cryptography as a teaching tool in Mathematics classes, considering that the teaching of mathematics is increasingly compromised, mainly due to the lack of interest of the students and the large gap with which they arrive in Elementary School II. In view of this, we propose the use of themes that bring meaning to learning and captivate the student. The cryptography can be approached in several contents of Elementary and Middle School, like functions and matrices, subjects approached in the present work. We intend, with the use of Cryptography in the teaching of mathematical contents, to provide meaning practice to the content studied so that learning becomes meaningful for the student.We will present some models of activities that approach the subject of encryption and database is not Elementary and High School / Mestre

Page generated in 0.0461 seconds