ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • artificial intelligence
  • embedded systems
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
  • Springer  (89)
  • American Chemical Society (ACS)
  • American Institute of Physics (AIP)
  • 2020-2024  (44)
  • 2015-2019
  • 1990-1994  (45)
  • 1950-1954
Collection
Keywords
Publisher
Language
Years
Year
  • 1
    facet.materialart.
    Unknown
    Metalearning (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book as one of the fastest-growing areas of research in machine learning, metalearning studies principled methods to obtain efficient models and solutions by adapting machine learning and data mining processes. This adaptation usually exploits information from past experience on other tasks and the adaptive processes can involve machine learning approaches. As a related area to metalearning and a hot topic currently, automated machine learning (AutoML) is concerned with automating the machine learning processes. Metalearning and AutoML can help AI learn to control the application of different learning methods and acquire new solutions faster without unnecessary interventions from the user. This book offers a comprehensive and thorough introduction to almost all aspects of metalearning and AutoML, covering the basic concepts and architecture, evaluation, datasets, hyperparameter optimization, ensembles and workflows, and also how this knowledge can be used to select, combine, compose, adapt and configure both algorithms and models to yield faster and better solutions to data mining and data science problems. It can thus help developers to develop systems that can improve themselves through experience. This book is a substantial update of the first edition published in 2009. It includes 18 chapters, more than twice as much as the previous version. This enabled the authors to cover the most relevant topics in more depth and incorporate the overview of recent research in the respective area. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining, data science and artificial intelligence. ; Metalearning is the study of principled methods that exploit metaknowledge to obtain efficient models and solutions by adapting machine learning and data mining processes. While the variety of machine learning and data mining techniques now available can, in principle, provide good model solutions, a methodology is still needed to guide the search for the most appropriate model in an efficient way. Metalearning provides one such methodology that allows systems to become more effective through experience. This book discusses several approaches to obtaining knowledge concerning the performance of machine learning and data mining algorithms. It shows how this knowledge can be reused to select, combine, compose and adapt both algorithms and models to yield faster, more effective solutions to data mining problems. It can thus help developers improve their algorithms and also develop learning systems that can improve themselves. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining and artificial intelligence.
    Keywords: Metalearning ; Automating Machine Learning (AutoML) ; Machine Learning ; Artificial Intelligence ; algorithm selection ; algorithm recommendation ; algorithm configuration ; hyperparameter optimization ; automating the workflow/pipeline design ; metalearning in ensemble construction ; metalearning in deep neural networks ; transfer learning ; algorithm recommendation for data streams ; automating data science ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Digital Interaction and Machine Intelligence (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This book is open access, which means that you have free and unlimited access. This book presents the Proceedings of the 9th Machine Intelligence and Digital Interaction Conference. Significant progress in the development of artificial intelligence (AI) and its wider use in many interactive products are quickly transforming further areas of our life, which results in the emergence of various new social phenomena. Many countries have been making efforts to understand these phenomena and find answers on how to put the development of artificial intelligence on the right track to support the common good of people and societies. These attempts require interdisciplinary actions, covering not only science disciplines involved in the development of artificial intelligence and human-computer interaction but also close cooperation between researchers and practitioners. For this reason, the main goal of the MIDI conference held on 9-10.12.2021 as a virtual event is to integrate two, until recently, independent fields of research in computer science: broadly understood artificial intelligence and human-technology interaction.
    Keywords: Computational Intelligence ; AI ; MIDI 2021 ; MIDI ; Machine Intelligence ; Digital Interaction ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Cyber Security (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 18th China Annual Conference on Cyber Security, CNCERT 2022, held in Beijing, China, in August 2022. The 17 papers presented were carefully reviewed and selected from 64 submissions. The papers are organized according to the following topical sections: ​​data security; anomaly detection; cryptocurrency; information security; vulnerabilities; mobile internet; threat intelligence; text recognition.
    Keywords: application service layer ; artificial intelligence ; communication systems ; computer crime ; computer networks ; computer security ; computer systems ; cryptography ; cyber security ; data communication systems ; data security ; databases ; machine learning ; network protocols ; network security ; privacy ; signal processing ; telecommunication networks ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    Vector Semantics (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book introduces Vector semantics, which links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning researchers who developed word vectors have relied primarily on the ever-increasing availability of large corpora and of computers with highly parallel GPU and TPU compute engines, and their focus is with endowing computers with natural language capabilities for practical applications such as machine translation or question answering. Cognitive linguists investigate natural language from the perspective of human cognition, the relation between language and thought, and questions about conceptual universals, relying primarily on in-depth investigation of language in use. In spite of the fact that these two schools both have ‘linguistics’ in their name, so far there has been very limited communication between them, as their historical origins, data collection methods, and conceptual apparatuses are quite different. Vector semantics bridges the gap by presenting a formal theory, cast in terms of linear polytopes, that generalizes both word vectors and conceptual structures, by treating each dictionary definition as an equation, and the entire lexicon as a set of equations mutually constraining all meanings.
    Keywords: Semantics ; Natural Language Processing ; Computational Linguistics ; Artificial Intelligence ; explainable AI ; Artificial Neural Nets ; lexical semantics ; word vectors ; embeddings ; dynamic embeddings ; algebraic semantic ; knowledge bases ; machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Statistical Foundations of Actuarial Learning and its Applications (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-04
    Description: This open access book discusses the statistical modeling of insurance problems, a process which comprises data collection, data analysis and statistical model building to forecast insured events that may happen in the future. It presents the mathematical foundations behind these fundamental statistical concepts and how they can be applied in daily actuarial practice. Statistical modeling has a wide range of applications, and, depending on the application, the theoretical aspects may be weighted differently: here the main focus is on prediction rather than explanation. Starting with a presentation of state-of-the-art actuarial models, such as generalized linear models, the book then dives into modern machine learning tools such as neural networks and text recognition to improve predictive modeling with complex features. Providing practitioners with detailed guidance on how to apply machine learning methods to real-world data sets, and how to interpret the results without losing sight of the mathematical assumptions on which these methods are based, the book can serve as a modern basis for an actuarial education syllabus.
    Keywords: Deep Learning ; Actuarial Modeling ; Pricing and Claims Reserving ; Artificial Neural Networks ; Regression Modeling ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Intelligent Systems for Sustainable Person-Centered Healthcare (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book establishes a dialog among the medical and intelligent system domains for igniting transition toward a sustainable and cost-effective healthcare. The Person-Centered Care (PCC) positions a person in the center of a healthcare system, instead of defining a patient as a set of diagnoses and treatment episodes. The PCC-based conceptual background triggers enhanced application of Artificial Intelligence, as it dissolves the limits of processing traditional medical data records, clinical tests and surveys. Enhanced knowledge for diagnosing, treatment and rehabilitation is captured and utilized by inclusion of data sources characterizing personal lifestyle, and health literacy, and it involves insights derived from smart ambience and wearables data, community networks, and the caregivers’ feedback. The book discusses intelligent systems and their applications for healthcare data analysis, decision making and process design tasks. The measurement systems and efficiency evaluation models analyze ability of intelligent healthcare system to monitor person health and improving quality of life.
    Keywords: Person-centered Healthcare Model ; Heterogeneous Healthcare Data ; Remote Care Feedback Mechanisms ; Monitoring Health Status ; Data-driven Decision Making for Person Health ; Efficiency of Healthcare ; Quality of Person-centered Care ; Big Data for Personal Self-sustainment ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Haptics: Science, Technology, Applications (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022. The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technology; and haptic applications.
    Keywords: communication systems ; computer networks ; data communication systems ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; mobile devices ; network protocols ; rehabilitation systems ; robotics ; signal processing ; telecommunication networks ; telecommunication systems ; user interfaces ; virtual reality ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; mathematics ; model checking ; programming languages ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; verification ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Automated Reasoning (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
    Keywords: artificial intelligence ; automata theory ; computer hardware ; computer networks ; computer programming ; computer systems ; embedded systems ; formal languages ; formal logic ; logic programming ; network protocols ; semantics ; software architecture ; software design ; software engineering ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Multi-Winner Voting with Approval Preferences (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferences. The main focus is on axiomatic analysis, algorithmic results and several applications that are relevant in artificial intelligence, computer science and elections of any kind. What is the best way to select a set of candidates for a shortlist, for an executive committee, or for product recommendations? Multi-winner voting is the process of selecting a fixed-size set of candidates based on the preferences expressed by the voters. A wide variety of decision processes in settings ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversity in search results, etc.) share the problem of identifying a representative subset of alternatives. The study of multi-winner voting provides the principled analysis of this task. Approval-based committee voting rules (in short: ABC rules) are multi-winner voting rules particularly suitable for practical use. Their usability is founded on the straightforward form in which the voters can express preferences: voters simply have to differentiate between approved and disapproved candidates. Proposals for ABC rules are numerous, some dating back to the late 19th century while others have been introduced only very recently. This book explains and discusses these rules, highlighting their individual strengths and weaknesses. With the help of this book, the reader will be able to choose a suitable ABC voting rule in a principled fashion, participate in, and be up to date with the ongoing research on this topic.
    Keywords: Multi-Winner Voting ; Computational Social Choice ; Approval-Based Committee (ABC) Voting ; ABC Rules ; Proportionality ; Fairness Axioms ; Strategic Voting ; Collective Decisions ; Artificial Intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCA Economic theory and philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
    Keywords: artificial intelligence ; bioinformatics ; computer science ; computer systems ; computer vision ; education ; image analysis ; image processing ; image segmentation ; learning ; machine learning ; medical images ; neural networks ; pattern recognition ; segmentation methods ; software design ; software engineering ; software quality ; validation ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    facet.materialart.
    Unknown
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    AI in Learning: Designing the Future (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: AI (Artificial Intelligence) is predicted to radically change teaching and learning in both schools and industry causing radical disruption of work. AI can support well-being initiatives and lifelong learning but educational institutions and companies need to take the changing technology into account. Moving towards AI supported by digital tools requires a dramatic shift in the concept of learning, expertise and the businesses built off of it. Based on the latest research on AI and how it is changing learning and education, this book will focus on the enormous opportunities to expand educational settings with AI for learning in and beyond the traditional classroom. This open access book also introduces ethical challenges related to learning and education, while connecting human learning and machine learning. This book will be of use to a variety of readers, including researchers, AI users, companies and policy makers.
    Keywords: artificial intelligence ; life-long learning ; tutoring ; virtual learning ; learning analytics ; well-being ; simulations ; games ; intelligent digital tools ; deep learning ; robotics ; human-machine interaction ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::H Humanities::HP Philosophy::HPM Philosophy of mind ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Software Engineering/Programming and Operating Systems ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    facet.materialart.
    Unknown
    Artificial Intelligence for a Better Future (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as unemployment, economic exploitation and weakened democratic processes. There is even a prospect, ultimately, of super-intelligent machines replacing humans. The key question, then, is: how can we benefit from AI while addressing its ethical problems? This book presents an innovative answer to the question by presenting a different perspective on AI and its ethical consequences. Instead of looking at individual AI techniques, applications or ethical issues, we can understand AI as a system of ecosystems, consisting of numerous interdependent technologies, applications and stakeholders. Developing this idea, the book explores how AI ecosystems can be shaped to foster human flourishing. Drawing on rich empirical insights and detailed conceptual analysis, it suggests practical measures to ensure that AI is used to make the world a better place.
    Keywords: Artificial Intelligence ; Ethics ; Computers and Society ; Philosophy of Technology ; Business Ethics ; Applied Ethics ; Ethics of Technology ; Computer Ethics ; Information Ethics ; Responsible Research and Innovation ; Innovation Ecosystem ; Engineering Ethics ; Corporate Social Responsibility ; Open Access ; Ethics & moral philosophy ; Ethical & social aspects of IT ; Philosophy ; Business ethics & social responsibility ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility
    Language: English
    Format: image/png
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    facet.materialart.
    Unknown
    Big Data in Bioeconomy (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This edited open access book presents the comprehensive outcome of The European DataBio Project, which examined new data-driven methods to shape a bioeconomy. These methods are used to develop new and sustainable ways to use forest, farm and fishery resources. As a European initiative, the goal is to use these new findings to support decision-makers and producers – meaning farmers, land and forest owners and fishermen. With their 27 pilot projects from 17 countries, the authors examine important sectors and highlight examples where modern data-driven methods were used to increase sustainability. How can farmers, foresters or fishermen use these insights in their daily lives? The authors answer this and other questions for our readers. The first four parts of this book give an overview of the big data technologies relevant for optimal raw material gathering. The next three parts put these technologies into perspective, by showing useable applications from farming, forestry and fishery. The final part of this book gives a summary and a view on the future. With its broad outlook and variety of topics, this book is an enrichment for students and scientists in bioeconomy, biodiversity and renewable resources.
    Keywords: Data-driven bioeconomy ; big data ; artificial intelligence ; agriculture ; forestry ; earth observation ; satellite images ; fishery ; open access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    facet.materialart.
    Unknown
    Graph Structures for Knowledge Representation and Reasoning (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    facet.materialart.
    Unknown
    Supercomputing Frontiers (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
    Keywords: Computer Systems Organization and Communication Networks ; Image Processing and Computer Vision ; Control Structures and Microprogramming ; Input/Output and Data Communications ; Operating Systems ; Information Systems and Communication Service ; Computer Engineering and Networks ; Computer Vision ; Database Management System ; computer hardware ; computer networks ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; hpc ; image processing ; microprocessor chips ; network protocols ; parallel architectures ; parallel processing systems ; processors ; signal processing ; telecommunication networks ; telecommunication systems ; telecommunication traffic ; open access ; Computer networking & communications ; Image processing ; Computer vision ; Algorithms & data structures ; Distributed databases ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    facet.materialart.
    Unknown
    The Impact of Digital Technologies on Public Health in Developed and Developing Countries (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
    Keywords: Computer Communication Networks ; Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Special Purpose and Application-Based Systems ; Computer System Implementation ; User Interfaces and Human Computer Interaction ; Computer and Information Systems Applications ; open access ; artificial intelligence ; communication systems ; computer vision ; databases ; hci ; human-computer interaction ; image processing ; Internet of Things ; IoT ; machine learning ; network protocols ; sensors ; signal processing ; software architecture ; software design ; telecommunication networks ; telecommunication systems ; user interfaces ; wireless telecommunication systems ; Network hardware ; Artificial intelligence ; Information retrieval ; Internet searching ; Expert systems / knowledge-based systems ; Systems analysis & design ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    facet.materialart.
    Unknown
    Concepts in Action (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-24
    Description: This open access book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields.
    Keywords: Conceptual Spaces ; Concept and Representation ; Learning, Language and Application ; Robotics and Typicality ; Compositionality and Concepts ; Concept Research ; Concept Research and Machine Learning ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBX Language: history and general works ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    facet.materialart.
    Unknown
    Brain-Inspired Computing (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.
    Keywords: artificial intelligence ; communication systems ; computer hardware ; computer networks ; computer programming ; computer systems ; computer vision ; deep learning ; distributed computer systems ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; signal processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    facet.materialart.
    Unknown
    Knowledge Graphs and Big Data Processing (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, GA No. 809965. Data Analytics involves applying algorithmic processes to derive insights. Nowadays it is used in many industries to allow organizations and companies to make better decisions as well as to verify or disprove existing theories or models. The term data analytics is often used interchangeably with intelligence, statistics, reasoning, data mining, knowledge discovery, and others. The goal of this book is to introduce some of the definitions, methods, tools, frameworks, and solutions for big data processing, starting from the process of information extraction and knowledge representation, via knowledge processing and analytics to visualization, sense-making, and practical applications. Each chapter in this book addresses some pertinent aspect of the data processing chain, with a specific focus on understanding Enterprise Knowledge Graphs, Semantic Big Data Architectures, and Smart Data Analytics solutions. This book is addressed to graduate students from technical disciplines, to professional audiences following continuous education short courses, and to researchers from diverse areas following self-study courses. Basic skills in computer science, mathematics, and statistics are required.
    Keywords: Database Management ; Information Systems Applications (incl. Internet) ; Logic in AI ; Computer Appl. in Administrative Data Processing ; Business Information Systems ; Computer and Information Systems Applications ; Computer Application in Administrative Data Processing ; artificial intelligence ; big data ; data analytics ; data handling ; data integration ; data mining ; databases ; digital storage ; domain knowledge ; graph theory ; information management ; information technology ; integrated data ; internet ; knowledge management ; knowledge-based system ; ontologies ; semantics ; Databases ; Database programming ; Information retrieval ; Internet searching ; Artificial intelligence ; Public administration ; Information technology: general issues ; Business mathematics & systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    facet.materialart.
    Unknown
    A Journey of Embedded and Cyber-Physical Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-11
    Description: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
    Keywords: Circuits and Systems ; Cyber-physical systems, IoT ; Electronics and Microelectronics, Instrumentation ; Electronic Circuits and Systems ; Cyber-Physical Systems ; cyber-physical systems ; embedded systems ; model verification ; software runtime systems ; real-time computing ; open-access embedded systems ; Electronics: circuits & components ; Electrical engineering ; Cybernetics & systems theory ; Electronics engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    facet.materialart.
    Unknown
    On the path to AI (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century. Holmes reconceived law as prophecy based on experience, prefiguring the buzzwords of the machine learning age—prediction based on datasets. On the path to AI introduces readers to the key concepts of machine learning, discusses the potential applications and limitations of predictions generated by machines using data, and informs current debates amongst scholars, lawyers and policy makers on how it should be used and regulated wisely. Technologists will also find useful lessons learned from the last 120 years of legal grappling with accountability, explainability, and biased data.
    Keywords: Science and Technology Studies ; Human Geography ; IT Law, Media Law, Intellectual Property ; Artificial Intelligence ; AI ; Machine learning ; artificial intelligence ; 'big data' ; probability theory ; history of ideas ; legal interpretation ; Transhumanism ; Futurism ; Oliver Wendell Holmes Jr ; Wendell Holmes Jr. ; legal philosophy ; machine bias ; algorithmic bias ; Open Access ; Sociology ; Human geography ; Entertainment & media law ; Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNJ Entertainment & media law ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    facet.materialart.
    Unknown
    Advances in Intelligent Data Analysis XVIII (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020. The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.
    Keywords: Database Management ; Data Mining and Knowledge Discovery ; Computing Milieux ; Machine Learning ; Computer Systems Organization and Communication Networks ; open access ; data mining ; learning systems ; classification ; clustering ; semantics ; learning algorithms ; supervised learning ; association rules ; social networks ; graphic methods ; neural networks ; artificial intelligence ; computer vision ; correlation analysis ; databases ; education ; engineering ; graph theory ; image analysis ; Databases ; Database programming ; Data mining ; Expert systems / knowledge-based systems ; Information technology: general issues ; Machine learning ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
    Keywords: architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    facet.materialart.
    Unknown
    Smart Technologies for Precision Assembly (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020. The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and planning; assembly operations; assembly cells and systems; human centred assembly; and assistance methods in assembly.
    Keywords: Computer Applications ; Special Purpose and Application-Based Systems ; User Interfaces and Human Computer Interaction ; Robotics ; Computer and Information Systems Applications ; open access ; artificial intelligence ; computer vision ; hci ; human engineering ; human-computer interaction ; image processing ; manipulators ; mobile robots ; motion planning ; network protocols ; robots ; sensors ; signal processing ; software engineering ; telecommunication networks ; user interfaces ; Information technology: general issues ; Expert systems / knowledge-based systems ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    facet.materialart.
    Unknown
    AI based Robot Safe Learning and Control (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-11
    Description: This open access 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. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance control in uncertain environments, obstacle avoidance in dynamic workspace. The idea for this book on solving safe control of robot arms was conceived during the industrial applications and the research discussion in the laboratory. Most of the materials in this book are derived from the authors’ papers published in journals, such as IEEE Transactions on Industrial Electronics, neurocomputing, etc. This book can be used as a reference book for researcher and designer of the robotic systems and AI based controllers, and can also be used as a reference book for senior undergraduate and graduate students in colleges and universities.
    Keywords: Robotics and Automation ; Control and Systems Theory ; Artificial Intelligence ; Robotic Engineering ; Safe Control ; Deep Reinforcement Learning ; Recurrent Neural Network ; Force Control ; Obstacle Ovoidance ; Adaptive Control ; Trajectory Tracking ; Open Access ; Robotics ; Automatic control engineering ; Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Keywords: Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    facet.materialart.
    Unknown
    Representation Learning for Natural Language Processing (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the recent advances in representation learning theory, algorithms and applications for natural language processing (NLP). It is divided into three parts. Part I presents the representation learning techniques for multiple language entries, including words, phrases, sentences and documents. Part II then introduces the representation techniques for those objects that are closely related to NLP, including entity-based world knowledge, sememe-based linguistic knowledge, networks, and cross-modal entries. Lastly, Part III provides open resource tools for representation learning techniques, and discusses the remaining challenges and future research directions. The theories and algorithms of representation learning presented can also benefit other related domains such as machine learning, social network analysis, semantic Web, information retrieval, data mining and computational biology. This book is intended for advanced undergraduate and graduate students, post-doctoral fellows, researchers, lecturers, and industrial engineers, as well as anyone interested in representation learning and natural language processing.
    Keywords: Natural Language Processing (NLP) ; Computational Linguistics ; Artificial Intelligence ; Data Mining and Knowledge Discovery ; Open Access ; Deep Learning ; Representation Learning ; Knowledge Representation ; Word Representation ; Document Representation ; Big Data ; Machine Learning ; Natural Language Processing ; Natural language & machine translation ; Computational linguistics ; Artificial intelligence ; Data mining ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
    Keywords: architecture verification ; artificial intelligence ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; formal methods ; formal verifications ; model checker ; model checking ; signal processing ; software architecture ; software design ; software engineering ; software quality ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    facet.materialart.
    Unknown
    An Introduction to Ethics in Robotics and AI (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-08
    Description: This open access book introduces the reader to the foundations of AI and ethics. It discusses issues of trust, responsibility, liability, privacy and risk. It focuses on the interaction between people and the AI systems and Robotics they use. Designed to be accessible for a broad audience, reading this book does not require prerequisite technical, legal or philosophical expertise. Throughout, the authors use examples to illustrate the issues at hand and conclude the book with a discussion on the application areas of AI and Robotics, in particular autonomous vehicles, automatic weapon systems and biased algorithms. A list of questions and further readings is also included for students willing to explore the topic further.
    Keywords: Engineering Ethics ; Robotics ; Applied Psychology ; Moral Philosophy and Applied Ethics ; Behavioral Sciences and Psychology ; AI and ethics ; ethics and robotics ; descriptive ethics ; relationship between ethics and law ; machine ethics ; machine meta-ethics ; machine normative ethics ; types of AI systems ; strong and weak AI ; challenges of AI ; Open Access ; Ethics & moral philosophy ; Technology: general issues ; Artificial intelligence ; Psychology ; bic Book Industry Communication::H Humanities::HP Philosophy::HPQ Ethics & moral philosophy ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    facet.materialart.
    Unknown
    New Metropolitan Perspectives (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: ​This open access book presents the outcomes of the symposium “NEW METROPOLITAN PERSPECTIVES,” held at Mediterranea University, Reggio Calabria, Italy on May 26–28, 2020. Addressing the challenge of Knowledge Dynamics and Innovation-driven Policies Towards Urban and Regional Transition, the book presents a multi-disciplinary debate on the new frontiers of strategic and spatial planning, economic programs and decision support tools in connection with urban–rural area networks and metropolitan centers. The respective papers focus on six major tracks: Innovation dynamics, smart cities and ICT; Urban regeneration, community-led practices and PPP; Local development, inland and urban areas in territorial cohesion strategies; Mobility, accessibility and infrastructures; Heritage, landscape and identity;and Risk management,environment and energy. The book also includes a Special Section on Rhegion United Nations 2020-2030. Given its scope, the book will benefit all researchers, practitioners and policymakers interested in issues concerning metropolitan and marginal areas.
    Keywords: Computational Intelligence ; Urban Economics ; Regional and Spatial Economics ; Integrated Approach of Sustainable Urban Development ; Metropolitan City: Issues and Challenges ; Urban Regeneration: Community Involvement and PPP ; Heritage and Identity ; Economic-Estimative Dynamics and Valuation Tools ; Open Access ; Artificial intelligence ; Urban economics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVS Regional / urban economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2020)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-04
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​
    Keywords: Mathematical Logic and Foundations ; Discrete Mathematics in Computer Science ; Programming Languages, Compilers, Interpreters ; Programming Techniques ; Logic in AI ; Computer Systems Organization and Communication Networks ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; semantics of programming languages ; program analysis, correctness, transformation, and verification ; logics of programming ; software specification and refinement ; emerging models of computation ; logical aspects of computational complexity ; models of software security ; logical foundations of data bases ; mathematics ; artificial intellegence ; formal logic ; linguistics ; Mathematical foundations ; Mathematical logic ; Discrete mathematics ; Maths for computer scientists ; Programming & scripting languages: general ; Compilers & interpreters ; Computer programming / software engineering ; Artificial intelligence ; Computer networking & communications ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    facet.materialart.
    Unknown
    Haptics: Science, Technology, Applications (2020)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology, and haptic applications. This year's focus is on accessibility.
    Keywords: User Interfaces and Human Computer Interaction ; Robotics ; Special Purpose and Application-Based Systems ; Information Systems Applications (incl. Internet) ; Image Processing and Computer Vision ; Computer and Information Systems Applications ; Computer Vision ; communication systems ; computer networks ; data communication systems ; display devices ; engineering ; haptic devices ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; network protocols ; robotics ; signal processing ; telecommunication networks ; user interfaces ; virtual reality ; wireless telecommunication systems ; User interface design & usability ; Artificial intelligence ; Expert systems / knowledge-based systems ; Information retrieval ; Internet searching ; Image processing ; Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    Electronic Resource
    Electronic Resource
    Knowledge-based facility planning: a review and a framework (1994)
    Springer
    Journal of intelligent manufacturing 5 (1994), S. 399-409 
    Details
    ISSN: 1572-8145
    Keywords: Facilities layout ; knowledge-based systems ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: The knowledge-based facility planning (KBFP) problem is reviewed. The aim of KBFP is to provide a more comprehensive planning package for users so that their expertise can be augmented with proven knowledge, and yield significantly better plans. The categories reviewed include facilities equipment selection, software model selection, and the generative task of creating a facility planning solution. The employed problem representation and problem-solving techniques are reviewed. Finally, the development of an integrated framework for KBFP is discussed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00123659
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 46
    Electronic Resource
    Electronic Resource
    Multicriteria approach for intelligent decision support in supervisory control (1994)
    Springer
    Annals of operations research 51 (1994), S. 327-347 
    Details
    ISSN: 1572-9338
    Keywords: Human automatic ; multicriteria decision aid ; supervisory function ; emergency management ; decision support system ; artificial intelligence ; Spinning Reserve
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Economics
    Notes: Abstract In the framework of integrated automation, this work concerns the top level of the management and supervision of complex automated systems. When a process is being disturbed, the supervisory function modifies the established production planning, in accordance with different norms and constraints. The operator remains beside the regulated process controls to perform manual operations. The number of potential actions and the conflicting nature of some objectives make his task complex: he must reach quantitative and qualitative objectives with imperfect and temporal information. To assist him, we study a decision support model following a multicriteria approach involving the supervision problem. AI techniques and DSS are used to develop the aid tool. The Spinning Reserve problem encountered by “Electricité de France” is studied and used as support. To test our concepts, we develop the CASTART experimental support based on a synergy between the user, the problem, and the resolution models.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02048554
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 47
    Electronic Resource
    Electronic Resource
    On implementing a computation (1994)
    Springer
    Minds and machines 4 (1994), S. 391-402 
    Details
    ISSN: 1572-8641
    Keywords: Computation ; implementation ; artificial intelligence ; cognition ; Turing machines
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract To clarify the notion of computation and its role in cognitive science, we need an account of implementation, the nexus between abstract computations and physical systems. I provide such an account, based on the idea that a physical system implements a computation if the causal structure of the system mirrors the formal structure of the computation. The account is developed for the class of combinatorial-state automata, but is sufficiently general to cover all other discrete computational formalisms. The implementation relation is non-vacuous, so that criticisms by Searle and others fail. This account of computation can be extended to justify the foundational role of computation in artificial intelligence and cognitive science.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00974166
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 48
    Electronic Resource
    Electronic Resource
    Expert systems in the control of animal cell culture processes: Potentials, functions, and perspectives (1994)
    Springer
    Cytotechnology 14 (1994), S. 233-246 
    Details
    ISSN: 1573-0778
    Keywords: mammalian cell cultures ; bioprocess monitoring ; bioprocess control ; expert systems ; artificial intelligence ; hybridoma cell culture
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Medicine , Process Engineering, Biotechnology, Nutrition Technology
    Notes: Abstract In recent years, the development of advanced systems for bioprocess monitoring and control has become an area of intensive research. Along with traditional techniques, there are several new approaches which are increasingly being applied to bioprocess operations. Among these, of special note is expert system technology, which provides possibilities for the design of efficient bioprocess control systems with new functional capabilities. This technology has been successfully applied to variety of microbial processes at laboratory and industrial scale. The present paper analyzes the possibility for application of expert systems to animal cell cultures processes whose high complexity is well suited to expert control. The discussion focuses on the organization and the functionality of the intelligent control systems, and covers some practical aspects of their design.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00749619
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 49
    Electronic Resource
    Electronic Resource
    AI meets authoring: User models for untelligent multimedia (1994)
    Springer
    Artificial intelligence review 8 (1994), S. 447-468 
    Details
    ISSN: 1573-7462
    Keywords: authoring ; artificial intelligence ; multimedia ; user-modelling ; video
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Authoring is a complex, knowledge-intensive activity which until recently has been performed exclusively by humans. New computer-based techniques have added horsepower rather than intelligence to traditional approaches, and have not addressed their principal limitations, chief of which is the inability to tailor presentations to individual users at run-time. We believe a model of the user is needed to support this kind of run-time determination of formand content. We describe our approach to the acquisition, representation and exploitation of user models: themost plausible user model is the result of an abductiverecognition process and it incorporates assumptions about the user which are then used to constrain thedesign by abduction of the best presentation. Both recognition and design processes are performed at run-time. We describe a prototypical implementation designed to demonstrate these ideas in the domain of video authoring. Our approach to authoring is intended to apply across multiple media; we have demonstrated these ideas with video because authoring in the video medium with traditional approaches inherits and exacerbates the problems from traditional media, and because the popularity of video as an authoring medium continues to grow.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00849730
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 50
    Electronic Resource
    Electronic Resource
    A framework for Integrating Artificial Intelligence and Simulation (1994)
    Springer
    Artificial intelligence review 8 (1994), S. 55-85 
    Details
    ISSN: 1573-7462
    Keywords: discreet-event simulation ; three-phase simulation models ; artificial intelligence ; expert systems ; knowledge based systems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Both Simulation and Artificial Intelligence try to model reality for problem solving and decision making. In this paper, we propose a framework for integrating the two areas by uncovering fundamental similarities between them and opportunities for combining them which can be mutually useful. The framework also shows the potential gains for Simulation by applying Artificial Intelligence concepts (mainly expert systems) to assist in the simulation process and reveals in an organised way the potential gains for Artificial Intelligence by applying concepts derived from Simulation.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00851350
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 51
    Electronic Resource
    Electronic Resource
    Building brains for bodies (1994)
    Springer
    Autonomous robots 1 (1994), S. 7-25 
    Details
    ISSN: 1573-7527
    Keywords: robotics ; artificial intelligence ; human cognition ; humanoids ; androids
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract We describe a project to capitalize on newly available levels of computational resources in order to understand human cognition. We are building an integrated physical system including vision, sound input and output, and dextrous manipulation, all controlled by a continuously operating large scale parallel MIMD computer. The resulting system will learn to “think” by building on its bodily experiences to accomplish progressively more abstract tasks. Past experience suggests that in attempting to build such an integrated system we will have to fundamentally change the way artificial intelligence, cognitive science, linguistics, and philosophy think about the organization of intelligence. We expect to be able to better reconcile the theories that will be developed with current work in neuroscience.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00735340
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 52
    Electronic Resource
    Electronic Resource
    Decision making in high dependency environments — can we learn from modern industrial management models? (1994)
    Springer
    Journal of clinical monitoring and computing 11 (1994), S. 11-17 
    Details
    ISSN: 1573-2614
    Keywords: management ; High Dependency Environment ; Critical Care ; strategy ; patient management ; cybernetics ; artificial intelligence ; clinical decision making ; expert systems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Abstract Increasing complexity and increased restraints affect the task of patient management in High Dependency Environments, which has become intricate and difficult. Medical knowledge alone is not enough any longer for proper patient care. Management ability and facilities are required. Current medical knowledge should be expanded by management methods and techniques. By looking at management models in the industry, we found striking similarities between the industrial management situation and clinical patient management. Both systems share complexity in structure, complexity in interaction and evolutionary character. Clinical patient management can be compared with a navigation process. The patient is steered by a control system, and course information is given by control dimensions. Clinical patient management becomes a succession of steering activities influenced by the surrounding systems. This system can be structured in three interacting layers: an operational level, in which information is collected and actions executed; a strategic level in which strategies based on goal-oriented mental anticipation of a probabilistic system are formulated; and a normative level at which principles and norms are defined. It is possible then, to define the tools which have to be developed and implemented to improve clinical management capabilities. At the operational level these tools are addresed to improve clinical decision making by providing information in an ergonomical way. They include artifact elimination, data reduction, increase in meaningful information and unwanted data filtering. At the strategic level, tools to check the feasibility of the applied strategies have to be developed, such as: ideal patient course plots and increased training in strategic thinking. At the normative level, strategic management capabilities can be improved by compiling, processing and providing clinical context sensitive norms, to set up boundares for strategies formulation.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01132839
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 53
    Electronic Resource
    Electronic Resource
    Intelligent system in patient monitoring and therapy management (1994)
    Springer
    Journal of clinical monitoring and computing 11 (1994), S. 241-253 
    Details
    ISSN: 1573-2614
    Keywords: artificial intelligence ; intelligent monitoring and control ; critical care
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Abstract Although today's advanced biomedical technology provides unsurpassed power in diagnosis, monitoring, and treatment, interpretation of vast streams of information generated by this technology often poses excessive demands on the cognitive skills of health-care personnel. In addition, storage, reduction, retrieval, processing, and presentation of information are significant challenges. These problems are most severe in critical care environments such as intensive care units (ICUs) and operating room (ORs) where many events are life-threatening and thus require immediate attention and the execution of definitive corrective actions. This article focuses on intelligent monitoring and control (IMC), or the use of artificial intelligence (AI) techniques to alleviate some of the common information management problems encountered in health-care environments. This article presents the findings of a survey of over 30 IMC projects. A major finding of the survey is that although significant advances have been made in introducing AI technology in critical care, successful examples of fielded systems are still few and far between. Widespread acceptance of these systems in critical care environments depends on a number of factors, including fruitful collaborations between clinicians and computer scientists, emphasis on evaluation studies, and easy access to clinical information.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01139876
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 54
    Electronic Resource
    Electronic Resource
    Global temperature stability by rule induction: An interdisciplinary bridge (1994)
    Springer
    Human ecology 22 (1994), S. 59-81 
    Details
    ISSN: 1572-9915
    Keywords: global climate ; artificial intelligence ; energy balance ; rough sets
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Energy, Environment Protection, Nuclear Power Engineering , Ethnic Sciences
    Notes: Abstract Rules incorporating influences on global temperature, an estimate of radiation balance, were induced from astronomical, geophysical, and anthropogenic variables. During periods of intermediate global temperatures (generally like the present century), the influences assume cancelingroles; influences cancel the effects of extreme states potentially imposed by other influences because they are, in aggregate, most likely to be assuming opposite values. This imparts an overall stability to the global temperature. To achieve cold or hot global temperature, influences assume reinforcingroles. CO 2 is an active influence on global temperature. By virtue of its constancy in the atmosphere, it can be expected to sponsor frequent hot years in combination with the other influences as they cycle through their periods. If measures were implemented to maintain warm or cool global temperatures, it could retain the status quoof present global agricultural regions. They are probably more productive than hot world regions would be because of narrow storm tracks.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02168763
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 55
    Electronic Resource
    Electronic Resource
    Inference of a minimum size boolean function from examples by using a new efficient branch-and-bound approach (1994)
    Springer
    Journal of global optimization 5 (1994), S. 69-94 
    Details
    ISSN: 1573-2916
    Keywords: Inductive inference ; Boolean functions ; clause satisfiability problem ; maximum clique ; interior point method ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract This paper deals with the problem of identifying a hidden Boolean function ℱ: 0, 1' → 0, 1 from positive and negative examples. This problem is of paramount importance in many real life applications of artificial intelligence. The method proposed in this paper is based on a branch-and-bound approach. This approach is an expansion of some earlier work (Triantaphyllouet al., 1994). Computational results, comparing the new method with one based on Karmakar's interior point method, suggest that the new method is very efficient.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01097004
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 56
    Electronic Resource
    Electronic Resource
    A user's guide to tabu search (1993)
    Springer
    Annals of operations research 41 (1993), S. 1-28 
    Details
    ISSN: 1572-9338
    Keywords: Tabu search ; heuristics ; combinatorial optimization ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Economics
    Notes: Abstract We describe the main features of tabu search, emphasizing a perspective for guiding a user to understand basic implementation principles for solving combinatorial or nonlinear problems. We also identify recent developments and extensions that have contributed to increasing the efficiency of the method. One of the useful aspects of tabu search is the ability to adapt a rudimentary prototype implementation to encompass additional model elements, such as new types of constraints and objective functions. Similarly, the method itself can be evolved to varying levels of sophistication. We provide several examples of discrete optimization problems to illustrate the strategic concerns of tabu search, and to show how they may be exploited in various contexts. Our presentation is motivated by the emergence of an extensive literature of computational results, which demonstrates that a well-tuned implementation makes it possible to obtain solutions of high quality for difficult problems, yielding outcomes in some settings that have not been matched by other known techniques.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02078647
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 57
    Electronic Resource
    Electronic Resource
    Reaping the whirlwind: Reply to Harnad's “other bodies, other minds” (1993)
    Springer
    Minds and machines 3 (1993), S. 219-237 
    Details
    ISSN: 1572-8641
    Keywords: Animal intelligence ; artificial intelligence ; causation ; consciousness ; Chinese Room Experiment ; Descartes ; intentionality ; other-minds problem ; Searle ; subjectivity ; symbol grounding ; Turing ; Turing's Test
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Harnad's proposed “robotic upgrade” of Turing's Test (TT), from a test of linguistic capacity alone to a Total Turing Test (TTT) of linguisticand sensorimotor capacity, conflicts with his claim that no behavioral test provides even probable warrant for attributions of thought because there is “no evidence” of consciousness besides “private experience”. Intuitive, scientific, and philosophical considerations Harnad offers in favor of his proposed upgrade are unconvincing. I agree with Harnad that distinguishing real from “as if” thought on the basis of (presence or lack of) consciousness (thus rejecting Turing (behavioral) testing as sufficient warrant for mental attribution)has the skeptical consequence Harnad accepts — “there is in factno evidence for me that anyone else but me has a mind”. I disagree with hisacceptance of it! It would be better to give up the neo-Cartesian “faith” in private conscious experience underlying Harnad's allegiance to Searle's controversial Chinese Room “Experiment” than give up all claim to know others think. It would be better to allow that (passing) Turing's Test evidences — evenstrongly evidences — thought.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00975533
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 58
    Electronic Resource
    Electronic Resource
    Finding the range: Linguistic analysis and its role in computer-assisted literary study (1993)
    Springer
    Computers and the humanities 27 (1993), S. 331-340 
    Details
    ISSN: 1572-8412
    Keywords: artificial intelligence ; critical theory ; discourse analysis ; linguistic analysis ; parsing ; Shakespeare ; sociolinguistics ; Sonnet 130
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Media Resources and Communication Sciences, Journalism
    Notes: Abstract This article describes how linguistic analysis can be used to change the computer from being a generator of data that can be used to develop a critical analysis to being a tool that provides a means to explore the processes and inputs that generate different interpretations of literary works. Using Michael Gregory's Communication Linguistics model to analyze Shakespeare's Sonnet CXXX, we see how the linguistic structure of the poem allows for multiple readings of the text. The article goes on to describe how this kind of analysis can be extended by employing artificial intelligence as a means to explore the interaction between language and meaning.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01829383
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 59
    Electronic Resource
    Electronic Resource
    Artificially intelligent geostatistics: A framework accommodating qualitative knowledge-information (1993)
    Springer
    Mathematical geology 25 (1993), S. 261-279 
    Details
    ISSN: 1573-8868
    Keywords: geostatistics ; qualitative knowledge-information ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Geosciences , Mathematics
    Notes: Abstract The purpose of this paper is to stress the need to examine Al-based models and techniques in dealing with qualitative knowledge, information, and expertise in geostatistics. A model of artificially intelligent geostatistics is proposed as a general framework. The model focuses on the “Geostatistician,” an abstraction of the “collective” knowledge and intelligence of the geostatisticians, be they theoreticians and/or practitioners. Dynamic aspects of the model are examined in the context of an explicit knowledge formalism, integrating geostatistical knowledge, symbolic non-algorithmic techniques for knowledge-information representation and inference, and standard numerical data processing. Two implementations of related computer systems are given together with case studies.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00901419
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 60
    Electronic Resource
    Electronic Resource
    A decision class analysis of critical care life-support decision-making (1993)
    Springer
    Journal of clinical monitoring and computing 10 (1993), S. 31-66 
    Details
    ISSN: 1573-2614
    Keywords: decision analysis ; decision-making ; critical care ; intensive care ; computer ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Abstract Decision analysis is a powerful methodology that can help clinicians make good decisions. Because it is not practical to place a decision analyst at the bedside in critical care units, the application of this methodology will require leveraging the analyst through computer-based systems. A decision class analysis is a collective analysis of a group of decisions that provides the high-level specification for such a computer system. This paper presents a decision class analysis of critical care life-support decisions. Key elements of this analysis are: the simplification of an otherwise extremely complex multistage sequential decision problem by using a sequence of two-stage models, and the use of six generic knowledge maps that capture the extremely complex relevant medical knowledge.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01133524
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 61
    Electronic Resource
    Electronic Resource
    Computational logic: a method for formal analysis of the ICU knowledge base (1993)
    Springer
    Journal of clinical monitoring and computing 10 (1993), S. 67-79 
    Details
    ISSN: 1573-2614
    Keywords: knowledge-based systems ; logic ; ICU ; critical care ; decision-making ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Abstract The object of clinical computing is to support the making of clinical decisions. This takes place in an integrated context of care that involves processes of three different kinds: (1) the physiologic processes in the patient, (2) the processes of physiologic data as stored in, and moved within, a distributed computing system, and (3) the therapeutic and decision-making processes of the clinical staff. The clinical computing system is complex, and as we press it further to work as a partner in the complete care context, it tends to become unmanageably so. In this article, we try to suggest how one might begin using a formal mathematical theory, called ‘computational logic,’ to give theoretical analyses that might help one to understand the computing system and thereby to try to increase its ability to meet demands on it, and might help one to understand the care context as a whole. We examine the three levels, one at a time, looking for structural analogies between them, and trying to identify the ways that they are linked together. Computational logic provides us with a common set of notions for doing so.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01133525
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 62
    Electronic Resource
    Electronic Resource
    The intelligent help system COMFOHELP (1993)
    Springer
    User modeling and user adapted interaction 3 (1993), S. 249-282 
    Details
    ISSN: 1573-1391
    Keywords: intelligent help system ; plan recognition ; user modeling ; adaptive systems ; artificial intelligence ; practicality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The paper is concerned with the question of whether and under what conditions active help systems with plan recognition components that have been developed in the environment of artificial intelligence research are able to prove their value in the real context of commercial application programs. The question is investigated using the development of the COMFOHELP intelligent help system as an example. COMFOHELP supports the COMFOTEX graphical text processing program and has been developed by the Linguistic Information Science Group at the University of Regensburg since 1988. The system recognizes erroneous and suboptimal plans pursued by the user by analyzing the dialog history and comparing them with the correct plan for achieving the user's goal. Section 2 discusses the research situation and elaborates on those problems which up to now prevented research concepts for plan recognition and intelligent help systems from being practically applied. Testing error situations empirically is a first prerequisite since potential erroneous plans can only be established in real-world tests. The second prerequisite is a special system architecture which counteracts the problem of ambiguities in plan recognition. Section 3 introduces a first still restricted prototype version of COMFOHELP whose efficiency was verified in a statistical hypothesis test. The users performing their text processing tasks with the support of COMFOHELP came off significantly better than members of a reference group working without the intelligent help. Section 4 shows that the proposed COMFOHELP system architecture is reconfirmed by the results of extensive empirical investigations (with more than 100 users) of erroneous plans when using a more complex version of COMFOTEX. The architecture still proves to be worthwhile even when functionality is increased by a factor of three to four.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01257891
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 63
    Electronic Resource
    Electronic Resource
    A comparison of failure-handling approaches for planning systems—Replanning vs. recovery (1993)
    Springer
    Applied intelligence 3 (1993), S. 275-300 
    Details
    ISSN: 1573-7497
    Keywords: Planning ; problem solving ; failure recovery ; actions ; agents ; robotics ; fault-tolerant ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A planning process formulates action assignments for various agents to accomplish a goal statement. In a real situation, unexpected environmental changes (called failures) may invalidate the preformulated plan. When a failure occurs, effective and efficient handling procedures must be taken to prevent irreversible damages. A failure-handling mechanism is a key component in a fault-tolerant system, which makes autonomous operation possible. There are two basic approaches to failure handling—replanning and recovery. In the replanning approach, the currently failure-encountered state is treated as a new initial state, and a brand-new plan is derived from scratch. On the other hand, the recovery approach preserves the applicable components of the original plan and makes necessary adjustments to the preserved plan components to fit the new state. This article presents a method of achieving recovery and compares its performance with replanning. In general, the recovery approach provides a better response time, and the replanning approach sometimes provides a better plan quality.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00872133
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 64
    Electronic Resource
    Electronic Resource
    A continuous approach to inductive inference (1992)
    Springer
    Mathematical programming 57 (1992), S. 215-238 
    Details
    ISSN: 1436-4646
    Keywords: Inductive inference ; Boolean function synthesis ; satisfiability ; artificial intelligence ; integer programming ; interior point method ; Riemannian geometry
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract In this paper we describe an interior point mathematical programming approach to inductive inference. We list several versions of this problem and study in detail the formulation based on hidden Boolean logic. We consider the problem of identifying a hidden Boolean functionℱ:{0, 1} n → {0, 1} using outputs obtained by applying a limited number of random inputs to the hidden function. Given this input—output sample, we give a method to synthesize a Boolean function that describes the sample. We pose the Boolean Function Synthesis Problem as a particular type of Satisfiability Problem. The Satisfiability Problem is translated into an integer programming feasibility problem, that is solved with an interior point algorithm for integer programming. A similar integer programming implementation has been used in a previous study to solve randomly generated instances of the Satisfiability Problem. In this paper we introduce a new variant of this algorithm, where the Riemannian metric used for defining the search region is dynamically modified. Computational results on 8-, 16- and 32-input, 1-output functions are presented. Our implementation successfully identified the majority of hidden functions in the experiment.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01581082
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 65
    Electronic Resource
    Electronic Resource
    An introduction to neural networks and their applications in manufacturing (1992)
    Springer
    Journal of intelligent manufacturing 3 (1992), S. 391-403 
    Details
    ISSN: 1572-8145
    Keywords: artificial intelligence ; neural network ; error back-propagation ; competitive learning
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract It is a frequently quoted fact that today's manufacturing functions are becoming more and more ‘inter-disciplinary’, with new approaches and techniques continuously and rapidly introduced and adopted. The recent applications of neural networks in manufacturing provide a typical example of this trend. This paper examines the structures and functions of neural networks, and provides some examples of their manufacturing applications.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01473534
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 66
    Electronic Resource
    Electronic Resource
    ARMMS: Analogical reasoning model management system for multicriteria vehicle scheduling (1992)
    Springer
    Annals of operations research 38 (1992), S. 421-452 
    Details
    ISSN: 1572-9338
    Keywords: Analogical reasoning ; model management ; vehicle scheduling ; knowledge-based systems ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Economics
    Notes: Abstract The transportation industry problem of scheduling vehicles combines the spatial characteristics of routing with time domain considerations of activity schedules. The problem is complex because of the numerous interacting constraints in the spatial and time domains. Further, some of the constraints are flexible and some arise in real-time. The scheduling problem is often presented with multiple objectives that are not all economic in nature and which can be contradictory to one another. In response to these needs, this paper describes an analogical reasoning model management system, called ARMMS, designed in the domain of vehicle scheduling. ARMMS consists of knowledge bases and data bases, a truth maintenance system, a user interface, an inference engine, a learning mechanism, and a model library. Given a scheduling problem, ARMMS searches its memory for solutions. If no solution is available, ARMMS falls back on an analogical problem solving approach in which similar experience can be recalled, and solutions to new, but similar, problems can be constructed. If no similar experience exists, ARMMS intelligently selects an appropriate algorithmic model from its model library, based on the input parameters and problem type, to solve the given problem. By combining experts' knowledge, analogical problem-solving approaches, and algorithmic methods, ARMMS provides an efficient problem-solving approach for vehicle scheduling and routing. ARMMS is also a feasible base for the development of intelligent model management systems.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02283660
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 67
    Electronic Resource
    Electronic Resource
    Wissensbasierte Systeme — Utopie und Realität (1992)
    Springer
    Journal for general philosophy of science 23 (1992), S. 315-322 
    Details
    ISSN: 1572-8587
    Keywords: knowledge-based systems ; expert systems ; artificial intelligence ; philosophy of science ; philosophy of technology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The following article is a response to K. Mainzer's ‘Knowledge-Based Systems; Remarks on the Philosophy of Technology and Artificial Intelligence’. We show, that Mainzer does not reach any of his aims to analyse the possibilities and limits of AI-technology. to reduce anxiousness and hostility against AI, which is motivated by phantastic speculations. to evaluate the factual impact of AI on our lives and on society. His article contributes on the contrary to phantastic speculations, which are not technologically justified in any way. There are two main reasons for his misleading view: (a) the state of the art of knowledge-based systems is incorrectly described; (b) the roots, paradigms and alternatives to AI are not in the least sufficiently analysed. We examine issues (a) and (b) in Chapter 1 and Chapter 2. In Chapter 3 we discuss, how the conclusions, which Mainzer draws, have to be modified. In analysing the lines of argumentation of Mainzer we try to clarify the methodological errors and the philosophical attitude of Mainzer, which is in many respects not adequate to the subject of the article.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01801455
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 68
    Electronic Resource
    Electronic Resource
    Beauty and the beast: New approaches to teaching computing for humanities students at the University of Aberdeen (1992)
    Springer
    Computers and the humanities 26 (1992), S. 267-274 
    Details
    ISSN: 1572-8412
    Keywords: education ; human computer interaction ; artificial intelligence ; computing ; humanities
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Media Resources and Communication Sciences, Journalism
    Notes: Abstract This paper reports on the history and development of a new undergraduate course teaching computing for humanities students at the University of Aberdeen, and assesses some new teaching approaches developed in the course. It is noted that teaching computing to humanities students appears to be viewed with suspicion by some Computer Science and Humanities Departments. The two camps seem to fear, for different reasons, that issues and practices important to their disciplines will be compromised or watered down. This paper describes an attempt to reverse any such attitudes on the part of staff and students and to take undergraduates considerably beyond mere word processing and computer literacy. Various methods and techniques used in the course are presented and their value assessed. The importance of using a consistent computer interface to helping students form a stable conceptual model of computers is considered. We reflect on the value of teaching more about Human Computer Interaction and Artificial Intelligence than is usual in Humanities Computing courses. A number of lessons are drawn from the course.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00054272
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 69
    Electronic Resource
    Electronic Resource
    A framework for intelligent test data generation (1992)
    Springer
    Journal of intelligent and robotic systems 5 (1992), S. 147-165 
    Details
    ISSN: 1573-0409
    Keywords: Rule-based systems ; goodness values ; software engineering ; artificial intelligence ; software testing ; branch coverage
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract Test data generation using traditional software testing methods generally requires considerable manual effort and generates only a limited number of test cases before the amount of time expanded becomes unacceptably large. A rule-based framework that will automatically generate test data to achieve maximal branch coverage is presented. The design and discovery of rules used to generate meaningful test cases are also described. The rule-based approach allows this framework to be extended to include additional testing requirements and test case generation knowledge.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00444293
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 70
    Electronic Resource
    Electronic Resource
    Knowledge-based decision support for patient monitoring in cardioanesthesia (1992)
    Springer
    Journal of clinical monitoring and computing 9 (1992), S. 1-11 
    Details
    ISSN: 1573-2614
    Keywords: anesthesia ; artificial intelligence ; Computer-Assisted Decision Making ; Computer-Assisted Therapy ; Physiologic Monitoring
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Abstract An approach to generating ‘intelligent alarms’ is presented that aggregates many information items, i.e. measured vital signs, recent medications, etc., into state variables that more directly reflect the patient's physiological state. Based on these state variables the described decision support system AES-2 also provides therapy recommendations. The assessment of the state variables and the generation of therapeutic advice follow a knowledge-based approach. Aspects of uncertainty, e.g. a gradual transition between ‘normal’ and ‘below normal’, are considered applying a fuzzy set approach. Special emphasis is laid on the ergonomic design of the user interface, which is based on color graphics and finger touch input on the screen. Certain simulation techniques considerably support the design process of AES-2 as is demonstrated with a typical example from cardioanesthesia.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01145897
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 71
    Electronic Resource
    Electronic Resource
    DEXPERT: an expert system for the design of experiments (1992)
    Springer
    Statistics and computing 2 (1992), S. 47-54 
    Details
    ISSN: 1573-1375
    Keywords: Experimental design ; artificial intelligence ; analysis of variance
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract DEXPERT is an expert system, built using KEE, for the design and analysis of experiments. From a mathematical model, expected mean squares are computed, tests are determined, and the power of the tests computed. Comparisons between designs are aided by suggestions and verbal interpretations provided by DEXPERT. DEXPERT provides a layout sheet for the collection of the data and then analyzes and interprets the results using analytical and graphical methods.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01889582
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 72
    Electronic Resource
    Electronic Resource
    Automatic generation of assembly plans from topological assembly drawings (1991)
    Springer
    Journal of intelligent manufacturing 2 (1991), S. 213-221 
    Details
    ISSN: 1572-8145
    Keywords: Robotics ; CAD/CAM ; CIMS ; drawing recognition ; image understanding ; pattern recognition ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract An automatic understanding system MAD-READER based on the techniques of image processing, pattern recognition, and artificial intelligence has been developed for mechanical engineering drawings. The principles of the system are presented, which include the methods and techniques of recognition and understanding for topological assembly drawings (TAD). A rule-based generator GEN-PLAN is devised to generate directly assembly plans from TAD assembly drawings. A variety of TAD assembly drawings has been used for testing the generator. So far, GEN-PLAN has been used to recognize TAD assembly drawings which consist of 31 part symbols, and generate their assembly plans. The present generator has shown favorable results.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01471108
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 73
    Electronic Resource
    Electronic Resource
    Nonparametric bandit methods (1991)
    Springer
    Annals of operations research 28 (1991), S. 297-312 
    Details
    ISSN: 1572-9338
    Keywords: Sequential design ; bandit ; nonparametric ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Economics
    Notes: Abstract Bandits are a finite collection of random variables. Bandit problems are Markov decision problems in which, at each decision time, the decision maker selects a random variable (referred to as a bandit “arm”) and observes an outcome. The selection is based on the observation history. The objective is to sequentially choose arms so as to minimize growth (with decision time) rate of the number of suboptimal selections. The appellation “bandit” refers to mechanical gambling machines, and the tradition stems from the question of allocating competing treatments to a sequence of patients having the same disease. Our motivation is “machine learning” in which a game-playing or assembly-line adjusting computer is faced with a sequence of statistically-similar decision problems and, as resource, has access to an expanding data base relevant to these problems. The setting for the present study is nonparametric and infinite horizon. The central aim is to relate a methodology which postulates finite moments or, alternatively, bounded bandit arms. Under these circumstances, strategies proposed are shown to be asymptotically optimal and converge at guaranteed rates. In the bounded-arm case, the rate is optimal. We extend the theory to the case in which the bandit population is infinite, and share some computational experience.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02055587
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 74
    Electronic Resource
    Electronic Resource
    Die starke KI-These (1991)
    Springer
    Journal for general philosophy of science 22 (1991), S. 337-348 
    Details
    ISSN: 1572-8587
    Keywords: conceptual realism ; research program ; artificial intelligence ; predicate logic ; semantics ; strong AI-thesis ; Turing test
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The controversy about the strong AI-thesis was recently revived by two interrelated contributions stemming from J. R. Searle on the one hand and from P. M. and P. S. Churchland on the other hand. It is shown that the strong AI-thesis cannot be defended in the formulation used by the three authors. It violates some well accepted criterions of scientific argumentation, especially the rejection of essentialistic definitions. Moreover, Searle's ‘proof’ is not conclusive. Though it may be reconstructed in a conclusive manner, the modified proof is trivial. Beyond that, the most interesting aspect is formulated as an axiom that is not justified either. Therefore Searle's criticism of strong AI-thesis fails to be a convincing proof — it can be reduced to an unjustified presupposition.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01801214
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 75
    Electronic Resource
    Electronic Resource
    Focus-of-attention techniques in the automatic interpretation of seismograms (1991)
    Springer
    Pure and applied geophysics 135 (1991), S. 61-75 
    Details
    ISSN: 1420-9136
    Keywords: Seismology ; seismic networks ; artificial intelligence ; expert systems ; automatic interpretation ; seismic event detection ; data compression
    Source: Springer Online Journal Archives 1860-2000
    Topics: Geosciences , Physics
    Notes: Abstract The focus-of-attention techniques implemented in SNA2, a knowledge-based system for seismogram interpretation, are presented. They consist of data compression of the input digital records, scanning of the compressed traces to detect candidate seismograms and extraction of seismogram features. A criterion is given to rate the clarity of seismograms; the clarity defines the order in which the system will consider them to build up the interpretation. The proposed techniques are simple and fast; they allow quick rejection of noise and focussing the attention of the system on the portions of traces containing relevant information.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00877009
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 76
    Electronic Resource
    Electronic Resource
    A stock selection strategy using fuzzy neural networks (1991)
    Springer
    Computational economics 4 (1991), S. 77-89 
    Details
    ISSN: 1572-9974
    Keywords: Stock market analysis ; fuzzy logic ; neural network ; artificial intelligence ; risk analysis ; financial analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Economics
    Notes: Abstract This paper describes, from a general system-design perspective, an artificial neural network (ANN) approach to a stock selection strategy. The paper suggests a concept of neural gates which are similar to the processing elements in ANN, but generalized into handling various types of information such as fuzzy logic, probabilistic and Boolean information together. Forecasting of stock market returns, assessing of country risk and rating of stocks based on fuzzy rules, probabilistic and Boolean data can be done using the proposed neural gates. Fuzzy logic is known to be useful for decision-making where there is a great deal of uncertainty as well as vague phenomena, but lacks the learning capability; on the other hand, neural networks are useful in constructing an adaptive system which can learn from historical data, but are not able to process ambiguous rules and probabilistic data sets. This paper describes how these problems can be solved using the proposed neural gates.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00436283
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 77
    Electronic Resource
    Electronic Resource
    Programming in temporal-nonmonotonic reasoning (1991)
    Springer
    Journal of automated reasoning 7 (1991), S. 383-401 
    Details
    ISSN: 1573-0670
    Keywords: First-order logic ; temporal logic ; nonmonotonic reasoning ; artificial intelligence ; PROLOG
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Nonmonotonic reasoning has been proposed as an extension to classical first-order logic. Now people are interested in temporal reasoning with nonmonotonic logic [6]. We combine the monotonic logic [7] with a temporal logic to get a more general reasoning language. We discuss a monotonic logic TML which has predicate formulas, temporal formulas and a special modal formula, and give a completeness theorem of it. We use TH(Δ) to designate the set of theorems of a temporal-nonmonotonic theory Δ which has the same language with TML. The completeness theorem of the temporal-nonmonotonic logic naturally arises. Like the relationship between predicate logic with a practical logic programming language PROLOG, we propose a useful temporal-nonmonotonic reasoning language TN for the temporal-nonmonotonic logic. As an appendix we supply an algorithm for the programming language TN.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00249021
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 78
    Electronic Resource
    Electronic Resource
    Knowledge based scheduling systems: a framework (1990)
    Springer
    Journal of intelligent manufacturing 1 (1990), S. 117-123 
    Details
    ISSN: 1572-8145
    Keywords: Production scheduling ; artificial intelligence ; export systems ; simulation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract Scheduling is a complex problem which occurs often in a manufacturing environment. There are many possible variations within the context of a scheduling problem, enough to overwhelm anyone but an expert. A production manager, faced with the task of job scheduling for a particular process, might well benefit from the advice of a scheduling expert. Even though the scheduling literature is full of optimizing rules for a variety of manufacturing environments few, if any, of these rules have been used in practice. The bewildering variety of theoretical results, the lack of a mechanism to match theoretical results to practical problems and the difficulty in establishing the practical efficacy of the theoretical results are among the reasons for this gap between scheduling theory and practice. This paper describes a scheduling expert system framework which addresses these problems and helps bridge this gap. The solution techniques available in SCHEDEX produce a specific schedule for the problem according to a procedure which has been mathematically proven to provide a satisfactory and often optimal solution, given the criteria for the problem. A simulation model also tests for the effectiveness of a selected technique with respect to the chosen performance measure(s).
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01472508
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 79
    Electronic Resource
    Electronic Resource
    Semi-automated user agents in distributed change management (1990)
    Springer
    Journal of intelligent manufacturing 1 (1990), S. 203-215 
    Details
    ISSN: 1572-8145
    Keywords: Distributed manufacturing ; artificial intelligence ; just-in-time
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract Flexible integration of distributed design and manufacturing activities is one of the key issues in applying ‘just-in-time’ principles along the logistics chain. The potential of AI based approaches in this field is clear, but the inherent asynchrony, concurrency, and inconsistency of distributed operations has reduced enthusiasm so far. This paper discusses coordination in the context of geographically distributed manufacturing of one-of-a-kind products. Cooperation of partners is based on semi-automated user agents which operate as an integrative layer between more dedicated tools and systems. The management of order changes in elevator manufacture is used as a case example. The work reported here is part of the DIMUN project (DIMUN, 1989) in the RACE program.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01471187
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 80
    Electronic Resource
    Electronic Resource
    Legal informatics research in Italy: The Istituto per la Documentazione Giuridica of the Italian National Research Council (1990)
    Springer
    Computers and the humanities 24 (1990), S. 437-443 
    Details
    ISSN: 1572-8412
    Keywords: legal informatics ; law ; Italian legal system ; databases ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Media Resources and Communication Sciences, Journalism
    Notes: Abstract The IDG was originally founded to carry out research into the collection and processing of documentation relating to Italian legislation, case law and legal authority. The Institute has since concentrated on automated documentation and legal informatics, as well as the application of artificial intelligence to the law. This article describes the many projects undertaken at the Institute.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00186488
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 81
    Electronic Resource
    Electronic Resource
    Knowledge-based systems (1990)
    Springer
    Journal for general philosophy of science 21 (1990), S. 47-74 
    Details
    ISSN: 1572-8587
    Keywords: artificial intelligence ; knowledge-based systems ; philosophy of science ; philosophy of technology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary No kind of technology has had such a profound effect upon our lives and society as the new knowledge-based systems which start to overcome the traditional computer technology. Few areas of science raise such high expectations and meet with so much sceptical resistance as Artificial Intelligence (AI). So it is the task of philosophy of science and technology to analyze the factual methodological possibilities of AI-technology. After a historical sketch of AI-development (Chapter 2), the technological foundations of expert systems are described (Chapter 3). It is a surprising result of analysis that expert systems are technical realizations of well-known philosophical methodologies. In this very sense, AI is not only technology, but philosophy too (Chapter 4). On the other hand the question arises if knowledge-based systems can support the work of philosophers of science who want to explain the process of scientific research, inventions, and discoveries. This application of AI for the philosophical professionals is discussed in the 5th chapter. In the 6th chapter some scenarios of AI-technology are described which are expected in the nineties. Then, besides philosophy of science and technology, we have to consider the ethical questions which arise in evaluating the factual impact of AI-technology on our lives and society.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01801416
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 82
    Electronic Resource
    Electronic Resource
    Künstliche Intelligenz und Philosophie (1990)
    Springer
    Journal for general philosophy of science 21 (1990), S. 347-358 
    Details
    ISSN: 1572-8587
    Keywords: artificial intelligence ; understanding ; representation ; meaning ; intentionality ; teleology ; subjectivity ; semiotics ; philosophical anthropology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Artificial Intelligence can be considered as the so far last attempt to decode the anthropological comparison between human beings and machines. Thereby it also represents in a prominent way what can be called “systemic thought”. Searle's conclusive argument against strong AI (that is the idea of computers having intention in a literal way) refers to his precise distinction between syntax and semantics. This difference obviously opposing some of Searle's other essential ideas will only convince if it also explains the genetic-pragmatic aspect. A theory explaining the “life of mind” and the possibility of understanding needs to combine representation and intention with the subjective causation of signs. At the same time they have to be contextualized within a model of teleologically interpreted life recognized with the help of self-experience and self-reflection. This suggests that AI is a simulation which wrongly believes to be a real duplication. Actually it is a semiotic reduction (syntax and semantic surface of signs only) and a psychological compensation (Turing test) connected with a genetic or abductive fallacy. The biological decontextualization, in fact the elimination of teleology and intention, the deconstruction of subjectivity, the loss of the genetic-pragmatic dimension and the abductive fallacy induce the strong AI to confuse its surface-illusion of simulated understanding with the real process itself.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01801043
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 83
    Electronic Resource
    Electronic Resource
    Parallel processing in knowledge-based diagnostic systems (1990)
    Springer
    Journal of intelligent and robotic systems 3 (1990), S. 293-303 
    Details
    ISSN: 1573-0409
    Keywords: Parallel processing ; production systems ; knowledge engineering ; artificial intelligence ; database
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract This paper highlights the use of the parallel processing concept in knowledge-based diagnostic systems. A MIMD machine connected in a cubic mesh fashion using Parlog has been suggested to implement such systems. An algorithm supporting the concurrent execution of multiple conflict set rules of the same production system program is presented. A specific application to communication systems maintenance utilizing these principles has been discussed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00439420
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 84
    Electronic Resource
    Electronic Resource
    The tabu search metaheuristic: How we used it (1990)
    Springer
    Annals of mathematics and artificial intelligence 1 (1990), S. 111-121 
    Details
    ISSN: 1573-7470
    Keywords: Heuristic ; global optimization ; combinatorial programming ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract A general description of tabu search is given and various applications to optimization problems are presented. Some guidelines for applying the tabu metaheuristic are exhibited.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01531073
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 85
    Electronic Resource
    Electronic Resource
    Neural networks and heuristic search (1990)
    Springer
    Annals of mathematics and artificial intelligence 1 (1990), S. 75-95 
    Details
    ISSN: 1573-7470
    Keywords: Neural networks ; artificial intelligence ; heuristic search ; backpropagation ; mathematical learning ; massively parallel computing ; large-scale modeling ; expert systems ; computational logic ; belief networks
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract This surveys the recent developments of applying neural networks to heuristic search. Special focus is given to three categories of applications: combinatorial optimization, rule-based inference, and modeling assistance. The avenues for research point to additional opportunities and some of the mathematical problems that remain to be solved.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01531071
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 86
    Electronic Resource
    Electronic Resource
    Inductive Learning Methods for Knowledge-Based Decision Support: A Comparative Analysis (1990)
    Springer
    Computational economics 3 (1990), S. 147-165 
    Details
    ISSN: 1572-9974
    Keywords: Inductive learning ; decision support systems ; artificial intelligence ; commercial loan evaluation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Economics
    Notes: Abstract This paper describes the inductive learning methods for generating decision rules in decision support systems. Three similarity-based learning systems are studied based on: (1) the AQ-Star method, (2) the Tree-Induction method, and (3) the Probabilistic Learning method. Loan evaluation examples and empirical data are used as a basis for comparing these inductive learning methods on their algorithmic characteristics and decision support performance.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00436712
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 87
    Electronic Resource
    Electronic Resource
    Automatic delineation of drainage basins within digital elevation data using the topographic primal sketch (1990)
    Springer
    Mathematical geology 22 (1990), S. 189-209 
    Details
    ISSN: 1573-8868
    Keywords: artificial intelligence ; topographic analysis ; image analysis ; drainage networks
    Source: Springer Online Journal Archives 1860-2000
    Topics: Geosciences , Mathematics
    Notes: Abstract A new technique for automatic delineation of drainage basin perimeters within digital elevation data is described which applies the topographic primal sketch to digital terrain data, and is much more natural and much more efficient than usual methods that rely upon moving a window over the array of data. This method is able to find drainage channels, mark water flow direction, and recover drainage basin areas. Results appear to be comparable to drainage patterns which can be interpreted visually from contours of the elevation data.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00891823
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 88
    Electronic Resource
    Electronic Resource
    Formulating an approach to develop a system for the temporal analysis of clinical trial data: The POSCH AI project (1990)
    Springer
    Annals of mathematics and artificial intelligence 2 (1990), S. 237-244 
    Details
    ISSN: 1573-7470
    Keywords: Clinical trial data ; artificial intelligence ; statistical analysis ; neural networks ; structure growing technique
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract The architecture and requirements of a prototypical system to help in the statistical investigation of causal relationships in a large clinical trial database are discussed. The suitability of techniques from artificial intelligence (AI), statistical analysis, and neural networks are being studied. Back-propagation experiments indicate that it works about as well as other methods but it is doubtful how useful it will be for discovering relationships in the POSCH dataset. Structure discovery techniques from artificial intelligence are being investigated.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01531009
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 89
    Electronic Resource
    Electronic Resource
    Integrating statistical theory with statistical databases (1990)
    Springer
    Annals of mathematics and artificial intelligence 2 (1990), S. 245-259 
    Details
    ISSN: 1573-7470
    Keywords: Statistics ; artificial intelligence ; database ; knowledge representation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract Statistical databases have traditionally been stored as flat files approximating relations. We propose that by storing statistical data in an object oriented type database, enhanced with knowledge of statistical theory, a more natural and powerful interface to statistical data can be created. A formalism is proposed for dealing with and combining data that have random components by makingstatistics first class citizens in the database world. Entities in the databases are classified according to whether they areobservations, orstatistics.Estimates are a special type ofstatistics which aremoored toobservation entities.Statistics entities are classified by their statistical properties. A hierarchical structure of random features is provided, with distributions at its leaves. This structure is a DAG (Directed Acyclic Graph), which may be extended or redefined for different applications and contains information used to compare and manipulatestatistics.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01531010
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...