• Adaptive Large Neighborhood Search 

      Lutz, Roman
      There has already been a lot of research on Local Search Heuristics in Computer Science. Local Search improves an initial solution by manipulating rather small parts of the solution. Large Neighborhood Search (LNS) has a ...
    • Boolsche Gleichungssysteme, SAT Solver und Stromchiffren 

      Pilz, Enrico
      In dieser Arbeit wird ein algebraischer State-Recovery-Angriff auf zwei Stromchiffren Bivium und Trivium vorgestellt. Die Spezifikation der Chiffren wird auf zwei Arten in ein dünn besetztes Gleichungssystem umgesetzt und ...
    • Comparison of concurrency frameworks for the Java virtual machine 

      Kühner, Thomas
      Due to Multi-core CPUs, concurrent programming is increasingly important when developing responsive and scalable applications. The programming language Java provides low-level building blocks such as threads and monitors. ...
    • Controlling an intelligent operating room with spoken language 

      Gerstenlauer, Nadine (Universität Ulm, 2017-09-20)
      With the emergence of new technologies, the surgical working environment becomes increasingly complex and comprises many medical devices which have to be taken care of. However, the operating personnel cannot be extended ...
    • Efficient sphere decoding 

      Falke, Marco
      The continuously growing amount of wireless data can only be delivered by making use of computationally intense technology. Such technology results in a higher spectral efficiency and consequently in a higher data throughput. ...
    • Ergebnisse über die Teiler der Folgen (a^n+1) 

      Heinlein, Matthias
      We define the set P_a as the divisors of a^n+1 where a is a fixed natural number and n is any natural number. One is interested in criteria to find out if a certain number d is in the set P_a or not. This question is very ...
    • Unternehmensbewertung im Erbschaft- und Schenkungsteuerrecht nach dem Urteil des Bundesverfassungsgerichts vom 17.12.2014 

      Mörs, Caroline (Universität Ulm, 2017-07-07)
      Mit der Entscheidung vom 17.12.2014 hat das Bundesverfassungsgericht mit wenigen Feststellungen einen fragilen politischen Kompromiss der Begünstigung von Unternehmensübertragungen im Erbschaft- und Schenkungsteuerrecht ...