Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
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.
Ajax in Oracle JDeveloper
The book covers web search and RSS Feed with Ajax as well as form validation with Ajax frameworks for Java, JSP, JSF, and PHP. It discusses using Ajax in Oracle JDeveloper and is IDE based. JDeveloper has the following advantages over Eclipse IDE.
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, data, and digitalization : First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers
Artificial Intelligence, Big Data and Digitalization allow us more than ever beforeto make use of the data our society and public and private sectors generate every day.Institutions around the world are increasingly turning to such methods and technologiesto help them solve complex problems, promote efficiency and improve performance anddecision-making.
AI*IA 2007 : Artificial intelligence and human-oriented computing ; 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and extraction, planning and scheduling, AI and applications. Three special tracks depicting progresses in significant application fields that represent increasingly relevant topics contain 18 additional papers on AI and robotics, AI and expressive media, and intelligent access to multimedia information
AI sign language translator
People with disabilities are facing a lot of difficulties every day. Whether it is in social life, work or education environment, or in communication. The effect of assistive technologies in enhancing people with disabilities was huge. Assistive technologies refer to the term of products or related systems that are used to help people with disabilities to maintain or improve functioning and thereby promote well-being. These technologies allow people with difficulties to be more productive in life. Assistive technologies could be in many forms such as wheelchairs, communication products or other forms. In the communication products, many efforts have been made to develop systems or devices that assist individuals who have difficulty understanding and producing speech.
AI journal submitting = تقديم المقالات بالذكاء الصنعي
Aims to develop a comprehensive platform to support academic writers in preparing their research papers in word file format, adhering to the Damascus University template. The platform leverages advanced artificial intelligence techniques to offer services such as grammatical and spelling correction, plagiarism detection, and citation analysis. It also provides comprehensive evaluation tools for peer reviewers, facilitating accurate and reliable feedback.The platform consists of four main components: • User Interface for Creating and Formatting Papers: Simplifies the entry and automatic formatting of texts according to the Damascus University template. / • Intelligent Language Correction System: Utilizes natural language processing techniques to enhance language quality and clarity. / • Citation Analysis and Plagiarism Detection Tool: Identifies improper citations and provides detailed reports on copied sections. / • Peer Review Support System: Offers advanced evaluation tools and AI-driven analytical reports for reviewers.This platform aims to improve the quality and integrity of academic research, streamline the formatting process, and enhance the efficiency of the peer review process, thereby elevating the level of scientific output at Damascus University.
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 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 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 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 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.
Agile processes in software engineering and extreme programming ; XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings
Includes a summary for each of the four panels at XP 2019 is included. The panels were on security and privacy; the impact of the agile manifesto on culture, education, and software practices; business agility – agile’s next frontier; and Agile – the next 20 years.
Agile processes in software engineering and extreme programming ; 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings
Constitutes the refereed proceedings of the 9th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2008, held in Limerick, Ireland, in June 2008.
Agile Processes in Software Engineering and Extreme Programming ; 23rd International Conference on agile software development, XP 2022, Copenhagen, Denmark, June 13–17, 2022, Proceedings
Constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners.
Agile Processes in Software Engineering and Extreme Programming ; 22nd International Conference on agile software development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings
Constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online”.
Agile processes in software engineering and extreme programming ; 21st International Conference on agile software development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings
This book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date.
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.



















