الصفحة 19
الصفحة 19
An Introduction to Formal Languages and Automata
Designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known as the theory of computation
Algorithms for Decision Making
A broad introduction to algorithms for decision making under uncertainty, introducing the underlying mathematical problem formulations and the algorithms for solving them. Automated decision-making systems or decision-support systems—used in applications that range from aircraft collision avoidance to breast cancer screening—must be designed to account for various sources of uncertainty while carefully balancing multiple objectives. This textbook provides a broad introduction to algorithms for decision making under uncertainty, covering the underlying mathematical problem formulations and the algorithms for solving them.
Algorithmic learning theory ; Vol. 3734 ; 16th international conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
This volume contains the papers presented at the 16th Annual InternationalConference on Algorithmic Learning Theory (ALT 2005), which was held (Republic of Singapore), 2005. The main objective of theconference is to provide an interdisciplinary forum for the discussion of the the-oretical foundations of machine learning as well as their relevance to practicalapplications. The volume includes 30 technical contributions, which were selected by theprogram committee from 98 submissions.
Algorithmic Aspects of Wireless Sensor Networks ; 2nd International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers
This volume contains the contributed papers and invited talks presented at the 1stInternational Workshop on Algorithmic Aspect sof Wireless Sensor Networks (ALGOSENSORS 2004), which was held July 16, 2004, in Turku, Finland, - located with the 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004). Wireless ad hoc sensor networks have become a very important research subject due to their potential to provide diverse services in numerous appli- tions. The realization of sensor networks requires intensive technical research and development e?orts, especially in power-aware scalable wireless ad hoc c- munications protocols, due to their unusual application requirements and severe constraints. On the other hand, a solid theoretical background seems necessary for sensor networks to achieve their full potential. It is an algorithmic challenge to achieve e?cient and robust realizations of such large, highly dynamic, complex, n- conventional networking environments
Algorithmic applications in management ; 1st international conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings
The papers in this volume were presented at the 1st International Conference onAlgorithmic Applications in Management (AAIM 2005), in China. The topics cover algorithmic applications in most management-related areas.including Programming Techniques Business Strategy/Leadership Theory of Computation Algorithm Analysis and Problem Complexity Data Structures Discrete Mathematics in Computer Science
Algebraic informatics ; 2nd International conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.
Algebraic Biology ; 3rd International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held at the Castle of Hagenberg, Austria in July 2008 as part of the RISC Summer 2008, organized by the Research Institute for Symbolic Computation.
Algebraic Biology ; 2nd International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods.
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists
Algebra and Coalgebra in Computer Science; First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.
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.
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 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 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 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.
Agent-oriented software engineering VI ; 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005, held in Utrecht, The Netherlands, in July 2005 as part of AAMAS 2005. The 18 revised full papers were carefully selected from 35 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on modeling tools, analysis and validation tools, multiagent systems design, implementation tools, and experiences and comparative evaluations.
Agent-mediated electronic commerce : automated negotiation and strategy design for electronic markets : AAMAS 2006 workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006 : selected and revised papers
The design and an alysis of trading agents and electronic trading systems in which they are deployed involve finding solutions to a diverse set of problems, invo- ing individual behaviors, interaction, and collective behavior in the context of trade. A wide variety of trading scenarios and systems, and agent approaches to these, have been studied in recent years. The AMEC series of wo- shops presents interdisciplinary researchon both theoretical and practical issues of agent-mediated electronic commerce ranging from the design of electronic marketplaces and e?cient protocols to behavioral aspects of agents operating in suchenvironments.
Agent Computing and Multi-Agent Systems ; 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
PRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific Rim countries. Agent computing and multi-agent systems are computational systems in which several autonomous or se- autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals. These systems may involve computational agents that are homogeneous or heterogeneous, they may involve activities on the part of agents having common or distinct goals, and they may involve participation on the part of humans and intelligent agents. The aim of PRIMA 2006 was to bring together Asian and Pacific Rim researchers and developers from academia and industry to report on the latest technical advances or domain applications and to discuss and explore scientific and practical problems as raised by the participants. PRIMA 2006 received 203 submitted papers.
