478,541 research outputs found
Benchmarks for Parity Games (extended version)
We propose a benchmark suite for parity games that includes all benchmarks
that have been used in the literature, and make it available online. We give an
overview of the parity games, including a description of how they have been
generated. We also describe structural properties of parity games, and using
these properties we show that our benchmarks are representative. With this work
we provide a starting point for further experimentation with parity games.Comment: The corresponding tool and benchmarks are available from
https://github.com/jkeiren/paritygame-generator. This is an extended version
of the paper that has been accepted for FSEN 201
Tarski's influence on computer science
The influence of Alfred Tarski on computer science was indirect but
significant in a number of directions and was in certain respects fundamental.
Here surveyed is the work of Tarski on the decision procedure for algebra and
geometry, the method of elimination of quantifiers, the semantics of formal
languages, modeltheoretic preservation theorems, and algebraic logic; various
connections of each with computer science are taken up
Computers and Liquid State Statistical Mechanics
The advent of electronic computers has revolutionised the application of
statistical mechanics to the liquid state. Computers have permitted, for
example, the calculation of the phase diagram of water and ice and the folding
of proteins. The behaviour of alkanes adsorbed in zeolites, the formation of
liquid crystal phases and the process of nucleation. Computer simulations
provide, on one hand, new insights into the physical processes in action, and
on the other, quantitative results of greater and greater precision. Insights
into physical processes facilitate the reductionist agenda of physics, whilst
large scale simulations bring out emergent features that are inherent (although
far from obvious) in complex systems consisting of many bodies. It is safe to
say that computer simulations are now an indispensable tool for both the
theorist and the experimentalist, and in the future their usefulness will only
increase.
This chapter presents a selective review of some of the incredible advances
in condensed matter physics that could only have been achieved with the use of
computers.Comment: 22 pages, 2 figures. Chapter for a boo
- …