Page 31
Page 31
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
Computational science and its applications - ICCSA 2006 ; Vol. 3983 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3982 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3981 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3980 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ;Vol. 3984 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational intelligence, cyber security and computational models. models and techniques for intelligent systems and automation ; 4th International Conference, ICC3 2019, Coimbatore, India, December 19–21, 2019, Revised Selected Papers
This book constitutes the proceedings of the 4th International Conference on Computational Intelligence, Cyber Security, and Computational Models, ICC3 2019, which was held in Coimbatore, India, in December 2019. The 9 papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: computational intelligence; cyber security; and computational models.
Computational intelligence in information assurance and security
The global economic infrastructure is becoming increasingly dependent upon information technology, with computer and communication technology being essential and vital components of Government facilities, power plant systems, medical infrastructures, financial centers and military installations to name a few. Finding effective ways to protect information systems, networks and sensitive data within the critical information infrastructure is challenging even with the most advanced technology and trained professionals. This volume provides the academic and industrial community with a medium for presenting original research and applications related to information assurance and security using computational intelligence techniques. The included chapters communicate current research on information assurance and security regarding both the theoretical and methodological aspects, as well as various applications in solving real world information security problems using computational intelligence.
Computational intelligence and security ; Vol.3802 ; International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on Computational Intelligence and Security, CIS 2005, held in Xi'an, China, in December 2005. The 338 revised papers presented - 254 regular and 84 extended papers - were carefully reviewed and selected from over 1800 submissions. The second volume is subdivided in topical sections on cryptography and coding, cryptographic protocols, intrusion detection, security models and architecture, security management, watermarking and information hiding, web and network applications, image and signal processing, and applications.
Computational intelligence and security ; Vol. 3801 ; International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on Computational Intelligence and Security, CIS 2005, held in Xi'an, China, in December 2005. The 338 revised papers presented - 254 regular and 84 extended papers - were carefully reviewed and selected from over 1800 submissions. The first volume is organized in topical sections on learning and fuzzy systems, evolutionary computation, intelligent agents and systems, intelligent information retrieval, support vector machines, swarm intelligence, data mining, pattern recognition, and applications.
Computational intelligence and security ; International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised selected papers
It covers bio-inspired computing, evolutionary computation, learning systems and multi-agents, cryptography, information processing and intrusion detection, systems and security, image and signal processing, and pattern recognition.
Commodity derivatives : Markets and applications
The second edition includes discussions of critical new topics like dual curve swap valuation, option valuation within a negative price environment using the Bachelier model, volatility skews, smiles, smirks, term structures for major commodities, and more. You’ll find case studies on corporate failures linked to improper commodity risk management, as well as explorations of issues like the impact of growing interest in electric vehicles on commodity markets.
Commercial lending : principles and practice
Supports the Chartered Banker Institute's Commercial Lending module requirements and helps to prepare for assessment Is written by a banking sector expert with cutting-edge industry perspective, ideal to support students of banking at undergraduate and postgraduate level Aids work-based learning and professional development with a highly practical and applied approach, bringing learning to life with activities to carry out in the workplace as well as case studies, further reading recommendations and definitions of key terms throughout Offers additional numeracy support to help readers with practical lending work, such as assessing balance sheets and understanding financial reports and documents Offers thought leadership on commercial lending from an expert author with over 30 years of experience in the sector, endorsed by the Chartered Banker Institute
Combined and Hybrid Adsorbents : Fundamentals and Applications
Adsorption is a separation process playing a fundamental role in several industrial areas, being used in both purification and bulk separations. The adsorbent used is the main parameter controlling the effectiveness of the process. Emerging new separations and the improvement of existing ones constitute the driving force for the development of new adsorbents with improved adsorbing properties.
Collapsing Structures and Public Mismanagement
This book demonstrates how accidents happen, how social processes are fundamental to their occurrence, and how learning and inference about their causes is a core public management function. Along the way, Seibel masterfully musters evidence from a multitude of sources to painstakingly document both bridge and building failures and the organizational pathologies that accompany them. This is a must-read for those who want to better understand such 'black swan' events and the search for resilience.
Cold War Civil Defence in Western Europe : Sociotechnical Imaginaries of Survival and Preparedness
This edited collection brings together established and new perspectives on Cold War civil defence in Western Europe within a common analytical framework that also facilitates comparative and transnational dimensions. The current interest in creating disaster-resilient societies demands new histories of civil defence. Historical contextualization is essential in order to understand what is at stake in preparing, devising, and implementing forms of preparedness, protection, and security that are specifically targeted at societies and citizens. Applying the concept of sociotechnical imaginaries to civil defence history, the chapters of this volume cover a range of new themes, from technology and materiality to media, memory, and everyday experience.
Co-governed Sovereignty Network : Legal Basis and Its Prototype & Applications with MIN Architecture
This book introduces MIN, a novel networking architecture to implement the sovereign equality of all countries in the cyberspace. Combining legal theory and network technology, it first discusses the historical development of sovereignty and expounds the legal basis of cyberspace sovereignty. Then, based on the high-performance blockchain, it describes a new network architecture designed to implement co-governance at the technical level.
Coding for Data and Computer Communications
In a unique, single volume, this highly versatile text/reference introduces readers to the importance of channel coding (error-correcting codes), secure coding (cryptography), and source coding (data compression). It is organized in three main parts and uses clear, nonmathematical explanations to develop the concepts, principles, and techniques in each area of coding. Requiring only a general familiarity with computer methods, the book deals with all aspects of coding and its relevance to fast, secure, and reliable data transmission and storage. Features & Benefits: Presents comprehensive coverage of areas of coding often found in separate books, and stresses data coding’s relevance in today’s world / Provides a wealth of examples and exercises (with solutions) to help readers easily grasp the material / Incorporates an extensive chapter on data hiding, a sparsely documented topic of increasing importance in the community / Includes an author-supplied website with supplementary material / Possesses a detailed bibliography and helpful glossary, index, and appendixes (including projects for self-study).
Codes : An Introduction to Information Communication and Cryptography
Information is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle it, for example, mobile phones, digital cameras, and personal computers. This book is an integrated introduction to the mathematics of coding, that is, replacing information expressed in symbols, such as a natural language or a sequence of bits, by another message using (possibly) different symbols. There are three main reasons for doing this: economy, reliability, and security, and each is covered in detail. Only a modest mathematical background is assumed, the mathematical theory being introduced at a level that enables the basic problems to be stated carefully, but without unnecessary abstraction.
