Dissertations / Theses: 'Forms'

1

Ghitza, Alexandru Edgar 1976. "Siegel modulator form (mod p) and algebraic modular forms." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/29346.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2003.
Includes bibliographical references (p. 101-104) and index.
In his letter [Ser96], J.-P. Serre proves that the systems of Hecke eigenvalues given by modular forms (mod p) are the same as the ones given by locally constant functions ... , where B is the endomorphism algebra of a supersingular elliptic curve. After giving a detailed exposition of Serre's result, we prove that the systems of Hecke eigenvalues given by Siegel modular forms (mod p) of genus g are the same as the ones given by algebraic modular forms (mod p) on the group GUg(B), as defined in [Gro99] and [Gro98]. The correspondence is obtained by restricting to the superspecial locus of the moduli space of abelian varieties.
by Alexandru Edgar Ghitza.
Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

2

de, Quehen Victoria. "Jacobi forms." Thesis, McGill University, 2011. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=103757.

Full text

Abstract:

Along with explaining the Saito-Kurokawa lift, Eichler and Zagier's book gives the main structural theorems for Jacobi forms on the full modular subgroup. Since then much work has been published in papers generalizing these results to different types of Jacobi forms, but very little work has been done generalizing the theory to Jacobi forms for congruence subgroups. A large part of this thesis will be aimed at generalizing the work of Eichler-Zagier's book to Jacobi forms for congruence subgroups. In particular, we describe the structure for the Jacobi-Eisenstein space of the congruence subgroup Gamma(N). We will also find a bound on the number of Fourier coefficients needed to determine a Jacobi form for a congruence subgroup. The latter part of this work will cover the theory of theta series and the corresponding theory of Jacobi-theta series. The motivating problem for this thesis is to find a basis for the space of Jacobi forms for congruence subgroups.
En plus d'expliquer la soulevement Saito-Kurokawa, le livre d'Eichler et Zagier donne les theoremes principaux sur la structure des formes de Jacobi pour le sous-groupe modulaire complet. Depuis, de nombreux travaux publies generalisent ces resultats differentes sortes de formes de Jacobi, mais tres peu de travail a ete effectu en vue de generaliser la theorie des formes de Jacobi pour les sous-groupes de congruence. Une grande partie de cette these visera a generaliser les conclusions du livre d'Eichler-Zagiera des formes de Jacobi pour les sous-groupes de congruence. En particulier, nous decrirons la structure de l'espace Jacobi-Eisenstein du sous-groupe de congruence Gamma(N). Nous trouverons egalement une borne au nombre de coefficients de Fourier necessaires pour determiner une forme de Jacobi d'un sous-groupe de congruence. La derniere partie de ce travail portera sur la theorie des series theta et la theorie correspondante de la serie theta de Jacobi. Le probleme central pour cette these est de trouver une base pour l'espace des formes de Jacobi relativement aux sous-groupes de congruence.

APA, Harvard, Vancouver, ISO, and other styles

3

Woxinger, Sköld Linnea. "Life Forms." Thesis, Högskolan i Borås, Institutionen Textilhögskolan, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-17101.

Full text

Abstract:

Life Forms is an examination of organic shapes in textile material and garments. The clothes deals with questions of tactile and emotional attraction in fashion, while the project as a whole is an attempt to constantly let creativity and curiosity be a part of the process.By using a method of letting go of the control and see what chance and the properties of the material might lead to, this work has become a growing organism of its own.The end result is a group of unique pieces, all in different materials and colour shades. They’re held together by concept as well as relations in tone and cuts. The collection could be viewed as a visual statement or worn with lots of care and love.
Program: Modedesignutbildningen

APA, Harvard, Vancouver, ISO, and other styles

4

Tomaino, Louis Sherman. "Programmable forms." Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/78084.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Nardi, Nathan J. "Questionable Forms." Kent State University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=kent1248096510.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Mock, Janelle Marie Tullis. "Earth Forms." BYU ScholarsArchive, 2010. https://scholarsarchive.byu.edu/etd/2204.

Full text

Abstract:

Earth Forms narrates and explains the Masters Project Exhibition by the same name. The sculptures included in the exhibition, Earth Forms, use a variety of personal symbols centered on one stylized human head. Some of the symbols included are antlers, branches, coral, leaves, plants and stones. Each of these symbols represents personal ideas of balance, growth and decay. They also represent the earth from which we are formed and the earth to which our bodies will return at the end of life.

APA, Harvard, Vancouver, ISO, and other styles

7

Bump, Rickey P. "Meta-forms." Digital Commons @ East Tennessee State University, 2016. https://dc.etsu.edu/etd/3056.

Full text

Abstract:

The artist discusses his Master of Fine Arts exhibition, Meta-forms, held at the Tipton Gallery in downtown Johnson City. Exhibition dates are from March 14 through March 25, 2016. The artworks on display are a series of drawings made from carving wood panels and sheet metal and are accompanied with a large scaled site-specific installation. The exhibition culminates from research of historic and contemporary figures for non-objective art. The author gives insight to the artistic process while creating his exhibition, as well as their personal connection with the artwork.

APA, Harvard, Vancouver, ISO, and other styles

8

Risner, Maria. "Undesirable Forms." Digital Commons @ East Tennessee State University, 2018. https://dc.etsu.edu/etd/3427.

Full text

Abstract:

The Master of Fine Arts exhibition, Undesirable Forms, presents a collection of paintings and sculptures that focus on the repulsion and discomfort a woman can experience within her mind and body. These works were exhibited at the Tipton gallery, in downtown Johnson City. The pieces included in this exhibition consist of encaustic paintings on panel, and sculptures created from plaster life-casts. The ideas discussed in this paper are influenced by Julia Kristeva and Sigmund Freud’s work relating to the abject/grotesque female body. This paper also discusses inspiration from other artists, such as Natalie Frank and Helen Chadwick, who work with psychological subject matter and the female body.

