الصفحة 153
الصفحة 153
Algebraic Aspects of the Advanced Encryption Standard
The Belgian block cipher Rijndael was chosen in 2000 by the U.S. government’s National Institute of Standards and Technology (NIST) to be the successor to the Data Encryption Standard. Rijndael was subsequently standardized as the Advanced Encryption Standard (AES), which is potentially the world’s most important block cipher. In 2002, some new analytical techniques were suggested that may have a dramatic effect on the security of the AES. Existing analytical techniques for block ciphers depend heavily on a statistical approach, whereas these new techniques are algebraic in nature.
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, 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; 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.
Algebra 3 : Homological Algebra and Its Applications
Includes algebra, deals with important topics in homological algebra, including abstract theory of derived functors, sheaf co-homology, and an introduction to etale and l-adic co-homology. It contains four chapters which discuss homology theory in an abelian category together with some important and fundamental applications in geometry, topology, algebraic geometry (including basics in abstract algebraic geometry), and group theory.
Ajax Patterns and Best Practices
Ajax is taking us into the next generation of web applications. Ajax has broken the client-server barrier by decoupling the client from the server, but an Ajax application still needs a server to extract content from. The most effective use of Ajax and the server requires an understanding of REST, an architectural style used to define Web services. Ajax Patterns and Best Practices explores dynamic web applications that combine Ajax and REST as a single solution. A major advantage of REST is that, like Ajax, it can be used with today's existing technologies.
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.
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-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, 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 voice dubbing = الدبلجة الصوتية بالذكاء الاصطناعي
The advent of artificial intelligence has revolutionized numerous domains, including media and entertainment. This project focuses on developing an AI Voice Dubbing application that facilitates the seamless dubbing of audio content from English to Arabic. Unlike traditional robotic voice outputs, our application ensures that the dubbed content retains the original voice characteristics, providing a natural and authentic listening experience. The system also offers users the option to select alternative output voices, including those of celebrities, or any other voice by uploading their media, providing a YouTube link, or recording audio directly. The core functionality of the application is to produce a dubbed audio file, maintaining high fidelity to the original speaker's voice tone and style, the application provides a text output of the dubbed content, which users can edit as needed to ensure accuracy and personal preference.
AI virtual mouse system
Even today, many people still find interacting with computers and hardware to be an unpleasant experience, despite the development of input devices over decades. Computers and hardware should be tailored to our natural modes of communication: Body language and speech. Intelligent machines that can work alongside computers are now being developed, allowing for friendlier Human-Computer Interaction (HCI). this project, intends a hand gesture-based system that allows users to control virtual keyboard, desktop mouse movements and connect it with mobile phone in order to monitor and control.
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 learning : Designing the future
AI (artificial intelligence) is predicted to radically change teaching and learning in both schools and industry causing radical disruption of work. AI can support well-being initiatives and lifelong learning but educational institutions and companies need to take the changing technology into account. Moving towards AI supported by digital tools requires a dramatic shift in the concept of learning, expertise and the businesses built off of it. Based on the latest research on AI and how it is changing learning and education, this book will focus on the enormous opportunities to expand educational settings with AI for learning in and beyond the traditional classroom. This book also introduces ethical challenges related to learning and education, while connecting human learning and machine learning.
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.
