• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • 1
  • Tagged with
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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.
1

Funções recursivas primitivas: caracterização e alguns resultados para esta classe de funções

Gomes, Victor pereira 21 June 2016 (has links)
Submitted by Maike Costa (maiksebas@gmail.com) on 2016-08-10T14:17:41Z No. of bitstreams: 1 arquivo total.pdf: 975005 bytes, checksum: 6f8194b9c0cb9c0bbd07b1d2b0ba4b9e (MD5) / Made available in DSpace on 2016-08-10T14:17:41Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 975005 bytes, checksum: 6f8194b9c0cb9c0bbd07b1d2b0ba4b9e (MD5) Previous issue date: 2016-06-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The class of primitive recursive functions is not a formal version to the class of algorithmic functions, we study this special class of numerical functions due to the fact of that many of the functions known as algorithmic are primitive recursive. The approach on the class of primitive recursive functions aims to explore this special class of functions and from that, present solutions for the following problems: (1) given the class of primitive recursive derivations, is there an algorithm, that is, a mechanical procedure for recognizing primitive recursive derivations? (2) Is there a universal function for the class of primitive recursive functions? If so, is this function primitive recursive? (3) Are all the algorithmic functions primitive recursive? To provide solutions to these issues, we base on the hypothetical-deductive method and argue based on the works of Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), among others. We present the theory of Turing machines which is a formal version to the intuitive notion of algorithm, and after that the famous Church-Turing tesis which identifies the class of algorithmic functions with the class of Turing-computable functions. We display the class of primitive recursive functions and show that it is a subclass of Turing-computable functions. Having explored the class of primitive recursive functions we proved as results that there is a recognizer algorithm to the class of primitive recursive derivations; that there is a universal function to the class of primitive recursive functions which does not belong to this class; and that not every algorithmic function is primitive recursive. / A classe das funções recursivas primitivas não constitui uma versão formal para a classe das funções algorítmicas, estudamos esta classe especial de funções numéricas devido ao fato de que muitas das funções conhecidas como algorítmicas são recursivas primitivas. A abordagem acerca da classe das funções recursivas primitivas tem como objetivo explorar esta classe especial de funções e, a partir disto, apresentar soluções para os seguintes problemas: (1) dada a classe das derivações recursivas primitivas, há um algoritmo, ou seja, um procedimento mecânico, para reconhecer derivações recursivas primitivas? (2) Existe uma função universal para a classe das funções recursivas primitivas? Se sim, essa função é recursiva primitiva? (3) Toda função algorítmica é recursiva primitiva? Para apresentar soluções para estas questões, nos pautamos no método hipotético-dedutivo e argumentamos com base nos manuais de Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), entre outros. Apresentamos a teoria das máquinas de Turing, que constitui uma versão formal para a noção intuitiva de algoritmo, e, em seguida, a famosa tese de Church-Turing, a qual identifica a classe das funções algorítmicas com a classe das funções Turing-computáveis. Exibimos a classe das funções recursivas primitivas, e mostramos que a mesma constitui uma subclasse das funções Turing-computáveis. Tendo explorado a classe das funções recursivas primitivas, como resultados, provamos que existe um algoritmo reconhecedor para a classe das derivações recursivas primitivas; que existe uma função universal para a classe das funções recursivas primitivas a qual não pertence a esta classe; e que nem toda função algorítmica é recursiva primitiva.
2

A atividade de negociações algorítmicas de alta frequência no mercado brasileiro de dólar futuro