APA, Harvard, Vancouver, ISO, and other styles

9

Brady, Mark James. "Psychophysical investigations of incomplete forms and forms with background /." Diss., ON-CAMPUS Access For University of Minnesota, Twin Cities Click on "Connect to Digital Dissertations", 1999. http://www.lib.umn.edu/articles/proquest.phtml.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Schindler, Damaris. "On diophantine equations involving norm forms and bihomogeneous forms." Thesis, University of Bristol, 2013. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.601162.

Full text

Abstract:

If the descent theory, developed by Colliot-Thelene and Sansuc, applies, then it can reduce the question of understanding whether the Brauer-Manin obstruction is the only one to understanding weak approximation on the resulting descent varieties. In some cases the descent varieties are easier to handle and accessible by analytic methods as for example t he circle method. In joint work with A. Skorobogatov we followed this approach focusing on varieties corresponding to the representation of a norm form by a product of linear polynomials. We present this work in the first part of this thesis which involves an application of the circle method over number fields to systems of linear equations involving norm forms. In the second part of this thesis we study the arithmetic of subvarieties in biprojective space. So far, the circle method has been a very useful tool to prove many cases of Manin's conjecture. Work of B. Birch back in 1962 establishes this for smooth complete intersections in projective space as soon as the number of variables is large enough depending on the degree and number of equations. In biprojective space there is not much known so far, unless the underlying polynomials are of bidegree (1,1). A combination of the circle method with the generalised hyperbola method recently developed by V. Blomer and J. Brudern allows us to verify Manin 's conjecture for certain smooth hypersurfaces of general bidegree in biprojective space.

APA, Harvard, Vancouver, ISO, and other styles

11

Aoki, Hiroki. "Estimating Siegel Modular Forms of Genus 2 Using Jacobi Forms." 京都大学 (Kyoto University), 1999. http://hdl.handle.net/2433/86371.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Wang, Haowu. "Reflective modular forms and Weyl invariant E8 Jacobi modular forms." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I028/document.

Full text

Abstract:

Cette thèse comprend deux parties indépendantes. Dans la première partie, nous développons une approche fondée sur la théorie des formes de Jacobi dont l'indice est un réseau pour classifier les formes modulaires réflexives sur des réseaux de niveau arbitraire. Les formes modulaires réflexives ont des applications en géométrie algébrique, en algèbre de Lie et en arithmétique. La classification des formes modulaires réflexives est un problème ouvert et a été étudiée par Borcherds, Gritsenko, Nikulin, Scheithauer et Ma depuis 1998. Dans cette partie, nous établissons de nouvelles conditions nécessaires à l'existence d'une forme modulaire réflexive. Nous prouvons la non-existence de formes modulaires réflexives et de formes modulaires 2-réflexives sur des réseaux de grand rang. Nous donnons également une classification complète des formes modulaires 2-réflexives sur des réseaux contenant deux plans hyperboliques.La deuxième partie est consacrée à l’étude des formes de Jacobi de $W(E_8)$-invariantes. Ce type de formes de Jacobi a une signification dans les variétés de Frobenius, la théorie de Gromov-Witten et la théorie des cordes. En 1992, Wirthm\"{u}ller a prouvé que l’espace des formes de Jacobi pour tout système de racines irréductible excepté $E_8$ est une algèbre polynomiale. Très peu de choses sont connues dans le cas de $E_8$. Dans cette partie, nous montrons que l'anneau bigradué des formes de Jacobi $W(E_8)$-invariantes n'est pas une algèbre polynomiale et prouvons que chacune de ces formes de Jacobi peut être exprimée uniquement sous la forme d'un polynôme en neuf formes de Jacobi algébriquement indépendantes introduites par Sakai avec des coefficients méromorphes $\SL_2(\ZZ)$-modulaires. Ce dernier résultat implique que, à indice fixé, l’espace des formes de Jacobi $W(E_8)$-invariantes est un module libre sur l’anneau des formes $\SL_2(\ZZ)$-modulaires et que le nombre de générateurs peut être calculé via une série génératrice. Nous déterminons et construisons tous les générateurs pour des indices petits. Ces résultats étendent un théorème de type de Chevalley au cas du réseau $E_8$
This thesis consists of two independent parts. In the first part we develop an approach based on the theory of Jacobi forms of lattice index to classify reflective modular forms on lattices of arbitrary level. Reflective modular forms have applications in algebraic geometry, Lie algebra and arithmetic. The classification of reflective modular forms is an open problem and has been investigated by Borcherds, Gritsenko, Nikulin, Scheithauer and Ma since 1998. In this part, we establish new necessary conditions for the existence of a reflective modular form. We prove non-existence of reflective modular forms and 2-reflective modular forms on lattices of large rank. We also give a complete classification of 2-reflective modular forms on lattices containing two hyperbolic planes. The second part is devoted to the study of Weyl invariant $E_8$ Jacobi forms. This type of Jacobi forms has significance in Frobenius manifolds, Gromov--Witten theory and string theory. In 1992, Wirthm\"{u}ller proved that the space of Jacobi forms for any irreducible root system not of type $E_8$ is a polynomial algebra. But very little has been known about the case of $E_8$. In this paper we show that the bigraded ring of Weyl invariant $E_8$ Jacobi forms is not a polynomial algebra and prove that every such Jacobi form can be expressed uniquely as a polynomial in nine algebraically independent Jacobi forms introduced by Sakai with coefficients which are meromorphic $\SL_2(\ZZ)$ modular forms. The latter result implies that the space of Weyl invariant $E_8$ Jacobi forms of fixed index is a free module over the ring of $\SL_2(\ZZ)$ modular forms and that the number of generators can be calculated by a generating series. We determine and construct all generators of small index. These results give a proper extension of the Chevalley type theorem to the case of $E_8$

APA, Harvard, Vancouver, ISO, and other styles

