Types Inference Systems
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção
The ג-calculus is a well known theoretical computation model as old as the concept of computable functions. Due to the substitution definition as a meta-operator there exists a great quantity of variations of this computational system in which the operation of substitution is treated explicitly. In this work we investigate intersection type systems for
Publicado em: 2010
-
2. Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento / A type sistems for a knowledge structured representation language
A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação dos objetos implica numa abstração das características irrelevantes dos mesmos,permitindo dessa maneira uma simplificação impo
Publicado em: 2010
-
3. Análise sob restrições baseada em um raciocínio energético para o problema de escalonamento tempo real de sistemas de gerenciamento de workflow
This work propose a method of analysis under constraints applied to the problem of real time scheduling in workflow management systems. The goal is to filter the start of activities in order to eliminate inconsistent dates with scheduling solutions and to identify inadmissible schedules due to the inability of energy resources involved. The adopted model is
Publicado em: 2009
-
4. ELECTRIC DISTRIBUTION POWER SYSTEMS RELIABILITY OPTIMIZATION: An Approach Considering the Selection and Allocation of Protection and Switching Devices / OTIMIZAÇÃO DA CONFIABILIDADE DE SISTEMAS DE DISTRIBUIÇÃO DE ENERGIA ELÉTRICA: Uma Abordagem Considerando a Seleção e Alocação de Dispositivos de Proteção e Manobras
One of the main goals of the electric utilities is to provide energy to its customers in a reliable and low cost way. Traditionally, the electricity sector regulatory commissions impose continuity targets, which must be carried out, to avoid great penalties. For many years, the electric utilities have adopted the practice of allowing the increment of tempora
Publicado em: 2009
-
5. Método de estimação de espectro direcional de ondas baseado em movimentos de 1ª ordem de sistemas oceânicos: validação em escala reduzida e verificação em escala real. / Directional wave spectrum estimation method based on first order motions of offshore systems: model-scale validation and real-scale verification.
This text is about estimating directional wave spectra based on first order motions of stationary systems by means of a bayesian inference method. After being described the method and its main sources of uncertainties discussed, an experimental validation was carried out with two different types of hulls for irregular waves and bimodal seas, with a posterior
Publicado em: 2008
-
6. MODELOS NEURO-FUZZY HIERÁRQUICOS BSP DO TIPO 2 / TYPE-2 HIERARCHICAL NEURO-FUZZY BSP MODEL
The objective of this thesis is to create a new type-2 fuzzy inference system for the treatment of uncertainties with automatic learning and that provides an interval of confidence for its defuzzified output through the calculation of corresponding type-reduced sets. In order to attain this objective, this new model combines the paradigms of the modelling of
Publicado em: 2007
-
7. Automatic diagnoses of rolling bearing failures based in fuzzy logic. / Diagnóstico automático de defeitos em rolamentos baseado em lógica fuzzy
This works describes two proposed methodologies for the automatic diagnoses in mechanical equipment: the fuzzy system inference and a Fuzzy C-Means based algorithm. Their performances are evaluated in an experimental case and, afterwards, also compared by the statistical alarm, a diagnostic methodology very used in industries at present. In order to do the t
Publicado em: 2005
-
8. Hyper Friburgo: um sistema hyper texto baseado em agentes inteligentes para informações turísticas / Hyper Friburgo: a hyper text system based on intelligent agents for touristic informations
Nova Friburgo is a Brazilian tourist city, which attracts different types of visitors. This dissertation describes an intelligent system to be installed at a tourist information center for assisting those who need directions to this citys major attractions. Currently, there is an ordinary multimedia application for tourism support but such system is being ex
Publicado em: 1999
-
9. HYPERMEDIA INTELLIGENT SYSTEMS / SISTEMAS INTELIGENTES HIPERMÍDIA
This dissertation investigated the application of computing intelligence techniques and hypermidia systems for the creation of a tool for developement hypermidia intelligent systems. The work, in the computer systems area, had as objective the development of techniques for use hypermidia systems together with computing intelligence techniques, as well as the
Publicado em: 1998
-
10. Cytochalasin Blocks Sympathetic Ganglionic Transmission: A Presynaptic Effect Antagonized by Pyruvate
The mold metabolite cytochalasin B blocked transmission through the perfused superior cervical sympathetic ganglion of the cat. Acetylcholine injected close-arterially during block continued to excite the ganglion cells so that failure was presynaptic and, by inference, due to reduced output of acetylcholine from the preganglionic nerves. This blocking effec
-
11. SNPSTRs: Empirically Derived, Rapidly Typed, Autosomal Haplotypes for Inference of Population History and Mutational Processes
Each independently evolving segment of the genomes of a sexually reproducing organism has a separate history reflecting part of the evolutionary history of that organism. Uniparentally or clonally inherited DNA segments such as the mitochondrial and chloroplast genomes and the nonrecombining portion of the Y chromosome have provided, to date, most of the kno
Cold Spring Harbor Laboratory Press.