You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Electric Circuits and Networks is designed to serve as a textbook for a two-semester undergraduate course on basic electric circuits and networks. The book builds on the subject from its basic principles. Spread over seventeen chapters, the book can be taught with varying degree of emphasis on its six subsections based on the course requirement. Written in a student-friendly manner, its narrative style places adequate stress on the principles that govern the behaviour of electric circuits and networks.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Numerical Methods and Applications, NMA 2018, held in Borovets, Bulgaria, in August 2018. The 56 revised regular papers presented were carefully reviewed and selected from 61 submissions for inclusion in this book. The papers are organized in the following topical sections: numerical search and optimization; problem-driven numerical method: motivation and application, numerical methods for fractional diffusion problems; orthogonal polynomials and numerical quadratures; and Monte Carlo and Quasi-Monte Carlo methods.
This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software and hardware development, with the use of digital technologies, and quality assurance for critical applications. This book starts with automotive safety systems which is one of the major functional domains. It discusses the importance of software in automotive systems followed by an insight into Automotive Software Standards, ISO26262, and Autosar. The book further discusses the use of Processor in the loop test for an adaptive trajectory tracking control for quadrotor UAVs. It also illustrates the role of embedded systems in medical engineering. Various innovative applications involving the concept of image processing and Internet of Things are also presented in this book. The SoC Power Estimation is also investigated. Finally, a Review of the Hardware/Software Partitioning Algorithms with some future works have been presented. this book is intended for academicians, researchers, and industrialists.
This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit designs. In particular, this book combines formal techniques, such as the Satisfiability (SAT) problem and the Bounded Model Checking (BMC), to address the arising challenges concerning the increase in test data volume, as well as test application time and the required reliability. All methods are discussed in detail and evaluated extensively, while considering industry-relevant benchmark candidates. All measures have been integrated into a common framework, which implements standardized software/hardware interfaces.
Zaozao Qiu shows in this thesis that transition metals can mediate or catalyze the cycloaddition or coupling reactions of carboryne with alkynes or alkenes to afford benzocarboranes, alkenylcarboranes or dihydrobenzocarboranes. These results represent powerful strategies to assemble useful complex molecules from very simple precursors in a single operation. Carboranes have many applications in medicine. However, their unique structures make derivatization difficult and the limited efficient synthetic methods to obtain functional carborane materials have restricted applications of carboranes within a narrow scope. This work breaks a new ground in metal-carboryne chemistry and will have a significant impact on synthetic, cluster and materials chemistry.
The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India, in January 2012. The 55 revised full papers presented in this volume were carefully reviewed andselected from numerous submissions. The papers are organized in topical sectionson advances in computer science and information technology; and ad hoc andubiquitous computing.
The International Conference on VLSI Design was started in 1985 as a workshop and from this start has grown into an international conference on VLSI design. The proceedings are dedicated to all aspects of integrated circuit design, technology, and related computer-aided design (CAD).
The two-volume set CCIS 1491 and 1492 constitutes the refereed post-conferenceproceedings of the 16th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2021, held in Xiangtan, China, November 26–28, 2021. The conference was held in a hybrid mode i.e. online and on-site in Xiangtan due to the COVID-19 crisis. The 65 revised full papers and 22 revised short papers were carefully reviewed and selected from 242 submissions. The papers are organized in the following topical sections: Volume I: Collaborative Mechanisms, Models, Approaches, Algorithms and Systems; Cooperative Evolutionary Computation and Human-like Intelligent Collaboration; Domain-Specific Collaborative Applications; Volume II: Crowd Intelligence and Crowd Cooperative Computing; Social Media and Online Communities.