This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented
This book constitutes the refereed proceedings of the 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, held in Singapore, in June 2013. The 22 revised full papers presen
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. The 12
This book constitutes the refereed proceedings of the 6th International Conference on Hybrid Learning, ICHL 2013, held in Toronto, ON, Canada, in August 2013. The 35 papers presented in this volume we
This book constitutes the thoroughly refereed post-conference proceedings of the 29th British National Conference on Databases, BNCOD 2013, held in Oxford, UK, in July 2013. The 20 revised full papers
IAENG Transactions on Engineering Technologies contains forty-nine revised and extended research articles, written by prominent researchers participating in the conference. Topics covered include circ
Presenting basic principles in the science and technology of music, this book covers vibrations and waves, the physiology and psychology of acoustical science, room acoustics, analog and digital audio
PES College of Engineering is organizing an International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT-12) in Mandya and merging the event with Golden Jubil
Essential Astrophysics is a book to learn or teach from, as well as a fundamental reference volume for anyone interested in astronomy and astrophysics. It presents astrophysics from basic principles w
Crime, terrorism and security are in the forefront of current societal concerns. This edited volume presents research based on social network techniques showing how data from crime and terror networks
ICMCCA 2012 is the first International Conference on Multimedia Processing, Communication and Computing Applications and the theme of the Conference is chosen as ‘Multimedia Processing and its Applica
13 classics from these rock legends, including: Carry Me * Change Partners * Chicago * Got It Made * Helplessly Hoping * Just a Song Before I Go * Love the One You're With * Marrakesh Express * Our H
This text represents state-of-the-art trends and developments in the emerging field of engineering asset management as presented at the Sixth World Congress on Engineering Asset Management (WCEAM) hel
This book contains fifty-eight revised and extended research articles written by prominent researchers participating in the Advances in Engineering Technologies and Physical Science conference, held i
China Satellite Navigation Conference (CSNC) 2013 Proceedings presents selected research papers from CSNC2013, held on 15-17 May in Wuhan, China. The theme of CSNC2013 is: BeiDou Application: Opportun
This book constitutes the refereed proceedings of the 10th Extended Semantic Web Conference, ESWC 2013, held in Montpellier, France, in May 2013. The 42 revised full papers presented together with thr
Information engineering and applications is the field of study concerned with constructing information computing, intelligent systems, mathematical models, numerical solution techniques, and using com
Traditionally, design space exploration for Systems-on-Chip (SoCs) has focused on the computational aspects of the problem at hand. However, as the number of components on a single chip and their perf
The International Conference on Informatics and Management Science (IMS) 2012 will be held on November 16-19, 2012, in Chongqing, China, which is organized by Chongqing Normal University, Chongqing Un
This volume constitutes the refereed proceedings of the 7th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Mobile Devices in Wireless Communi
Information engineering and applications is the field of study concerned with constructing information computing, intelligent systems, mathematical models, numerical solution techniques, and using com
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Information Security and Cryptology, ICISC 2012, held in Seoul, Korea, in November 201
Ion-selective electrodes (ISEs) have a wide range of applications in clinical, environmental, food and pharmaceutical analysis as well as further uses in chemistry and life sciences. Based on his prof
Information engineering and applications is the field of study concerned with constructing information computing, intelligent systems, mathematical models, numerical solution techniques, and using com
This book constitutes the refereed proceedings of the Second International Conference on Health Information Science, HIS 2013, held in London, UK, in March 2013.The 20 full papers presented together w
The four-volume set LNCS 7724--7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on Computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012
The four-volume set LNCS 7724--7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on Computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012
This volume brings together five contributions to mathematical fluid mechanics, a classical but still very active research field which overlaps with physics and engineering. The contributions cover no
In recent years, social network research has advanced significantly with the development of sophisticated techniques for Social Network Analysis and Mining (SNAM). This book traces parallels between n
Information engineering and applications is the field of study concerned with constructing information computing, intelligent systems, mathematical models, numerical solution techniques, and using com
This book constitutes the thoroughly refereed workshop proceedings of the Second International Workshop on Medical Computer Vision, MCV 2012, held in Nice, France, October 2012 in conjunction with the
This book constitutes the refereed post-proceedings of the Joint International Conference on Pervasive Computing and the Networked World, ICPCA-SWS 2012, held in Istanbul, Turkey, in November 2012. Th
Collects research papers, presented at the "23rd CIRP Design Conference", Bochum, Germany, March 11th - 13th, 2013. In this title, these research papers provide the developments in the broad area of s
This book constitutes the proceedings of the 35th European Conference on IR Research, ECIR 2013, held in Moscow, Russia, in March 2013. The 55 full papers, 38 poster papers and 10 demonstrations prese
In most scenarios of the future a personalized virtual butler appears. This butler not only performs communication and coordination tasks but also gives recommendations on how to handle everyday probl
Information engineering and applications is the field of study concerned with constructing information computing, intelligent systems, mathematical models, numerical solution techniques, and using com
Information engineering and applications is the field of study concerned with constructing information computing, intelligent systems, mathematical models, numerical solution techniques, and using com
This book is a monograph devoted to logic synthesis and optimization for CPLDs. CPLDs' macrocell can also be interpreted as programmable AND-fixed OR structure, well known as PAL-based structure. The
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Symposium on Graph Drawing, GD 2012, held in Redmond, WA, USA, in September 2012. The 42 revised ful
