الصفحة 33
الصفحة 33
Algorithm Theory - SWAT 2008 ; 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings
his book constitutes the refereed proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg, Sweden, in July 2008.
Algorithm Theory - SWAT 2006 ; 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings
This book constitutes the refereed proceedings of the 10th Scandinavian Workshop on Algorithm Theory, SWAT 2006, held in Riga, Latvia, in July 2006. The proceedings includes 36 revised full papers presented together with 3 invited papers, addressing issues of theoretical algorithmics and applications in various fields including graph algorithms, computational geometry, scheduling, approximation algorithms, network algorithms, data storage and manipulation, combinatorics, sorting, searching, online algorithms, optimization, amd more.
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 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 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.
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 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 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 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.
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-Based Simulation : From Modeling Methodologies to Real-World Applications; Post Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004
Agent-based modeling/simulation is an emerging field that uses bottom-up and experimental analysis in the social sciences. Selected research from that presented at the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004, held in May 2004 in Kyoto, Japan, is included in this book. The aim of the workshop was to employ the bottom-up approach to social and economic problems by modeling, simulation, and analysis using a software agent. This research area is an emerging interdisciplinary field among the social sciences and computer science, attracting broad attention because it introduces a simulation-based experimental approach to problems that are becoming increasingly complex in an era of globalization and innovation in information technology. The state-of-the-art research and findings presented in this book will be indispensable tools for anyone involved in this rapidly growing discipline.
Affect and Emotion in Human-Computer Interaction : From Theory to Applications
The present book provides an account of the latest work on a variety of aspects related to affect and emotion in human-technology interaction. It covers theoretical issues, user experience and design aspects as well as sensing issues, and reports on a number of affective applications that have been developed in recent years.
Advances in web-age information management ; Vol. 3739 ; 6th international conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, proceedings
Constitutes the proceedings of the 6th International Conference, WAIM 2005, Hangzhou, China, October 11 – 13, 2005. including Topics Data Structures and Information Theory Popular Computer Science Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Artificial Intelligence
Advances in spatial and temporal databases ; 9th International symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the 9th - ternational Symposium on Spatial and Temporal Databases – SSTD 2005. This year’s symposium continues the tradition of being the premier forum for the presentation of research results and experience reports on leading edge issues of spatial and temporal database systems, including data models, systems, applications and theory. ll the needs of novel applications and heterogeneous environments and identify new directions for future research and development. aspects of database systems for managing spatial and temporal data and for supporting their applications. A total of 77 papers were submitted this year from several countries. After a thorough review process, the program committee accepted 24 papers covering a variety of topics, including indexing techniques and query processing, mobile environments and moving objects, and spatial and temporal data streams.
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in Production Technology
This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence on “Integrative Production Technology for High-Wage Countries”, held in November 2014. The topical structure of the book is clustered in six sessions: Integrative Production Technology, Individualised Production, Virtual Production Systems, Integrated Technologies, Self-Optimising Production Systems and Human Factors in Production Technology. The Aachen perspective on a holistic theory of production is complemented by conference papers from external leading researchers in the fields of production, materials science and bordering disciplines.
Advances in production management systems ; International IFIP TC 5, WG 5.7 Conference on Advances in Production Management Systems (APMS 2007), September 17-19, Linköping, Sweden
It includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Advances in natural language processing ; 5th International Conference ; 1TAL 2006 Turku, Finland, August 23-25, 2006 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006. The book presents 72 revised full papers together with 1 invited talk and the extended abstracts of 2 invited keynote addresses. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.
Advances in natural computation ; Vol. 3612 ; 1st International conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III
Includes 313 full papers and 189 short papers the refereed proceedings of the First International Conference on Natural Computation, ICNC 2005, held in Changsha, China, in August 2005 as a joint event with the Second International Conference on Fuzzy Systems and Knowledge Discovery FSKD 2005. includ Topics : Artificial Intelligence / Theory of Computation / Computation by Abstract Devices / Algorithm Analysis and Problem Complexity / Image Processing and Computer Vision / Pattern Recognition
Advances in Metaheuristics for Hard Optimization
The book gathers contributions related to the following topics: theoretical developments in metaheuristics; adaptation of discrete metaheuristics to continuous optimization; performance comparisons of metaheuristics; cooperative methods combining different approaches; parallel and distributed metaheuristics for multiobjective optimization; software implementations; and real-world applications.
