Author: Ahmed Rebai
Publisher: BoD – Books on Demand
ISBN: 9533071249
Category : Mathematics
Languages : en
Pages : 446
Book Description
Bayesian networks are a very general and powerful tool that can be used for a large number of problems involving uncertainty: reasoning, learning, planning and perception. They provide a language that supports efficient algorithms for the automatic construction of expert systems in several different contexts. The range of applications of Bayesian networks currently extends over almost all fields including engineering, biology and medicine, information and communication technologies and finance. This book is a collection of original contributions to the methodology and applications of Bayesian networks. It contains recent developments in the field and illustrates, on a sample of applications, the power of Bayesian networks in dealing the modeling of complex systems. Readers that are not familiar with this tool, but have some technical background, will find in this book all necessary theoretical and practical information on how to use and implement Bayesian networks in their own work. There is no doubt that this book constitutes a valuable resource for engineers, researchers, students and all those who are interested in discovering and experiencing the potential of this major tool of the century.
Bayesian Network
Author: Ahmed Rebai
Publisher: BoD – Books on Demand
ISBN: 9533071249
Category : Mathematics
Languages : en
Pages : 446
Book Description
Bayesian networks are a very general and powerful tool that can be used for a large number of problems involving uncertainty: reasoning, learning, planning and perception. They provide a language that supports efficient algorithms for the automatic construction of expert systems in several different contexts. The range of applications of Bayesian networks currently extends over almost all fields including engineering, biology and medicine, information and communication technologies and finance. This book is a collection of original contributions to the methodology and applications of Bayesian networks. It contains recent developments in the field and illustrates, on a sample of applications, the power of Bayesian networks in dealing the modeling of complex systems. Readers that are not familiar with this tool, but have some technical background, will find in this book all necessary theoretical and practical information on how to use and implement Bayesian networks in their own work. There is no doubt that this book constitutes a valuable resource for engineers, researchers, students and all those who are interested in discovering and experiencing the potential of this major tool of the century.
Publisher: BoD – Books on Demand
ISBN: 9533071249
Category : Mathematics
Languages : en
Pages : 446
Book Description
Bayesian networks are a very general and powerful tool that can be used for a large number of problems involving uncertainty: reasoning, learning, planning and perception. They provide a language that supports efficient algorithms for the automatic construction of expert systems in several different contexts. The range of applications of Bayesian networks currently extends over almost all fields including engineering, biology and medicine, information and communication technologies and finance. This book is a collection of original contributions to the methodology and applications of Bayesian networks. It contains recent developments in the field and illustrates, on a sample of applications, the power of Bayesian networks in dealing the modeling of complex systems. Readers that are not familiar with this tool, but have some technical background, will find in this book all necessary theoretical and practical information on how to use and implement Bayesian networks in their own work. There is no doubt that this book constitutes a valuable resource for engineers, researchers, students and all those who are interested in discovering and experiencing the potential of this major tool of the century.
Proceedings
Author:
Publisher:
ISBN:
Category : Computer-aided engineering
Languages : en
Pages : 582
Book Description
Publisher:
ISBN:
Category : Computer-aided engineering
Languages : en
Pages : 582
Book Description
Information and Software Technologies
Author: Audrius Lopata
Publisher: Springer Nature
ISBN: 3030883043
Category : Computers
Languages : en
Pages : 396
Book Description
This book constitutes the refereed proceedings of the 27th International Conference on Information and Software Technologies, ICIST 2021, held in Kaunas, Lithuania, in October 2021. The 24 full papers and 6 short papers presented were carefully reviewed and selected from 79 submissions. The papers discuss such topics as business intelligence for information and software systems, intelligent methods for data analysis and computer aided software engineering, information technology applications, smart e-learning technologies and applications, language technologies.
Publisher: Springer Nature
ISBN: 3030883043
Category : Computers
Languages : en
Pages : 396
Book Description
This book constitutes the refereed proceedings of the 27th International Conference on Information and Software Technologies, ICIST 2021, held in Kaunas, Lithuania, in October 2021. The 24 full papers and 6 short papers presented were carefully reviewed and selected from 79 submissions. The papers discuss such topics as business intelligence for information and software systems, intelligent methods for data analysis and computer aided software engineering, information technology applications, smart e-learning technologies and applications, language technologies.
Engineering of Computer-based Systems
Author: IEEE Computer Society. Technical Committee on the Engineering of Computer Based Systems
Publisher: American Society of Civil Engineers
ISBN:
Category : Computers
Languages : en
Pages : 292
Book Description
Papers from an April 2002 conference, 25 in all, report on academic achievements and industrial applications in the engineering of computer-based systems. Contributors represent some 12 countries and a variety of application domains. Papers deal with themes of requirements engineering, processes and tools, system properties and methods, modeling and analysis, system architecture, model-based system development, component-based design and reuse, embedded systems, and mobile agents. Specific topics include an intelligent agent security intrusion system, managing complex temporal requirements in real-time control systems, using category theory to model software component dependencies, and advanced Petri nets for modeling mobile agent enabled interorganizational workflows. There is no subject index. Annotation copyrighted by Book News Inc., Portland, OR.
Publisher: American Society of Civil Engineers
ISBN:
Category : Computers
Languages : en
Pages : 292
Book Description
Papers from an April 2002 conference, 25 in all, report on academic achievements and industrial applications in the engineering of computer-based systems. Contributors represent some 12 countries and a variety of application domains. Papers deal with themes of requirements engineering, processes and tools, system properties and methods, modeling and analysis, system architecture, model-based system development, component-based design and reuse, embedded systems, and mobile agents. Specific topics include an intelligent agent security intrusion system, managing complex temporal requirements in real-time control systems, using category theory to model software component dependencies, and advanced Petri nets for modeling mobile agent enabled interorganizational workflows. There is no subject index. Annotation copyrighted by Book News Inc., Portland, OR.
Formal Approaches to Agent-Based Systems
Author: Michael G. Hinchey
Publisher: Springer
ISBN: 3540309608
Category : Computers
Languages : en
Pages : 298
Book Description
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.
Publisher: Springer
ISBN: 3540309608
Category : Computers
Languages : en
Pages : 298
Book Description
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.
Designing, Engineering, and Analyzing Reliable and Efficient Software
Author: Singh, Hardeep
Publisher: IGI Global
ISBN: 1466629592
Category : Computers
Languages : en
Pages : 352
Book Description
Due to the role of software systems in safety-critical applications and in the satisfaction of customers and organizations, the development of efficient software engineering is essential. Designing, Engineering, and Analyzing Reliable and Efficient Software discusses and analyzes various designs, systems, and advancements in software engineering. With its coverage on the integration of mathematics, computer science, and practices in engineering, this book highlights the importance of ensuring and maintaining reliable software and is an essential resource for practitioners, professors and students in these fields of study.
Publisher: IGI Global
ISBN: 1466629592
Category : Computers
Languages : en
Pages : 352
Book Description
Due to the role of software systems in safety-critical applications and in the satisfaction of customers and organizations, the development of efficient software engineering is essential. Designing, Engineering, and Analyzing Reliable and Efficient Software discusses and analyzes various designs, systems, and advancements in software engineering. With its coverage on the integration of mathematics, computer science, and practices in engineering, this book highlights the importance of ensuring and maintaining reliable software and is an essential resource for practitioners, professors and students in these fields of study.
Index to IEEE Publications
Author: Institute of Electrical and Electronics Engineers
Publisher:
ISBN:
Category : Electric engineering
Languages : en
Pages : 1212
Book Description
Issues for 1973- cover the entire IEEE technical literature.
Publisher:
ISBN:
Category : Electric engineering
Languages : en
Pages : 1212
Book Description
Issues for 1973- cover the entire IEEE technical literature.
Techniques and Applications for Mobile Commerce
Author: Cherif Branki
Publisher: IOS Press
ISBN: 1586038265
Category : Business & Economics
Languages : en
Pages : 192
Book Description
Covers Wireless Technologies for the Extended Enterprise; E-Service Environments: Aspect-Oriented Techniques and Mobile Devices; and AutoMoCo: Autonomic Computing and Mobile Commerce.
Publisher: IOS Press
ISBN: 1586038265
Category : Business & Economics
Languages : en
Pages : 192
Book Description
Covers Wireless Technologies for the Extended Enterprise; E-Service Environments: Aspect-Oriented Techniques and Mobile Devices; and AutoMoCo: Autonomic Computing and Mobile Commerce.
Automotive Embedded Systems Handbook
Author: Nicolas Navet
Publisher: CRC Press
ISBN: 1351838199
Category : Technology & Engineering
Languages : en
Pages : 566
Book Description
A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.
Publisher: CRC Press
ISBN: 1351838199
Category : Technology & Engineering
Languages : en
Pages : 566
Book Description
A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.
Video Surveillance
Author: Weiyao Lin
Publisher: BoD – Books on Demand
ISBN: 9533074361
Category : Computers
Languages : en
Pages : 504
Book Description
This book presents the latest achievements and developments in the field of video surveillance. The chapters selected for this book comprise a cross-section of topics that reflect a variety of perspectives and disciplinary backgrounds. Besides the introduction of new achievements in video surveillance, this book also presents some good overviews of the state-of-the-art technologies as well as some interesting advanced topics related to video surveillance. Summing up the wide range of issues presented in the book, it can be addressed to a quite broad audience, including both academic researchers and practitioners in halls of industries interested in scheduling theory and its applications. I believe this book can provide a clear picture of the current research status in the area of video surveillance and can also encourage the development of new achievements in this field.
Publisher: BoD – Books on Demand
ISBN: 9533074361
Category : Computers
Languages : en
Pages : 504
Book Description
This book presents the latest achievements and developments in the field of video surveillance. The chapters selected for this book comprise a cross-section of topics that reflect a variety of perspectives and disciplinary backgrounds. Besides the introduction of new achievements in video surveillance, this book also presents some good overviews of the state-of-the-art technologies as well as some interesting advanced topics related to video surveillance. Summing up the wide range of issues presented in the book, it can be addressed to a quite broad audience, including both academic researchers and practitioners in halls of industries interested in scheduling theory and its applications. I believe this book can provide a clear picture of the current research status in the area of video surveillance and can also encourage the development of new achievements in this field.