13

Shepler, Anne V. "Semi-invariant forms /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1999. http://wwwlib.umi.com/cr/ucsd/fullcit?p9936834.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Reid, Joshua. "Forms of Translation." Digital Commons @ East Tennessee State University, 2019. https://www.amzn.com/3110443678.

Full text

Abstract:

This handbook of English Renaissance literature will serve as a reference for both students and scholars, introducing recent debates and developments in early modern studies. Using new theoretical perspectives and methodological tools, the volume offers exemplary close readings of canonical and less well-known texts from all significant genres between c. 1480 and 1660. Its systematic chapters address questions about editing Renaissance texts, the role of translation, theatre and drama, life-writing, science, travel and migration, and women as writers, readers and patrons. The book will be of particular interest to those wishing to expand their knowledge of the early modern period beyond Shakespeare.

APA, Harvard, Vancouver, ISO, and other styles

15

Albhbah, Atia M. "Dynamic web forms development using RuleML. Building a framework using metadata driven rules to control Web forms generation and appearance." Thesis, University of Bradford, 2013. http://hdl.handle.net/10454/5719.

Full text

Abstract:

Web forms development for Web based applications is often expensive, laborious, error-prone, time consuming and requires a lot of effort. Web forms are used by many different people with different backgrounds and a lot of demands. There is a very high cost associated with the need to update the Web application systems to achieve these demands. A wide range of techniques and ideas to automate the generation of Web forms exist. These techniques and ideas however, are not capable of generating the most dynamic behaviour of form elements, and make Insufficient use of database metadata to control Web forms¿ generation and appearance. In this thesis different techniques are proposed that use RuleML and database metadata to build rulebases to improve the automatic and dynamic generation of Web forms. First this thesis proposes the use of a RuleML format rulebase using Reaction RuleML that can be used to support the development of automated Web interfaces. Database metadata can be extracted from system catalogue tables in typical relational database systems, and used in conjunction with the rulebase to produce appropriate Web form elements. Results show that this mechanism successfully insulates application logic from code and suggests that Abstract iii the method can be extended from generic metadata rules to more domain specific rules. Second it proposes the use of common sense rules and domain specific rules rulebases using Reaction RuleML format in conjunction with database metadata rules to extend support for the development of automated Web forms. Third it proposes the use of rules that involve code to implement more semantics for Web forms. Separation between content, logic and presentation of Web applications has become an important issue for faster development and easy maintenance. Just as CSS applied on the client side to control the overall presentation of Web applications, a set of rules can give a similar consistency to the appearance and operation of any set of forms that interact with the same database. We develop rules to order Web form elements and query forms using Reaction RuleML format in conjunction with database metadata rules. The results show the potential of RuleML formats for representing database structural and active semantics. Fourth it proposes the use of a RuleML based approach to provide more support for greater semantics for example advanced domain support even when this is not a DBMS feature. The approach is to specify most of the semantics associated with data stored in RDBMS, to overcome some RDBMSs limitations. RuleML could be used to represent database metadata as an external format.

APA, Harvard, Vancouver, ISO, and other styles

16

Stromenger, Christian [Verfasser]. "Sasakian manifolds : differential forms, curvature and conformal killing forms / Christian Stromenger." Köln : Universitäts- und Stadtbibliothek Köln, 2010. http://d-nb.info/101380564X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Martin, James D. (James Dudley). "Rankin-Cohen Brackets for Hermitian Jacobi Forms and Hermitian Modular Forms." Thesis, University of North Texas, 2016. https://digital.library.unt.edu/ark:/67531/metadc955117/.

Full text

Abstract:

In this thesis, we define differential operators for Hermitian Jacobi forms and Hermitian modular forms over the Gaussian number field Q(i). In particular, we construct Rankin-Cohen brackets for such spaces of Hermitian Jacobi forms and Hermitian modular forms. As an application, we extend Rankin's method to the case of Hermitian Jacobi forms. Finally we compute Fourier series coefficients of Hermitian modular forms, which allow us to give an example of the first Rankin-Cohen bracket of two Hermitian modular forms. In the appendix, we provide tables of Fourier series coefficients of Hermitian modular forms and also the computer source code that we used to compute such Fourier coefficients.

APA, Harvard, Vancouver, ISO, and other styles

18

Geldenhuys, Natasjia. "The language of forms: A discourse analysis of municipal application forms." University of the Western Cape, 2019. http://hdl.handle.net/11394/6952.

Full text

Abstract:

Magister Artium - MA
This thesis focuses on the genre of municipal documents (application forms) and the variety of written and visual languages that make up their corpus to reveal the various lexical semantics used in the forms as communication tool between individuals and the larger organisations. It was important to review not only how other researchers have dissected such documents, but also what they have used to study their corpus. The thesis also provides a thorough overview of literature pertaining to forms from the municipal and governmental sector as it relates to social semiotics, genre, corporate identity, branding and multimodality. As there was not enough empirical data or research from the African or non-European perspective, a wider literature review was needed to enable me to use a number of complimentary models that could fit the study area. Drawing on a theoretical framework based on the fields of Social Semiotics (Kress 2010; 2014), Applied Linguistics (Brumfit 1996) and Visual Communication (Tam 2008) as well as analytical tools like the genre and multimodality model (GeM), as described in Bateman (2008) and the grammar of visual design (Kress and Van Leeuwen, 2006), branding and language ideology, the study offers an analysis of the language of particular forms used widely by the City of Cape Town (CCT). The language of forms in essence is as unique as a dialogue held between two people to obtain information. Misunderstanding and communication can easily occur if the questions and sections are not formulated correctly. Although both the textual and visual modes were investigated, the aim was to uncover the corpora used on forms with which a basic set of standard words, phrases and sentences could be designed. If the language of forms in a particular organisation like the CCT can be standardised, the amount of effort on the language practitioners will decrease, and the textual components can be made available in all three of the official languages (Afrikaans, isiXhosa and English) in as simple a language structure as possible.

