<p>In this paper we present the first efficient point counting algorithm due to Schoof, before giving a significant improvement due to Elkies. In the final section I give Satoh's algorithm which is even faster and has paved the way for the field of $p$-adic point counting.</p>

<p>Sammendrag I kapittel 1 gjøres klart hvilke forkunnskaper som er nødvendige for å kunne forstå og ha utbytte av å lese denne oppgaven. Det henvises også til litteratur som kan brukes som oppslagsverk hvis noen begreper under lesningen skulle være ukjente. I kapittel 2 klargjøres sentrale begreper som fikspunkt, kontraksjon og kompletthet. Dernest presenteres Banachs fikspunktteorem med bevis. Kapitlet peker også mot ulike anvendelser av teoremet. Kapittel 3 handler i sin helhet om den velkjente Newtons metode. I sin enkelthet demonstrerer den hvordan vi kan finne tilnærmede løsninger ved iterasjoner. Arbeid med denne metoden er derfor nyttig for forståelse av Banachs fikspunktteorem og anvendelser av teoremet i mer abstrakte sammenhenger. I kapittel 4 viser vi hvordan vi kan finne en tilnærmet løsning av en partiell differensialligning ved hjelp Jacobi-iterasjon. For å demonstrere metoden tar vi utgangspunkt i et velkjent varmeledningsproblem. Vi bruker Banachs fikspunktteorem for å vise at metoden kan brukes i vårt tilfelle. Dette leder oss inn i flere disipliner av matematikken, og vi får derved demonstrert ulike teknikker for å løse denne type problemer. I kapittel 5 dreier det seg om differensialligninger og integralligninger. Som vi skal se har Picards entydighets- og eksistensteorem nær tilknytning til Banachs fikspunktteorem. Vi vil få demonstrert hvordan metoden kan brukes til å finne tilnærmede løsninger og i noen tilfeller eksakte løsninger av ordinære differensialligninger. Vi gir også et enkelt eksempel på bruk av Banachs fikspunktteorem i forhold til en spesiell type integralligning, Fredholm-ligninger. I kapittel 6 bruker vi Banachs fikspunktteorem til å bevise det inverse funksjonsteoremet. I kapittel 7 er siktemålet å sette The Scottish Café inn i en kulturhistorisk sammenheng. Vi begynner med å skissere et historisk bakteppe hvor vi søker å gi en viss oversikt over Polens historie. Behandlingen av jøder i Polen fram til 1940 blir et hovedtema. Dernest beskriver vi historien til The Scottish Café. Vi gir også en vurdering av hvilke faktorer som hadde betydning for utviklingen av miljøet. Noe av hovedkonklusjonen er at utviklinv vi gen av de sterke matematikkmiljøene i Polen i mellomkrigstiden langt på vei kan sees på som en del av nasjonsbyggingen i Polen. Utviklingen av det spesielle og særegne miljøet i The Scottish Café kan derimot sees som en reaksjon på antisemittismen i det polske samfunnet. I kapittel 8 finner vi noen refleksjoner over det vi har arbeidet med.</p>

<p>Vi innfører klassen av kvasikonforme avbildninger i det komplekse planet, og viser en rekke fundamentale egenskaper ved disse. Herunder den målbare avbildningssatsen. Heretter anvendes disse resultatene til å vise klassifikasjonssetningen for fikserte fatoukomponenter i sin optimale form. Det vil si, vi viser riktigheten av Fatous formodning om vandrende komponenter, og eksistens av siegeldisker og hermanringer. Fokus i bevisførelsen er på anvendelser av kvasikonforme avbildninger.</p>

<p>Oppgaven handler om fouriertransformasjon av generaliserte funksjoner, med spesiell vekt på fouriertransformasjon av hyperfunksjoner. Transformasjonen på hyperfunksjoner er deretter sammenlignet med Carlemans fouriertransform, som er en av de tidlige generaliseringene av den klassiske fouriertransformen. Det er vist at begge transformene er symmetriske, det vil si at invers fouriertransform er også definert på samme rom. Videre vises det at begge transformene generaliserer både den klassiske fouriertransformen og Schwartz' fouriertransform av distribusjoner med kompakt support.</p>

<p>Vi har i denne masteroppgaven sett på Koszul-algebraer. Vi har definert Koszul-algebraer som graderte algebraer hvor de simple modulene har en lineær gradert projektiv oppløsning, og vi har bevist forskjellige karakteriseringer av Koszul-algebraer. Vi har bevist at alle Koszul-algebraer er kvadratiske algebraer, og at Yoneda-algebraen til en Koszul-algebra selv er en Koszul-algebra. Vi har sett at alle monomielle kvadratiske algebraer er Koszul-algebraer, og at en algebra som har en kvadratisk Gröbnerbasis er en Koszul-algebra. Tilslutt har vi sett at algebraer på formen kQ/(f), hvor f er kvadratisk, vil være Koszul-algebraer. Vi har for to klasser av kvadratiske algebraer talt hvor mange av algebraene som var Koszul-algebraer. Det ene klassen av algebraer besto av bare Koszul-algebraer, mens for den andre klassen av algebraer så vi at ca 25% algebraene ikke var Koszul-algebraer.</p>

