Representacao De Algebras
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. Álgebras bisseriais especiais / Special biserial algebras
Special biserial algebras are a class of algebras that appear in many contexts. Butler and Ringel [6] made a description of indecomposable modules and irreducible morphisms of algebras string, a subclass of special biserial algebras. We show that special biserial algebras which are not string, have only one module projective-injective indecomposable for each
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/02/2012
-
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. Graduações de grupo na álgebra das matrizes triangulares superiores
Neste trabalho estudamos graduações de grupo na _álgebra das matrizes triangulares superiores UTn(F), as quais possuem muitas aplicações na teoria de PI-_álgebras. Nosso principal objetivo _e exibir uma descrição de todas as graduações finitas de UTn(F) por um grupo G, a menos de isomorfismo. Primeiramente, nos restringimos ao caso onde o corpo bas
Publicado em: 2009
-
4. ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo / ACP and LOTOS: a comparative study based on BPEL concepts and control-flow patterns
Recentemente, várias abordagens estão sendo propostas na área de modelagem de processos de negócio. Dentre elas estão as linguagens BPEL e NPDL. BPEL é uma linguagem de representação e execução de processos de negócio que se mostrou bastante expressiva e uma forte candidata a padrão de mercado. NPDL é uma linguagem de definição de processos de
Publicado em: 2008
-
5. Padrões de Fluxos de Processos em Banco de Dados Relacionais / Control-Flow Patterns in Relational Databases
A representação e execução de processos de negócio têm gerado importantes desafios na área de Ciência da Computação. Um desses desafios é a escolha do melhor arcabouço formal para a especificação dos controles de fluxo padrões. Algumas linguagens defendem o uso de redes de Petri ou álgebras de processos como base formal. O uso de redes de Pet
Publicado em: 2006
-
6. RENDALLNULLS THEOREMS AND THE UNIQUE DETERMINATION OF THE INNER PRODUCT IN REPRESENTATION OF ALGEBRAS / TEOREMAS DE RENDALL E A UNICIDADE DO PRODUTO INTERNO EM REPRESENTAÇÕES DE ÁLGEBRAS
This thesis is concerned with a paper from Alan D. Rendall named Unique determination of an inner product by adjointness relations in the algebra of quantum observables, in which is proved that given a *- representation of a *-algebra in a pre-Hilbert space V irreducible with regard to the inner product defined in V we can assure the uniqueness of the inner
Publicado em: 2004
-
7. Resultados motivados por uma caracterização de operadores pseudo-diferenciais conjecturada por Rieffel. / Resultados motivados por uma caracterização de operadores pseudo-diferenciais conjecturada por Rieffel.
Trabalhamos com funções definidas em Rn que tomam valores numa C*-álgebra A. Consideramos o conjunto SA (Rn) das funções de Schwartz, (de decrescimento rápido), com norma dada por ||f||2 = ||?f(x)*f(x)dx||½. Denotamos por CB?(R2n,A) o conjunto das funções C? com todas as suas derivadas limitadas. Provamos que os operadores pseudo-diferenciais com s�
Publicado em: 2002
-
8. Em direção a uma representação para equações algébricas :uma lógica equacional local
A aritmética intervalar conhecida como aritmética de Moore, não possui as mesmas propriedades dos números reais, e por este motivo, defrontase com um problema de natureza operatória, quando se deseja resolver equações intervalares como extensão de equações reais através da igualdade usual e da aritmética intervalar, por esta não possuir o invers
Publicado em: 2001