الصفحة 70
الصفحة 70
Algebraic Analysis of Differential Equations : from Microlocal Analysis to Exponential Asymptotics Festschrift in Honor of Takahiro Kawai Editors
This volume contains 23 articles on algebraic analysis of differential equations and related topics, most of which were presented as papers at the international conference "Algebraic Analysis of Differential Equations – from Microlocal Analysis to Exponential Asymptotics" at Kyoto University in 2005. Microlocal analysis and exponential asymptotics are intimately connected and provide powerful tools that have been applied to linear and non-linear differential equations as well as many related fields such as real and complex analysis, integral transforms, spectral theory, inverse problems, integrable systems, and mathematical physics. The articles contained here present many new results and ideas, providing interested researchers and students with valuable suggestions and instructive guidance for their work.
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.
AIU asset management system (Assettracker)
Assets can be defined as something of value that can be converted into cash, as all institutions and companies own assets and the larger the size of the organization, the greater the need to manage its owned assets. Some companies have resorted to manually tracking their assets by making paper data, but later, with the continuation of this approach, it has been noted that these data are largely lacking in organization and create difficulties in searching and tracking the life cycle of each asset separately. Here comes the role of our project, which is a software project based on automating assets and converting them from traditional methods to digital methods with the aim of obtaining the maximum benefit from assets in the organization by avoiding wasting assets, and issuing detailed reports indicating the decision-making process, in addition to the ability to deal with operations Effectively maintain assets.
Air Pollution Modeling and its Application XVII
This volume contains the papers and posters presented at the 27 NATO/CCMS International Technical Meeting on Air Pollution Modeling and Its Application held in Banff, Canada, 24-29 October 2004. The key topics at this ITM included: Role of Atmospheric Models in Air Pollution Policy and Abatement Strategies; Integrated Regional Modeling; Effects of Climate Change on Air Quality; Aerosols as Atmospheric Contaminants; New Developments; and Model Assessment and Verification. 104 participants from North and South America, Europe, Africa and Asia attended th the 27 ITM.
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*IA 2005 : Advances in artificial intelligence ; 9th congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings
This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI*IA), 2005 On the one hand this congress continues the tradition of AI*IA in organizing its biannual s- enti?c meeting from 1989; on the other hand, this edition is a landmark in the involvement of the international community of arti?cial intelligence (AI), directly involving a broad number of experts from several countries in the P- gramCommittee. Moreover,the peculiar nature of scienti?c researchin arti?cial intelligence (which is intrinsically international) and several consolidated int- national collaborations in projects and mobility programs allowed the collection and selection of papers from many di?erent countries, all around the world, enlarging the visibility of the Italian contribution within this research ?eld. Arti?cial intelligence is today a growing complex set of conceptual, theor- ical, methodological, and technological frameworks, o?ering innovative com- tational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this area must tackle a broad range of knowledge about methods, results, and solutions coming from di?erent classical areas of this discipline. The congress was designed as a forum allowing researchers to present and discuss specialized results as general contributions to AI growth.
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 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 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 ; 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings
This open access book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018. XP is the premier agile software development conference combining research and practice, and XP 2018 provided a playful and informal environment to learn and trigger discussions around its main theme – make, inspect, adapt. The 21 papers presented in this volume were carefully reviewed and selected from 62 submissions. They were organized in topical sections named: agile requirements; agile testing; agile transformation; scaling agile; human-centric agile; and continuous experimentation.
Agile processes in software engineering and extreme programming ; 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
The volume constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017.The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: improving agile processes; agile in organization; and safety critical software. In addition, the volume contains 3 doctoral symposium papers
Agile processes in software engineering and extreme programming ; XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers
This book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020.
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.
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.
Agents and peer-to-peer computing ; Vol. 3601 ; 3rd international workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, revised and invited papers
This volume presents the fully revised papers presented at the Third International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2004, held in New York City on July 19, 2004 in the context of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004). The volume is organized in topical sections on P2P networks and search performance, emergent communities and social behaviours, semantic integration, mobile P2P systems, adaptive systems, agent-based resource discovery, as well as trust and reputation.
Agents and peer-to-peer computing ; 5th International workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2006, held in Hakodate, Japan, in May 2006, in the context of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2006.
