- Table View
- List View
Integrated Data and Energy Transfer in Wireless Networks (Textbooks in Telecommunication Engineering)
by Kun Yang Jie HuThis textbook offers a comprehensive guideline for integrated data and energy transfer, from theoretical fundamentals to practical implementations and applications. This book is suitable for students, engineers and scientists in electronic engineering who are interested in the integrated data and energy transfer in future wireless networks. The authors cover waveform and transceiver design in the physical layer, resource allocation and medium access control protocol, networking and deployment as well as practical implementation of the wireless integrated data and energy transfer. The authors commence from information theoretical fundamentals, physical layer design principles, medium access control, and networking techniques. The book ends with a practical prototype of integrated data and energy transfer. The book is geared towards graduate students and senior undergrads having a general background of wireless communications. The book features exercises, Q&A, and examples throughout.
Integrated Design Engineering: Interdisciplinary and Holistic Product Development
by Sándor VajnaThis book addresses Integrated Design Engineering (IDE), which represents a further development of Integrated Product Development (IPD) into an interdisciplinary model for both a human-centred and holistic product development. The book covers the systematic use of integrated, interdisciplinary, holistic and computer-aided strategies, methods and tools for the development of products and services, taking into account the entire product lifecycle. Being applicable to various kinds of products (manufactured, software, services, etc.), it helps readers to approach product development in a synthesised and integrated way.The book explains the basic principles of IDE and its practical application. IDE’s usefulness has been demonstrated in case studies on actual industrial projects carried out by all book authors. A neutral methodology is supplied that allows the reader to choose the appropriate working practices and performance assessment techniques to develop their product quickly and efficiently. Given its manifold topics, the book offers a valuable reference guide for students in engineering, industrial design, economics and computer science, product developers and managers in industry, as well as industrial engineers and technicians.
Integrated Electronic Circuits
by Mohammed Ismail Jad G. AtallahThis textbook takes a unique approach to fundamental courses in electronic circuits, providing the students with early exposure to Integrated Circuit (IC) technology and Electronic Design Automation (EDA) tools using a Process Design Kit (PDK). This aims at preparing the students to participate in the advancements taking place in the field today and in the foreseeable future. The book follows a novel, hands-on approach to electronics education, combining a unique pedagogy that balances theory with practice. The starting point consists of circuit simulation results rather than device physics. Therefore, hand calculations and simulations are readily used, and the loop between the two is closed. The information is presented visually not only for the circuits, but also for the signals involved, all of which being simulation results. The book is aimed to be easily read and understood by the students, which gives the instructors ample time to concentrate on the important points. The book discusses technology and its applications and limitations along with the IC design flow. It goes in depth into various types of circuits including analog, digital, and mixed-signal, where the students are encouraged to discover the connections between the different applications. This is because future electronic circuit designers should be able to understand system and technology aspects, and be able to switch easily between applications. This results in the students being better-prepared for future cross-disciplinary innovations.
Integrated Formal Methods
by Erika Ábrahám Marieke HuismanThis bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions; program verification; probabilistic systems; concurrency; safetyand liveness; model learning; SAT and SMT solving; testing; theorem proving andconstraint satisfaction; case studies.
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Lecture Notes in Computer Science #11023)
by Carlo A. Furia Kirsten WinterThis book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Lecture Notes in Computer Science #11918)
by Wolfgang Ahrendt Silvia Lizeth Tapia TarifaThis book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Lecture Notes in Computer Science #12546)
by Elena Troubitsyna Brijesh DongolThis book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings (Lecture Notes in Computer Science #13274)
by Maurice H. ter Beek Rosemary MonahanThis book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science #15234)
by Nikolai Kosmatov Laura KovácsThis volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
Integrated Graphic and Computer Modelling
by Adrian ThomasComputer languages and computer graphics have become the primary modes of human-computer interaction. This book provides a basic introduction to "Real and Virtual Environment" computer modelling. Graphics models are used to illustrate both the way computer languages are processed and also used to create computer models of graphic displays. Computer languages have been bootstrapped from machine code, to high-level languages such as Java, to animation scripting languages. Integrating graphic and computer models takes this support for programming, design and simulation work, one step further, allowing interactive computer graphic displays to be used to construct computer models of both real and virtual environment systems. The Java language is used to implement basic algorithms for language translation, and to generate graphic displays. It is also used to simulate the behaviour of a computer system, to explore the way programming and design-simulation environments can be put together.
Integrated IT Performance Management
by Kenneth BaineyIf you are in search of real-world practical scenarios of IT performance management practices, with a desire to obtain examples of strategic directives, accountabilities, outcomes, and performance measures for managing IT services, with an interest toward how performance management integrates with strategic and operational management, then Integrat
Integrated Imaging and Vision Techniques for Industrial Inspection
by Zheng Liu Hiroyuki Ukida Pradeep Ramuhalli Kurt NielThis pioneering text/reference presents a detailed focus on the use of machine vision techniques in industrial inspection applications. An internationally renowned selection of experts provide insights on a range of inspection tasks, drawn from their cutting-edge work in academia and industry, covering practical issues of vision system integration for real-world applications. Topics and features: presents a comprehensive review of state-of-the-art hardware and software tools for machine vision, and the evolution of algorithms for industrial inspection; includes in-depth descriptions of advanced inspection methodologies and machine vision technologies for specific needs; discusses the latest developments and future trends in imaging and vision techniques for industrial inspection tasks; provides a focus on imaging and vision system integration, implementation, and optimization; describes the pitfalls and barriers to developing successful inspection systems for smooth and efficient manufacturing process.
Integrated Imaging and Vision Techniques for Industrial Inspection: Advances and Applications (Advances in Computer Vision and Pattern Recognition)
by Zheng Liu Hiroyuki Ukida Pradeep Ramuhalli Kurt NielThis pioneering text/reference presents a detailed focus on the use of machine vision techniques in industrial inspection applications. An internationally renowned selection of experts provide insights on a range of inspection tasks, drawn from their cutting-edge work in academia and industry, covering practical issues of vision system integration for real-world applications. Topics and features: presents a comprehensive review of state-of-the-art hardware and software tools for machine vision, and the evolution of algorithms for industrial inspection; includes in-depth descriptions of advanced inspection methodologies and machine vision technologies for specific needs; discusses the latest developments and future trends in imaging and vision techniques for industrial inspection tasks; provides a focus on imaging and vision system integration, implementation, and optimization; describes the pitfalls and barriers to developing successful inspection systems for smooth and efficient manufacturing process.
Integrated Inductors and Transformers: Characterization, Design and Modeling for RF and MM-Wave Applications
by Giuseppe Palmisano Egidio Ragonese Angelo Scuderi Tonio BiondiWith the ability to improve performance, reduce fabrication costs, and increase integration levels of both RX and TX sections of the RF/mm-wave front-end, passive inductive components have experienced extraordinary growth in ICs. Therefore, a fundamental understanding of monolithic inductors and transformers has become essential for all process eng
Integrated Intelligent Computing, Communication and Security (Studies in Computational Intelligence #771)
by A. N. Krishna K. C. Srikantaiah C NaveenaThis book highlights the emerging field of intelligent computing and developing smart systems. It includes chapters discussing the outcome of challenging research related to distributed computing, smart machines and their security related research, and also covers next-generation communication techniques and the networking technologies that have the potential to build the future communication infrastructure. Bringing together computing, communications and other aspects of intelligent and smart computing, it contributes to developing a roadmap for future research on intelligent systems.
Integrated Language Learning & Social Awareness: Research and Practice (SpringerBriefs in Education)
by Tushar Chaudhuri Renia Lopez-Ozieblo Valérie MartinezThis book reports on and analyses the Integrated Language Learning & Social Awareness Project, a unique project in the field of Foreign Language Learning and Telecollaboration till now in the world. It takes the existing research on telecollaborative learning, content and language integrated learning and e-learning and combines them into one coherent concept in which language acquisition and enhancement takes place through task-led research on the specific issue of “Healthy Cities” by targeting language learners from around the world. The book delivers insights into the planning and the development of the project including collaborative task design and its underlying theoretical and research frameworks. It then goes on to reflect on how these underlying frameworks are developed further to broaden the existing paradigms of research in the field of telecollaborative language learning.
Integrated Learning for ERP Success: A Learning Requirements Planning Approach (Resource Management)
by Karl M. Kapp William F. Latham Hester Ford-LathamThe results are in. The evidence has been analyzed. Research shows that the lack of enterprise-wide training is the biggest reason for ERP implementation failures. It is the single most important precursor to achieving success. Integrated Learning for ERP Success is the first resource to offer a specifically defined, comprehensive method fo
Integrated Management Systems
by Marek Bugdol Piotr JedynakExamining the challenges of integrated management, this book explores the importance and potential benefits of using an integrated approach as a cross-functional concept of management. It covers not only standardized management systems (e. g. International Organization for Standardization), but also models of self-assessment, as well as different types of integration. Furthermore, it demonstrates how processes and systems can be integrated, and how management efficiency can be increased. The major part of this book focuses on management concepts which use integration as a key tool of management processes (e. g. the systematic approach, supply chain management, virtual and network organizations, processes management and total quality management). Case studies, illustrations, and tables are also provided to exemplify and illuminate the content, as well as examples of successful and failed integrations. Providing a particularly useful resource to managers and specialists involved in the improvement of organizational performance, this book is also intended for top managers, functional managers, project managers, specialists, consultants, and those who wish to improve the efficiency and effectiveness of management. It also offers a helpful guide to academics and students interested in quality and risk management.
Integrated Micro-Ring Photonics: Principles and Applications as Slow Light Devices, Soliton Generation and Optical Transmission
by Iraj Sadegh Amiri Harith Ahmad Abdolkarim AfroozehMicro-ring resonators (MRRs) are employed to generate signals used for optical communication applications, where they can be integrated in a single system. These structures are ideal candidates for very large-scale integrated (VLSI) photonic circuits, since they provide a wide range of optical signal processing functions while being ultra-compact. Soliton pulses have sufficient stability for preservation of their shape and velocity. Technological progress in fields such as tunable narrow band laser systems, multiple transmission, and MRR systems constitute a base for the development of new transmission techniques. Controlling the speed of a light signal has many potential applications in fiber optic communication and quantum computing. The slow light effect has many important applications and is a key technology for all optical networks such as optical signal processing. Generation of slow light in MRRs is based on the nonlinear optical fibers. Slow light can be generated within the micro-ring devices, which will be able to be used with the mobile telephone. Therefore, the message can be kept encrypted via quantum cryptography. Thus perfect security in a mobile telephone network is plausible. This research study involves both numerical experiments and theoretical work based on MRRs for secured communication.
Integrated Networking, Caching, and Computing
by F. Richard Yu Tao Huang Yunjie LiuThis book features the major research advances on integrated networking, caching, and computing. Information-centric networking-based caching is one of the promising techniques for future networks. The cloud computing paradigm has been widely adopted to enable convenient, on-demand network access to a shared pool of configurable computing resources. In addition, fog/edge computing is proposed to deploy computing resources closer to end devices. From the perspective of applications, network, cache and compute are underlying enabling resources. How to manage, control and optimize these resources can have significant impacts on application performance.
Integrated Optical Interconnect Architectures for Embedded Systems
by Ian O'Connor Gabriela NicolescuThis book provides a broad overview of current research in optical interconnect technologies and architectures. Introductory chapters on high-performance computing and the associated issues in conventional interconnect architectures, and on the fundamental building blocks for integrated optical interconnect, provide the foundations for the bulk of the book which brings together leading experts in the field of optical interconnect architectures for data communication. Particular emphasis is given to the ways in which the photonic components are assembled into architectures to address the needs of data-intensive on-chip communication, and to the performance evaluation of such architectures for specific applications.
Integrated Optimization in Public Transport Planning (Springer Optimization and Its Applications #160)
by Philine SchieweThis book is one of the first to include an extensive discussion of integrated public transport planning. In times of growing urban populations and increasing environmental awareness, the importance of optimizing public transport systems is ever-developing. Three different aspects are presented: line planning, timetabling, and vehicle scheduling. Classically, challenges concerning these three aspects of planning are solved sequentially. Due to their high interdependence, the author presents a clear and detailed analysis of innovative, integrated models with accompanied numerical experiments performed to assess, and often support, the benefits of integration. The book will appeal to a wide readership ranging from graduate students to researchers.
Integrated Science in Digital Age 2020 (Lecture Notes in Networks and Systems #136)
by Tatiana AntipovaThis book presents the proceedings of the 2020 International Conference on Integrated Science in Digital Age, which was jointly supported by the Institute of Certified Specialists (Russia) and Springer, and was held on May 1–3, 2020.The conference provided an international forum for researchers and practitioners to present and discuss the latest innovations, trends, results, experiences and concerns in the various areas of integrated science in the digital age. The main goal of the conference was to efficiently disseminate original findings in the natural and social sciences, covering topics such as blockchain & cryptocurrency; computer law & security; digital accounting & auditing; digital business & finance; digital economics; digital education; digital engineering; machine learning; smart cities in the digital age; health policy & management; and information management.
Integrated Science in Digital Age: ICIS 2019 (Lecture Notes in Networks and Systems #78)
by Tatiana AntipovaThis book gathers selected papers presented at the 2019 International Conference on Integrated Science in Digital Age (ICIS 2019), which was jointly supported by the Institute of Certified Specialists (ICS), Russia and Springer and held in Batumi, Georgia on May 10–12, 2019. The ICIS 2019 received roughly 50 contributions, by authors hailing from six countries. Following a peer-review process, the Scientific Committee – a multidisciplinary group of 110 experts from 38 countries around the globe – selected roughly 60% for publication. The main topics covered include: Artificial Intelligence Research; Digital Business & Finance; Educational Sciences; Health Management Informatics; Public Administration in the Digital Age; and Social Problem-solving.
Integrated Science: Science Without Borders (Integrated Science #1)
by Nima RezaeiThe “INTEGRATED SCIENCE: Science without Borders” is the first volume of INTEGRATED SCIENCE Book series, aims to publish the results of the most update ideas and reviews in transdisciplinarity fields, to highlight integration of different disciplines, including formal sciences, physical-chemical sciences and engineering, biological sciences, medical sciences, and social sciences. This is especially focused on the research involving the integration of two of more academic fields offering an innovative view, which is one of the main focuses of Universal Scientific Education and Research Network (USERN); science without borders. The whole world is suffering from complex problems; these are actually borderless problems; so, borderless solution could be the solution for such complex problems. Transdisciplinarity, as a domain that researchers work jointly, using shared conceptual framework drawing together disciplinary-specific theories, concepts and approaches to address common problem. Lack of confidence, lack of expertise, complexities of healthcare, the confusing nature of healthcare environments and lack of organization and standardization became obstacles to successful communication. Consequently, the book is to provide an overview of the basic elements of transdisciplinary studies and integrated science. The unique aspect of this book, privileging it from other books, is covering all aspects of science as a true one nature.