This two volume set LNCS 7238 and LNCS 7239 constitutes the refereed proceedings of the 17th International Conference on Database Systems for Advanced Applications, DASFAA 2012, held in Busan, South K
This collection of fourteen articles on database queries showcases advanced scholarship in the searching of a variety of database systems. Topics discussed include automatic categorization in web data
DASFAA is an annual international database conference, located in the Asia-Pacific region,which show cases state-of-the-art R & D activities in databases-terms and their applications. It provi
This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals
This edited volume presents the proceedings of the AMAA 2015 conference, Berlin, Germany. The topical focus of the 2015 conference lies on smart systems for green and automated driving. The automobile
The road vehicle of the future will embrace innovations from three major automotive technology fields: driver assistance systems, vehicle networking and alternative propulsion. Smart systems such as a
This work on matrix genetics compiles approaches to the structural analysis of genetic systems and bioinformatics. Kronecker matrix families of square matrices are applied to genetic informatics to de
The ambitious objectives of future road mobility, i.e. fuel efficiency, reduced emissions, and zero accidents, imply a paradigm shift in the concept of the car regarding its architecture, materials, a
The automobile is going through the biggest transformation in its history. Automation and electrification of vehicles are expected to enable safer and cleaner mobility. The prospects and requirements
The automobile of the future has to meet two primary requirements: the super-efficient use of energy and power and the ultra-safe transportation of people and goods. Both features are increasingly ena
This book presents state-of-the art synthetic techniques and applications for the use of carbon-based nanomaterials in energy conversion and storage. Fundamentals of synthesis and characterization ar
The book’s text focuses on explaining and analyzing the dynamic performance of linear and nonlinear systems, in particular for Power Systems (PS) including Hybrid Power Sources (HPS). The system stabi