الصفحة 13
الصفحة 13
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Automata, languages and programming ; Vol. 4052 : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein 1972.Thisyear,. ICALP 2006 consisted of four invited lectures and the contributed papers. This volume of the proceedings contains all contributed papers presented at the conference in Track A, together with the paper by the invited speaker Noga Alon , A companion volume contains all contributed papers presented inTrack Band TrackCtogetherwiththepapersbytheinvited speakers Cynthia Dwork (Microsoft Research, USA) and Prakash Panangaden (Mc Gill University, Canada). The programhad an additional invited lecture by Simon Peyton Jones (Microsoft Research, UK), which does not appear in the proceedings.
Automata, languages and programming ; Vol. 4051 : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 .Thisyear, ICALP 2006 consisted of four invited lectures and the contributed papers. This volume of the proceedings contains all contributed papers presented at the conference in Track A, together with the paper by the invited speaker Noga Alon (Tel Aviv University, Israel). A companion volume contains all contributed paper spresentedinTrackBandTrackCtogetherwiththepapersbytheinvited speakers Cynthia Dwork (Microsoft Research, USA) and Prakash Panangaden (Mc Gill University, Canada).
Artificial neural networks : Biological Inspirations – ICANN 2005 ; 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I
The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial Neural Networks, ICANN 2005, held in Warsaw, Poland in September 2005. The over 600 papers submitted to ICANN 2005 were thoroughly reviewed and carefully selected for presentation. The first volume includes 106 contributions related to Biological Inspirations; topics addressed are modeling the brain and cognitive functions, development of cognitive powers in embodied systems spiking neural networks, associative memory models, models of biological functions, projects in the area of neuroIT, evolutionary and other biological inspirations, self-organizing maps and their applications, computer vision, face recognition and detection, sound and speech recognition, bioinformatics, biomedical applications, and information- theoretic concepts in biomedical data analysis.
Artificial Intelligent Techniques for Wireless Communication and Networking
Wireless communication and networking based on AI concepts and techniques are explored in this book, specifically focusing on the current research in the field by highlighting empirical results along with theoretical concepts. The possibility of applying AI mechanisms towards security aspects in the communication domain is elaborated; also explored is the application side of integrated technologies that enhance AI-based innovations, insights, intelligent predictions, cost optimization, inventory management, identification processes, classification mechanisms, cooperative spectrum sensing techniques, ad-hoc network architecture, and protocol and simulation-based environments.
Artificial intelligence and symbolic computation ; 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
Artificial intelligence and knowledge engineering applications : A bioinspired approach ; 1st international work-Conference on the interplay between natural and artificial computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
The computational paradigm considered here is a conceptual, theoretical andformal framework situated above machines and living creatures (two instantia-tions), sufficiently solid, and still non-exclusive, that allows us:1. to help neuroscientists to formulate intentions, questions, experiments, meth-ods and explanation mechanisms assuming that neural circuits are the psy-chological support of calculus;2. to help scientists and engineers from the fields of artificial intelligence (AI)and knowledge engineering (KE) to model, formalize and program the com-putable part of human knowledge;3. to establish an interaction framework between natural system computation(NSC) and artificial system computation (ASC) in both directions, fromASC to NSC (in computational neuroscience), and from NSC to ASC (inbioinspired computation).
Artificial immune systems ; Vol. 4163 : 5th International conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings
ICARIS 2006 is the ?fth instance of a series of conferences dedicated to the comprehension and the exploitation of immunological principles through their translation into computational terms.Their axis of research tries to stabilize an on-going identity somewhere in the crossroad of engineering (building useful artifacts), natural sciences (biologyor psychology— improving the comprehension and prediction of natural phenomena) and t- oretical computer sciences (developing and mastering the algorithmic world). Accordingly and depending on which of these perspectives receives more s- port, they attempt at attracting di?erent kinds of scientists and at stimul- ing di?erent kinds of scienti?c attitudes. For many years and in the previous ICARIS conferences, it was clearly the “engineering.
Artificial immune systems ; Vol. 3627 ; 4th International conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings
Your immune system is unique. It is in many ways as complex as your brain, butit is not centred in one location, like the brain. It is not a single organ—it consistsof many different cell types, diverse methods of intercellular communication, andmany different organs. Its functionality is blurred throughout you—we can’textract the immune system, or point to where it begins and ends. The immunesystem is not separable from the system it protects. It has integral links to everyorgan of our bodies.This has radical implications for the field of Artificial Immune Systems (AIS),that we are only now beginning to comprehend. One of the first insights is thatmodelling the immune system, or developing any kind of immune algorithm, isdifficult. The immune system is one aspect of biology that we find difficult toapply simple reductionist explanations to. We can very successfully extract sub-processes of the whole and create immune algorithms based on those processes.
Argumentation in multi-agent systems ; Vol. 3366 ; 1st International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, revised selected and invited papers
The theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, linguistics, and psychology (at least). Its techniques and results have found a wide range of applications in both t- oretical and practical branches of arti'cial intelligence and computer science. Several theories of argumentation with various semantics have been proposed in the literature. Multi-agent systems theory has picked up argument-inspired approaches and speci'cally argumentation-theoretic results from many di'erent areas. The community of researchers in argumentation and multi-agent systems is currently presented with a unique opportunity to integrate the various und- standings of argument into a coherent and core part of the functioning of - tonomouscompu...
Applied mathematics and machine learning
The simultaneous availability of large datasets and high-performance computing capability in recent years has enabled the rapid development of powerful machine learning algorithms. On the one hand, state-of-the-art machine learning techniques have transformed many areas of science and engineering; on the other hand, theoretical discoveries in mathematical algorithms, differential equations, and statistical inferences, to name a few, have provided the foundation for the exploration of new multidisciplinary models for solving practical problems. This Special Issue endeavors to continue the journey that started in our previous Special Issue (Applied Mathematics and Computational Physics) by providing a platform for researchers from both academia and industry, as well as government, to present their new computational methods that have engineering and physics applications.
Applications of artificial intelligence in business, education and healthcare
Highlights the opportunities and challenges of artificial intelligence in business, education, and healthcare from institutional, environmental, social perspectives Includes empirical and theoretical research Presents applications of Artificial Intelligence in Business, Education and Healthcare
Anti-Spam Measures : Analysis and Design
The goal of this book is the methodical analysis of the potential, limitations, advantages, and drawbacks of anti-spam measures. These determine to which extent the measures can contribute to the reduction of spam in the long run. The range of considered anti-spam measures includes legislative, organizational, behavioral and technological ones. Furthermore, the conceptual development and analysis of an infrastructural email framework that features such a complementary application, is pointed out. The technological and organizational facets, the framework is analyzed twofold: its theoretical effectiveness is assessed with the aid of the formal model mentioned above, its storage and traffic requirements are analyzed quantitatively.
Anisotropy Across Fields and Scales
This book focuses on processing, modeling, and visualization of anisotropy information…
Anatomy ontologies for bioinformatics : Principles and practice
This book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary in its approach, bringing together relevant expertise from computing and biomedical studies, and covering both theoretical and applied aspects, with an emphasis on newer work relevant to the emerging Semantic Web.
An Undergraduate Primer in Algebraic Geometry
This book consists of two parts. The first is devoted to an introduction to basic concepts in algebraic geometry: affine and projective varieties, some of their main attributes and examples. The second part is devoted to the theory of curves: local properties, affine and projective plane curves, resolution of singularities, linear equivalence of divisors and linear series, Riemann–Roch and Riemann–Hurwitz Theorems.The approach in this book is purely algebraic. The main tool is commutative algebra, from which the needed results are recalled, in most cases with proofs. The prerequisites consist of the knowledge of basics in affine and projective geometry, basic algebraic concepts regarding rings, modules, fields, linear algebra, basic notions in the theory of categories, and some elementary point–set topology.
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.
Algorithms and Models for the Web-Graph ; 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings
The book address a wide variety of topics related to the study of the Web-graph such as random graph models for the Web-graph, PageRank analysis and computation, decentralized search, local partitioning algorithms,and traceroute sampling. The Web-graph has been the focal point of a tremendous amount of research for more than a decade. The view of the Web as a graph has great practical importance and has also generated much interesting theoretical work.
Algorithms and data structures ; 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. The 47 full papers, presented together with two invited lectures, were carefully reviewed and selected from a total of 123 submissions. They present original research on the theory, design and application of algorithms and data structures.
