中文
相关论文

相关论文: Computational Geometry Column 34

200 篇论文

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.

代数几何 · 数学 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…

计算机科学中的逻辑 · 计算机科学 2015-04-09 Ugo Dal Lago , Russ Harmer

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

数学物理 · 物理学 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…

计算机科学中的逻辑 · 计算机科学 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…

神经与进化计算 · 计算机科学 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.

数学物理 · 物理学 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.…

计算机科学中的逻辑 · 计算机科学 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…

复变函数 · 数学 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$…

代数几何 · 数学 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…

计算几何 · 计算机科学 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…

辛几何 · 数学 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…

新兴技术 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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++…

计算几何 · 计算机科学 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…

数值分析 · 计算机科学 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…

加速器物理 · 物理学 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…

人工智能 · 计算机科学 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…

计算工程、金融与科学 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

逻辑 · 数学 2017-01-18 Zvonko Iljazović , Igor Sušić