You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.
This two-volume set LNCS 14134 and LNCS 14135 constitutes the refereed proceedings of the 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, held in Ponta Delgada, Portugal, during June 19–21, 2023. The 108 full papers presented in this two-volume set were carefully reviewed and selected from 149 submissions. The papers in Part I are organized in topical sections on advanced topics in computational intelligence; advances in artificial neural networks; ANN HW-accelerators; applications of machine learning in biomedicine and healthcare; and applications of machine learning in time series analysis. The papers in Part II are organized in topical sections on deep learning and applications; deep learning applied to computer vision and robotics; general applications of artificial intelligence; interaction with neural systems in both health and disease; machine learning for 4.0 industry solutions; neural networks in chemistry and material characterization; ordinal classification; real world applications of BCI systems; and spiking neural networks: applications and algorithms.
This book, following the three published volumes of the book, provides the main purpose to collect research papers and review papers to provide an overview of the main issues, results, and open questions in the cutting-edge research on the fields of modeling, optimization, and dynamics and their applications to biology, economy, energy, industry, physics, psychology and finance. Assuming the scientific relevance of the presenting innovative applications as well as merging issues in these areas, the purpose of this book is to collect papers of the world experts in mathematics, economics, and other applied sciences that is seminal to the future research developments. The majority of the papers...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
A comprehensive treatment of systems and software testing using state of the art methods and tools This book provides valuable insights into state of the art software testing methods and explains, with examples, the statistical and analytic methods used in this field. Numerous examples are used to provide understanding in applying these methods to real-world problems. Leading authorities in applied statistics, computer science, and software engineering present state-of-the-art methods addressing challenges faced by practitioners and researchers involved in system and software testing. Methods include: machine learning, Bayesian methods, graphical models, experimental design, generalized regr...
This Festschrift, published in honor of Bernhard Thalheim on the occasion of his 60th birthday presents 20 articles by colleagues from all over the world with whom Bernhard Thalheim had cooperation in various respects; also included is a scientific biography contributed by the volume editors. The 20 contributions reflect the breadth and the depth of the work of Bernhard Thalheim in conceptual modeling and database theory during his scientific career spanning more than 35 years of active research. In particular, ten articles are focusing on topics like database dependency theory, object-oriented databases, triggers, abstract state machines, database and information systems design, web semantics, and business processes.
Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, covering classical topics of mathematical logic.
This book covers both theoretical and practical results for graph polynomials. Graph polynomials have been developed for measuring combinatorial graph invariants and for characterizing graphs. Various problems in pure and applied graph theory or discrete mathematics can be treated and solved efficiently by using graph polynomials. Graph polynomials have been proven useful areas such as discrete mathematics, engineering, information sciences, mathematical chemistry and related disciplines.
This book constitutes the refereed proceedings of the 2022 International Conference on Business Intelligence and Information Technology (BIIT 2022) held in Harbin, China, during December 17–18, 2022. BIIT 2022 is organized by the School of Computer and Information Engineering, Harbin University of Commerce, and supported by Scientific Research Group in Egypt (SRGE), Egypt. The papers cover current research in electronic commerce technology and application, business intelligence and decision making, digital economy, accounting informatization, intelligent information processing, image processing and multimedia technology, signal detection and processing, communication engineering and technology, information security, automatic control technique, data mining, software development, and design, blockchain technology, big data technology, and artificial intelligence technology.
This volume constitutes the refereed proceedings of the 15th International Conference on Conceptual Modeling, ER '96, held in Cottbus, Germany, in October 1996. The volume presents three invited contributions together with 29 revised full papers selected from 110 submissions. The papers cover all current aspects of the entity-relationship approach and conceptual modeling; they are organized in sections on advanced schema design, processes, query languages, representation, integration, principles of database design, transformation, enhanced modelling, capturing design information, and evolution.