subject:(PI algebra)

Universidade Estadual de Campinas

1. Mello, Thiago Castilho de, 1984-. Identidades polinomiais em álgebras matriciais sobre a álgebra de Grassmann: Polynomial identities in matrix algebras over the Grassmann algebra.

Degree: 2012, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306366

► Abstract: In this thesis, we study the generic algebra of M1;1 in two generators over an infinite field of characteristic different from 2. We describe… (more)

Subjects/Keywords: Identidade polinomial; Grassmann, Álgebra de; Anéis (Álgebra); PI-álgebras; Álgebra não-comutativa; Polynomial identity; Grassmann algebra; Rings (Algebra); PI-algebra; Noncommutative algebras

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Mello, Thiago Castilho de, 1. (2012). Identidades polinomiais em álgebras matriciais sobre a álgebra de Grassmann: Polynomial identities in matrix algebras over the Grassmann algebra. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306366

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Mello, Thiago Castilho de, 1984-. “Identidades polinomiais em álgebras matriciais sobre a álgebra de Grassmann: Polynomial identities in matrix algebras over the Grassmann algebra.” 2012. Thesis, Universidade Estadual de Campinas. Accessed January 24, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306366.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Mello, Thiago Castilho de, 1984-. “Identidades polinomiais em álgebras matriciais sobre a álgebra de Grassmann: Polynomial identities in matrix algebras over the Grassmann algebra.” 2012. Web. 24 Jan 2021.

Vancouver:

Mello, Thiago Castilho de 1. Identidades polinomiais em álgebras matriciais sobre a álgebra de Grassmann: Polynomial identities in matrix algebras over the Grassmann algebra. [Internet] [Thesis]. Universidade Estadual de Campinas; 2012. [cited 2021 Jan 24]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306366.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mello, Thiago Castilho de 1. Identidades polinomiais em álgebras matriciais sobre a álgebra de Grassmann: Polynomial identities in matrix algebras over the Grassmann algebra. [Thesis]. Universidade Estadual de Campinas; 2012. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306366

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade Estadual de Campinas

2. Reis, Júlio César dos, 1979-. Graduações e identidades graduadas para álgebras de matrizes: Gradings and graded identities for matrix algebra.

Degree: 2012, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306363

► Abstract: In this PhD thesis we give bases of the graded polynomial identities of...Note: The complete abstract is available with the full electronic document Advisors/Committee… (more)

Subjects/Keywords: PI-álgebras; Identidade polinomial; Aneís graduados; Matrizes (Matemática); Corpos finitos (Álgebra); PI-algebras; Polynomial identity; Graded rings; Matrix algebra; Finite fields (Algebra)

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Reis, Júlio César dos, 1. (2012). Graduações e identidades graduadas para álgebras de matrizes: Gradings and graded identities for matrix algebra. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306363

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Reis, Júlio César dos, 1979-. “Graduações e identidades graduadas para álgebras de matrizes: Gradings and graded identities for matrix algebra.” 2012. Thesis, Universidade Estadual de Campinas. Accessed January 24, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306363.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Reis, Júlio César dos, 1979-. “Graduações e identidades graduadas para álgebras de matrizes: Gradings and graded identities for matrix algebra.” 2012. Web. 24 Jan 2021.

Vancouver:

Reis, Júlio César dos 1. Graduações e identidades graduadas para álgebras de matrizes: Gradings and graded identities for matrix algebra. [Internet] [Thesis]. Universidade Estadual de Campinas; 2012. [cited 2021 Jan 24]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306363.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Reis, Júlio César dos 1. Graduações e identidades graduadas para álgebras de matrizes: Gradings and graded identities for matrix algebra. [Thesis]. Universidade Estadual de Campinas; 2012. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306363

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Ruhr Universität Bochum

3. Rajaee, Saeed. Multigraded algebras and non-associative Gröbner bases.

Degree: 2006, Ruhr Universität Bochum

URL: http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:hbz:294-16386

► The basic notions of a theory of Gröbner bases for ideals in the non-associative, noncommutative algebras KX and [\begin{displaymath}K(X)_∞\end{displaymath}] with a unit freely generated by… (more)