APA, Harvard, Vancouver, ISO, and other styles

19

Albhbah, Atia Mahmod. "Dynamic web forms development using RuleML : building a framework using metadata driven rules to control Web forms generation and appearance." Thesis, University of Bradford, 2013. http://hdl.handle.net/10454/5719.

Full text

Abstract:

Web forms development for Web based applications is often expensive, laborious, error-prone, time consuming and requires a lot of effort. Web forms are used by many different people with different backgrounds and a lot of demands. There is a very high cost associated with the need to update the Web application systems to achieve these demands. A wide range of techniques and ideas to automate the generation of Web forms exist. These techniques and ideas however, are not capable of generating the most dynamic behaviour of form elements, and make Insufficient use of database metadata to control Web forms' generation and appearance. In this thesis different techniques are proposed that use RuleML and database metadata to build rulebases to improve the automatic and dynamic generation of Web forms. First this thesis proposes the use of a RuleML format rulebase using Reaction RuleML that can be used to support the development of automated Web interfaces. Database metadata can be extracted from system catalogue tables in typical relational database systems, and used in conjunction with the rulebase to produce appropriate Web form elements. Results show that this mechanism successfully insulates application logic from code and suggests that Abstract iii the method can be extended from generic metadata rules to more domain specific rules. Second it proposes the use of common sense rules and domain specific rules rulebases using Reaction RuleML format in conjunction with database metadata rules to extend support for the development of automated Web forms. Third it proposes the use of rules that involve code to implement more semantics for Web forms. Separation between content, logic and presentation of Web applications has become an important issue for faster development and easy maintenance. Just as CSS applied on the client side to control the overall presentation of Web applications, a set of rules can give a similar consistency to the appearance and operation of any set of forms that interact with the same database. We develop rules to order Web form elements and query forms using Reaction RuleML format in conjunction with database metadata rules. The results show the potential of RuleML formats for representing database structural and active semantics. Fourth it proposes the use of a RuleML based approach to provide more support for greater semantics for example advanced domain support even when this is not a DBMS feature. The approach is to specify most of the semantics associated with data stored in RDBMS, to overcome some RDBMSs limitations. RuleML could be used to represent database metadata as an external format.

APA, Harvard, Vancouver, ISO, and other styles

20

Rakotoary, Sarah. "Dynamiques infocommunicationnelles d’une communauté connectée : une analyse des formes socioculturelles de la diaspora malgache présente sur Facebook." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAL016.

Full text

Abstract:

Ce travail de recherche porte sur l’étude des pratiques infocommunicationnelles des diasporas malgaches connectées. Celles-ci se distinguent par leurs usages des réseaux socionumériques notamment dans la perspective d’entretenir des relations particulières avec leur pays d’origine mais aussi avec leur pays d’accueil. La diaspora malgache est largement présente sur un dispositif technique particulier qui est le réseau socionumérique Facebook où des formes de socialisations en ligne se manifestent. Certains membres des diasporas malgaches éparpillées dans le monde se retrouvent sur des groupes pour échanger, informer, ou tout simplement rester en contact. Ces groupes sont devenus le véritable reflet de pratiques sociales connectées à travers des échanges en ligne, et par la suite hors ligne grâce à l’organisation de rencontres. Notre question de recherche se réfère ainsi au processus d’appropriation sociale du dispositif technique que représente le réseau socionumérique. En outre, si les échanges qui se mettent en place au sein du dispositif technique permettent de mettre à jour la présence de formes socioculturelles ; il s’agit de déterminer en quoi la prégnance et la circulation de ces formes qu’elles soient en ligne ou hors ligne tendent à formaliser la construction d’une communauté connectée. Cette thèse propose ainsi de réfléchir sur le processus d’ancrage social du dispositif technique au sein d’une communauté transnationale, tout en questionnant la réalité technique du dispositif au regard des traces sociales laissées par ses usagers
This research focuses on the infocommunicationnal practices of Malagasy connected diaspora. Indeed its uses of social networks are characterised by their need to maintain relationships with their home country but also with their host country. Malagasy diaspora has clearly invested a social network which is Facebook, where online forms of socialisation appear. Some members of the worldwide malagasy diaspora join Facebook groups in order to exchange, to inform or to keep in touch. These groups become a true reflect of online and offline social practices. Our research is about the understanding of the social appropriation process of the social network considered as a sociotechnical device. The social network supports sociocultural forms ; our work aims at identifying how these online and offline forms allow the construction of a connected community. The aim of this thesis is to explore the « social anchoring » of a technical device in a transnational community, and to understand its technical reality regarding social marks produced by users

APA, Harvard, Vancouver, ISO, and other styles

21

Ladd, Watson Bernard. "Algebraic Modular Forms on SO5(Q) and the Computation of Paramodular Forms." Thesis, University of California, Berkeley, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10817152.

Full text

Abstract:

This dissertation describes a result that compares two level subgroups on different inner forms of GSp(4), and then uses this result and a conjecture of Ibukiyama’s to compute paramodular forms for all prime levels below 400. In the process 78 generic forms were computed, of which 47 had not been previously computed.

APA, Harvard, Vancouver, ISO, and other styles

22

Edvardsson, Elisabet. "Modular forms for triangle groups." Thesis, Karlstads universitet, Institutionen för matematik och datavetenskap (from 2013), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-47984.

Full text

Abstract:

