Collection of selected, peer reviewed papers from the 2014 3rd International Conference on Machine Design and Manufacturing Engineering (3rd ICMDME 2014), May 24-25, 2014, Jeju Island, South Korea. Volume is indexed by Thomson Reuters CPCI-S (WoS).The 187 papers are grouped as f…
Computational invariant theory
by Kemper, Gregor, Derksen, Harm
fromEncyclopaedia of mathematical sciences
"This book is intended for postgraduate students as well as researchers in geometry, computer algebra, and, of course, invariant theory. The text is enriched with numerous explicit examples which illustrate the theory and should be of more than passing interest."--Jacket.
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among th…
"This book explores the field of complexity. It features in-depth coverage of important theoretical ideas, including fractals, chaos, non-linear dynamics, artificial life and self-organisation. It also provides overviews of complexity in several applied areas, including parallel…
Numerical methods are indispensable tools in the analysis of complex fluid flows. This book focuses on computational techniques for high-speed gas flows, especially gas flows containing shocks and other steep gradients. The book decomposes complicated numerical methods into simp…
Computational Intelligence: A Logical Approach provides a unique and integrated introduction to artificial intelligence. It weaves a unifying theme - an intelligent agent acting in its environment - through the core issues of AI, placing them into a coherent framework. Rather th…
“Les Levine: Disposable Art, Technology, and Media, 1964–1971” traces how technology took shape as a material form and node of inquiry in art practice of the 1960s and 1970s through the work and writings of conceptual artist Les Levine. The study focuses on the stakes of making …
In the turn of a new digital era, processes of design have advanced with new modes of analysis and form generation. New systems of parametric design promote the articulation of new design philosophies, giving rise to new forms of spatial designation and social interaction. The h…
The book comprises 20 chapters dealing with the following subjects: mathematical models for languages and computation; sets; sequences; relations; functions; graphs; classical models; finite automata; context-free grammars; pushdown automata; Turing machines; computability; deci…
