Computer Sciences

Calculi and algorithms for automatic deduction, esp. first-order predicate logic, and with a view to complexity of proofs. (Eder)
Discrete Event Simulation: distributed discrete event simulation, esp. Split Queue Time Warp, which is a generalisation of Jefferson's algorithm; specialised discrete event simulation algorithms for e.g.call admission control in data networks, realtime-sytems etc., and fluid simulation. (Hagenauer, Pohlmann)
Evolutionary Algorithms (Theory and Applications), Evolutionary Robotics, Computational Neuroscience, Evolution of Artificial Neural Networks, Reinforcement Learning (Mayer)

Last modified: 2013-09-02 14:08. Webmaster contact: webmaster@cosy.sbg.ac.at