- Table View
- List View
Integral Methods in Science and Engineering: Analytic and Computational Procedures
by Christian Constanda Paul J. Harris Bardo E. J. BodmannThis volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Seventeenth International Conference on Integral Methods in Science and Engineering, held virtually in July 2022, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical, electrical, and petroleum engineering, as well as graduate students in these disciplines and other professionals for whom integration is an essential working tool.
Integral and Inverse Reinforcement Learning for Optimal Control Systems and Games (Advances in Industrial Control)
by Frank L. Lewis Bosen Lian Wenqian Xue Hamidreza Modares Bahare KiumarsiIntegral and Inverse Reinforcement Learning for Optimal Control Systems and Games develops its specific learning techniques, motivated by application to autonomous driving and microgrid systems, with breadth and depth: integral reinforcement learning (RL) achieves model-free control without system estimation compared with system identification methods and their inevitable estimation errors; novel inverse RL methods fill a gap that will help them to attract readers interested in finding data-driven model-free solutions for inverse optimization and optimal control, imitation learning and autonomous driving among other areas. Graduate students will find that this book offers a thorough introduction to integral and inverse RL for feedback control related to optimal regulation and tracking, disturbance rejection, and multiplayer and multiagent systems. For researchers, it provides a combination of theoretical analysis, rigorous algorithms, and a wide-ranging selection of examples. The book equips practitioners working in various domains – aircraft, robotics, power systems, and communication networks among them – with theoretical insights valuable in tackling the real-world challenges they face.
Integrated Approach to Technology in Education in India: Implementation and Impact
by Amina CharaniaThis book explores the evolution of Integrated approach to Technology in Education (ITE), an initiative of Tata Trusts in India, and the many innovative ways in which it has helped enrich the learning process and fostered new skills for young people, especially those living in challenging environments. The book offers an in-depth look into authentic, creative and project-based learning experiences that have been facilitated by using technology in education in different settings in India, with case studies about opportunities and challenges of implementing ITE in the tribal pockets of West Bengal and Maharashtra, madrasas in West Bengal, government schools in rural Assam and sites in Uttar Pradesh. It examines the viability and sustainability of using ITE and other digital methods to address the complex education needs of children and address the challenges in the professional development of teachers. It also highlights the creative use of inquiry, project-based collaborative learning and distance education technologies during the pandemic in government-run schools. This book will be of interest to teachers, students and researchers of education, education technology, ICT and education, digital education and information technology. It will also be useful for educators, policymakers, educational institutions, EdTech start-ups and NGOs in the education sector.
Integrated Building Intelligence
by Hamidreza Alavi Soheila Kookalani Farzad Rahimian Núria ForcadaThis book integrates of Building Information Modeling (BIM) and Decision Support Systems (DSS) in the field of building design, construction, and maintenance. The book explores how BIM and DSS technologies can be synergistically utilized to enhance performance, comfort, and maintenance efficiency in buildings. With an emphasis on practical applications, the book provides a comprehensive overview of the latest advancements in BIM and DSS, including real-world case studies and implementation guidelines. The book features illustrations, tables, and examples that aid in understanding complex concepts and demonstrate the practical application of BIM and DSS in building projects. Readers will gain a deep understanding of how BIM and DSS can be integrated to optimize building design, streamline construction processes, and improve facility management and maintenance. The main benefit of reading this book is that it provides a valuable resource for professionals in the architecture, engineering, and construction industries who want to leverage the power of BIM and DSS to enhance their building projects. Additionally, the book explores how BIM and DSS can contribute to energy efficiency.
Integrated Business Information Systems: A Holistic View of the Linked Business Process Chain ERP-SCM-CRM-BI-Big Data
by Klaus-Dieter GronwaldEnterprise Resource Planning (ERP), Supply Chain Management (SCM), Customer Relationship Management (CRM), Business Intelligence (BI) and Big Data analytics (BDA) are business related tasks and processes, which are supported by standardized software solutions. The book explains that this requires business-oriented thinking and acting from IT specialists and data scientists. It is a good idea to let students experience this directly from the business perspective, for example as executives of a virtual company in a role-playing game. The second edition of the book has been completely revised, restructured and supplemented with actual topics such as blockchains in supply chains and the correlation between Big Data analytics, artificial intelligence and machine learning. The structure of the book is based on the gradual implementation and integration of the respective information systems from the business and management perspectives. Part I contains chapters with detailed descriptions of the topics supplemented by online tests and exercises. Part II introduces role play and the online gaming and simulation environment. Supplementary teaching material, presentations, templates, and video clips are available online in the gaming area. The gaming and business simulation Kdibisglobal.com, newly created for this book, now includes a beer division, a bottled water division, a soft drink division and a manufacturing division for barcode cash register scanner with their specific business processes and supply chains.
Integrated Business Planning: How to Integrate Planning Processes, Organizational Structures and Capabilities, and Leverage SAP IBP Technology (Management For Professionals)
by Robert Kepczynski Raghav Jandhyala Ganesh Sankaran Alecsandra DimofteThis book presents a comprehensive introduction to Integrated Business Planning (IBP), building on practitioner’s experience and showcasing the value gains when moving from disconnected planning to IBP. It also proposes a road map for the transformation of planning, including technological initiatives, business priorities and organizational processes, and demonstrates how to motivate different IBP stakeholders to work together, when and how to connect strategic, tactical and operational planning and how to leverage functional and data integration features of SAP IBP. Real-world business-process use cases help to show the practical implications of implementing SAP IBP. Furthermore the book explores new capabilities, including chapters on talent acquisition and retention, and career development leadership in an IBP Center of Expertise. A discussion of how disruptive technology trends like big data, Internet of Things, machine learning and artificial intelligence can influence IBP now and in the near future rounds out the book.
Integrated Business Processes with ERP Systems
by Jeffrey Word Simha R. MagalIntegrated Business Processes with ERP Systems covers the key processes supported by modern ERP systems. This textbook and the WileyPLUS online course is designed for use as both a reference guide and a conceptual resource for students taking ERP-focused courses using SAP. It examines in depth the core concepts applicable to all ERP environments, and it explains how those concepts can be utilized to implement business processes in SAP systems.
Integrated Business Projects
by Wylma Skean Anthony A. Olinzock Janna ArneyMaster computer skills in a business scenario setting with INTEGRATED BUSINESS PROJECTS! Coverage includes main software applications, calendaring, and desktop publishing. Technology tips provide shortcuts and helpful hints. Students have fun while mastering the computer applications needed to succeed in today's business world!
Integrated CAD by Optimization: Architecture, Engineering, Construction, Urban Development and Management
by B K ChakrabartyThis book presents range of topics concerning integrated CAD (including Optimization) for use in Architecture (including Planning), Civil Engineering and Construction (AEC), and thus, helps introduce a full-length treatment of the subject, enabling practitioners to adopt an Integrated Computer-Aided Design Approach in their professional activity. The book gives to readers an understanding of the main elements of CAD, highlighting the importance of integrating these elements and the applicability of Integrated CAD in AEC. Many examples and problems (including Optimization) are included to help professionals and students to develop and apply such tools in solving problems in AEC field. Adopts a problem solving approach in planning, design, and management stressing IT and Computer Application in AEC sector as a whole;Emphasizes resource-efficiency and social equity in problem solution in the AEC sector in general, and in urban development and management in particular;Stresses optimization and an integrated approach covering all components, including costs, affordability and environmental factors, scarcity of resources, and resolution of conflicting interests;Includes an accessible overview and source codes of C++ and Auto Lisp programs needed to carry out design analysis, optimization and drafting-drawing in an integrated manner.
Integrated Circuit Authentication
by Mohammad Tehranipoor Hassan Salmani Xuehui ZhangThis book describes techniques to verify the authenticity of integrated circuits (ICs). It focuses on hardware Trojan detection and prevention and counterfeit detection and prevention. The authors discuss a variety of detection schemes and design methodologies for improving Trojan detection techniques, as well as various attempts at developing hardware Trojans in IP cores and ICs. While describing existing Trojan detection methods, the authors also analyze their effectiveness in disclosing various types of Trojans, and demonstrate several architecture-level solutions.
Integrated Computational Life Cycle Engineering for Traction Batteries (Sustainable Production, Life Cycle Engineering and Management)
by Felipe CerdasThe environmental burden caused by private transportation represents a significant challenge towards sustainability. Electric vehicles are considered a key technology to reduce the environmental impact caused by the mobility sector. However, the global adoption of electromobility implies shift and diversification of the environmental impacts caused by the transportation sector mainly driven by the production of the battery system. Modeling the life cycle environmental impacts of traction batteries is a time demanding and interdisciplinary task as it involves a high variability and requires an in-depth knowledge of the product system under analysis. To face these challenges, an Integrated Computational Life Cycle Engineering ICLCE framework for EVs has been developed. The ICLCE framework described aims at supporting fast and comprehensive modelling of complex foreground systems in the electromobility field and their interaction with diverse backgrounds and partial contexts.
Integrated Computer Applications with Multimedia & Input Technologies, 4th Edition
by Susie H. Vanhuss Connie M. Forde Donna L. Woo Linda HefferinIntegrated Computer Applications is a comprehensive text that teaches essential Microsoft Office 2003 skills and applies them in numerous integrated projects. You'll begin with a brand new Microsoft Word module that thoroughly reviews all commonly used document formats and word processing skills. Twelve integrated projects challenge you to apply your knowledge and integrate your software skills.
Integrated Computer Applications: Microsoft® Office 2010
by Susie H. Vanhuss Connie M. Forde Donna L. WooINTEGRATED COMPUTER APPLICATIONS 6E challenges users to combine all of the tools of Microsoft Office 2010 plus Web computing to create relevant workplace solutions. Real-world projects plus an easy-to-learn format integrate newly learned skills and apply it in meaningful applications just as employees in industry are required to do.
Integrated Computer-Aided Design in Automotive Development: Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management
by Anton Gfrerrer Hirz Mario Johann Lang Wilhelm DietrichThe automotive industry faces constant pressure to reduce development costs and time while still increasing vehicle quality. To meet this challenge, engineers and researchers in both science and industry are developing effective strategies and flexible tools by enhancing and further integrating powerful, computer-aided design technology. This book provides a valuable overview of the development tools and methods of today and tomorrow. It is targeted not only towards professional project and design engineers, but also to students and to anyone who is interested in state-of-the-art computer-aided development. The book begins with an overview of automotive development processes and the principles of virtual product development. Focusing on computer-aided design, a comprehensive outline of the fundamentals of geometry representation provides a deeper insight into the mathematical techniques used to describe and model geometrical elements. The book then explores the link between the demands of integrated design processes and efficient data management. Within automotive development, the management of knowledge and engineering data plays a crucial role. Some selected representative applications provide insight into the complex interactions between computer-aided design, knowledge-based engineering and data management and highlight some of the important methods currently emerging in the field.
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