Page 18
Page 18
Artificial intelligence applications and innovations ; 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings, Part I
This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020, held in Neos Marmaras, Greece, in June 2020.* The 70 full papers and 5 short papers presented were carefully reviewed and selected from 149 submissions. They cover a broad range of topics related to technical, legal, and ethical aspects of artificial intelligence systems and their applications
Artificial intelligence and soft computing ; 19th International conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020, held in Zakopane, Poland*, in October 2020. The 112 revised full papers presented were carefully reviewed and selected from 265 submissions. The papers included in the first volume are organized in the following six parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; pattern classification; bioinformatics, biometrics and medical applications; artificial intelligence in modeling and simulation. The papers included in the second volume are organized in the following four parts: computer vision, image and speech analysis; data mining; various problems of artificial intelligence; agent systems, robotics and control.
Artificial intelligence : Theories, models and applications ; 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.
Artificial evolution ; 8th International Conference, Evolution artificielle, EA 2007, Tours, France, October 29-31, 2007, revised selected papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Artificial Evolution, EA 2007, held in Tours, France in October 2007.
Architecture of computing systems ; 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, held virtually in July 2021. The 12 full papers in this volume were carefully reviewed and selected from 24 submissions. 2 workshop papers (VEFRE) are also included. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems, including a wide spectrum of topics ranging from fully integrated, self-powered embedded systems up to high-performance computing systems. It also provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including heterogeneous computing, memory optimizations, and organic computing.
Architecture of computing systems - ARCS 2008 ; 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.
Architecting Systems with Trustworthy Components ; International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
Architecting dependable systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.
Approximation and Online Algorithms ; 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers
The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for online and computationally hard problems.
Applied Informatics; Third International Conference, ICAI 2020, Ota, Nigeria, October 29–31, 2020, Proceedings
This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI 2020, held in Ota, Nigeria, in October 2020. The 35 full papers were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on artificial intelligence; business process management; cloud computing; data analysis; decision systems; health care information systems; human-computer interaction; image processing; learning management systems; software design engineering.
Applied cryptography and network security Workshops ; ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings
This book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied Cryptography and Network Security, ACNS 2020, in Rome, Italy, in October 2020.
Applications of Graph Transformations with Industrial Relevance ; 3rd International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007.
Applications and theory of Petri Nets 2005 ; 26th international conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new - vancesintheapplicationandtheoryofPetrinets. Several tutorials and workshops were organized within the conf- ence, covering introductory and advanced aspects related to Petri nets.Detailed
Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.
Applications and Techniques in Information Security ; 11th International Conference, ATIS 2020, Brisbane, QLD, Australia, November 12–13, 2020, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Applications and Techniques in Information Security, ATIS 2020, held in Brisbane, QLD, Australia, in November 2020. Due to the COVID-19 pandemic the conference was be held online. The 8 full papers presented in the volume were carefully reviewed and selected from 24 submissions. The papers are focused on all aspects on techniques and applications in information security research.
Analytical and Stochastic Modeling Techniques and Applications ; 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2008, held in Nicosia, Cyprus, in June 2008.
Analysis and Design of Information Systems : Third ed.
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and user-friendly survey to all aspects of business transformation and analysis, and aims to provide the complex set of tools covering all types of systems, including legacy, transactional, database, and web/e-commerce topics.
An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate students of computer science. It emphasizes a case-study approach whereby a project is developed through the course of the book, illustrating the different activities of software development. The sequence of chapters is essentially the same as the sequence of activities performed during a typical software project. All activities, including quality assurance and control activities, are described in each chapter as integral activities for that phase of development. Similarly, the author carefully introduces appropriate metrics for controlling and assessing the software process. Chapters in this revised edition, updated for today’s standards, include these new features: Software Process, Requirements Analysis and Specification, Software Architecture, Project Planning, Object Oriented Design, Coding,Testing,
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.
Algorithmic Aspects in Information and Management ; 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Algorithmic Aspects in Information and Management, AAIM 2008, held in Shanghai, China, in June 2008.
