The Essence of Logic is an exciting new publication that provides a concise introduction to formal logic. Making little demands on previous mathematical knowledge, this comprehensive text prepares the reader for the analysis and application of logic techniques in computing. It c…
Andrej V. Cherkaev and Robert V. Kohn In the past twenty years we have witnessed a renaissance of theoretical work on the macroscopic behavior of microscopically heterogeneous mate rials. This activity brings together a number of related themes, including: (1) the use of weak co…
Computer vision solutions used to be very specific and difficult to adapt to different or even unforeseen situations. The current development is calling for simple to use yet robust applications that could be employed in various situations. This trend requires the reassessment o…
