Related papers: Lecture notes: Semidefinite programs and harmonic …
This volume contains the proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), held in Paphos, Cyprus, on March 27-28, 2010. QAPL 2010 is a satellite event of the European Joint Conferences on…
It is well-known that by adding integrality constraints to the semidefinite programming (SDP) relaxation of the max-cut problem, the resulting integer semidefinite program is an exact formulation of the problem. In this paper we show…
These are the lecture notes of a short course on the homogenization method for topology optimization of structures, given by Gr\'egoire Allaire, during the "GSIS International Summer School 2018" at Tohoku University (Sendai, Japan). The…
These lecture notes are derived from a graduate-level course in dynamic optimization, offering an introduction to techniques and models extensively used in management science, economics, operations research, engineering, and computer…
The report is based on an extended abstract for the MFO workshop "Hilbert Complexes: Analysis, Applications, and Discretizations", held at Oberwolfach during 19-25 June 2022. The aim is to provide an overview of some aspects of…
Notes of the lectures delivered in Les Houches during the Summer School on Complex Systems (July 2006).
This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference,…
This volume constitutes the pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), held on 4-6th September 2018 in Frankfurt am Main, Germany and co-located with the 20th…
This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the…
Historically, scalability has been a major challenge to the successful application of semidefinite programming in fields such as machine learning, control, and robotics. In this paper, we survey recent approaches for addressing this…
This is a write-up of the lectures given by the author during the Master Class "Categorification" at {\AA}rhus University, Denmark in October 2010.
This volume contains the proceedings of the 8th International Workshop on Quantum Physics and Logic (QPL 2011), which was held October 27-29, 2011 at Radboud University Nijmegen. The goal of this workshop series is to bring together…
This is set of notes prepared for the Summer School on non-Abelian Hodge theory in Abbaye de Saint-Jacut de la Mer June, 6-19, 2022. We cover the following topics: Lecture 1. Harmonic Maps Between Riemannian Manifolds Lecture 2. Existence…
This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13,…
Seeking tighter relaxations of combinatorial optimization problems, semidefinite programming is a generalization of linear programming that offers better bounds and is still polynomially solvable. Yet, in practice, a semidefinite program is…
These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011.
This work introduces author's approach to harmonic analysis on algebraic groups over functional two-dimensional local fields. For a two-dimensional local field a Hecke algebra which is formed by operators which integrate…
ICOOOLPS'2006 was the first edition of ECOOP-ICOOOLPS workshop. It intended to bring researchers and practitioners both from academia and industry together, with a spirit of openness, to try and identify and begin to address the numerous…
I give a brief, non-technical, historical perspective on numerical analysis and optimization. I also touch on emerging trends and future challenges. This content is based on the short presentation that I made at the opening ceremony of…
This volume contains the papers presented at the fifth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012) held on September 4th, 2012 in Budapest, co-located with the 28th International Conference on Logic…