User Rating: 0 / 5

Star InactiveStar InactiveStar InactiveStar InactiveStar Inactive

Today, our partners from the Enterprise Application Development (EAD) group have presented our collaboration at the Project Funding Conference of the Saxon Parliament [Landtagsmittel-Projektekonferenz] at the University of Applied Sciences Zittau/Görlitz (HZG, Hochschule Zittau/Görlitz) with a cool poster. The EAD group is led by Prof. Dr. Jörg Lässig at the Faculty of Electrical Engineering and Computer Science of the HZG in Görlitz, Germany. We have a long and successful collaboration which has led to many research results. Just one year ago, Prof. Lässig and Mr. Ullrich from the EAD have visited us after Prof. Weise visited them in July. We used this visit to work on our joint topic, namely the Rigorous Performance Analysis of Algorithms. Additionally, Prof. Lässig gave a very cool short lecture on Understanding Quantum Computing. Their short stay here further directly led to two publications at the GECCO'2018 conference and to the joint organization of the International Workshop on Benchmarking of Computational Intelligence Algorithms (BOCIA) workshop this year. The poster presented at the conference also strongly refers to our joint research on Automating Scientific Research in Optimization.

User Rating: 0 / 5

Star InactiveStar InactiveStar InactiveStar InactiveStar Inactive

Our Institute warmly welcomes our distinguished guest Prof. Dr. Rolf H. Möhring from the Fachgebiet Kombinatorische Optimierung und Graphenalgorithmen (COGA) of the Institut für Mathematik at the Technische Universität Berlin (TUB) in Berlin, Germany. Prof. Möhring will stay with us for a short research visit from November 5 to 7, 2018. During his stay, he conducts joint research with our  team. This is his second visit this year, after his trip to our group trip in June, where he gave a very interesting research talk.

User Rating: 0 / 5

Star InactiveStar InactiveStar InactiveStar InactiveStar Inactive

Today, our paper "An Improved Generic Bet-and-Run Strategy with Performance Prediction for Stochastic Local Search," co-authored by Thomas Weise, Zijun Wu, and Markus Wagner, has been accepted at the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) to be held in January 27 to February 1, 2019 in Honolulu, Hawaii, USA.

Thomas Weise, Zijun Wu, and Markus Wagner. An Improved Generic Bet-and-Run Strategy with Performance Prediction for Stochastic Local Search. Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019), January 27 – February 1, 2019, Honolulu, Hawaii, USA. Palo Alto, CA, USA: AAAI Press. accepted for publication

Portrait of Dr. Zhen LIU.

User Rating: 4 / 5

Star ActiveStar ActiveStar ActiveStar ActiveStar Inactive

The Institute of Applied Optimization welcomes Xinlu Li [李新路], who today has officially joined our team as researcher. He also currently is finishing his PhD in Computer Science under the supervision of Dr. Fred Mtenzi and Dr. Brian Keegan at the Dublin Institute of Technology (DIT) in Dublin, Ireland. He received his M.Sc. from Anhui University [安徽大学], Hefei, Anhui, China in 2009. His research is focused on energy efficient routing protocol design for large-scale Wireless Sensor Networks based on Swarm Intelligence Algorithms.

We are very happy to have Mr. Li in our team and look forward to working together on many interesting applications of optimization methods.

User Rating: 0 / 5

Star InactiveStar InactiveStar InactiveStar InactiveStar Inactive

On October 30, 2018, I gave my research talk Automating Scientific Research in Optimization at the chair for Artificial Intelligence and Software Technology (KIST) of Prof. Dr. Manfred Schmidt-Schauß at the Computer Science Institute, Computer Science and Mathematics Department of the Goethe University Frankfurt in Frankfurt am Main, Germany.

Prof. Schmidt-Schauß and his group are following several highly interesting strands of research centered around functional programming languages and program analysis. For instance, they work on the static analyses of programs and expressions, including termination analysis, demand analysis, and strictness analysis, which are important topics for compilers of (non-strict) functional programming languages. They work on understanding the observational semantics of functional programming languages with call-by-need evaluation in the contexts of studying extended lambda-calculi and concurrent computation. Another one of their research topics is understanding the side effects of input/output operations in lazy functional programming languages. They also conduct research on unification, i.e., solving equations in a logical form, encompassing unification in equational theories, sorted unification, combination of unification algorithms and unification in higher order logics. Finally, they work on knowledge representation, and investigate the properties of concept description languages and their reasoning behavior and complexity.

It was very nice to meet Prof. Schmidt-Schauß and his group. I am very thankful for their hospitality and for the nice discussion as well as the kind reception of my talk.

feed-image rss feed-image atom