Computational and experimental group theory: AMS-ASL Joint Special Session Interactions Betwee…
by Association for Symbolic Logic, Borovik, Alexandre, Myasnikov, Alexei G., Joint Special Session Interactions between Logic, Group Theory and Computer Science, Baltimore, Md, AMS-ASL Joint Special Session "Interactions Between Logic, Group Theory, and Computer Science", Baltimore, Md
It is the first detailed exploration of the problem of learning action strategies in the context of designing embedded systems that adapt their behavior to a complex, changing environment; such systems include mobile robots, factory process controllers, and long-term software da…
Randomization and probabilistic techniques play an important role in modern computer science, with applications ranging from combinatorial optimization and machine learning to communication networks and secure protocols. This textbook is designed to accompany a one- or two-semes…