EVERYTHING YOU NEED TO HELP SCORE A PERFECT 5. Ace the AP Computer Science A Exam with this comprehensive study guide—including 2 full-length practice tests, thorough content reviews, targeted strateg
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accom
This book explains the state-of-the-art algorithms used to simulate biological dynamics. Each technique is theoretically introduced and applied to a set of modeling cases. Starting from basic simulati
EVERYTHING YOU NEED TO HELP SCORE A PERFECT 5. Equip yourself to ace the AP Computer Science A Exam with this comprehensive study guide—including 2 full-length practice tests, thorough content reviews
Advances in GPU Research and Practice focuses on research and practices in GPU based systems. The topics treated cover a range of issues from hardware and architectural issues to high level issues suc
EVERYTHING YOU NEED TO HELP SCORE A PERFECT 5. Equip yourself to ace the AP Computer Science A Exam with The Princeton Review's brand-new, comprehensive study guide—including 2 full-length practice te
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology covers the latest trends in the field with special emphasis on their applications.The
In this book, the authors focus our attention primarily on safe Petri nets and on place/transition nets (P/T-nets) with major sections dedicated to elementary net synthesis, types of nets, place/trans
Applied Computing in Medicine and Health is a comprehensive presentation of on-going investigations into current applied computing challenges and advances, with a focus on a particular class of applic
Emerging Trends in Computational Biology, Bioinformatics, and Systems Biologydiscusses the latest in all aspects of computational biology, bioinformatics, and systems biology and the application of da
This book constitutes the thoroughly refereed proceedings of the 15th International Workshop on Information Security Applications, WISA 2014, held on Jeju Island, Korea, in August 2014. The 30 revised
This book constitutes the proceedings of the 10th International Conference on Advanced Data Mining and Applications, ADMA 2014, held in Guilin, China during December 2014. The 48 regular papers and 10
This book constitutes the thoroughly refereed post-workshop proceedings of the Third IAPR TC3 Workshop on Pattern Recognition of Social Signals in Human-Computer-Interaction, MPRSS 2014, held in Stock
This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presen
This book constitutes the proceedings of the Second International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2014, held in Cork, Ireland, in December 2014. The 40 papers present
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC 2014), held in Christ Church, Barbados, i
This book constitutes the refereed proceedings of the 19th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2014, held in Linkoping, Sweden, in November 2014. The 24 fu
The two-volume set LNCS 8873 and 8874 constitutes the refereed proceedings of the 20th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2014, h
The two-volume set LNCS 8873 and 8874 constitutes the refereed proceedings of the 20th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2014, h
This book constitutes the refereed conference proceedings of the 8th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2014, held in Bangalore, India, in December
This book constitutes the refereed proceedings of the First Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2015, held in Newcastle, NSW, Australia, in February 2015.
This book constitutes the refereed proceedings of the 6th International Workshop on Knowledge Representation for Health Care, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienn
The Future Internet envisions a move toward widespread use of services as a way of networked interaction. However, while the technologies for developing and deploying services are well established, me
Emerging Trends in Image Processing, Computer Vision, and Pattern Recognition discusses the latest in trends in imaging science which at its core consists of three intertwined computer science fields,
This two volume set LNAI 8917 and 8918 constitutes the refereed proceedings of the 7th International Conference on Intelligent Robotics and Applications, ICIRA 2014, held in Guangzhou, China, in Decem
This two volume set LNAI 8917 and 8918 constitutes the refereed proceedings of the 7th International Conference on Intelligent Robotics and Applications, ICIRA 2014, held in Guangzhou, China, in Decem
Emotion modeling has been an active area of research for almost two decades now. In spite of the growing and diverse body of work in emotion modeling, designing and developing emotion models remains a
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of info
The two volume set LNAI 8481 and 8482 constitutes the refereed conference proceedings of the 27th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Syst