Sökning: "congruence type"
Visar resultat 1 - 5 av 12 avhandlingar innehållade orden congruence type.
1. Vector-valued Eisenstein series of congruence types and their products
Sammanfattning : Historically, Kohnen and Zagier connected modular forms with period polynomials, and as a consequence of this association concluded that the products of at most two Eisenstein series span all spaces of classical modular forms of level 1. Later Borisov and Gunnells among other authors extended the result to higher levels. LÄS MER
2. Computing Vector-valued Modular Forms of Congruence Types and of Some Extension Types
Sammanfattning : This thesis explores applications of vector-valued modular forms of congruence and extension types to scalar-valued modular forms for congruence subgroups with a character, higher order modular forms, and iterated Eichler-Shimura integrals of depth one and two, including considerable generalizations thereof. In \textsc{Paper I} (co-authored with Martin Raum), we present an algorithm for computing bases for spaces of vector-valued modular forms of congruence type and of weight at least $2$ in terms of products of components of vector-valued Eisenstein series. LÄS MER
3. Samhällets tvåsidighet : Aktör-struktur i tre forskningsansatsers program och tillämpningar
Sammanfattning : Samhällsvetenskapliga portalfigurer som Durkheim, Marx och Weber har medverkat i diskussionen om aktör och struktur. Diskussionen om intentioner; agerande och samhällsstrukturer pågår fortfarande. Om de samhällsvetenskapliga fenomenen utgår från individen – aktören – och/eller dess omgivning - strukturen - är en evig fråga. LÄS MER
4. Gravity Illustrated. Spacetime Edition
Sammanfattning : This thesis deals with essentially four different topics within general relativity: pedagogical techniques for illustrating curved spacetime, inertial forces, gyroscope precession and optical geometry. Concerning the pedagogical techniques, I investigate two distinctly different methods, the dual and the absolute method. LÄS MER
5. On Modelling and Analysing Concurrent Systems
Sammanfattning : In order to verify program correctness one needs an appropriate programming language, a specification of the program correctness, and some methods to prove the program correct. We examine two of these aspects: a language for writing a particular kind of concurrent programs, that is modelling concurrent systems, and methods to prove certain correctness properties of concurrent programs, that is analysing concurrent systems. LÄS MER