"61" Result
Sort By:
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996
by Center for Discrete Mathematics and Theoretical Computer Science (Piscataway, N.J.), Beame, Paul W., DIMACS Workshop on Feasible Arithmetics and Length of Proofs, DIMACS Special Year on Logic and Algorithms (1995-1996)
fromDIMACS series in discrete mathematics and theoretical compu…
0
Type: Book
Bursty human dynamics
by Karsai, Márton, Jo, Hang-Hyun, Kaski, K.
fromSpringer briefs in complexity
0
Type: Book
This book provides a comprehensive overview on emergent bursty patterns in the dynamics of human behaviour. It presents common and alternative understanding of the investigated phenomena, and points out open questions worthy of further investigations. The book is structured as f…
Logique, informatique et paradoxes
0
Type: Book