Applied Algorithmics

Contact person: Werner Pohlmann

Description

• 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: 2011-05-03 19:52. Webmaster contact: webmaster@cosy.sbg.ac.at