Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically so…
Over the last fifty-plus years, the increased complexity and speed of integrated circuits have radically changed our world. Today, semiconductor manufacturing is perhaps the most important segment of the global manufacturing sector. As the semiconductor industry has become more …
In chronologische volgorde worden de 250 belangrijkste ideeën uit de geschiedenis van de wiskunde besproken.
by Zaanen, A.C., (Adriaan Cornelis)
fromNorth-Holland Mathematical Library
This book presents a logically more complete form of macroscopic Maxwell equations than the conventional ones by applying long wavelength approximation to microscopic nonlocal theory. This scheme requires only one susceptibility tensor describing electric and magnetic polarizati…
Homogenization is not about periodicity, or Gamma-convergence, but about understanding which effective equations to use at macroscopic level, knowing which partial differential equations govern mesoscopic levels, without using probabilities (which destroy physical reality); inst…
Finite volume methods are used for various applications in fluid dynamics, magnetohydrodynamics, structural analysis or nuclear physics. A closer look reveals many interesting phenomena and mathematical or numerical difficulties, such as true error analysis and adaptivity, model…
by Brünnler, Kai, Metcalfe, George, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX, Bern, Switzerland)
fromLecture Notes in Computer Science
The Virasoro algebra is an infinite dimensional Lie algebra that plays an increasingly important role in mathematics and theoretical physics. This book describes some fundamental facts about the representation theory of the Virasoro algebra in a self-contained manner. Topics i…
Annotation Constituting the refereed proceedings of the 12th Algorithms and Data Structures Symposium held in New York in August 2011, this text presents original research on the theory and application of algorithms and data structures in all areas, including combinatorics, comp…
by Goldberg, Leslie Ann, International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Princeton, N.J.), International Workshop on Randomization and Computation, RANDOM, Princeton, N.J.)
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 16th Annual International Conference on Computing and Combinatorics, held in Dallas, TX, USA, in August 2011. The 54 revised full papers presented were carefully reviewed and selected from 136 submissions. Topics covered are …
by Soille, Pierre, Pesaresi, Martino, Ouzounis, Georgios K., International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing, ISMM, Verbania-Intra, Italy)
fromLecture Notes in Computer Science
by Zhou, Qihai, International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF, Singapore), International Conference on High Performance Networking, Computing, and Communication Systems, Singapore)
fromCommunications in computer and information science
The Euclidean shortest path (ESP) problem asks the question: what is the path of minimum length connecting two points in a 2- or 3-dimensional space? Variants of this industrially-significant computational geometry problem also require the path to pass through specified areas an…
