• Classification of subspaces 

  Herrmann, Christian   Moresi, Remo   Schuppli, Reto   Wild, Marcel (Mathematisches Institut der Universitat Bayreuth, 1998)

  1.1 Statement of the problems and the lattice method Let E and E' be non-degenerate €-hermitean spaces over the same data (k, €, -) (see 1.1.1) with linear subspaces F and F', respectively. The.pairs (E, F) and (E', F') ...
• Spatial assortment of mixed propagules explains the acceleration of range expansion 

  Ramanantoanina, Andriamihaja   Ouhinou, Aziz   Hui, Cang (Public Library of Science, 2014-08)

  Abstract Range expansion of spreading organisms has been found to follow three types: (i) linear expansion with a constant rate of spread; (ii) bi-phase expansion with a faster linear expansion following a slower linear ...
• Trying to find the golden thread in my research from 1987 to 2011 

  Wild, Marcel (Stellenbosch : Stellenbosch University, 2011-10)

  Marcel Maria Wolfgang Wild was born on 17 July 1958 in Bern (Switzerland). After matriculating from the Gymnasium Rämibühl in Zürich in 1977 he studied Mathematics, Computer Science and (to a lesser degree) Philosophy ...
• The parallel worlds of number theory 

  Breuer, Florian (Stellenbosch : Stellenbosch University, 2013-08)

  Florian Breuer was born in 1977 in Vienna, Austria, to German parents and moved to Stellenbosch at the age of 4, where he grew up and completed his undergraduate studies at Stellenbosch University in 1998. He then moved ...
• Doing the mathematics of fluid flow networks 

  Banda, Mapundi Kondwani (Stellenbosch : Stellenbosch University, 2013-10)

  Mapundi Kondwani Banda grew up in Mala^wi, where he com- pleted his secondary school education at Bandawe Secondary School in 1986 and obtained a BSc degree from the University of Mala^wi in 1990. In 1991 he completed ...
• Topology control in wireless ad hoc networks 

  Hassan, Ahmed Mohamed Ali Omer (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: Wireless ad hoc networks are increasingly used in today’s life in various areas ranging from environmental monitoring to the military. For technical reasons, they are severely limited in terms of battery ...
• Structure learning of gene interaction networks 

  Jones, Piet (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: There is an ever increasing wealth of information that is being generated regarding biological systems, in particular information on the interactions and dependencies of genes and their regulatory ...
• Long-term tracking of multiple interacting pedestrians using a single camera 

  Keaikitse, Advice Seiphemo (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: Object detection and tracking are important components of many computer vision applications including automated surveillance. Automated surveillance attempts to solve the challenges associated with ...
• A comparative study on the impact of different fluxes in a discontinuous Galerkin scheme for the 2D shallow water equations 

  Rasolofoson, Faraniaina (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: Shallow water equations (SWEs) are a set of hyperbolic partial differential equations that describe the flow below a pressure surface in a fluid. They are widely applicable in the domain of fluid dynamics. ...
• Modelling the dynamics of HIV related malignancies 

  Akinlotan, Deborah Morenikeji (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: In recent years, HIV-associated cancers have proven to be the bane of our time, since HIV is decimating humanity across the globe, even in the twilight of the last century. Cancer rates continue to rise ...
• Grain regression analysis 

  Sullwald, Wichard (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: Grain regression analysis forms an essential part of solid rocket motor simulation. In this thesis a numerical grain regression analysis module is developed as an alternative to cumbersome and time ...
• On the coefficients of Drinfeld modular forms of higher rank 

  Basson, Dirk Johannes (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: Rank 2 Drinfeld modular forms have been studied for more than 30 years, and while it is known that a higher rank theory could be possible, higher rank Drinfeld modular forms have only recently been de ...
• Decision forests for computer Go feature learning 

  Van Niekerk, Francois (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: In computer Go, moves are typically selected with the aid of a tree search algorithm. Monte-Carlo tree search (MCTS) is currently the dominant algorithm in computer Go. It has been shown that the inclusion ...
• Investigating the effect of compression on the permeability of fibrous porous media 

  Van Heyningen, Martha Catharina (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: Fluid flow through porous media plays an important role in a variety of contexts of which filtration is one. Filtration efficiency of fibrous filters depends on the micro-structural characterization of ...
• Random walks on graphs 

  Oosthuizen, Joubert (Stellenbosch : Stellenbosch University, 2014-04)

  ENGLISH ABSTRACT: We study random walks on nite graphs. The reader is introduced to general Markov chains before we move on more specifically to random walks on graphs. A random walk on a graph is just a Markov chain ...
• Model checking rational agents 

  Bordini, Rafael H.   Fisher, Michael   Wooldridge, Michael   Visser, Willem (IEEE - -Institute of Electrical and Electronics Engineers, 2004-10)

  Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for ...
• Property-based slicing for agent verification 

  Bordini, Rafael H.   Fisher, Michael   Wooldridge, Michael   Visser, Willem (Oxford University Press (OUP), 2009-12)

  Programming languages designed specifically for multi-agent systems represent a new programming paradigm that has gained popularity over recent years, with some multi-agent programming languages being used in increasingly ...
• A survey of new trends in symbolic execution for software testing and analysis 

  Pasareanu, Corina S.   Visser, Willem (Springer Verlag, 2009-10)

  Symbolic execution is a well-known program analysis technique which represents program inputs with symbolic values instead of concrete, initialized, data and executes the program by manipulating program expressions involving ...
• Bug-finding and test case generation for java programs by symbolic execution 

  Bester, Willem Hendrik Karel (Stellenbosch : Stellenbosch University, 2013-12)

  ENGLISH ABSTRACT: In this dissertation we present a software tool, Artemis, that symbolically executes Java virtual machine bytecode to find bugs and automatically generate test cases to trigger the bugs found. Symbolic ...
• Extended probabilistic symbolic execution 

  Uwimbabazi, Aline (Stellenbosch : Stellenbosch University, 2013-12)

  ENGLISH ABSTRACT: Probabilistic symbolic execution is a new approach that extends the normal symbolic execution with probability calculations. This approach combines symbolic execution and model counting to estimate the ...

View more