Magic squares are among the more popular mathematical recreations. Over the last 50 years, many generalizations of "magic" ideas have been applied to graphs. Recently there has been a resurgence of interest in "magic labelings" due to a number of results that have applications t…
"What do traffic jams, stock market crashes, and wars have in common?They are all explained using complexity, an unsolved puzzle that researchers believe is the key to predicting - and solving-everything from terrorist attacks and pandemic viruses right down to rush hour traffic…
This volume contains six keynote lectures and 44 contributed papers of the TI 2009 conference that was held in Saint-Luce, La Martinique, May 31-June 5, 2009. These lectures address the latest developments in direct numerical simulations, large eddy simulations, compressible tur…
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced informatio…
"Spin glasses are disordered magnetic systems that have led to the development of mathematical tools with an array of real-world applications, from airline scheduling to neural networks. Spin Glasses and Complexity offers the most concise, engaging, and accessible introduction t…
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996
by Buss, Samuel R., NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, Beame, Paul W., DIMACS (Group), DIMACS Workshop on Feasible Arithmetics and Length of Proofs, Rutgers University)
fromDIMACS series in discrete mathematics and theoretical compu…
The 16 papers reflect some of the breakthroughs over the past dozen years in understanding whether or not logical inferences can be made in certain situations and what resources are necessary to make such inferences, questions that play a large role in computer science and artif…
This book presents the works and research findings of physicists, economists, mathematicians, statisticians, and financial engineers who have undertaken data-driven modelling of market dynamics and other empirical studies in the field of Econophysics. During recent decades, the …