CoSCo News

JSAT Special Issue on SAT 2014 Competitions and Evaluations: A special issue of Journal of Satisfiability, Boolean Modeling and Computation (JSAT) on the SAT 2014 affiliated competitions and evaluations is planned. Matti Järvisalo, together with Marijn Heule, as Guest Editors. Submission deadline November 14, 2014. More information here.

The paper SAT-Based Approaches to Treewidth Computation: An Evaluation by Jeremias Berg and Matti Järvisalo has been accepted for publication in the proceedings of the 26th International Conference on Tools with Artificial Intelligence (ICTAI 2014).

The paper "A Fixed-Point Image Denoising Algorithm with Automatic Window Selection" by Jussi Määttä, Samuli Siltanen, and Teemu Roos has been accepted for publication in the proceedings of the 5th European Workshop on Visual Information Processing (EUVIP 2014).

The paper Answer Set Solver Backdoors by Emilia Oikarinen and Matti Järvisalo has been accepted for publication in the proceedings of the 14th International Conference on Logics in Artificial Intelligence (JELIA 2014).

Together with Anton Belov (Ireland), Daniel Diepold (Germany), and Marijn Heule (The University of Texas at Austin, USA) Matti Järvisalo organizes the 2014 edition of the SAT Competition affiliated with the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014) and the Federated Logic Conference (FLoC 2014) taking place in Vienna, Austria in July.

The following two papers were accepted for presentation at UMAP 2014:

1. Athukorala, K., Oulasvirta, A., Glowacka, D., Vreeken, J. and G. Jacucci, “Interaction Model to Predict Subjective-Specificity of Search Results”.

Dorota Glowacka serves as sponsorship chair for the 17th International Conference on Arificial Intellignce and Statistics held in Reykjavik, Icleland in April 2014.

Academy of Finland has granted funding to Matti Järvisalo for the project Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting for the five-year period 9/2014-8/2019 under the Academy Research Fellow funding scheme.

The paper Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming by Antti Hyttinen, Frederick Eberhardt, and Matti Järvisalo has been accepted for publication in the proceedings of the 30th Conference on Uncertainty in Artificial Intelligence (UAI 2014).

The paper Finding Optimal Bayesian Network Structures with Constraints Learned from Data by Xiannian Fan, Brandon Malone, and Changhe Yuan has been accepted for publication in the proceedings of the 30th Conference on Uncertainty in Artificial Intelligence (UAI 2014).

A collaboration between Arttu Modig and Teemu Roos of HIIT, Antti Oulasvirta of MPI (soon to join Aalto University), and researchers at Rutgers University, USA, has lead to a paper to appear in the 12th International Conference on Mobile Systems, Applications, and Services (MobiSys-2014), Bretton Woods, NH, USA. Acceptance ratio at MobiSys conferences is traditionally low. This year only 25 papers were accepted out of 185 submissions, which amounts to 13.5%.

Teemu Roos and Petri Myllymäki of HIIT will serve, with Narayana Prasad Santhanam (University of Hawaii), as co-chairs of the 7th Workshop on Information Theoretic Methods in Science and Engineering (WITMSE-2014). The event will be held in Waikiki, Hawaii, USA, on July 5–7, 2014. The honorary chair of the workshop is Jorma Rissanen, also of HIIT affiliation.

The paper "Bayesian properties of normalized maximum likelihood and its fast computation" by Andrew Barron (Yale), Teemu Roos (HIIT), and Kazuho Watanabe (Toyohashi University of Technology) was accepted to the IEEE International Symposium on Information Theory (ISIT-2014), the main annual information theory conference, to be held in Hawaii, USA, on June 29-July 4, 2014.

A preprint version of the paper is available on arXiv:1401.7116.

The paper Optimal Neighborhood Preserving Visualization by Maximum Satisfiability by Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, and Samuel Kaski has been accepted for publication in the proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014).

The paper Predicting the Hardness of Learning Bayesian Networks by Brandon Malone, Kustaa Kangas, Matti Järvisalo, Mikko Koivisto, and Petri Myllymäki has been accepted for publication in the proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014).

The paper "Conditional Lower Bounds for Failed Literals and Related Techniques" by Matti Järvisalo and Janne H. Korhonen has been accepted for publications in the proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014).

The paper Group-sparse embeddings in collective matrix factorization has been accepted for the International Conference on Learning Representations 2014. The paper was written by Arto Klami from CoSCo-MUPI, Guillaume Bouchard from Xerox Research Centre Europe, and Abhishek Tripathi from Xerox Research Centre India.

The paper Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability by CosCo-CoReO researchers Jeremias Berg, Matti Järvisalo, and Brandon Malone has been accepted for publication in the proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS 2014).

Paper "Robust learning of inhomogeneous PMMs" by Ralf Eggeling, Teemu Roos, Ivo Grosse and Petri Myllymäki has been accepted for presentation at the Seventeenth International Conference on Artificial Intelligence and Statistics (AISTATS-2014).

Link to paper source: To be added later when the paper is finalized and entered in the TUHAT system.