In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary. This book commemorates contributions made by ICCAD to the broad field of design automation during that time. The foundation of ICCAD in 1982 coincided with the growth of Large Scale Integration. The sharply increased functionality of board-level circuits led to a major demand for more powerful Electronic Design Automation (EDA) tools. At the same time, LSI grew quickly and advanced circuit integration became widely avail able. This, in turn, required new tools, using sophisticated modeling, analysis and optimization algorithms in order to manage the evermore complex design processes. Not surprisingly, during the same period, a number of start-up com panies began to commercialize EDA solutions, complementing various existing in-house efforts. The overall increased interest in Design Automation (DA) re quired a new forum for the emerging community of EDA professionals; one which would be focused on the publication of high-quality research results and provide a structure for the exchange of ideas on a broad scale. Many of the original ICCAD volunteers were also members of CANDE (Computer-Aided Network Design), a workshop of the IEEE Circuits and Sys tem Society. In fact, it was at a CANDE workshop that Bill McCalla suggested the creation of a conference for the EDA professional. (Bill later developed the name).

This book constitutes the thoroughly refereed postproceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in St. Petersburg, Russia in September 2004. The 21 revised full papers presented together with 5 invited papers went through two rounds of reviewing, selection, and improvement. A broad variety of foundational aspects in theoretical computer science are addressed, such as cellular automata, molecular computing, quantum computing, formal languages, automata theory, Turing machines, P systems, etc.

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. This conference encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems.

The book is a collection of best papers presented at the International Conference on Intelligent Computing and Applications (ICICA 2018), held at Velammal Engineering College, Chennai, India on 2–3 February 2018. Presenting original work in the field of computational intelligence and power and computing technology, it focuses on soft computing applications in power systems; power-system modeling and control; FACTS devices – applications in power systems; power-system stability and switchgear and protection; power quality issues and solutions; smart grids; green and renewable energy technologies; optimization techniques in electrical systems; power electronics controllers for power systems; power converters and modeling; high voltage engineering; diagnosis and sensing systems; and robotics.

This book constitutes the thoroughly reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010. The 14 revised full papers taken from ArgMAS 2010 were carefully reviewed and improved during two rounds of revision. Also included are 4 invited papers based on presentations on argumentation at the AAMAS 2010 main conference. All together the 18 papers included in the book give a representative overview on current research on argumentation in multi-agent systems. The papers are organized in topical sections on practical reasoning and argument about action, applications, and theoretical aspects.

This book constitutes the refereed post-conference proceedings of the Third International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2017, held in Bucharest, Romania, in October 2017. The 37 revised full papers were carefully reviewed and selected from 61 submissions. The main topics deal with future access networks, Internet of Things and smart city/smart environment applications, communications and computing infrastructures, security aspects in communication and data processing, signal processing and multimedia.

A textbook on the fundamentals of VLSI design flow, covering the various stages of design implementation, verification, and testing.