相关论文: Report on workshop A1: Exact solutions and their i…

Cosmology is passing through a golden phase of rapid advance. The cosmology workshop at ICGC-2004 attracted a large number of research contributions from diverse topics of cosmology. I attempt to classify and summarize the research work and…

Explaining how to get from A to B can be challenging. It requires mentally simulating what the listener will do based on what they are told. To capture this process, we propose a computational model that converts utterances into action…

Python implementation of Algorithm X by Knuth is presented. Algorithm X finds all solutions to the exact cover problem. The exemplary results for pentominoes, Latin squares and Sudoku are given.

These are the revised accepted papers from the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018), Barcelona, Spain, September 26 - September 28, 2018. Proceedings are also to be published by Springer in the…

This text focuses on actions on 1-manifolds. We present a (non exhaustive) list of very concrete open questions in the field, each of which is discussed in some detail and complemented with a large list of references, so that a clear…

We investigate two methods of obtaining exactly solvable potentials with analytic forms.

These proceedings include full papers and research-in-progress papers presented at the ACIS 2015 Conference in Adelaide, Australia from November 30th to December 4th, 2015.

In this article, we consider a simple representation for real numbers and propose top-down procedures to approximate various algebraic and transcendental operations with arbitrary precision. Detailed algorithms and proofs are provided to…

These notes are a written version of a set of lectures given at TASI-02 on the topic of effective field theories. They are meant as an introduction to some of the latest techniques and applications in the field.

This volume contains the proceedings of the Combined 19th International Workshop on Expressiveness in Concurrency and the 9th Workshop on Structural Operational Semantics (EXPRESS/SOS 2012), which took place on 3rd September 2012 in…

These notes are a written version of a set of lectures given at TASI-02 on the topic of precision electroweak physics.

Numerical approximate computation can solve large and complex problems fast. It has the advantage of high efficiency. However it only gives approximate results, whereas we need exact results in many fields. There is a gap between…

A summary of the highlights of the conference, "Toward a New Millennium in Galaxy Morphology" is presented. In this review, I cover the major topics addressed at the conference, including both the observational and theoretical frameworks…

The paper gives a collection of open problems on abstract polytopes that were either presented at the Polytopes Day in Calgary or motivated by discussions at the preceding Workshop on Convex and Abstract Polytopes at the Banff International…

A talk presented at International Conference ICMP-2000, London, England

This EPTCS volume contains the post-proceedings of the Twelfth International Workshop on Fixed Points in Computer Science, presenting a selection of the works presented during the workshop that took place in Naples (Italy) on the 19th and…

Keeping pace with the rapid growth of academia literature presents a significant challenge for researchers, funding bodies, and academic societies. To address the time-consuming manual effort required for scholarly discovery, we present a…

We construct explicit multivortex solutions for the first and second complex sine-Gordon equations. The constructed solutions are expressible in terms of the modified Bessel and rational functions, respectively. The vorticity-raising and…

This is a written, expanded version of the summary talk given at the conclusion of the ICGC-2004 held at Cochin. Brief introductory remarks are included to provide a slightly wider context to the theme talks.

This volume contains the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning (PERR) and the 6th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place in Prague, Czech…