Logics of Specification Languages

Logics of Specification Languages

Author: Dines Bjørner

Publisher: Springer Science & Business Media

Published: 2007-12-05

Total Pages: 624

ISBN-13: 3540741070

DOWNLOAD EBOOK

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.


Duration Calculus

Duration Calculus

Author: Chaochen Zhou

Publisher: Springer Science & Business Media

Published: 2013-03-14

Total Pages: 253

ISBN-13: 3662067846

DOWNLOAD EBOOK

A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler).


Transactions on Engineering Technologies

Transactions on Engineering Technologies

Author: Gi-Chul Yang

Publisher: Springer

Published: 2016-03-25

Total Pages: 207

ISBN-13: 9811005516

DOWNLOAD EBOOK

This volume comprises selected extended papers written by prominent researchers participating in the International MultiConference of Engineers and Computer Scientists 2015, Hong Kong, 18-20 March 2015. The conference served as a platform for discussion of frontier topics in theoretical and applied engineering and computer science, and subjects covered include communications systems, control theory and automation, bioinformatics, artificial intelligence, data mining, engineering mathematics, scientific computing, engineering physics, electrical engineering, and industrial applications. The book describes the state-of-the-art in engineering technologies and computer science and its applications, and will serve as an excellent reference for industrial and academic researchers and graduate students working in these fields.


Introduction to Information Retrieval

Introduction to Information Retrieval

Author: Christopher D. Manning

Publisher: Cambridge University Press

Published: 2008-07-07

Total Pages:

ISBN-13: 1139472100

DOWNLOAD EBOOK

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the use of machine learning methods on text collections. All the important ideas are explained using examples and figures, making it perfect for introductory courses in information retrieval for advanced undergraduates and graduate students in computer science. Based on feedback from extensive classroom experience, the book has been carefully structured in order to make teaching more natural and effective. Slides and additional exercises (with solutions for lecturers) are also available through the book's supporting website to help course instructors prepare their lectures.


Proceedings of International Conference on Artificial Intelligence, Smart Grid and Smart City Applications

Proceedings of International Conference on Artificial Intelligence, Smart Grid and Smart City Applications

Author: L. Ashok Kumar

Publisher: Springer Nature

Published: 2020-03-12

Total Pages: 943

ISBN-13: 3030240517

DOWNLOAD EBOOK

Due to the complexity, and heterogeneity of the smart grid and the high volume of information to be processed, artificial intelligence techniques and computational intelligence appear to be some of the enabling technologies for its future development and success. The theme of the book is “Making pathway for the grid of future” with the emphasis on trends in Smart Grid, renewable interconnection issues, planning-operation-control and reliability of grid, real time monitoring and protection, market, distributed generation and power distribution issues, power electronics applications, computer-IT and signal processing applications, power apparatus, power engineering education and industry-institute collaboration. The primary objective of the book is to review the current state of the art of the most relevant artificial intelligence techniques applied to the different issues that arise in the smart grid development.


Enhancing Synergies in a Collaborative Environment

Enhancing Synergies in a Collaborative Environment

Author: Pablo Cortés

Publisher: Springer

Published: 2015-02-04

Total Pages: 370

ISBN-13: 3319140787

DOWNLOAD EBOOK

This volume contains a selection of the best papers presented at the 8th International Conference on Industrial Engineering and Industrial Management, XX International Conference on Industrial Engineering and Operations Management, and International IIE Conference 2014, hosted by ADINGOR, ABEPRO and the IIE, whose mission is to promote links between researchers and practitioners from different branches, to enhance an interdisciplinary perspective of industrial engineering and management. The conference topics covered: operations research, modelling and simulation, computer and information systems, operations research, scheduling and sequencing, logistics, production and information systems, supply chain and logistics, transportation, lean management, production planning and control, production system design, reliability and maintenance, quality management, sustainability and eco-efficiency, marketing and consumer behavior, business administration and strategic management, economic and financial management, technological and organizational innovation, strategy and entrepreneurship, economics engineering, enterprise engineering, global operations and cultural factors, operations strategy and performance, management social responsibility, environment and sustainability. This book will be of interest to researchers and practitioners working in any of the fields mentioned above.


Resistive Random Access Memory (RRAM)

Resistive Random Access Memory (RRAM)

Author: Shimeng Yu

Publisher: Springer Nature

Published: 2022-06-01

Total Pages: 71

ISBN-13: 3031020308

DOWNLOAD EBOOK

RRAM technology has made significant progress in the past decade as a competitive candidate for the next generation non-volatile memory (NVM). This lecture is a comprehensive tutorial of metal oxide-based RRAM technology from device fabrication to array architecture design. State-of-the-art RRAM device performances, characterization, and modeling techniques are summarized, and the design considerations of the RRAM integration to large-scale array with peripheral circuits are discussed. Chapter 2 introduces the RRAM device fabrication techniques and methods to eliminate the forming process, and will show its scalability down to sub-10 nm regime. Then the device performances such as programming speed, variability control, and multi-level operation are presented, and finally the reliability issues such as cycling endurance and data retention are discussed. Chapter 3 discusses the RRAM physical mechanism, and the materials characterization techniques to observe the conductive filaments and the electrical characterization techniques to study the electronic conduction processes. It also presents the numerical device modeling techniques for simulating the evolution of the conductive filaments as well as the compact device modeling techniques for circuit-level design. Chapter 4 discusses the two common RRAM array architectures for large-scale integration: one-transistor-one-resistor (1T1R) and cross-point architecture with selector. The write/read schemes are presented and the peripheral circuitry design considerations are discussed. Finally, a 3D integration approach is introduced for building ultra-high density RRAM array. Chapter 5 is a brief summary and will give an outlook for RRAM’s potential novel applications beyond the NVM applications.


Proceedings of the International Conference on Paradigms of Computing, Communication and Data Sciences

Proceedings of the International Conference on Paradigms of Computing, Communication and Data Sciences

Author: Mayank Dave

Publisher: Springer Nature

Published: 2021-02-19

Total Pages: 1001

ISBN-13: 9811575339

DOWNLOAD EBOOK

This book presents best selected papers presented at the International Conference on Paradigms of Computing, Communication and Data Sciences (PCCDS 2020), organized by National Institute of Technology, Kurukshetra, India, during 1–3 May 2020. It discusses high-quality and cutting-edge research in the areas of advanced computing, communications and data science techniques. The book is a collection of latest research articles in computation algorithm, communication and data sciences, intertwined with each other for efficiency.