الصفحة 36
الصفحة 36
An Invitation to Abstract Mathematics
this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. A study of the fundamental concepts of logic, sets, and functions follows, before focus turns to methods of proof. Having covered the core of a transition course, the author goes on to present a selection of advanced topics that offer opportunities for extension or further study. Throughout, appendices touch on historical perspectives, current trends, and open questions, showing mathematics as a vibrant and dynamic human enterprise.This second edition has been reorganized to better reflect the layout and curriculum of standard transition courses. It also features recent developments and improved appendices. An Invitation to Abstract Mathematics is ideal for those seeking a challenging and engaging transition to advanced mathematics, and will appeal to both undergraduates majoring in mathematics, as well as non-math majors interested in exploring higher-level concepts.
Ambient Intelligence in Everyday Life : Foreword by Emile Aarts
Originating from the Workshop on Ambient Intelligence in Everyday Life held at the Miramar Congress Center, San Sebastian, Spain, in July 2005, this book is devoted to the cognitive aspects of ambient intelligence. The 15 carefully reviewed and revised articles presented are organized in topical sections on human-centric computing, ambient interfaces, and architectures for ambient intelligence.
Ambient intelligence for scientific discovery : Foundations, theories, and systems
Many difficult scientific discovery tasks can only be solved in interactive ways, by combining intelligent computing techniques with intuitive and adaptive user interfaces. It is inevitable to use human intelligence in scientific discovery systems: human eyes can capture complex patterns and relationships, along with detecting the exceptional cases in a data set; the human brain can easily manipulate perceptions to make decisions. Ambient intelligence is about this kind of ubiquitous and autonomous human interaction with information. Scientific discovery is a process of creative perception and communication, dealing with questions like: how do we significantly reduce information while maintaining meaning, or how do we extract patterns from massive data and growing data resources. Originating from the SIGCHI Workshop on Ambient Intelligence for Scientific Discovery, this state-of-the-art survey is organized in three parts: new paradigms in scientific discovery, ambient cognition, and ambient intelligence systems. Many chapters share common features such as interaction, vision, language, and biomedicine.
Algorithms for Sensor and Ad Hoc Networks : Advanced Lectures
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain or other. After activation the sensors form a self-organized network and provide data, for example about a forthcoming earthquake. The trend towards wireless communication increasingly affects electronic devices in almost every sphere of life. Conventional wireless networks rely on infrastructure such as base stations; mobile devices interact with these base stations in a client/server fashion. In contrast, current research is focusing on networks that are completely unstructured, but are nevertheless able to communicate (via several hops) with each other, despite the low coverage of their antennas. Such systems are called sensor or ad hoc networks, depending on the point of view and the application. Wireless ad hoc and sensor networks have gained an incredible research momentum. Computer scientists and engineers of all flavors are embracing the area. Sensor networks have been adopted by researchers in many fields: from hardware technology to operating systems, from antenna design to databases, from information theory to networking, from graph theory to computational geometry.
Algorithms and computation ; Vol. 4288: 17th International symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India in December 2006. The 73 revised full papers presented were carefully reviewed and selected from 255 submissions. The papers are organized in topical sections on algorithms and data structures, online algorithms, approximation algorithm, graphs, computational geometry, computational complexity, network, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.
Algorithms and computation ; Vol. 3827 ; 16th International symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC 2005, held in China in 2005. The 112 revised full papers presented were carefully reviewed and selected from 549 submissions. The papers are organized in topical sections on computational geometry, computational optimization, graph drawing and graph algorithms, computational complexity, approximation algorithms, internet algorithms, quantum computing and cryptography, data structure, computational biology, experimental algorithm mehodologies and online algorithms, randomized algorithms, parallel and distributed algorithms, graph drawing and graph algorithms, computational complexity, combinatorial optimization, computational biology, computational complexity, computational optimization, computational geometry, approximation algorithms, graph drawing and graph algorithms, computational geometry, approximation algorithms, graph drawing and graph algorithms, and data structure.
Algorithms and architectures for parallel processing ; 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2008, held in Agia Napa, Cyprus, in June 2008.
Algorithms and architectures for parallel processing ; 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings
The improvements in computation and communication capabilities have enabled the creation of demanding applications in critical domains such as the environment, health, aerospace, and other areas of science and technology. Similarly, new classes of applications are enabled by the availability of heterogeneous large-scale distributed systems which are becoming available nowadays (based on technologies such as grid and peer-to-peer systems).Parallel computing systems exploit a large diversity of computer architectures, from supercomputers, shared-memory or distributed-memory multi processors, to local networks and clusters of p- sonal computers. With the recent emergence of multi core architectures, parallel computing is now set to achieve “mainstream” status. Approaches that have been advocated by parallel computing researchers in the past are now being utilized in a number of software libraries and hardware systems that are available for everyday use. Parallel computing ideas have also come to dominate areas such as multi user gaming (especially in the development of gaming engines based on “cell” arc- tectures).
Algorithmic number theory ; 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Algorithmic Number Theory Symposium, ANTS 2006, held in Berlin, July 2006. The book presents 37 revised full papers together with 4 invited papers selected for inclusion. The papers are organized in topical sections on algebraic number theory, analytic and elementary number theory, lattices, curves and varieties over fields of characteristic zero, curves over finite fields and applications, and discrete logarithms.
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
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.
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*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 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 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 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 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.
Agile software construction
Agile software is a means of putting the software first while at the same time reacting to these user requirements in a flexible and agile way.Agile Software Construction covers the emerging methods and approaches (including extreme programming, feature-driven development and adaptive software development), that are loosely described as "Agile" and shows how to apply them effectively to software development projects. It shows how to plan, organise and develop systems using agile techniques, and highlights some of the problems that may be encountered.
Agile processes in software engineering and extreme programming ; 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings
Oorganized in topical sections on managing agile processes, extending agile methodologies, teaching and introducing agile methodologies, methods and tools, empirical studies, and methodology issue.