Maaz, Raphael Fortes 10 August 2018 (has links)
Submitted by Raphael Maaz (rfmaaz@gmail.com) on 2018-08-17T04:37:24Z No. of bitstreams: 1 Dissertation_20180817_RFM.pdf: 420668 bytes, checksum: 15c23fd991dfb5a7d5edff23f64e01b7 (MD5) / Rejected by Thais Oliveira (thais.oliveira@fgv.br), reason: Raphael, boa tarde! Para que possamos aprovar seu trabalho, a única alteração que deve ser feira é retirar o acento do "GETULIO" (nome da Escola). Por gentileza, alterar e submeter novamente. Qualquer dúvida, entre em contato. Thais Oliveira mestradoprofissional@fgv.br/ 3799-7764 on 2018-08-20T20:41:55Z (GMT) / Submitted by Raphael Maaz (rfmaaz@gmail.com) on 2018-08-21T03:59:50Z No. of bitstreams: 1 Dissertation_20180821_RFM.pdf: 420299 bytes, checksum: 16fbfa33cab672015314b8f39f931c77 (MD5) / Approved for entry into archive by Thais Oliveira (thais.oliveira@fgv.br) on 2018-08-21T23:50:47Z (GMT) No. of bitstreams: 1 Dissertation_20180821_RFM.pdf: 420299 bytes, checksum: 16fbfa33cab672015314b8f39f931c77 (MD5) / Approved for entry into archive by Suzane Guimarães (suzane.guimaraes@fgv.br) on 2018-08-22T13:12:56Z (GMT) No. of bitstreams: 1 Dissertation_20180821_RFM.pdf: 420299 bytes, checksum: 16fbfa33cab672015314b8f39f931c77 (MD5) / Made available in DSpace on 2018-08-22T13:12:56Z (GMT). No. of bitstreams: 1 Dissertation_20180821_RFM.pdf: 420299 bytes, checksum: 16fbfa33cab672015314b8f39f931c77 (MD5) Previous issue date: 2018-08-10 / O presente trabalho apresenta um estudo sobre catacterístitcas importantes da utilização de estratégias de negociações algorítmicas de alta frequência (HFT) por investidores que realizam operações com contratos futuros de taxa de câmbio em reais por dólar comercial no mercado brasileiro, tais como o nível de atividade de operadores que empregam este tipo de recurso e seus principais fatores de influência, a rentabilidade de participantes de instituições que adotam esta prática e a existência de padrões nas estratégias adotadas por negociadores algoritmicos. Dentre as conclusões obtidas, verificou-se que investidores que utilizam estratégias de HFT possuem uma participação de aproximadamente 70% no mercado de contratos futuros de dólar comercial. Além disso, o nível de participação é influenciado pela volatilidade de mercado e da taxa de câmbio futura, bem como o número de contratos em aberto, resultando em lucros diários de aproximadamente R$ 18 mil. Finalmente, verifica-se a existência de elevados níveis de correlação entre as estratégias utilizadas por negociadores algorítmicos e comportamento de manada, bem como a utilização de mecanismos de retroalimentação positiva. / This work presents a study about important characteristics of the adoption of high-frequency trading (HFT) strategies by investors that perform operations with USDBRL futures contracts on the Brazilian Foreign Exchange markets, such as the market share and the profits of the participants that resort to such strategies, as well as its main determinants, and the existence of patterns on the strategies adopted by high-frequency traders. It has been determined that investors that use HFT strategies possess 70% of market share on US dollar futures contracts and that its participation is influenced by markets and futures exchange rates volatility level, as well as its open interest, making an average profit of roughly 18 thousand Brazilian reals per day. Finally, it has been possible to determine the existence of high levels of correlation between the strategies adopted by high-frequency traders, as well as herding and the usage of positive feedback strategies.
3

Internet como espacio de creación colectiva: Metamemoria, un ejemplo práctico

Cuenca Ramón, Lorena Amalia 07 January 2014 (has links)
La tesis se presenta como un estudio teórico-práctico de Internet como espacio de "creación colectiva" y el consecuente "replanteamiento de la figura del autor y el espectador en la cultura digital" al ser una constante dentro de las prácticas artísticas contemporáneas. Por otra parte, hay que señalar que esta investigación constituye una revisión del trabajo realizado con anterioridad para la obtención del Diploma de Estudios Avanzados (DEA). Esta revisión ha sido ampliada con una actualización de conceptos y obras propuestas, tratados en cada capítulo desde la perspectiva de la participación del usuario y la cesión de autoría por parte del autor. Por consiguiente, las conclusiones presentadas muestran características comunes que, dentro de esta heterogeneidad cambiante del campo de estudio de esta tesis ¿ tanto a nivel cualitativo como cuantitativo ¿, definen este nuevo campo de actuación y recepción de la obra, el entorno colaborativo del panorama actual, que promueve la comunicación y el trabajo cooperativo entre los usuarios. La investigación consta de tres partes: La primera, Referentes antes del medio digital, está centrada en trazar un recorrido breve por diferentes ejemplos procedentes de diversos ámbitos creativos, y nos cuenta cómo se ha ido gestando la situación del autor y del espectador frente a la obra. En la segunda parte, Referentes en el medio digital, esta realidad se hace evidente y la ejemplificamos con obras actuales dentro de un campo acotado de actuación, el medio digital. La intención que se persigue es la de demostrar las hipótesis de partida, en las que se sugiere cómo, con la ayuda de las nuevas tecnologías digitales, este cambio de paradigma en la figura del autor y del espectador se ha hecho más factible, y cómo la obra es puesta a disposición del público, para que éste, participe y contribuya desde la colectividad que posibilita la Red. Y la tercera parte, Prácticas participativas en la Red, muestra proyectos y plataformas abiertas a la participación y a la conectividad entre usuarios que presentan un nuevo modelo de producción basado en la creación colectiva. Un modelo trasladable a nuestro campo de actuación que ejemplificaremos con una propuesta artística, Metamemoria, realizada por el doctorando durante el periodo de tesis, que se presenta como desarrollo práctico de la tesis y como fusión del propio proceso teórico del estudio con el desarrollo activo del investigador en el campo del Arte. Así, en ella queda patente el desarrollo teórico llevado a cabo en torno a la figura del autor y del espectador en la cultura visual digital; concretamente, se vale de los conceptos e ideas extraídos de su estudio y aplicación. De este modo, desde las conclusiones obtenidas a este respecto, presentamos un prototipo de obra que revela los rasgos generales que definen la Red como un espacio para la creación colectiva, al tiempo que traslada los conceptos de autor y observador a los de meta-autor e interactor. / Cuenca Ramón, LA. (2013). Internet como espacio de creación colectiva: Metamemoria, un ejemplo práctico [Tesis doctoral]. Editorial Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/34771 / Alfresco

Page generated in 0.0291 seconds