Page 68
Page 68
Algebra and Coalgebra in Computer Science ; 2nd International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
AIU projects evaluation platform
The project is a cloud computing system constructed to provide the service of helping students run their practical projects and work together while keeping track of every change in it, and teachers running the projects online and evaluating them. The system provided help doing this mission in real-time dialogue without having any dependencies downloaded on the machine and running it over the internet. The development of the system used a full-stack web framework and a database processing technology. The system has accomplished such services as running the projects online. The tests of the system are running in good conditions. The use of this system will solve the problem of teacher’s project evaluation and running them online.
AI-Enabled Threat Detection and Security Analysis for Industrial IoT
Provides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet of Things (IIoT). More specifically, this book discusses the security challenges in CPS and IIoT systems as well as how Artificial Intelligence (AI) and Machine Learning (ML) can be used to address these challenges. Furthermore, this book proposes various defence strategies, including intelligent cyber-attack and anomaly detection algorithms for different IIoT applications.
AI in drug discovery
Constitutes the refereed proceedings of the First international workshop on ai in Drug Discovery, AIDD 2024, held as a part of the 33rd International Conference on Artificial Neural Networks, ICANN 2024, in Lugano, Switzerland, on September 19, 2024. These papers focus on various aspects of the rapidly evolving field of Artificial Intelligence (AI)-driven drug discovery in chemistry, including Big Data and advanced Machine Learning, eXplainable AI (XAI), Chemoinformatics, Use of deep learning to predict molecular properties, Modeling and prediction of chemical reaction data and Generative models.
AI in clinical practice : A guide to artificial intelligence and digital medicine
Explains how artificial intelligence is applied to medicine, illustrating not only its enormous potential but also ancillary issues and the limits and risks inherent in its use on a large scale. The book focuses on the intersection between medicine and AI and its implications on the impact of human health care delivery. Topics discussed include wearable devices, health data, Internet of Things, virtual reality, robotic assistance system, and digital intelligence in the health sector. Additionally, sections discuss diagnostics and decision-making systems and machine/deep learning in clinical setting.
AI in banking : Practical applications and case studies
Delves into the application of AI from theory to practice, offering detailed insights into AI project design and code implementation across eleven business scenarios in four major sectors: retail banking, e-banking, bank credit, and tech operations. it provides hands-on examples of various technologies, including automatic machine learning, integrated learning, graph computation, recommendation systems, causal inference, generative adversarial networks, supervised learning, unsupervised learning, computer vision, reinforcement learning, fuzzy control, automatic control, speech recognition, semantic understanding, bayesian networks, edge computing, and more. this book stands as a rare and practical guide to AI projects in the banking industry.
AI home decorator
Presents the development of “DesignMate”, an innovative AI home decorator application designed to revolutionize interior design. With three main features powered by artificial intelligence, DesignMate simplifies and enhances the process of home decoration. The first feature leverages an Autoregressive transformer model trained on the extensive 3Dfront dataset to suggest room decor based on room layouts. The second feature employs Generative Adversarial Networks (GANs) to enhance the colors of specific room layouts. The third feature introduces an expert system that tailors decor options to user-entered conditions. DesignMate also introduces an integrated e-commerce platform dedicated to furniture, offering users a wide selection of high-quality items that perfectly complement their preferred room designs.
AI For Emerging Verticals : Human-robot computing, sensing and networking
Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses can create predictive strategies, enhance their capabilities, better interact with customers, and streamline their business processes. Explores novel concepts and cutting-edge research and developments towards designing these fully automated advanced digital systems. Fostered by technological advances in artificial intelligence and machine learning, such systems potentially have a wide range of applications in robotics, human computing, sensing and networking. The chapters focus on models and theoretical approaches to guarantee automation in large multi-scale implementations of AI and ML systems; protocol designs to ensure AI systems meet key requirements for future services such as latency; and optimisation algorithms to leverage the trusted distributed and efficient complex architectures.
AI based Robot Safe Learning and Control
This book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning.
AI and UX : Why artificial intelligence needs user experience
Great effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? It is not just about getting a product to market, but about getting the product into a user’s hands in a form that will be embraced. This demands examining the product from the perspective of the user. Authors Gavin Lew and Robert Schumacher have written AI and UX to examine just how product managers and designers can best strike this balance. From exploring the history of the parallel journeys of AI and UX, to investigating past product examples and failures, to practical expert knowledge on how to best execute a positive user experience, AI and UX examines all angles of how AI can best be developed within a UX framework.
AI and IoT for smart city applications
Provides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence (AI) and Internet of things (IoT) perspective. The technical research works presented here are focused on a number of aspects of smart cities: smart mobility, smart living, smart environment, smart citizens, smart government, and smart waste management systems as well as related technologies and concepts. This edited book offers critical insight to the key underlying research themes within smart cities, highlighting the limitations of current developments and potential future directions.
AI 2020 : Advances in artificial intelligence ; 33rd Australasian Joint Conference, AI 2020, Canberra, ACT, Australia, November 29–30, 2020, Proceedings
Constitutes the proceedings of the 33rd Australasian Joint Conference on Artificial Intelligence, AI 2020, held in Canberra, ACT, Australia, in November 2020.* The 36 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The paper were organized in topical sections named: applications; evolutionary computation; fairness and ethics; games and swarms; and machine learning.
AI 2008 : Advances in artificial intelligence ; 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, held in Auckland, New Zealand, in December 2008.
AI 2007: Advances in artificial intelligence ; 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, satisfiability, automated reasoning, knowledge discovery, robotics, social intelligence, ontologies and semanti.
AI 2006 : Advances in artificial intelligence ; 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings
This volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at Hobart, Australia. AI 2006 received a record number of submissions, a total of 689 submissions from 35 countries. The papers in this volume give an indication of recent advances in artificial int- ligence. The topics covered include Machine Learning, Robotics, AI Applications, Planning, Agents, Data Mining and Knowledge Discovery, Cognition and User Interface, Vision and Image Processing, Information Retrieval and Search, AI in the Web, Knowledge Representation, Knowledge-Based Systems, and Neural Networks.
AI 2005 : Advances in artificial intelligence ; 18th Australian joint conference on artificial intelligence, Sydney, Australia, December 5-9, 2005, proceedings
The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney (UTS), Sydney, Australia from 5 to 9 December 2005. AI 2005 attracted a historical record number of submissions, a total of 535 papers. This volume of the proceedings contains the abstracts of three keynote speeches and all the full and short papers. The full papers were categorized into three broad sections, namely: AI foundations and technologies, computational intelligence, and AI in specialized domains. AI 2005 also hosted several tutorials and workshops, providing an interacting mode for specialists and scholars from Australia and other countries.
Agile processes in software engineering and extreme programming ; 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings
XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years.This volume presented agile adoption, agile practices; large-scale agile; agility beyond IT, and the future of agile.
Agile processes in software engineering and extreme programming : XP 2022 workshops, Copenhagen, Denmark, June 13-17, 2022 and XP 2023 workshops, Amsterdam, the Netherlands, June 13-16, 2023 : revised selected papers
Book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands.
Agile Development with the ICONIX Process : People, Process, and Pragmatism
Describes how to apply ICONIX Process (a minimal, use case-driven modeling process) in an agile software project. It's full of practical advice for avoiding common agile pitfalls. Further, the book defines a core agile subset so those of you who want to get agile need not spend years learning to do it. Instead, you can simply read this book and apply the core subset of techniques. The book follows a real-life .NET/C# project from inception and UML modeling, to working code through several iterations. You can then go on-line to compare the finished product with the initial set of use cases. The book also introduces several extensions to the core ICONIX Process, including combining test-driven development (TDD) with up-front design to maximize both approaches (with examples using Java and JUnit). And the book incorporates persona analysis to drive the projects goals and reduce requirements churn.
Agents and peer-to-peer computing ; Vol. 4118 : 4th International workshop, AP2PC 2005, Utrecht, Netherlands, J uly 25, 2005, Revised and Invited Papers
Constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2005, held in Utrecht, Netherlands, July 2005, in the context of the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2005. The 13 revised full papers cover trust and reputation, P2P infrastructure, semantic infrastructure, as well as community and mobile applications.