<p>Masteroppgaven er innen algebra, nærmere bestemt Koszul-teori for algebraer. Koszul-algebraer, ble først definert av Priddy, har en sentral rolle innen algebra, geometri og topologi. Projektive moduler er viktige for å finne invarianter av moduler og ringer, både for kommutative og ikke-kommutative ringer. Over Koszul-algebraer er det en stor klasse av moduler som har projektive oppløsninger med en fin lineær struktur. I tillegg er det kjent at alle Koszul-algebraer er kvadratiske algebraer, men det er ikke kjent en metode for å avgjøre når en kvadratisk algebra er Koszul eller ikke. Denne masteroppgaven vil gi en innføring i teorien for Koszul-algebraer, og spesielt undersøke kvadratiske algebraer over endelige kropper. Over endelige kropper så finnes det bare endelig mange kvadratiske algebraer. For konkrete eksempler så ønsker en å finne hvor mange av de kvadratiske algebraer som er Koszul og i tillegg undersøke isomorfi-klassene av disse.</p>

<p>Del 1 er en innføring i kommutative og ikke-kommutative Gröbnerbasiser. Sentrale resultater og noen anvendelser. Del 2 handler om algoritmer. For kommutative Gröbnerbasiser ser vi på forbedringer av Buchbergers algoritme, samt F4 og F5. Vi gjør ikke-kommutative "oversettelser" av de to første.I del 3 ser vi på Polly Cracker-kryptosystemer, som er offentlig nøkkel-kryptosystemer basert på Gröbnerbasiser. Vi tar for oss flere av de kommutative variantene og den ikke-kommutative versjonen hvis sikkerhet bygger på idealer med uendelig Gröbnerbasis.</p>

<p>This thesis will give an introduction to the concepts of cellular automata and higher order cellular automata, and go through several examples of both. Cellular automata are discrete systems of cells in an n-dimensional grid. The cells interact with each other through the use of a rule depending only on local characteristics, which lead to some global behaviour. Higher order cellular automata are hierarchical structures of cellular automata with added possibilities for dynamic local interaction. We first give an introduction for non-mathematicians. A mathematical definition of cellular automata follows, and we illustrate the many possibilities with a few examples. Higher order cellular automata are introduced and defined, and we look at the consequences higher order cellular automata has on optimization of computer implementations. Finally we apply higher order structures to some of the examples, and study the effects.</p>

<p>Today, UltraSound (US) images are often used in medical examination and surgery. An improvement of the quality of these US-images will lead to many advantages, which is a big motivation for research on this field. One obstacle in improving the quality of the images is the presence of noise and texture. In order to distinguish this unwanted information from the interesting objects, different techniques can be used. Characteristic features, such as the ability to find vague contours, small objects or edges of small strength, decides if the technique is suitable for analysing noisy signals. This thesis presents different techniques for finding objects in US-images by using the continuous wavelet-transform. One observation from the analysis is that for edge-detectors using the wavelet-transform at a single scale, there is a compromise between accuracy and reliability. One has to choose between detecting small objects or vague contours. At fine scales one is able to detect small objects, but not objects with a vague contour without including redundant information. At coarse scales one is able to detect vague contours without including redundant information, but one will not detect small objects. The Lipschitz-regularity and the length of a maxima-line in the time-scale plane works well to find the points where the signal changes with a long duration, but is less suitable to find small objects and to remove unwanted information. By using the value of the wavelet-transform at several scales, it is possible to find vague contours in images, small objects, and edges of small strength compared to the strength of the noise. Another important observation from the analysis is that use of the circumference of objects is appropriate in order to find the most important objects in an image. Using this information has been very useful with respect to the analysis of US-images. Medical ultra-sound images are in general of varying quality. In addition the quality of a US-image will typically change within the signal, and changes with respect to the quality of the contour of objects and the influence of noise. The technique which in general is most reliable and produces the best representations of the US-images analysed in this thesis, uses information about the amplitude of the wavelet-transform both within and across scales, in addition to information about the circumference of the objects. This combined edge-detector is reliable with respect to represent the important objects in the image, and this representation is often easily obtained by the edge-detector.</p>

<p>We consider systems of complex exponential functions in spaces of square integrable functions. Some classical one-dimensional theory is reviewed, in particular, we emphasize the duality between the Riesz bases of complex exponential functions in $L^2$-spaces and complete interpolating sequences in $PW^2$-spaces of entire functions of exponential type. Basis properties for $L^2$-spaces over planar convex domains are then studied in detail. The convex domain in question is shown to be crucial for what basis properties the corresponding $L^2$-space possesses. We explain some results related to Fuglede's conjecture about existence of orthonormal bases and then a result by Lyubarskii and Rashkovskii regarding Riesz bases for $L^2$-spaces over convex polygons, symmetric with respect to the origin. Finally, we make a modest attempt to apply the techniques by Lyubarskii and Rashkovskii combined with approximation of plurisubharmonic functions using logarithms of moduli of entire functions, to construct a complete system of exponential functions in the space of square integrable functions over a disk. This work is not completed yet.</p>