This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
This book presents a greatly enlarged statistical framework compared to generalized linear models (GLMs) with which to approach regression modelling. Comprising of about half-a-dozen major classes of statistical models, and fortified with necessary infrastructure to make the models more fully operable, the framework allows analyses based on many semi-traditional applied statistics models to be …
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …
This open access book examines Russia-China relations across a variety of civilian and military areas of cooperation. Leading experts in the field present empirical case studies covering a wide range of strategic cooperation areas between Russia and China, such as technological, military, economic and political cooperation. The contributing authors shed new light on Chinese and Russian strategi…
How is it possible that people kill each other? And above all: how is it possible that people who are able to peacefully live with each other at one moment, can kill each other at another one? These are fundamental questions about the human condition – questions that religions, philosophers and scientists have been wanting to solve since times immemorial and that continue to fascinate us toda…
After the dissolution of the Austro-Hungarian Monarchy, Austria transformed itself from an empire to a small Central European country. Formerly an important player in international affairs, the new republic was quickly sidelined by the European concert of powers. The enormous losses of territory and population in Austria’s post-Habsburg state of existence, however, did not result in a politic…
* Menyajikan literatur yang kaya dan otentik di bidang kecerdasan komputasi, * Diskusi tentang berbagai aplikasi industri, teknik, dan ilmiah dari komputasi yang diilhami ilmuan, * Makalah yang diundang dari para penemu / pencetus teknik komputasi bagi pembaca untuk memahami konsep-konsep kunci. --> Teks yang disediakan membahas SocProS, yang merupakan singkatan dari ' Soft Computing for Proble…