This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 held in Budapest, Hungary in June/July 2003.
The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in Topical sections on constraint solving, soft constraints, language issues, and applications.
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constra...
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003. rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation,...
Contributing to the existence theory of difference sets, cyclic irreducible codes and similar objects, this text develops a method of field descent for cyclotomic integers of prescribed absolute value, which makes progress towards the Circulant Hadamard Matrix Conjecture and Rysers conjecture.
Contributing to the existence theory of difference sets, cyclic irreducible codes and similar objects, this text develops a method of field descent fo...
Leading researchers in the field of Optimal Transportation, with different views and perspectives, contribute to this Summer School volume: Monge-Ampere and Monge-Kantorovich theory, shape optimization and mass transportation are linked, among others, to applications in fluid mechanics granular material physics and statistical mechanics, emphasizing the attractiveness of the subject from both a theoretical and applied point of view.
The volume is designed to become a guide to researchers willing to enter into this challenging and useful theory.
Leading researchers in the field of Optimal Transportation, with different views and perspectives, contribute to this Summer School volume: Monge-A...
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product.
This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18...
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the ...
This volume provides a systematic mathematical exposition of the conceptual problems of nonequilibrium statistical physics, such as entropy production, irreversibility, and ordered phenomena. Markov chains, diffusion processes, and hyperbolic dynamical systems are used as mathematical models of physical systems. A measure-theoretic definition of entropy production rate and its formulae in various cases are given. It vanishes if and only if the stationary system is reversible and in equilibrium. Moreover, in the cases of Markov chains and diffusion processes on manifolds, it can be expressed...
This volume provides a systematic mathematical exposition of the conceptual problems of nonequilibrium statistical physics, such as entropy production...
WAIM 2004, Dalian (China), 15 17 July, was hosted by Northeastern Univ- sity, China and Dalian University of Technology, China in cooperation with the Database Society of CCF. It was the International Conference on Web-Age Information Management. WAIM 2004 brought together participants from u- versities, industry, and governmentto present, discuss, and address both current issues and novel approaches in the practice, deployment, theory, and meth- ology of information management in the context of the World Wide Web. The conference provided an international forum for the sharing of original...
WAIM 2004, Dalian (China), 15 17 July, was hosted by Northeastern Univ- sity, China and Dalian University of Technology, China in cooperation with the...
This volume contains the contributed papers and invited talks presented at the 1stInternationalWorkshoponAlgorithmicAspectsofWirelessSensorNetworks (ALGOSENSORS 2004), which was held July 16, 2004, in Turku, Finland, - located with the 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004). Wireless ad hoc sensor networks have become a very important research subject due to their potential to provide diverse services in numerous appli- tions. The realization of sensor networks requires intensive technical research and development e?orts, especially in power-aware...
This volume contains the contributed papers and invited talks presented at the 1stInternationalWorkshoponAlgorithmicAspectsofWirelessSensorNetworks (A...
The 36th Seminaire de Probabilites contains an advanced course on Logarithmic Sobolev Inequalities by A. Guionnet and B. Zegarlinski, as well as two shorter surveys by L. Pastur and N. O'Connell on the theory of random matrices and their links with stochastic processes. The main themes of the other contributions are Logarithmic Sobolev Inequalities, Stochastic Calculus, Martingale Theory and Filtrations. Besides the traditional readership of the Seminaires, this volume will be useful to researchers in statistical mechanics and mathematical finance.
The 36th Seminaire de Probabilites contains an advanced course on Logarithmic Sobolev Inequalities by A. Guionnet and B. Zegarlinski, as well as tw...
