Aritmética por apps

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Domínios de potências fracionárias de operadores matriciais segundo Lasiecka-Triggiani

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Termodinâmica de um conjunto de partículas em um bilhar bidimensional dependente do tempo: um gás bidimensional simplificado

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Uma abordagem geométrica para princípios de localização de integrais funcionais

Pós-graduação em Física - IFT

Máximos e mínimos com proposta de aplicação para funções quadráticas

Pós-graduação em Matemática em Rede Nacional - IBILCE

Teoria quântica da computação

This undergraduate thesis aims formally define aspects of Quantum Turing Machine using as a basis quantum finite automata. We introduce the basic concepts of quantum mechanics and quantum computing through principles such as superposition, entanglement of quantum states, quantum bits and algorithms. We demonstrate the Bell's teleportation theorem, enunciated in the form of Deutsch-Jozsa definition for quantum algorithms. The way as the overall text were written omits formal aspects of quantum mechanics, encouraging computer scientists to understand the framework of quantum computation. We conclude our thesis by listing the Quantum Turing Machine's main limitations regarding the well-known Classical Turing Machines

Teoria quântica da computação

This undergraduate thesis aims formally define aspects of Quantum Turing Machine using as a basis quantum finite automata. We introduce the basic concepts of quantum mechanics and quantum computing through principles such as superposition, entanglement of quantum states, quantum bits and algorithms. We demonstrate the Bell's teleportation theorem, enunciated in the form of Deutsch-Jozsa definition for quantum algorithms. The way as the overall text were written omits formal aspects of quantum mechanics, encouraging computer scientists to understand the framework of quantum computation. We conclude our thesis by listing the Quantum Turing Machine's main limitations regarding the well-known Classical Turing Machines

Male and female interactions during courtship of the Neotropical damselfly Mnesarete pudica (Odonata: Calopterygidae)

The courtship behavior in calopterygid damselflies is well documented; however, the behavior of the large Neotropical genus Mnesarete is still unknown. Thus, here we present the first description of male-female interactions in Mnesarete pudica, a common damselfly in the Neotropical Savanna. The male-female interactions were composed of courtship displays, mounting, and chasing. The courtship behavior lasted 5.23 +/- 1.65 s and is very different from other calopterygids, consisting of hovering flights and the cross display made in front of females rather than on the oviposition site. The arrival and presence of females on a male territory are not sufficient to initiate sexual interactions; the male usually interacts with the female only after a patrolling flight. The females may present three distinct behaviors in response to male approach: (a) warding off signal (31.53%), (b) escape (28.83%), (c) and wing flipping (39.64%), which seems to stimulate male courtship. Females also may sit still, which induces males to react as if females were signaling they are willing to mate. In this paper, we also suggest that male courtship behavior is mediated by female signals.

Allometric growth of two species of Ephemeroptera from Neotropical mountains streams

The present study evaluated the relative growth and allometry of Massartella brieni Lestage and Thraulodes sp. (Leptophlebiidae: Ephemeroptera). The morphometric analysis was based on 23 measurements and was conducted using a multivariate approach. Throughout postembryonic ontogeny, all of the head measurements, including those of the mouthparts, exhibited negative allometric growth. The mesothorax and wing pad exhibited positive allometric growth. The hind legs lengths in M. brieni and the fore and hind legs lengths in Thraulodes sp. exhibited positive allometry. The abdominal length in these two species exhibited positive allometric growth. Positive allometry was also observed along the abdomen width for M. brieni, and isometry was observed for Thraulodes sp. The relative strengthening of the thorax (in preparation for the winged stage) and the relative increase in the abdomen (which may be related to the development of the reproductive structures) during growth indicate that many of the structures that exhibit positive allometric growth are related to the transition from the aquatic to the adult stage of development.

A description of the nymph of Anacroneuria ofaye Froehlich (Plecoptera: Perlidae) and a apparatus for rearing Neotropical stonefly species

The Neotropical genus Anacroneuria (Perlidae) is represented by more than 300 species. Among the Brazilian Anacroneuria, only the nymphs of two species have been described. In this paper, we described the nymph of A. ofaye Froehlich and an apparatus for rearing this genus. This is the first record of A. ofaye from Parana State, Brazil.

Description of the larva of Mnesarete pudica (Hagen in Selys, 1853) (Odonata: Calopterygidae) and notes on known genera of South American Calopterygidae larvae

The final instar larva of Mnesarete pudica is described and illustrated based on reared specimens collected in Brazil. This species can be distinguished from others by presenting: a) five palpal and three premental setae; b) no posterodorsal hooks on abdominal segments; c) lateral spines only in S9-10. M. pudica is compared to other South American calopterygids and biological notes are presented.

Clinical judgment to estimate pretest probability in the diagnosis of Cushing's syndrome under a Bayesian perspective

OBJECTIVE: To estimate the pretest probability of Cushing's syndrome (CS) diagnosis by a Bayesian approach using intuitive clinical judgment. MATERIALS AND METHODS: Physicians were requested, in seven endocrinology meetings, to answer three questions: "Based on your personal expertise, after obtaining clinical history and physical examination, without using laboratorial tests, what is your probability of diagnosing Cushing's Syndrome?"; "For how long have you been practicing Endocrinology?"; and "Where do you work?". A Bayesian beta regression, using the WinBugs software was employed. RESULTS: We obtained 294 questionnaires. The mean pretest probability of CS diagnosis was 51.6% (95%CI: 48.7-54.3). The probability was directly related to experience in endocrinology, but not with the place of work. CONCLUSION: Pretest probability of CS diagnosis was estimated using a Bayesian methodology. Although pretest likelihood can be context-dependent, experience based on years of practice may help the practitioner to diagnosis CS. Arq Bras Endocrinol Metab. 2012;56(9):633-7

Un tema de álgebra lineal : sistemas de ecuaciones lineales

Lección introductoria al Álgebra Lineal a nivel de Primer curso de Universidad, poniendo énfasis en los aspectos genéticos. Se prueban varias versiones del teorema de Alternativa de Fredholm (versión "Teorema de Rouché-Fröbenius") para Sistemas lineales.

Prediseño de modelos a escala para el estudio de fenómenos dinámicos de interacción suelo-estructura en aerogeneradores off-shore sobre monopilotes

Máster Universitario en Eficiencia Energética (SIANI)

Fixed point theorems in partially ordered spaces and aplications

[ES]Recientemente, en la Teoría del punto fijo, han aparecido muchos resultados que obtienen condiciones suficientes para la existencia de un punto fijo si trabajamos con aplicaciones en un conjunto dotado de un orden parcial. Generalmente, estos resultados combinan dos teoremas del punto fijo fundamentales: el Teorema de la contracción de Banach y el Teorema de Knaster-Tarski.