Subjects/Keywords: Hilbert-Funktion; Cayley-Algebra; PI-Algebra; Reduktionssystem; MuPAD

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Rajaee, S. (2006). Multigraded algebras and non-associative Gröbner bases. (Thesis). Ruhr Universität Bochum. Retrieved from http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:hbz:294-16386

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Rajaee, Saeed. “Multigraded algebras and non-associative Gröbner bases.” 2006. Thesis, Ruhr Universität Bochum. Accessed January 24, 2021. http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:hbz:294-16386.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Rajaee, Saeed. “Multigraded algebras and non-associative Gröbner bases.” 2006. Web. 24 Jan 2021.

Vancouver:

Rajaee S. Multigraded algebras and non-associative Gröbner bases. [Internet] [Thesis]. Ruhr Universität Bochum; 2006. [cited 2021 Jan 24]. Available from: http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:hbz:294-16386.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rajaee S. Multigraded algebras and non-associative Gröbner bases. [Thesis]. Ruhr Universität Bochum; 2006. Available from: http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:hbz:294-16386

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Waterloo

4. Ashburner, Michelle Roshan Marie. A Survey of the Classification of Division Algebras.

Degree: 2008, University of Waterloo

URL: http://hdl.handle.net/10012/4072

► For a given field F we seek all division algebras over F up to isomorphism. This question was first investigated for division algebras of finite… (more)

Subjects/Keywords: Division Algebra; Central Simple Algebra; Crossed Product; PI Algebra; Growth

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Ashburner, M. R. M. (2008). A Survey of the Classification of Division Algebras. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/4072

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Ashburner, Michelle Roshan Marie. “A Survey of the Classification of Division Algebras.” 2008. Thesis, University of Waterloo. Accessed January 24, 2021. http://hdl.handle.net/10012/4072.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Ashburner, Michelle Roshan Marie. “A Survey of the Classification of Division Algebras.” 2008. Web. 24 Jan 2021.

Vancouver:

Ashburner MRM. A Survey of the Classification of Division Algebras. [Internet] [Thesis]. University of Waterloo; 2008. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/10012/4072.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ashburner MRM. A Survey of the Classification of Division Algebras. [Thesis]. University of Waterloo; 2008. Available from: http://hdl.handle.net/10012/4072

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade Estadual de Campinas

5. Brandão Junior, Antonio Pereira. Polinomios centrais para algebras graduadas: Central polynomials for graded algebras.

Degree: 2006, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306381

► Abstract: In this thesis we study graded central polynomials and central polynomials with involution for some important algebras in the theory of algebras with polynomial… (more)

Subjects/Keywords: Álgebra; Álgebra não-comutativa; PI-álgebras; Noncommutative algebras; PI-algebras; Algebra

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Brandão Junior, A. P. (2006). Polinomios centrais para algebras graduadas: Central polynomials for graded algebras. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306381

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Brandão Junior, Antonio Pereira. “Polinomios centrais para algebras graduadas: Central polynomials for graded algebras.” 2006. Thesis, Universidade Estadual de Campinas. Accessed January 24, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306381.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Brandão Junior, Antonio Pereira. “Polinomios centrais para algebras graduadas: Central polynomials for graded algebras.” 2006. Web. 24 Jan 2021.

Vancouver:

Brandão Junior AP. Polinomios centrais para algebras graduadas: Central polynomials for graded algebras. [Internet] [Thesis]. Universidade Estadual de Campinas; 2006. [cited 2021 Jan 24]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306381.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Brandão Junior AP. Polinomios centrais para algebras graduadas: Central polynomials for graded algebras. [Thesis]. Universidade Estadual de Campinas; 2006. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306381

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade de Brasília

6. Evander Pereira de Rezende. Identidades polinomiais graduadas de algumas àlgebras matriciais.

Degree: 2010, Universidade de Brasília

URL: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6879

►

Let K be an associative and commutative ring with 1 and let A be an associative Kalgebra with or without 1. We say that the… (more)

▼