Modular forms are important in different areas of mathematics and theoretical physics. The theory is well known for the modular group PSL(2,Z), but is also of interest for other Fuchsian groups. In this thesis we will be interested in triangle groups with a cusp. We review some theory about mapping of hyperbolic triangles in order to derive an expression for the Hauptmodul of a triangle group, and use this to write a SageMath-program that calculates the Fourier series of the Hauptmodul. We then review some of the results presented in [4] that describe generalizations of well known concepts such as the Eisenstein series, the Serre derivative and some general results about the algebra of modular forms for triangle groups with a cusp. We correct some of the mistakes made in [4] and prove some further properties of the generators of the algebra of modular forms in the case of Hecke groups. Then we use the results from [4] to write a SageMath-program that calculates the Fourier series of the generators of the algebra of modular forms for triangle groups with a cusp and that also finds the relations between the generators in the special case of Hecke groups. Using the results from this program, we present some conjectures concerning the generators of the algebra of modular forms for a Hecke group, which, if proven to be true, give us a generalization of some of the Ramanujan equations. We conclude by explicitly calculating the generalized Ramanujan equations for the first few Hecke groups.

APA, Harvard, Vancouver, ISO, and other styles

23

Oliveira, Junior Mauro Ribeiro de. "Um teorema de Witt sobre a imersão de extensões bioquadraticas em quaternionicas." [s.n.], 2006. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306530.

Full text

Abstract:

Orientador: Antonio Jose Engler
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica
Made available in DSpace on 2018-08-06T01:37:33Z (GMT). No. of bitstreams: 1 OliveiraJunior_MauroRibeirode_M.pdf: 283417 bytes, checksum: ed6ca467b6f01b1fd631b10cca398846 (MD5) Previous issue date: 2006
Resumo: Neste trabalho seguimos, nos quatro primeiros capítulos, para a construção efetiva de extensões quaterniônicas, a partir do acúmulo de informações obtidas nos capítulos iniciais 1 e 2, sobre a estrutura dos subcorpos intermediários a uma extensão deste tipo, conhecimentos quais são obtidos pela atuação forte da Teoria de Galois, uma vez que é muito bem conhecida a estrutura de subgrupos do grupos dos Quatérnios. Finalmente, em posse dos resultados e caracterizações dos capítulos precedentes, juntamente aos resultados que relacionam formas quadráticas e álgebras quaterniônicas, no capítulo 6 demonstramos o Critério de Witt, que acerta sobre a imersão de extensões biquadráticas em quaterniônicas. Deste critério obtemos um importante resultado de interesse da Teoria dos Números, uma nova caracterização dos números racionais que são somas de três quadrados
Mestrado
Algebra
Mestre em Matemática

APA, Harvard, Vancouver, ISO, and other styles

24

Bogliolo, Elena. "Classification of quadratic forms over Q." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23716/.

Full text

Abstract:

The objective of this thesis is the complete classification of quadratic forms over the field of rational numbers. This is achieved by proving the Theorem of Hasse-Minkowski that, given a homogeneous second degree polynomial f, builds a correspondence between the roots of f over the p-adic fields and the roots of f over the rational numbers. The p-adic fields are presented as completions of the rational field with respect to the p-adic absolute values. Using the discriminant and Hasse-Minkowski invariant, a complete classification of the quadratic forms over the p-adic fields is achieved. From these results it is possible to find whether or not two quadratic forms are equivalent over the rational field by computing countable invariants.

APA, Harvard, Vancouver, ISO, and other styles

25

Ballantine, Cristina M. "Hypergraphs and automorphic forms." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0010/NQ41398.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Fung, Tak-kit. "Teaching the -ing forms." Click to view the E-thesis via HKUTO, 1986. http://sunzi.lib.hku.hk/HKUTO/record/B38626408.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Chambers, J. K. "Molecular forms of tachykinins." Thesis, University of Cambridge, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Snaith, Daniel Victor. "Overconvergent Siegel modular forms." Thesis, Imperial College London, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.420391.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Alvin, Yeoh Chong Yeow. "Nucleation of polymorphic forms." Thesis, University of Manchester, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.498979.

Full text

Abstract:

In this PhD project, the solvent effects on polymorphism were studied. This was done using an enantiotropic compound. By working at the transition temperature of the compound, it allowed for the separation of supersaturation effects from that of the solvent. p-Aminobenzoic acid was chosen as the model compound. p-Aminobenzoic acid (PABA) is an enantiotropic compound with a transitior temperature of 24°C. It has two polymorphs, a needle shaped α-form which is stable above the transition temperature and a prismatic shaped β-form stable below the transition temperature.

APA, Harvard, Vancouver, ISO, and other styles

30

Loeffler, David. "Overconvergent algebraic automorphic forms." Thesis, Imperial College London, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.487962.

Full text

Abstract:

I present a general theory of overconvergent p-adic automorphic forms for reductive algebraic groups whose real points are compact (or, more generally, whose arithmetic subgroups are finite, as in the work of Gross). Let G be such a group, p a prime and P a parabolic subgroup of G defined over Qp. Given a fixed representation V of the Levi factor of P, I construct a family of p-adic locally analytic representations of the parahoric subgroup associated to P by induction from twists of V by characters. By considering functions from G(Af ) to these representations satisfying suitable equivariance conditions, one obtains a p-adic Banach module over a certain weight space, with a Heeke action, whose fibre over an integer weight naturally contains the Heeke module of classical automorphic forms of that weight. Using Buzzard's eigenvariety machine, this gives a construction of an eigenvariety parametrising finite slope overconvergent eigenforms. I also prove an analogue in this situation of Coleman's theorem that forms of small slope are classical, implying that this eigenvariety contains a dense set of points corresponding to classical eigenforms. A convenient property of the spaces constructed by these methods is that the definition is sufficiently concrete to allow computer calculations. This is also true for classical automorphic forms on groups satisfying the above condition, as has been noted by various authors. I give a detailed description of an algorithm for calculating classical automorphic forms in the case where G is a definite unitary group, and discuss how the results may be interpreted in terms of Galois representations. In future work I intend to extend this to calculate overconvergent automorphic forms on such groups. In addition, the thesis includes a chapter devoted to the original, motivating example where the theory overconvergent automorphic forms was developed, the case of modular forms for congruence subgroups of GL2 . The main result of this section is the proof of an instance of a conjecture due to Gouvea and Mazur, which is that the overconvergent Heeke eigenforms should form a basis for the entire space of overconvergent forms.

