Sökning: "Invariant Generation"

Visar resultat 1 - 5 av 17 avhandlingar innehållade orden Invariant Generation.

1. 1. Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover

   Författare :Simon Robillard; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Term Algebras; Automated Theorem Proving; Invariant Generation; Program Verification;

   Sammanfattning : Static analysis of program semantics can be used to provide strong guarantees about the correctness of software systems. In this thesis, we explore ways to perform automated program analysis and verification using a first-order theorem prover. LÄS MER

3. 2. Residue fixed point index and wildly ramified power series

   Författare :Jonas Nordqvist; Karl-Olof Lindahl; Robert Laurent Benedetto; Linnéuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; wildly ramified power series; residue fixed point index; formal invariant; iterative residue; ramification numbers; non-archimedean; discrete dynamical systems; arithmetic dynamics; periodic points; Nottingham group; Mathematics; Matematik;

   Sammanfattning : This thesis concerns discrete dynamical systems. These are systems where the dynamics is modeled by iterated functions. There are several applications of discrete dynamical system e.g. LÄS MER

4. 3. Single layer near-field acoustic imaging in space-invariant reflective environments

   Författare :Elias Zea; Ines Lopez Arteaga; Efren Fernandez-Grande; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; near-field acoustic holography; field separation techniques; single layer; space-invariance; reflective envirionments; närfält akustisk holografi; fältseparationstekniker; enkelt lager; utrymmes invarians; reflekterande miljöer; Vehicle and Maritime Engineering; Farkostteknik;

   Sammanfattning : The visualization of optical fields, or widely known as photography, is a common practice that can also be applied to acoustic fields. No less than three decades of research in acoustic imaging demonstrate its potential and relevance in plenty applications such as sound source identification and localization, as well as characterization of noise generation mechanisms. LÄS MER

5. 4. Pose-invariant, model-based objectrecognition, using linear combination of viewsand Bayesian statistics

   Författare :Vasileios Zografos; Bernard Buxton; UK London University College; []
   Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

   Sammanfattning : This thesis presents an in-depth study on the problem of object recognition, and in particular the detectionof 3-D objects in 2-D intensity images which may be viewed from a variety of angles. A solution to thisproblem remains elusive to this day, since it involves dealing with variations in geometry, photometryand viewing angle, noise, occlusions and incomplete data. LÄS MER

7. 5. On linear graph invariants related to Ramsey and edge numbers : or how I learned to stop worrying and love the alien invasion

   Författare :Oliver Krüger; Jörgen Backelin; Alexander Engström; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Ramsey number; edge number; minimal Ramsey graph; independence number; clique number; Turán s theorem; crochet pattern; H13-pattern; linear graph invariant; triangle-free graph; Mathematics; matematik;

   Sammanfattning : In this thesis we study the Ramsey numbers, R(l,k), the edge numbers, e(l,k;n) and graphs that are related to these. The edge number e(l,k;n) may be defined as the least natural number m for which all graphs on n vertices and less than m edges either contains a complete subgraph of size l or an independent set of size k. LÄS MER