Let K be an associative and commutative ring with 1 and let A be an associative Kalgebra with or without 1. We say that the polynomial identities of A have the Specht property if each K-algebra B satisfying all the polynomial identities of A has a finite basis for its identities. Let M2(K) be the algebra of 2 × 2 matrices over a field K. If K is a field of characteristic 0 then, by the celebrated result of Kemer, the polynomial identities of every algebra over K have the Specht property. In particular, the result holds for the polynomial identities of M2(K). However, if the characteristic of the field K is positive and K is infinite, it is not known if the identities of M2(K) have such a property . In this work we study the Specht property for the 2-graded polynomial identities of the algebra M2(K) over an associative and commutative Noetherian ring with 1. The 2-grading of M2(K) is given by M2(K)0 = {(a 0 ) a, d K} , M2(K)1 = {(0 b); b, c K}. {(0 d); {(c 0) Our main result is as follows: Let K be an associative and commutative Noetherian ring with 1. Then the 2- graded polynomial identities of the algebra M2(K) of 2 × 2 matrices over K have the Specht property. We have proved also the Specht property for the graded polynomial identities of some other algebras.

Seja K um anel associativo, comutativo e unitário e seja A uma K- álgebra associativa com ou sem 1. Dizemos que as identidades polinomiais de A possuem a propriedade de Specht se qualquer K- álgebra B satisfazendo todas as identidades polinomiais de A possui base finita para suas identidades. Seja M2(K) a álgebra de matrizes 2 × 2 sobre um corpo K. Se K for um corpo de característica 0, então, pelo celebrado resultado de Kemer, as identidades polinomiais de toda álgebra sobre K têm a propriedade de Specht. Em particular, vale o resultado para as identidades de M2(K). Entretanto, se a característica do corpo K é positiva e K é infinito, não é conhecido se as identidades de M2(K) possuem tal propriedade. Neste trabalho estudamos a propriedade de Specht para as identidades polinomiais 2-graduadas da álgebra M2(K) sobre um anel K associativo, comutativo, Noetheriano e unitário. A 2-graduação de M2(K) é dada por M2(K)0 = {(a 0 ) a, d K} , M2(K)1 = {(0 b); b, c K}. {(0 d); {(c 0) Nosso resultado principal é o seguinte: Seja K um anel associativo, comutativo e Noetheriano com 1. Então as identidades polinomiais 2-graduadas da álgebra M2(K) de matrizes 2 × 2 sobre K possuem a propriedade de Specht. Mostramos a propriedade de Specht também para as identidades polinomiais graduadas de algumas outras álgebras.

Advisors/Committee Members: Shirlei Serconek, José Antônio Oliveira de Freitas, Irina Sviridova, Ivan Chestakov, Alexei Krassilnikov.

Subjects/Keywords: identidades polinomiais; pi-àlgebras, propriedade da base finita; propriedade de specht; àlgebras matriciais; specht property; Algebras graduadas; pi-algebras; matrix álgebras; ALGEBRA; Graded álgebras; polynomial identities; finite basis Property

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Rezende, E. P. d. (2010). Identidades polinomiais graduadas de algumas àlgebras matriciais. (Thesis). Universidade de Brasília. Retrieved from http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6879

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Rezende, Evander Pereira de. “Identidades polinomiais graduadas de algumas àlgebras matriciais.” 2010. Thesis, Universidade de Brasília. Accessed January 24, 2021. http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6879.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Rezende, Evander Pereira de. “Identidades polinomiais graduadas de algumas àlgebras matriciais.” 2010. Web. 24 Jan 2021.

Vancouver:

Rezende EPd. Identidades polinomiais graduadas de algumas àlgebras matriciais. [Internet] [Thesis]. Universidade de Brasília; 2010. [cited 2021 Jan 24]. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6879.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rezende EPd. Identidades polinomiais graduadas de algumas àlgebras matriciais. [Thesis]. Universidade de Brasília; 2010. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6879

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Brno University of Technology

7. Prokopová, Dagmar. Vizualizace výrazů procesní algebry pi-kalkul: Visual Representation of Pi-Calculus Expressions.

Degree: 2019, Brno University of Technology

URL: http://hdl.handle.net/11012/69551

► This work deals with the problem of visual representation of Pi-calculus expressions. The theoretical part of this paper discusses general principles of process algebras as… (more)

Subjects/Keywords: procesní algebra; pi-kalkul; vizualizace; souběžné systémy; formální specifikace; grafická reprezentace; graf; redukce; výrazy; Process algebras; Pi-calculus; Visualization; Concurent systems; Formal specification; Graphical representation; Graph; Reduction; Expressions

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Prokopová, D. (2019). Vizualizace výrazů procesní algebry pi-kalkul: Visual Representation of Pi-Calculus Expressions. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/69551

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Prokopová, Dagmar. “Vizualizace výrazů procesní algebry pi-kalkul: Visual Representation of Pi-Calculus Expressions.” 2019. Thesis, Brno University of Technology. Accessed January 24, 2021. http://hdl.handle.net/11012/69551.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Prokopová, Dagmar. “Vizualizace výrazů procesní algebry pi-kalkul: Visual Representation of Pi-Calculus Expressions.” 2019. Web. 24 Jan 2021.

Vancouver:

Prokopová D. Vizualizace výrazů procesní algebry pi-kalkul: Visual Representation of Pi-Calculus Expressions. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/11012/69551.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Prokopová D. Vizualizace výrazů procesní algebry pi-kalkul: Visual Representation of Pi-Calculus Expressions. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/69551

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

8. Deharbe, Aurélien. Analyse de ressources pour les systèmes concurrents dynamiques : Resource analysis for concurrent and dynamic systems.

Degree: Docteur es, Informatique, 2016, Université Pierre et Marie Curie – Paris VI

URL: http://www.theses.fr/2016PA066520

►

Durant leur exécution, les systèmes concurrents manipulent diverses ressources dynamiques en nombre : fichiers, liens de communication, mémoire, etc. Les propriétés comportementales de ces systèmes… (more)

▼

Durant leur exécution, les systèmes concurrents manipulent diverses ressources dynamiques en nombre : fichiers, liens de communication, mémoire, etc. Les propriétés comportementales de ces systèmes sont alors étroitement liées aux manipulations de ces ressources qu'ils allouent, utilisent, puis détruisent. Nous proposons dans cette thèse une analyse quantitative, effectuée de manière statique, de ce type de ressources pour les systèmes concurrents et dynamiques. Les systèmes que l'on considère peuvent être des programmes concurrents et parallèles (le langage Piccolo développé dans le cadre de ce travail en est un exemple), ou encore la modélisation de systèmes plus généraux. Pour atteindre cette généricité, notre travail repose fortement sur les algèbres de processus, et plus particulièrement sur le pi-calcul pour lequel nous proposons une variante sémantique ainsi que plusieurs abstractions adaptées à l'observation des ressources en particulier. Le socle théorique de notre analyse est présenté sous la forme d'un nouveau type d'automates nominaux : les nu-automates. Ils permettent de raisonner spécifiquement sur les ressources dynamiques, tant pour caractériser les notions quantitatives de consommation en ressources que pour de futures analyses qualitatives. À partir de ce formalisme nous réalisons ensuite un ensemble d'algorithmes ayant pour but de mettre en oeuvre les résultats introduits sur les nu-automates. Enfin, nous proposons plusieurs expérimentations, sur la base d'exemples classiques du pi-calcul, de notre prototype d'analyse de ressources.

Concurrent activities involve undoubtedly many dynamic resources manupulations: files, communication links, memory, etc. Then, the behavioral properties of such systems are closely linked to their usage of those resources that they allocate, use, and finally destroy. In this work, we develop a quantitative static analysis of concurrent and parallel systems for this kind of resources. Systems that we consider can be concurrent and parallel programs (written for example in the Piccolo programming language which was developped during this thesis), or models descriptions of more general systems. To be generic, our work lies on process algebra, specifically pi-calculs for which we propose a variant semantics in addition to several resources abstractions strategies. The underlying theory is developped as a nominal automata framework (namely the nu-automata). They allow one to reason about dynamic resources usage to charaterize both quantitative and qualitative properties. From this formalism we establish an algorithmic framework that enforce the qualitative results defined on nu-automata. Finally, our resources abstractions and resources analysis are tested experimentally on classical pi-calculus examples using our prototype analysis tool.

Advisors/Committee Members: Peschanski, Frédéric (thesis director), Soria, Michèle (thesis director).

Subjects/Keywords: Systèmes concurrents; Systèmes dynamiques; Analyse de ressources; Automates à mémoire; Algèbres de processus; Pi-Calcul; Resource analysis; Process algebra; Pi-calculs; 004

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Deharbe, A. (2016). Analyse de ressources pour les systèmes concurrents dynamiques : Resource analysis for concurrent and dynamic systems. (Doctoral Dissertation). Université Pierre et Marie Curie – Paris VI. Retrieved from http://www.theses.fr/2016PA066520

Chicago Manual of Style (16^th Edition):

Deharbe, Aurélien. “Analyse de ressources pour les systèmes concurrents dynamiques : Resource analysis for concurrent and dynamic systems.” 2016. Doctoral Dissertation, Université Pierre et Marie Curie – Paris VI. Accessed January 24, 2021. http://www.theses.fr/2016PA066520.

MLA Handbook (7^th Edition):

Deharbe, Aurélien. “Analyse de ressources pour les systèmes concurrents dynamiques : Resource analysis for concurrent and dynamic systems.” 2016. Web. 24 Jan 2021.

Vancouver:

Deharbe A. Analyse de ressources pour les systèmes concurrents dynamiques : Resource analysis for concurrent and dynamic systems. [Internet] [Doctoral dissertation]. Université Pierre et Marie Curie – Paris VI; 2016. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2016PA066520.

Council of Science Editors:

Deharbe A. Analyse de ressources pour les systèmes concurrents dynamiques : Resource analysis for concurrent and dynamic systems. [Doctoral Dissertation]. Université Pierre et Marie Curie – Paris VI; 2016. Available from: http://www.theses.fr/2016PA066520

Royal Holloway, University of London

9. McEvoy, Thomas Richard. Context-based anomaly detection in critical infrastructures : a study in distributed systems.

Degree: PhD, 2013, Royal Holloway, University of London

URL: https://pure.royalholloway.ac.uk/portal/en/publications/context-based-anomaly-detection-in-critical-infrastructures(ff2bd1ee-e320-4af0-bd1d-91e009b15968).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603445

► The modernization of critical infrastructure exposes a large attack surface in a set of systems, key to the sustainability of civilization, at a time when… (more)

▼ The modernization of critical infrastructure exposes a large attack surface in a set of systems, key to the sustainability of civilization, at a time when targeted malicious attacks are growing in sophistication, particularly with regard to stealth techniques, which are particularly difficult to uncover in distributed systems due to multiple possible orderings of state. We argue that by making use of a set of known relationships (which we label a 'context') between states in disparate parts of a distributed system and the provision of suitable concurrent (or near-concurrent) observation and comparison mechanisms, we can provide the means to detect such anomalies and locate their source as a precursor to managing outcomes. As a necessary prerequisite to our research, we establish an adversary capability model which allows us to make explicit statements about the feasible actions and subsequent impacts of adversary and demonstrate the validity of any detective methods. We focus primarily on integrity attacks. The first technique we present is a security protocol, using traceback techniques, which allows us to locate processes which manipulate message content between an operator and a control unit. The second technique allows us to model algebraically possible sequences in host system states which may be indicative of malicious activity and detect these using a multi-threaded observation mechanism. The third technique provides a process engineering model of a basic non-linear process in a biochemical plant (pasteurization in a brewery) which shows how the provision of, even minimal, additional sensor information, outside of standard telemetry requirements, can be used to determine a failure in supervisory control due to malicious action. This last technique represents an improvement over previous approaches which focused on linear or linearized systems. All three techniques pave the way for more sophisticated approaches for real-time detection and management of attacks.

Subjects/Keywords: 004.36; critical infrastructures; anomaly detection; distributed systems; IP traceback; non-linear; adversary capability model; threat model; process algebra; pi calculus

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

McEvoy, T. R. (2013). Context-based anomaly detection in critical infrastructures : a study in distributed systems. (Doctoral Dissertation). Royal Holloway, University of London. Retrieved from https://pure.royalholloway.ac.uk/portal/en/publications/context-based-anomaly-detection-in-critical-infrastructures(ff2bd1ee-e320-4af0-bd1d-91e009b15968).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603445

Chicago Manual of Style (16^th Edition):

McEvoy, Thomas Richard. “Context-based anomaly detection in critical infrastructures : a study in distributed systems.” 2013. Doctoral Dissertation, Royal Holloway, University of London. Accessed January 24, 2021. https://pure.royalholloway.ac.uk/portal/en/publications/context-based-anomaly-detection-in-critical-infrastructures(ff2bd1ee-e320-4af0-bd1d-91e009b15968).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603445.

MLA Handbook (7^th Edition):

McEvoy, Thomas Richard. “Context-based anomaly detection in critical infrastructures : a study in distributed systems.” 2013. Web. 24 Jan 2021.

Vancouver:

McEvoy TR. Context-based anomaly detection in critical infrastructures : a study in distributed systems. [Internet] [Doctoral dissertation]. Royal Holloway, University of London; 2013. [cited 2021 Jan 24]. Available from: https://pure.royalholloway.ac.uk/portal/en/publications/context-based-anomaly-detection-in-critical-infrastructures(ff2bd1ee-e320-4af0-bd1d-91e009b15968).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603445.

Council of Science Editors:

McEvoy TR. Context-based anomaly detection in critical infrastructures : a study in distributed systems. [Doctoral Dissertation]. Royal Holloway, University of London; 2013. Available from: https://pure.royalholloway.ac.uk/portal/en/publications/context-based-anomaly-detection-in-critical-infrastructures(ff2bd1ee-e320-4af0-bd1d-91e009b15968).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603445

Universidade Estadual de Campinas

10. Gonçalves, Dimas José. A-identidades polinomiais em algebras associativas: A-polynomial identities in associative algebras.

Degree: 2009, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306369

► Abstract: In this PhD thesis we study polynomial identities in associative algebras. More precisely we study the A-ideIltities for several important classes of algebras. The… (more)

Subjects/Keywords: Identidade polinomial; A-identidade polinomial; Grassmann, Álgebra de; Matrizes triangulares superiores; PI-álgebras; PI-algebra; Polynomial identity; A-polynomial identity; Grassmann algebra; Upper triangular matrices

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Gonçalves, D. J. (2009). A-identidades polinomiais em algebras associativas: A-polynomial identities in associative algebras. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306369

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Gonçalves, Dimas José. “A-identidades polinomiais em algebras associativas: A-polynomial identities in associative algebras.” 2009. Thesis, Universidade Estadual de Campinas. Accessed January 24, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306369.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Gonçalves, Dimas José. “A-identidades polinomiais em algebras associativas: A-polynomial identities in associative algebras.” 2009. Web. 24 Jan 2021.

Vancouver:

Gonçalves DJ. A-identidades polinomiais em algebras associativas: A-polynomial identities in associative algebras. [Internet] [Thesis]. Universidade Estadual de Campinas; 2009. [cited 2021 Jan 24]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306369.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gonçalves DJ. A-identidades polinomiais em algebras associativas: A-polynomial identities in associative algebras. [Thesis]. Universidade Estadual de Campinas; 2009. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306369

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade Estadual de Campinas

11. Silva, Diogo Diniz Pereira da Silva e. Identidades graduadas em álgebras não-associativas: Granded identities in non associative algebras.

Degree: 2010, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306367

► Abstract: In this thesis we study graded identities in non associative algebras. Namely we study graded polynomial identities for the Lie algebra of the 2_2… (more)

Subjects/Keywords: Álgebra não-comutativa; Polinômios; Jordan, Álgebras de; Lie, Álgebra de; PI-álgebras; Noncommutative algebra; PI-algebras; Polynomials; Jordan algebras; Lie, Algebra de

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Silva, D. D. P. d. S. e. (2010). Identidades graduadas em álgebras não-associativas: Granded identities in non associative algebras. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306367

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Silva, Diogo Diniz Pereira da Silva e. “Identidades graduadas em álgebras não-associativas: Granded identities in non associative algebras.” 2010. Thesis, Universidade Estadual de Campinas. Accessed January 24, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306367.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Silva, Diogo Diniz Pereira da Silva e. “Identidades graduadas em álgebras não-associativas: Granded identities in non associative algebras.” 2010. Web. 24 Jan 2021.

Vancouver:

Silva DDPdSe. Identidades graduadas em álgebras não-associativas: Granded identities in non associative algebras. [Internet] [Thesis]. Universidade Estadual de Campinas; 2010. [cited 2021 Jan 24]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306367.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Silva DDPdSe. Identidades graduadas em álgebras não-associativas: Granded identities in non associative algebras. [Thesis]. Universidade Estadual de Campinas; 2010. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306367

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade Estadual de Campinas

12. Souza, Manuela da Silva, 1985-. Propriedade de Specht e crescimento das identidades polinomiais graduadas de sl_2: Specht property and growth of the graded polynomial identities of sl_2.

Degree: 2013, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306362

► Abstract: The abstract is available with the full electronic document Advisors/Committee Members: UNIVERSIDADE ESTADUAL DE CAMPINAS (CRUESP), Kochloukov, Plamen Emilov, 1958-… (more)

Subjects/Keywords: Álgebras não-associativas; PI-álgebras; Lie, Álgebra de; Identidade polinomial graduada; Nonassociative algebras; PI-algebras; Lie algebra; Graded polynomial identity

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Souza, Manuela da Silva, 1. (2013). Propriedade de Specht e crescimento das identidades polinomiais graduadas de sl_2: Specht property and growth of the graded polynomial identities of sl_2. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306362

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Souza, Manuela da Silva, 1985-. “Propriedade de Specht e crescimento das identidades polinomiais graduadas de sl_2: Specht property and growth of the graded polynomial identities of sl_2.” 2013. Thesis, Universidade Estadual de Campinas. Accessed January 24, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306362.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Souza, Manuela da Silva, 1985-. “Propriedade de Specht e crescimento das identidades polinomiais graduadas de sl_2: Specht property and growth of the graded polynomial identities of sl_2.” 2013. Web. 24 Jan 2021.

Vancouver:

Souza, Manuela da Silva 1. Propriedade de Specht e crescimento das identidades polinomiais graduadas de sl_2: Specht property and growth of the graded polynomial identities of sl_2. [Internet] [Thesis]. Universidade Estadual de Campinas; 2013. [cited 2021 Jan 24]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306362.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Souza, Manuela da Silva 1. Propriedade de Specht e crescimento das identidades polinomiais graduadas de sl_2: Specht property and growth of the graded polynomial identities of sl_2. [Thesis]. Universidade Estadual de Campinas; 2013. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306362

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade Estadual de Campinas

13. Santulo Junior, Ednei Aparecido. Mergulhos graduados de PI-algebras: Graded embeddings of PI-algebras.

Degree: 2007, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306372

► Abstract: Kemer classified, up to PI-equivalence, the T-prime algebras in the case of characteristic zero, and in his celebrated Tenso r Product Theorem (TPT) he… (more)

Subjects/Keywords: Teoremas de mergulho; PI-álgebras; Álgebra não-comutativa; PI-algebras; Noncommulative algebra; Embedding theorems

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Santulo Junior, E. A. (2007). Mergulhos graduados de PI-algebras: Graded embeddings of PI-algebras. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306372

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Santulo Junior, Ednei Aparecido. “Mergulhos graduados de PI-algebras: Graded embeddings of PI-algebras.” 2007. Thesis, Universidade Estadual de Campinas. Accessed January 24, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306372.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Santulo Junior, Ednei Aparecido. “Mergulhos graduados de PI-algebras: Graded embeddings of PI-algebras.” 2007. Web. 24 Jan 2021.

Vancouver:

Santulo Junior EA. Mergulhos graduados de PI-algebras: Graded embeddings of PI-algebras. [Internet] [Thesis]. Universidade Estadual de Campinas; 2007. [cited 2021 Jan 24]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306372.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Santulo Junior EA. Mergulhos graduados de PI-algebras: Graded embeddings of PI-algebras. [Thesis]. Universidade Estadual de Campinas; 2007. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306372

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

		in
And / Or
		in
And / Or
		in
And / Or
		in

Open Access Theses and Dissertations