APA, Harvard, Vancouver, ISO, and other styles

31

Fung, Tak-kit, and 封德傑. "Teaching the -ing forms." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1986. http://hub.hku.hk/bib/B38626408.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Whaley, Christopher S. "Sculptural forms and furniture." Virtual Press, 2001. http://liblink.bsu.edu/uhtbin/catkey/1204204.

Full text

Abstract:

The primary objective of this creative project was the exploration into designing and creating sculptures that combine various materials in a visually pleasing way. Could these sculptures emphasize excellence in craftsmanship and sophistication of surface? Could the inherent properties of these materials be manipulated and combined in an engaging manner, which would enhance the beauty of both materials?This body of work required a variety of metalsmithing techniques including forging, mokumegane, and metal forming. This body of work also required various woodworking skills such as lathe turning and wood joint construction. There were several materials used such as exotic and domestic woods, and ferrous and non-ferrous metals. This body of work challenged my technical and conceptual abilities making me a better artist and designer, not only in metalsmithing, but also woodworking.
Department of Art

APA, Harvard, Vancouver, ISO, and other styles

33

SALEK, ANA TEREZA MUYLAERT. "POETICAL FORMS OF RUINS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2014. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24566@1.

Full text

Abstract:

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
PROGRAMA DE SUPORTE À PÓS-GRADUAÇÃO DE INSTS. DE ENSINO
Na dissertação cartografa-se distintos modos com que a escrita e, num sentido mais amplo, as artes, se relacionam com a noção de ruína. Parte-se do ponto de tensão entre ruir e criar a fim de explorar o paradoxo de que nos fala Maurice Blanchot em O espaço Literário: a literatura se edifica a partir de suas próprias ruínas. Detendo o gesto cartográfico em uma região particular, tomo algumas obras do escritor e artista visual Nuno Ramos como ocasião favorável para refletir sobre a relação entre destruição e criação na fronteira entre escrita e linguagem visual. O trabalho segue dois eixos que se querem recíprocos, não hierárquicos: no primeiro eixo acentua-se a parte teórico-crítica da pesquisa. No segundo, apresenta-se poemas e outros textos pessoais, escritos que, produzidos ao longo da pesquisa, fazem parte da reflexão.
In this dissertation I cartograph distinct ways in which writing and, in a broader sense, the arts, relate to the notion of ruin. I begin at the point of tension between collapse and creation, to explore the paradox Maurice Blanchot speaks of in The Literary Space: Literature is built upon its own ruins. Holding the cartographic gesture in a particular region, I review works of the writer and visual artist Nuno Ramos as a favorable occasion to reflect on the relationship between destruction and creation on the border between written and visual language. The work follows two reciprocal axes, non-hierarchical: the first axis is emphasizes the theoretical and critical part of the research. In the second, it presents poems and other personal texts, writings produced during the research, and that are part of the reflection.

APA, Harvard, Vancouver, ISO, and other styles

34

Beadle, Paul Michael. "Processable forms of polypyrrole." Thesis, University of Sussex, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262179.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Tennberg, Hannes. "WOODEN : in other forms." Thesis, Konstfack, Inredningsarkitektur & Möbeldesign, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:konstfack:diva-6347.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Nemesh, V., Тетяна Володимирівна Початко, Татьяна Владимировна Початко, and Tetiana Volodymyrivna Pochatko. "Most effective advertising forms." Thesis, Sumy State University, 2020. https://essuir.sumdu.edu.ua/handle/123456789/78069.

Full text

Abstract:

The intensive development of advertising communication is a powerful tool for the sale of goods and services, as well as a means of active economic and technological improvement, the development of Internet sites and determines the face of the modern Internet.

APA, Harvard, Vancouver, ISO, and other styles

37

Cox, Alexander Todd. "Life In Imperfect Forms." Kent State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=kent1302452721.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Poehler, Sabine. "Two additive quartic forms." [S.l. : s.n.], 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-31822.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Khare, Chandrashekhar B. Hida Takeyuki. "Congruences between cusp forms /." Diss., Pasadena, Calif. : California Institute of Technology, 1995. http://resolver.caltech.edu/CaltechETD:etd-10122007-073759.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Senadheera, Jayantha. "Hermitian Jacobi Forms and Congruences." Thesis, University of North Texas, 2014. https://digital.library.unt.edu/ark:/67531/metadc700083/.

Full text

Abstract:

In this thesis, we introduce a new space of Hermitian Jacobi forms, and we determine its structure. As an application, we study heat cycles of Hermitian Jacobi forms, and we establish a criterion for the existence of U(p) congruences of Hermitian Jacobi forms. We demonstrate that criterion with some explicit examples. Finally, in the appendix we give tables of Fourier series coefficients of several Hermitian Jacobi forms.

APA, Harvard, Vancouver, ISO, and other styles

41

Skoruppa, Nils-Peter. "Über den Zusammenhang zwischen Jacobiformen und Modulformen halbganzen Gewichts." Bonn : [s.n.], 1985. http://catalog.hathitrust.org/api/volumes/oclc/12317210.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Pabón, Triana Marta Lucía. "Morfosintaxis de las formas no finitas en Namt̮ik de Totoró : Cauca, Sur de Colombia." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC039.

Full text

Abstract:

La thèse comporte une introduction et six parties, chacune avec ses chapitres. La première partie est la Morphophonologie, qui se compose des chapitres Phonologie et Morphophonologie. La deuxième partie est consacrée aux Parties du discours en quatre chapitres : Morphologie, Verbe, Nom, Adjectif, Adverbe. La troisième partie porte sur la Nominalisation. La quatrième porte sur la Syntaxe, avec deux chapitres : Syntagme nominal, Syntagme verbal. La cinquième expose la Prédication avec les formes finies et non finies ; La sixième traite de la Subordination
The thesis is composed of an introduction and six parts, each one divided into chapters. The first part is morphophonology. The second part is dedicated to parts of speech with the following chapters: morphology, verbs, nouns, adjectives, adverbs. The third part speaks about nominalisation. The fourth part is dedicated to syntax, with two chapters: nominal phrase and verbal phrase. The fifth part presents predication with finite forms and non-finite forms. The sixth part refers to subordination
Esta tesis se componede una introducción y seis partes, cada una dividida en capítulos. La primera parte es la morfofonología. La segunda parte se dedica a las partes del discurso y contiene los siguientes capítulos: morfología del verbo, del nombre, del adjetivo, del adverbio. La tercera parte trata la nominalización. La cuarta parte se dedica a la sintaxis con dos capítulos, el sintagma nominal y el sintagma verbal. La quinta parte presenta la predicación con formas finitas y con formas no finitas. La sexta parte se refiere a la subordinación

APA, Harvard, Vancouver, ISO, and other styles

43

Nguyen, Manh Tu. "Higher Hida Theory on Unitary Group GU (2,1)." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEN009.

Full text

Abstract:

Le travaux récent de Calegari et Geraghty ont enlevé les restrictions de la méthode originale de Taylor-Wiles, cela nous permet d’attaquer les conjectures de modularité plus générales. Leur méthode se fonde sur deux autres conjectures, l'une est reliée au problème d'attacher les représentations galoisiennes aux classes de torsion dans le groupe de cohomologie de la variété de Shimura sous entendue et l'autre à la dégrée de concentration de ces groupes de cohomologie localisés. La première conjecture a été adressée dans une grande généralité par Peter Scholze mais la seconde reste évasive. Récemment, pour la cohomologie cohérente, Vincent Pilloni a développé une version de la théorie de Hida pour les groupes de cohomologie supérieurs qui construit une interpolation p-adique du complexe de cohomologie en question. Comme une application importante, nous pouvons contourner la second conjecture au dessus et en effet dans un travail commun récent, Vincent Pilloni avec ses collaborateurs ont montré que toutes les variétés abéliennes sur un corps totalement réel est potentiellement modulaire. Dans cette thèse, nous adaptons l'argument de Vincent Pilloni pour construire un complexe qui interpole les classes de cohomologie supérieurs de la variété de Picard. Ces résultats servent comme le premier pas vers la modularité potentielle des variétés abéliennes de dimension 3 qui proviennent des Jacobiens de la courbe de Picard
In their breakthrough work, Calegari and Geraghty have shown how to bypass some serious restrictions of the original method by Taylor-Wiles, thus allowing us to attack more general modularity conjectures and related questions. Their method hinges on two conjectures, one is related to the problem of attaching Galois representations to torsion classes in the cohomology of Shimura varieties and the other to the requirement that these cohomology groups, localised at an appropriate ideal are non zero only in a certain range. The first conjecture is addressed in a great generality by Peter Scholze, but the second remains elusive. Recently, for coherent cohomology, inspired by the classical Hida theory, Vincent Pilloni has proposed a method consisting of p-adically interpolating the entire complex of coherent sheaves of automorphic forms on the Siegel threefold. This serves as a way to get around the second conjecture above and plays a crucial role in a recent work, where they show that abelian surfaces over a totally real field are potentially modular. In this thesis, we adapt the argument of Pilloni to construct a Hida complex interpolating classes in higher cohomology groups of the Picard modular surface. In a future work, we hope to use this to obtain some similar modularity results for abelian three-folds arising as Jacobians of some Picard curves

APA, Harvard, Vancouver, ISO, and other styles

44

Lewis, Sarah C. "A grounded theory analysis of the forms of support on two online anorexia forums." Thesis, Loughborough University, 2014. https://dspace.lboro.ac.uk/2134/16559.

Full text

Abstract:

Using Grounded theory this thesis analyses the forms of support that are present on two online anorexia forums. Data was collected through non-participant observation and online interviews with members of two online anorexia forums, one pro-anorexic in orientation, one pro-recovery. Despite the clear differences that exist between the two communities, continuities are strongly apparent, especially when looking at these forums as support environments. This thesis illustrates that support is conditional, that is takes on a variety of forms in any one environment and highlights the role of offline discourses in shaping online support. It also provides an in-depth comparison of two online anorexia forums.

APA, Harvard, Vancouver, ISO, and other styles

45

Perekrest, Julija. "Literatūros eksperimentų formos ir strategija: Oulipo grupės ir lietuvių autorių tekstai." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20100617_144738-03066.

Full text

Abstract:

