English
Related papers

Related papers: Computational Geometry Column 34

200 papers

This is an overview of math.AG/0310186, math.AG/0309290, math.AG/0501247, math.AG/0401002 and math.AG/0504584 written for the Proceedings of the AMS Meeting on Algebraic Geometry, Seattle, 2005.

Algebraic Geometry · Mathematics 2008-06-23 D. Kaledin

This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…

Logic in Computer Science · Computer Science 2015-04-09 Ugo Dal Lago , Russ Harmer

These are notes from my lecture at 4ECM in Stockholm (June 2004).

Mathematical Physics · Physics 2007-05-23 Andrei Okounkov

This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was organized as a one-day satellite event of the 12th…

Logic in Computer Science · Computer Science 2016-03-03 César A. Muñoz , Jorge A. Pérez

Modelling, simulation and optimization form an integrated part of modern design practice in engineering and industry. Tremendous progress has been observed for all three components over the last few decades. However, many challenging issues…

Neural and Evolutionary Computing · Computer Science 2014-04-04 Xin-She Yang , Slawomir Koziel , Leifur Leifsson

We describe a list of open problems in random matrix theory and integrable systems which was presented at the conference ``Integrable Systems, Random Matrices, and Applications'' at the Courant Institute in May 2006.

Mathematical Physics · Physics 2007-12-07 Percy Deift

This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013.…

Logic in Computer Science · Computer Science 2014-04-01 Mauricio Ayala-Rincón , Eduardo Bonelli , Ian Mackie

We propose a list of open problems in pluripotential theory partially motivated by their applications to complex differential geometry. The list includes both local questions as well as issues related to the compact complex manifold…

Complex Variables · Mathematics 2015-11-04 Slawomir Dinew , Vincent Guedj , Ahmed Zeriahi

Many fundamental questions in theoretical computer science are naturally expressed as special cases of the following problem: Let $G$ be a complex reductive group, let $V$ be a $G$-module, and let $v,w$ be elements of $V$. Determine if $w$…

Algebraic Geometry · Mathematics 2021-08-16 J. M. Landsberg

This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of…

Computational Geometry · Computer Science 2014-06-03 Jonathan Spreer , Uli Wagner , Benjamin A. Burton , Satoshi Murai , Eric Sedgwick , Henry Segerman

These are lecture notes from my talks at the "Current Developments in Mathematics" conference (Harvard, 2006). They cover a variety of topics involving symplectic cohomology. In particular, a discussion of (algorithmic) classification…

Symplectic Geometry · Mathematics 2010-02-15 Paul Seidel

Distance geometry problem belongs to a class of hard problems in classical computation that can be understood in terms of a set of inputs processed according to a given transformation, and for which the number of possible outcomes grows…

Emerging Technologies · Computer Science 2021-05-27 S. B. Hengeveld , N. Rubiano da Silva , D. S. Gonçalves , P. H. Souto Ribeiro , A. Mucherino

This volume contains the post-proceedings of the Fourteenth and the Fifteenth International Workshops on Graph Computation Models (GCM 2023 and 2024). The workshops took place in Leicester, UK on 18th July 2023 and Enschede, the Netherlands…

Logic in Computer Science · Computer Science 2025-03-26 Jörg Endrullis , Dominik Grzelak , Tobias Heindel , Jens Kosiol

We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…

Computational Geometry · Computer Science 2009-09-29 M. H. van Emden , B. Moa

Beginning with the projectively invariant method for linear programming, interior point methods have led to powerful algorithms for many difficult computing problems, in combinatorial optimization, logic, number theory and non-convex…

Numerical Analysis · Computer Science 2014-12-11 Narendra Karmarkar

This is the proceedings of the 14th International Computational Accelerator Physics Conference, ICAP'24, which was held at the Lufthansa Seeheim Conference Hotel in Germany from October 2-5, 2024, hosted by TU Darmstadt and GSI…

Accelerator Physics · Physics 2025-02-04 Thilo Egenolf , Oliver Boine-Frankenheim , Herbert De Gersem

This volume contains the system description of the 18 solvers submitted to the First International Competition on Computational Models of Argumentation (ICCMA'15) and therefore gives an overview on state-of-the-art of computational…

Artificial Intelligence · Computer Science 2015-10-20 Matthias Thimm , Serena Villata

The special theme of DCM 2009, co-located with ICALP 2009, concerned Computational Models From Nature, with a particular emphasis on computational models derived from physics and biology. The intention was to bring together different…

Computational Engineering, Finance, and Science · Computer Science 2009-11-17 S. Barry Cooper , Vincent Danos

This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd…

Formal Languages and Automata Theory · Computer Science 2021-12-21 Berthold Hoffmann , Mark Minas

We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is…

Logic · Mathematics 2017-01-18 Zvonko Iljazović , Igor Sušić