Program and Proof Optimizations with Type Systems 1 Ando Saabas and Tarmo Uustalu ∗ Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia Received 17 March 2007; acce

Source URL: cs.ioc.ee

Photo or figure (optional) Methodology for generating extreme traffic demand patterns with optimization techniques Mireia Roca-Riu, ETH Zürich

Source URL: www.strc.ch

• Operations research
• Mathematical optimization
• Mathematics
• Applied mathematics
• Numerical analysis
• Combinatorial optimization
• Metaheuristics
• Cybernetics
• Genetic algorithm
• Tabu search
• Local search
• Heuristic

DEPARTMENT OF CYBERNETICS REFERENCES Air Force Research Laboratory (USA): distributed planning, air traffic control, modeling of social communities and relations

Source URL: cyberold.felk.cvut.cz

Feature Selection in Enterprise Analytics: A Demonstration using an R-based Data Analytics System Pradap Konda1 , Arun Kumar1 , Christopher Re´ 2 , Vaishnavi Sashikanth3 1 Department of Computer Sciences, University of

Source URL: cs.stanford.edu

• Data
• Humanities
• Computing
• Big data
• Business intelligence
• Cybernetics
• Learning
• Machine learning
• Provenance
• Analytics
• Oracle Database
• Geographic information system

Symposium of the Interface, Atlanta, Georgia, To76a] Tomek, I., “Two modifications of CNN,” IEEE Trans. Systems, Man and Cybernetics, vol. SMC-6, Nov. 1976, pp.

Source URL: www-cgrl.cs.mcgill.ca

UNSUPERVISED NEURAL NETWORK BASED FEATURE EXTRACTION USING WEAK TOP-DOWN CONSTRAINTS Herman Kamper1,2 , Micha Elsner3 , Aren Jansen4 , Sharon Goldwater2 1 CSTR and 2 ILCC, School of Informatics, University of Edinburgh,

Source URL: www.cstr.ed.ac.uk

• Machine learning
• Artificial neural networks
• Artificial intelligence
• Learning
• Applied mathematics
• Computational neuroscience
• Cybernetics
• Computational statistics
• Autoencoder
• Speech recognition
• Backpropagation
• Supervised learning

Exploring Promising Stepping Stones by Combining Novelty Search with Interactive Evolution Brian G. Woolley and Kenneth O. Stanley , arXiv:1207.6682v1 [cs.NE] 28 Jul 2012

Source URL: eplex.cs.ucf.edu

• Evolutionary computation
• Evolutionary algorithms
• Evolution
• Applied mathematics
• Artificial intelligence
• Cybernetics
• Interactive evolutionary computation
• Theoretical computer science
• Neuroevolution of augmenting topologies
• Neuroevolution
• Mathematical optimization
• Fitness landscape

! 1 A Proposal to AITF iCORE by Richard Sutton to Fund

Source URL: incompleteideas.net

• Computational neuroscience
• Cybernetics
• Belief revision
• Reinforcement learning
• Machine learning
• Artificial neural network
• Artificial intelligence
• Andrew Barto
• Google DeepMind
• Robotics
• Reinforcement
• Learning theory

Model Checking of Finite-state Machine-based Scenario-aware Dataflow Using Timed Automata Mladen Skelin Department of Engineering Cybernetics, Norwegian University of Science and Technology

Source URL: people.cs.aau.dk

Constrained Novelty Search: A Study on Game Content Generation Antonios Liapis Center for Computer Games Research, IT University of Copenhagen, Copenhagen,

Source URL: julian.togelius.com

• Mathematical optimization
• Evolution
• Cybernetics
• Applied mathematics
• Operations research
• Systems science
• Evolutionary computation
• Academia
• Evolutionary algorithm
• Candidate solution
• Genetic algorithm
• Penalty method