Magistro darbe nagrinėjamos literatūros formos ir strategija Oulipo grupės („Potencialios literatūros dirbtuvės“ – literatūrinis judėjimas, susiformavęs Prancūzijoje septintajame dešimtmetyje) kūryboje ir lietuvių autorių tekstuose. Į eksperimentą darbe žvelgiama iš rašytojo pozicijos, kaip į sąmoningą skirtingų literatūros elementų jungimą ir suvaržymų taikymą, rezultate gaunant naujas literatūros formas ir struktūras. Tiriamosios medžiagos pagrindas – Oulipo grupės literatūrines sampratas plėtojantys teoriniai straipsniai ir praktinis tradicinių bei naujų metodų taikymas literatūrai. Lietuvių literatūros eksperimentus pristato šie kūriniai: poeto P. Morkūno (1900-1941) poezijos rinkinys „Dainuoja degeneratas: dadaistiški imažinistiniai eilėraščiai“ (1993), J. Meko (g. 1922) dienoraštis „Žmogus be vietos. Nervuoti dienoraščiai“ (2000) ir V. Klimašausko (g. 1977) romanas „Alfavilnius, arba Keisti Arnoldo Sputniko nuotykiai“ (2008). Magistro darbe įgyvendinti tokie tikslai: pristatytos kalbiniais suvaržymais paremtos literatūros formos (lipograma, palindromas, totograma, taip pat transformacijos metodas S+7 ir kt.). Išryškinti žanriniai ir struktūriniai eksperimentai I. Calvino, R. Queneau ir J. Meko konkrečiuose kūriniuose. Pasitelkiant R. Queneau ir V. Klimašausko tekstus, aptartos tradicinės knygos transformacijos galimybės ir jų reikšmė kūrinių prasmei. Apibendrinant Oulipo grupės ir lietuvių autorių literatūros eksperimentus, prieinama prie išvados, jog eksperimentas... [toliau žr. visą tekstą]
The analysis of Lithuanian authors performances and the Oulipo experimental works with literary forms and strategies disclosed that the experiment is perceived as the conscious conjunction of literary elements and accommodation of constraints. As a result there is the emergence of new forms and structures. The main objectives of Master’s thesis are these: to present literary forms which are based on constraints; to reveal literary experiments related to genre and structure in the texts of I. Calvino, R. Queneau and J. Mekas; and through the works of R. Queneau and V. Klimašauskas to review several options of “the ordinary book” transformation and these influence to the meaning of the work. Analysis of the Oulipo group and Lithuanian authors works leads to the conclusion that experiment is expressed in all fundamental areas of literature. The competence of literary science is essential for the author because – as before starting the experimental work author is able to choose from the largest number of experimental elements and consequently he receive a variety of results.
Après avoir analysé les formes et la stratégie des expériments littéraires dans les oeuvres d‘Oulipo et des textes des auteurs lituaniens, on peut souligner que l‘expériment est reflété comme la conjonction consciente des éléments littéraires et l‘accommodation des contraintes dont le résultat est l‘apparition de nouvelles formes et structures. La base des matériaux étudiés – les articles théoriques du groupe Oulipo et l‘adaptation pratique des méthodes traditionelles et modernes. Les exemples des expériments lituaniens sont présents dans les oeuvres suivants: „Dainuoja degeneratas: Dadaistiški imažinistiniai eilėraščiai“ (P. Morkūnas), „Žmogus be vietos: Nervuoti dienoraščiai“ (J. Mekas), „Alfavilnius, arba Keisti Arnoldo Sputniko nuotykiai“ (V. Klimašauskas). Le but de ce mémoire est multifonctionnel: montrer les formes littéraires qui s‘accommodent aux contraintes particulières (lipogramme, palindrome, tautogramme, la méthode S+7 etc.), révéler des expériments liés aux genres et structures dans les textes d‘I. Calvino, R. Queneau et J. Mekas. Grâce aux ouvrages de R. Queneau et V. Klimašauskas, on a examiné quelques possibilités de transformation du livre et leur importance au sens de l‘oeuvre. Finalement, la revue des expériments d‘Oulipo et des auteurs lituaniens se dirige vers une conclusion espérée qu‘un expériment s‘exprime dans la littérature et toutes ses domaines fondamentales. Avant de se mettre au travail expérimental, la compétence des sciences litéraires est... [toliau žr. visą tekstą]

APA, Harvard, Vancouver, ISO, and other styles

46

Volkov, Evgeny. "Characterization of intrinsically harmonic forms." Diss., lmu, 2007. http://nbn-resolving.de/urn:nbn:de:bvb:19-66959.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Cabri, Louis de Meillon. "A poetics of aesthetic forms." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq20783.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

McQuillan, Daniel J. "Quadratic forms and Galois theory." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape15/PQDD_0013/NQ31148.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Picard, Frederic. "Some problems concerning multilinear forms." [Bloomington, Ind.] : Indiana University, 2006. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3223053.

Full text

Abstract:

Thesis (Ph.D.)--Indiana University, Dept. of Mathematics, 2006.
"Title from dissertation home page (viewed June 28, 2007)." Source: Dissertation Abstracts International, Volume: 67-06, Section: B, page: 3170. Adviser: Richard Bradley.

APA, Harvard, Vancouver, ISO, and other styles

50

Antonakos, Evangelia. "Forms of Generic Common Knowledge." Thesis, City University of New York, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3557113.

Full text

Abstract:

In multi-agent epistemic logics, common knowledge has been a central consideration of study. A generic common knowledge (G.C.K.) system is one that yields iterated knowledge I(ϕ): 'any agent knows that any agent knows that any agent knows. . . ϕ' for any number of iterations. Generic common knowledge yields iterated knowledge G.C.K.(ϕ) → I(ϕ) but is not necessarily logically equivalent to it. This contrasts with the most prevalent formulation of common knowledge C as equivalent to iterated knowledge. A spectrum of systems may satisfy the G.C.K. condition, of which C is just one. It has been shown that in the usual epistemic scenarios, G.C.K. can replace conventional common knowledge and Artemov has noted that such standard sources of common knowledge as public announcements of atomic sentences generally yield G.C.K. rather than C.

In this dissertation we study mathematical properties of generic common knowledge and compare them to the traditional common knowledge notion. In particular, we contrast the modal G.C.K. logics of McCarthy (e.g. M4) and Artemov (e.g. [special characters omitted]) with C-systems (e.g. [special characters omitted]) and present a joint C/G.C.K. implicit knowledge logic [special characters omitted] as a conservative extension of both. We show that in standard epistemic scenarios in which common knowledge of certain premises is assumed, whose conclusion does not concern common knowledge (such as Muddy Children, Wise Men, Unfaithful Wives, etc.), a lighter G.C.K.can be used instead of the traditional, more complicated, common knowledge. We then present the first fully explicit G.C.K. system LP_n(LP). This justification logic realizes the corresponding modal system [special characters omitted] so that G.C.K., along with individual knowledge modalities, can always be made explicit.

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Forms'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles