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
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
  • Springer  (72)
  • American Chemical Society (ACS)
  • American Institute of Physics (AIP)
  • 2020-2024  (39)
  • 1995-1999  (33)
  • 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
    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
  • 15
    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
  • 16
    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
  • 17
    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
  • 18
    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
  • 19
    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
  • 20
    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
  • 21
    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
  • 22
    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
  • 23
    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
  • 24
    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
  • 25
    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
  • 26
    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
  • 27
    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
  • 28
    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
  • 29
    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
  • 30
    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
  • 31
    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
  • 32
    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
  • 33
    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
  • 34
    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
  • 35
    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
  • 36
    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
  • 37
    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
  • 38
    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
  • 39
    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
  • 40
    Electronic Resource
    Electronic Resource
    A neuro-based expert system for facility layout construction (1999)
    Springer
    Journal of intelligent manufacturing 10 (1999), S. 359-385 
    Details
    ISSN: 1572-8145
    Keywords: Facility layout ; flexible manufacturing systems ; BAM neural networks ; expert 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: Abstract Motivated by the success of implementing expert systems (ESs) based on artificial neural networks (ANNs) to improved classical rule-based expert systems (RBESs), this paper reports on the development of a neuro-based expert system (NBES) for facility layout construction in a manufacturing system. In an artificial intelligence (AI) technique such as the NBES, the semantic structure of If-Then rules is preserved, while incorporating the learning capability of ANNs into the inference mechanism. Unlike implementing a popular back propagation network (BPN) as an ES, the proposed BAMFLO (Bidirectional Associative Memories for Facility LayOut) system is an intelligent layout consultant system consisting of pipeline BAM neural networks with simple, fast incremental learning and multiple bidirectional generalization characteristics. This incrementability makes BAMFLO effective at acquiring, adding or adapting learned layout knowledge; thus it is possible to memorize newly extended If-Then layout rules without retraining old ones. The multi-bidirectionality gives BAMFLO the ability to quickly and reliably generalize a layout solution, and to further infer unknown facts from known facts through a complex knowledge base (memorization) without losing information. The solution process of BAMFLO contains three essential steps: training example generation, incremental learning and solution generalization. The examples (layout knowledge) can be generated from practical experience and/or classical layout software solutions for incrementally training BAMFLO; the process then derives multiply bidirectionally generalized construction layout solutions. The experimental results show that the BAMFLO scheme outperforms five classical layout methods used to generate training examples.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008980812648
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 41
    Electronic Resource
    Electronic Resource
    When Physical Systems Realize Functions... (1999)
    Springer
    Minds and machines 9 (1999), S. 161-196 
    Details
    ISSN: 1572-8641
    Keywords: computation ; implementation ; computationalism ; realization of a function ; digital system ; computer ; computational practice ; cognitive science ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract After briefly discussing the relevance of the notions ‘computation’ and ‘implementation’ for cognitive science, I summarize some of the problems that have been found in their most common interpretations. In particular, I argue that standard notions of computation together with a ‘state-to-state correspondence view of implementation’ cannot overcome difficulties posed by Putnam's Realization Theorem and that, therefore, a different approach to implementation is required. The notion ‘realization of a function’, developed out of physical theories, is then introduced as a replacement for the notional pair ‘computation-implementation’. After gradual refinement, taking practical constraints into account, this notion gives rise to the notion ‘digital system’ which singles out physical systems that could be actually used, and possibly even built.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008364332419
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 42
    Electronic Resource
    Electronic Resource
    Toward a Model of Intelligence as an Economy of Agents (1999)
    Springer
    Machine learning 35 (1999), S. 155-185 
    Details
    ISSN: 0885-6125
    Keywords: reinforcement learning ; multi-agent systems ; planning ; evolutionary economics ; tragedy of the commons ; classifier systems ; agoric systems ; autonomous programming ; cognition ; artificial intelligence ; Hayek ; complex adaptive systems ; temporal difference learning ; evolutionary computation ; economic models of mind ; economic models of computation ; Blocks World ; reasoning ; learning ; computational learning theory ; learning to reason ; meta-reasoning
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A market-based algorithm is presented which autonomously apportions complex tasks to multiple cooperating agents giving each agent the motivation of improving performance of the whole system. A specific model, called “The Hayek Machine” is proposed and tested on a simulated Blocks World (BW) planning problem. Hayek learns to solve more complex BW problems than any previous learning algorithm. Given intermediate reward and simple features, it has learned to efficiently solve arbitrary BW problems. The Hayek Machine can also be seen as a model of evolutionary economics.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1007593124513
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 43
    Electronic Resource
    Electronic Resource
    A Hierarchical Self-Organizing Map Model for Sequence Recognition (1999)
    Springer
    Neural processing letters 9 (1999), S. 209-220 
    Details
    ISSN: 1573-773X
    Keywords: artificial intelligence ; artifical neural networks ; pattern recognition ; self-organizing map
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A novel neural model made up of two self-organizing maps nets – one on top of the other – is introduced and analysed experimentally. The model makes effective use of context information, and that enables it to perform sequence classification and discrimination efficiently. It was successfully applied to real sequences, taken from the third voice of the sixteenth four-part fugue in G minor of the Well-Tempered Clavier (vol. I) of J.S. Bach. The model has an application in domains which require pattern recognition, or more specifically, which demand the recognition of either a set of sequences of vectors in time or sub-sequences into a unique and large sequence of vectors in time.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1018685614768
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 44
    Electronic Resource
    Electronic Resource
    Combinatorial Optimization in Rapidly Mutating Drug-Resistant Viruses (1999)
    Springer
    Journal of combinatorial optimization 3 (1999), S. 301-320 
    Details
    ISSN: 1573-2886
    Keywords: HIV ; retrovirus ; virus ; clinical treatment ; drug resistance ; mutants ; mutations ; artificial intelligence ; expert system
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract Resistance to chemicals is a common current problem in many pests and pathogens that formerly were controlled by chemicals. An extreme case occurs in rapidly mutating viruses such as Human Immunodeficiency Virus (HIV), where the emergence of selective drug resistance within an individual patient may become an important factor in treatment choice. The HIV patient subpopulation that already has experienced at least one treatment failure due to drug resistance is considered more challenging to treat because the treatment options have been reduced. A triply nested combinatorial optimization problem occurs in computational attempts to optimize HIV patient treatment protocol (drug regimen) with respect to drug resistance, given a set of HIV genetic sequences from the patient. In this paper the optimization problem is characterized, and the objects involved are represented computationally. An implemented branch-and-bound algorithm that computes a solution to the problem is described and proved correct. Data shown includes empirical timing results on representative patient data, example clinical output, and summary statistics from an initial small-scale human clinical trial.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1009846028730
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 45
    Electronic Resource
    Electronic Resource
    An approach to integrating intelligentdiagnostics and supervision of machine tools (1998)
    Springer
    Journal of intelligent manufacturing 9 (1998), S. 295-302 
    Details
    ISSN: 1572-8145
    Keywords: Machine tool ; diagnostic ; 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 Arguments are presented for the necessity of integrating diagnostics and supervision in technological machines. An example of integrated diagnostics and supervision of the machine tool main drive, based on an expert system and neural network, is shown. Problems of intelligent thermal displacement supervision and questions related to practical supervision of machining centres are presented.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008841529140
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 46
    Electronic Resource
    Electronic Resource
    Machine planning for manufacturing: dynamic resource allocation and on-line supervisory control (1998)
    Springer
    Journal of intelligent manufacturing 9 (1998), S. 413-430 
    Details
    ISSN: 1572-8145
    Keywords: Manufacturing control ; discrete-event systems ; artificial intelligence ; machine planning
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract In this paper*, we provide tools for integrating machine planning and manufacturing. Specifically, we show how assembly trees can be coded into operators for machine planners and how machine planners can represent flow-lines, assembly and job-shop choices. We provide a polynomial-time algorithm for succinctly combining multiple plans; the resulting plan can be expressed as four matrices that are equivalent to a Petri net. We also provide a dynamic supervisory controller that can execute a single plan or switch between multiple plans as real-time conditions change.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008888215052
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 47
    Electronic Resource
    Electronic Resource
    The Truly Total Turing Test* (1998)
    Springer
    Minds and machines 8 (1998), S. 263-272 
    Details
    ISSN: 1572-8641
    Keywords: artificial intelligence ; behavioral criteria ; other minds problem ; Turing Test
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The paper examines the nature of the behavioral evidence underlying attributions of intelligence in the case of human beings, and how this might be extended to other kinds of cognitive system, in the spirit of the original Turing Test (TT). I consider Harnad's Total Turing Test (TTT), which involves successful performance of both linguistic and robotic behavior, and which is often thought to incorporate the very same range of empirical data that is available in the human case. However, I argue that the TTT is still too weak, because it only tests the capabilities of particular tokens within a preexisting context of intelligent behavior. What is needed is a test of the cognitive type, as manifested through a number of exemplary tokens, in order to confirm that the cognitive type is able to produce the context of intelligent behavior presupposed by tests such as the TT and TTT.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008229619541
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 48
    Electronic Resource
    Electronic Resource
    The Frame Problem: An AI Fairy Tale (1998)
    Springer
    Minds and machines 8 (1998), S. 317-351 
    Details
    ISSN: 1572-8641
    Keywords: artificial intelligence ; frame problem ; causal induction ; machine learning ; logicism ; Bayesian learning ; MML
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract I analyze the frame problem and its relation to other epistemological problems for artificial intelligence, such as the problem of induction, the qualification problem and the "general" AI problem. I dispute the claim that extensions to logic (default logic and circumscriptive logic) will ever offer a viable way out of the problem. In the discussion it will become clear that the original frame problem is really a fairy tale: as originally presented, and as tools for its solution are circumscribed by Pat Hayes, the problem is entertaining, but incapable of resolution. The solution to the frame problem becomes available, and even apparent, when we remove artificial restrictions on its treatment and understand the interrelation between the frame problem and the many other problems for artificial epistemology. I present the solution to the frame problem: an adequate theory and method for the machine induction of causal structure. Whereas this solution is clearly satisfactory in principle, and in practice real progress has been made in recent years in its application, its ultimate implementation is in prospect only for future generations of AI researchers.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008286921835
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 49
    Electronic Resource
    Electronic Resource
    The Development, Control and Operation of an Autonomous Robotic Excavator (1998)
    Springer
    Journal of intelligent and robotic systems 21 (1998), S. 73-97 
    Details
    ISSN: 1573-0409
    Keywords: robotics ; artificial intelligence ; construction
    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 The excavation of foundations, general earthworks and earth removal tasks are activities which involve the machine operator in a series of repetitive operations, suggesting opportunities for the automation through the introduction of robotic technologies with subsequent improvements in machine utilisation and throughput. The automation of the earth removal process is also likely to provide a number of other benefits such as a reduced dependence on operator skills and a lower operator work load, both of which might be expected to contribute to improvements in quality and, in particular, the removal of the need for a local operator when working in hazardous environments. The Lancaster University Computerised Intelligent Excavator or LUCIE has demonstrated the achievement of automated and robotic excavation through the implementation of an integrated, real-time, artificial intelligence based control system utilising a novel form of motion control strategy for movement of the excavator bucket through ground. Having its origins in the systematic observation of a range of machine operators of differing levels of expertise, the control strategy as evolved enables the autonomous excavation of a high quality rectangular trench in a wide variety of types and conditions of ground and the autonomous removal of obstacles such as boulders along the line of that trench. The paper considers the development of the LUCIE programme since its inception and sets out in terms of the machine kinematics the evolution and development of the real-time control strategy from an implementation on a one-fifth scale model of a back-hoe arm to a full working system on a JCB801 360° tracked excavator.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1007932011161
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 50
    Electronic Resource
    Electronic Resource
    The Electronic Encapsulation of Knowledge for Groundwater Quality Management (1998)
    Springer
    Water resources management 12 (1998), S. 51-79 
    Details
    ISSN: 1573-1650
    Keywords: artificial intelligence ; decision support ; expert ; ground-water management ; hydroinformatics ; knowledge encapsulation ; software
    Source: Springer Online Journal Archives 1860-2000
    Topics: Architecture, Civil Engineering, Surveying , Geography
    Notes: Abstract Computers have become the main tool used in Ground Water Quality Management (GWQM). Computer software has been developed to encapsulate, process and present information on groundwater pollution problems. Continuing demands for more efficient handling of information have resulted in increasing integration of the software into Decision Support Systems (DSSs). Encapsulation and integration of both quantitative (numerical) and qualitative (knowledge) information are required to support decision-making processes. A review of current achievements in the software integration and especially in knowledge encapsulation reveals no clear developing directions (research lines) in these fields. Attention must be therefore directed to: (1) the main GWQM tasks, seen in the light of knowledge encapsulation, and (2) postulates and techniques of Artificial Intelligence (AI) related to knowledge encapsulation and DSS development. The case-specific nature of groundwater pollution problems and a lack of formalised expertise in GWQM are the main difficulties in development of knowledge-containing systems. Work on the taxonomy of GWQM tasks and related knowledge is recommended to enable broader application of AI in knowledge encapsulation, as well as in development of DSSs for GWQM as a whole.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1007936719773
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 51
    Electronic Resource
    Electronic Resource
    Using non-traditional approaches to statistical classification and regression in DSS model analysis (1997)
    Springer
    Annals of operations research 74 (1997), S. 269-276 
    Details
    ISSN: 1572-9338
    Keywords: decision support systems ; model analysis ; group method of data handling ; artificial intelligence ; metamodels
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Economics
    Notes: Abstract In a model-based decision support system, the decision maker initially has two primary tasks: finding the key parameters in the model and discovering how those key parameters, both individually and interactively, affect the solution. This paper presents an application of a non-traditional approach to statistical classification and regression to the inductive analysis of model output. Specifically, we describe the application of Ivakhnenko's group method of data handling (GMDH) to the identification of key model parameters and the discovery of a simplified polynomial metamodel, both of which frequently enhance the decision maker's understanding of the modeled environment.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1018978606429
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 52
    Electronic Resource
    Electronic Resource
    Case-Based Reasoning for Repetitive Combinatorial Optimization Problems, Part II: Numerical Results (1997)
    Springer
    Journal of heuristics 3 (1997), S. 25-42 
    Details
    ISSN: 1572-9397
    Keywords: artificial intelligence ; combinatorial optimization
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract This paper presents numerical results from the application of a case-based reasoning approach to several repetitive operations research problems. These experiments are applications of the ideas presented in the previous framework paper, Part I. The three combinatorial optimization problems explored in this paper are the knapsack problem, the travelling salesman problem and the uncapacitated plant location problem. These numerical experiments permit a comparison of the performance of this technique across these three problem classes as well as with the traditional solution algorithms.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1009620815820
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 53
    Electronic Resource
    Electronic Resource
    Gödel's Incompleteness Theorems and Computer Science (1997)
    Springer
    Foundations of science 2 (1997), S. 123-135 
    Details
    ISSN: 1572-8471
    Keywords: Gödel's incompleteness theorems ; Turing machine ; artificial intelligence ; mind-body problem
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General
    Notes: Abstract In the paper some applications of Gödel's incompleteness theorems to discussions of problems of computer science are presented. In particular the problem of relations between the mind and machine (arguments by J.J.C. Smart and J.R. Lucas) is discussed. Next Gödel's opinion on this issue is studied. Finally some interpretations of Gödel's incompleteness theorems from the point of view of the information theory are presented.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1009639629935
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 54
    Electronic Resource
    Electronic Resource
    Software Agents and Their Bodies (1997)
    Springer
    Minds and machines 7 (1997), S. 227-247 
    Details
    ISSN: 1572-8641
    Keywords: Embodiment ; body ; software agents ; artificial intelligence ; computational transformation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Within artificial intelligence and the philosophy of mind,there is considerable disagreement over the relationship between anagent's body and its capacity for intelligent behavior. Some treatthe body as peripheral and tangential to intelligence; others arguethat embodiment and intelligence are inextricably linked. Softwareagents–-computer programs that interact with software environmentssuch as the Internet–-provide an ideal context in which to studythis tension. I develop a computational framework for analyzingembodiment. The framework generalizes the notion of a body beyondmerely having a physical presence. My analysis sheds light oncertain claims made about the relevance of the body to intelligence,as well as on embodiment in software worlds.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008255418509
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 55
    Electronic Resource
    Electronic Resource
    A Knowledge Engineering Framework for Intelligent Retrieval of Legal Case Studies (1997)
    Springer
    Artificial intelligence and law 5 (1997), S. 179-205 
    Details
    ISSN: 1572-8382
    Keywords: legal databases ; information retrieval ; artificial intelligence ; knowledge engineering ; document base
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Law
    Notes: Abstract Juris-Data is one of the largest case-study base in France. The case studies are indexed by legal classification elaborated by the Juris-Data Group. Knowledge engineering was used to design an intelligent interface for information retrieval based on this classification. The aim of the system is to help users find the case-study which is the most relevant to their own. The approach is potentially very useful, but for standardising it for other legal document bases it is necessary to extract a legal classification of the primary documents. Thus, a methodology for the construction of these classifications was designed together with a framework for index construction. The project led to the implementation of a Legal Case Studies Engineering Framework based on the accumulated experimentation and the methodologies designed. It consists of a set of computerised tools which support the life-cycle of the legal document from their processing by legal experts to their consultation by clients.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008242704677
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 56
    Electronic Resource
    Electronic Resource
    Parallel Machines (1997)
    Springer
    Minds and machines 7 (1997), S. 543-551 
    Details
    ISSN: 1572-8641
    Keywords: Parallel ; serial ; sequential ; Turing machine ; effective procedure ; time-dependent ; non-determinism ; McCulloch-Pitts neural network ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Because it is time-dependent, parallel computation is fundamentally different from sequential computation. Parallel programs are non-deterministic and are not effective procedures. Given the brain operates in parallel, this casts doubt on AI's attempt to make sequential computers intelligent.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008284405861
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 57
    Electronic Resource
    Electronic Resource
    Dynamic Generation of Museum Web Pages: The Intelligent Labelling Explorer (1997)
    Springer
    Archives and Museum Informatics 11 (1997), S. 107-115 
    Details
    ISSN: 1573-7500
    Keywords: anaphora〉 ; artificial intelligence ; coherence ; hypertext ; labels ; simulated museum tour ; text generation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Information Science and Librarianship , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Abstract The first phase of the Intelligent Labelling Explorer project has built the ILEX-1.1 system, which uses artificial intelligence technology to generate descriptions of objects displayed in a museum gallery. Each description appears on a World Wide Web page, and the user can move from page to page, viewing the objects in any order, mimicking the experience of someone walking through the museum. Crucially, these descriptions aren't simply retrieved from a storage space, but are generated on demand by combining canned text with fully generated text in a coherent way. This use of dynamic hypertext allows ILEX-1.1 to generate descriptions appropriate to the expertise level of the user and to refer back to objects the user has already seen or to suggest objects the user might be interested in based on what objects they've chosen to look at so far. This paper discusses the advantages of dynamic hypertext and issues related to generating a text that hangs together well.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1009099015843
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 58
    Electronic Resource
    Electronic Resource
    Cooperative Mobile Robotics: Antecedents and Directions (1997)
    Springer
    Autonomous robots 4 (1997), S. 7-27 
    Details
    ISSN: 1573-7527
    Keywords: cooperative robotics ; swarm intelligence ; distributed robotics ; artificial intelligence ; mobile robots ; multiagent systems
    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 There has been increased research interest in systems composed of multiple autonomous mobile robots exhibiting cooperative behavior. Groups of mobile robots are constructed, with an aim to studying such issues as group architecture, resource conflict, origin of cooperation, learning, and geometric problems. As yet, few applications of cooperative robotics have been reported, and supporting theory is still in its formative stages. In this paper, we give a critical survey of existing works and discuss open problems in this field, emphasizing the various theoretical issues that arise in the study of cooperative robotics. We describe the intellectual heritages that have guided early research, as well as possible additions to the set of existing motivations.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008855018923
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 59
    Electronic Resource
    Electronic Resource
    Case-based reasoning for repetitive combinatorial optimization problems, part I: Framework (1996)
    Springer
    Journal of heuristics 2 (1996), S. 55-85 
    Details
    ISSN: 1572-9397
    Keywords: artificial intelligence ; combinatorial optimization
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract This article presents a case-based reasoning approach for the development of learning heuristics for solving repetitive operations research problems. We first define the subset of problems we will consider in this work: repetitive combinatorial optimization problems. We then present several general forms that can be used to select previously solved problems that might aid in the solution of the current problem, and several different techniques for actually using this information to derive a solution for the current problem. We describe both fixed forms and forms that have the ability to change as we solve more problems. A simple example for the 0–1 knapsack problem is presented.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00226293
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 60
    Electronic Resource
    Electronic Resource
    ARPO-2: An expert system for legal advice on the breach of building contracts (1996)
    Springer
    Artificial intelligence and law 4 (1996), S. 133-156 
    Details
    ISSN: 1572-8382
    Keywords: artificial intelligence ; knowledge engineering ; legal expert systems ; building contracts ; breach of contract
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Law
    Notes: Abstract Although Berman and Hafner [Berman 1989, pp. 928–938] presented the possibility to adapt the model of reasoning of development of an expert system for medical diagnosis to the reasoning of a judge when he/she sentences criminals does not resemble the reasoning found in the decisions of physicians, mathematicians or statisticians. When a lawyer reasons, he/she not only looks for the solution of a case; he/she simultaneously looks for the bases on which his/her reasoning can rest [Galindo 1992, pp. 363–367]. That is to say, he/she not only needs to find the solution but moreover he/she has to find the references (laws, jurisprudence and bibliography) that allow him/her to argue the solution. In many cases, computer solutions to these reasoning processes have been made in a separated way: the solution to the cases using expert systems, and the search of documentation using information retrieval systems. This paper presents the ARPO-2 prototype, a solution integrating the two aspects of legal reasoning: an expert system which is able to simultaneously find the solution to a problem and to give the necessary references so that the lawyer argues the solution. The subject on which the prototype solves problems is the breach of building contracts. In this paper, we describe the process of development of an expert system for solving, justification and documentation of ‘breach of contracts’, giving details on the way how the objects that intervene in the case were defined as well as on the reasoning followed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00116789
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 61
    Electronic Resource
    Electronic Resource
    Planning of collision-free paths for a reconfigurable dual manipulator equipped mobile robot (1996)
    Springer
    Journal of intelligent and robotic systems 17 (1996), S. 223-242 
    Details
    ISSN: 1573-0409
    Keywords: reconfigurable robot ; path planning ; artificial intelligence
    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 In this paper, we study the problem of finding a collision-free path for a mobile robot which possesses manipulators. The task of the robot is to carry a polygonal object from a starting point to a destination point in a possibly culttered environment. In most of the existing research on robot path planning, a mobile robot is approximated by a fixed shape, i.e., a circle or a polygon. In our task planner, the robot is allowed to change configurations for avoiding collision. This path planner operates using two algorithms: the collision-free feasible configuration finding algorithm and the collision-free path finding algorithm. The collision-free feasible configuration finding algorithm finds all collision-free feasible configurations for the robot when the position of the carried object is given. The collision-free path finding algorithm generates some candidate paths first and then uses a graph search method to find a collision-free path from all the collision-free feasible configurations along the candidate paths. The proposed algorithms can deal with a cluttered environment and is guaranteed to find a solution if one exists.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00339662
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 62
    Electronic Resource
    Electronic Resource
    Collaborative Research Centre “Situated Artificial Communicators” at the University of Bielefeld, Germany (1996)
    Springer
    Artificial intelligence review 10 (1996), S. 165-170 
    Details
    ISSN: 1573-7462
    Keywords: man-machine communication ; artificial intelligence ; situatedness ; cognitive robotics ; speech and vision integration
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The Collaborative Research Centre “Situated Artificial Communicators” (SFB 360) is employed in modelling that which a person performs when, with a partner, he cooperatively solves a simple assembly task in a certain situation. Acoustic perception of the spoken word, visual perception of the partner and the objects and processes involved in the situation, understanding of that perceived, the formulation of own utterances, e.g. instructions to the partner, and the planning and performance of actions belong to these intelligence abilities. The theme of the Collaborative Research Centre SFB 360, in which Linguistics, Cognitive Science and Artificial Intelligence are closely entwined, is unique in this form. The scientific headquarters at the University of Bielefeld, in North Rhine Westphalia, Germany, has succeeded in entering a field of research which, in the trend of the growing importance of intelligent information systems, is a decisive factor for technical innovation.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00127677
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 63
    Electronic Resource
    Electronic Resource
    Automatic reconstruction of vasculature (1996)
    Springer
    Artificial intelligence review 10 (1996), S. 235-252 
    Details
    ISSN: 1573-7462
    Keywords: angiogram ; artificial intelligence ; natural language processing ; text processing ; vasculature ; vision processing
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Two of the most difficult problems in Artificial Intelligence are processing visual scenes and processing natural languages. There has been a large amount of research in each of these fields but little on their integration. This is surprising given the potential importance of integrated systems, not only for understanding human cognition but also for the range of practical applications that will be enabled. We review previous work and provide an overview of our own work. We focus upon the medical application of reconstructing complicated cerebral blood vessel structures and associated pathologies from images and medical reports. This gives our work a clear and significant practical aim. We show how the ostensibly disparate technologies can be married using a single knowledge representation. Previous attempts at reconstruction have used images alone and no satisfactory solution exists. We believe that the synergy provided by integrating vision and natural language processing provides an information-rich environment that will enable progress toward an efficient and robust solution. Such an integration will have not only have important practical uses but also implications for Artificial Intelligence, Cognitive science, Philosophy, and Psychology.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00127681
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 64
    Electronic Resource
    Electronic Resource
    Space, time, and computation: Trends and problems (1996)
    Springer
    Applied intelligence 6 (1996), S. 5-9 
    Details
    ISSN: 1573-7497
    Keywords: artificial intelligence ; concurrency ; space ; spatial reasoning ; temporal reasoning ; time
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract At the International Joint Conference on Artificial Intelligence (IJCAI) in Chambéry, France, the authors organized and ran a Workshop on Spatial and Temporal Reasoning with the purpose of both presenting current research and development in these areas and fostering an interchange of ideas among attendees of differing interests. In particular, discussion was focussed on the interfaces between three separate concerns: spatial reasoning in AI, temporal reasoning in AI, and temporal methods for concurrent systems. The authors reflect on the outcome of the workshop as well as introduce the extended papers selected for this special issue. Research goals for the immediate future are presented.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00117597
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 65
    Electronic Resource
    Electronic Resource
    Toward an object-oriented and automated approach for achieving robotic assembly (1995)
    Springer
    Journal of intelligent manufacturing 6 (1995), S. 355-364 
    Details
    ISSN: 1572-8145
    Keywords: Robotic assembly ; automated task sequencing ; knowledge-based system ; object-oriented semantics ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: This paper elaborates an object-oriented and automated approach for generating assembly sequences and achieving robotic assembly. This system, built with database and artificial intelligence (AI) techniques, provides the robot with the assembly sequence layout for the automatic handling rule. The critical set of problems is derived from various schemes such as model-based object recognition, features information, geometric and physical constraints between components, knowledge interpretation and robot task sequencing. Pattern recognition regarding shapes and features, along with a knowledge-based assembly, are the key issues of the authors' work. The methodology is shown through two illustrative examples involving different designs of parts in an assembly environment.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00124062
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 66
    Electronic Resource
    Electronic Resource
    Intelligent computer-assisted language learning: A bibliography (1995)
    Springer
    Computers and the humanities 29 (1995), S. 375-387 
    Details
    ISSN: 1572-8412
    Keywords: intelligent computer-assisted language learning ; intelligent computer-assisted language instruction ; ICALI ; ICALL ; computer-assisted language learning ; computer-assisted language instruction ; CALL ; CALI ; language learning ; second language learning ; foreign language learning ; writing instruction ; computer-aided writing ; artificial intelligence ; intelligent tutoring systems ; ITS
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Media Resources and Communication Sciences, Journalism
    Notes: Abstract This bibliography focuses on works discussing intelligent computer-assisted language learning (ICALL). It includes over 200 entries divided into three sections: (1) collections, special issues and bibliographies, (2) general/theoretical works, (3) specific applications.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02279528
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 67
    Electronic Resource
    Electronic Resource
    Crossing and dipping: Some terms for approaching the interface between natural understanding and logical formulation (1995)
    Springer
    Minds and machines 5 (1995), S. 547-560 
    Details
    ISSN: 1572-8641
    Keywords: Metaphor ; Wittgenstein ; natural language ; focusing ; implicit ; artificial intelligence ; explication ; phenomenology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Gendlin proposes experiential concepts as bridges between phenomenology and logical formulation. His method moves back and forth, aiming to increase both natural understanding and logical formulation. On thesubjective side, the concepts requiredirect reference tofelt orimplicit meaning. There is no equivalence between this and the logical side. Rather, in logical “explication”, the implicit iscarried forward, a relation shown by many functions. The subjective is no inner parallel. It performsspecific functions in language. Once these are located, they also lead to developments on the formulated side. To show some of this, Gendlin modifies Lakoff and Johnson's theory of metaphor, and expands it into a theory of all language use. He denies that a metaphor consists of a pattern or image, shared by two situations. There is only one situation — the metaphoric one. The original situation is actually a family of many uses (in the Wittgensteinian sense). As in all speech, a word makes sense only as its use-family “crosses” with an actual situation in the actual spot in a sentence. Subjectively, a metaphor means this crossing. From it, long chains of new similarities and differences can be generated. Ways to study the functions and features of thiscrossing are proposed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00974985
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 68
    Electronic Resource
    Electronic Resource
    Automated anaesthesia record systems, observations on future trends of development (1995)
    Springer
    Journal of clinical monitoring and computing 12 (1995), S. 17-20 
    Details
    ISSN: 1573-2614
    Keywords: anaesthesia record systems ; artificial intelligence ; computer application ; man-machine interfacing ; multi media applications
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Abstract The introduction of electronic anaesthesia documentation systems was attempted as early as in 1979, although their efficient application has become reality only in the past few years. Today, documentation technology is offered by most of the monitor manufacturers and new systems are being developed by various working groups. The advantages of the electronic protocol are apparent: Continuous high quality documentation, comparability of data due to the availability of a anaesthesia data bank, reduction of the workload of the anaesthesia staff and availability of new additional information. Disadvantages of the electronic protocol have also been discussed. Typically, by going through the process of entering data on the course of the anaesthetic procedure on the protocol sheet, the information is mentally absorbed and evaluated by the anaesthetist. This mental processing of information may, however, be missing when the data are recorded fully automatically — without active involvement on the part of the anaesthetist. It seems that electronic anaesthesia protocols will be required in the near future. The advantages of accurate documentation and quality control in the presence of careful planning will outweigh cost considerations. However, at this time, almost none of the commercially available systems have matured to a point where their purchase can be recommended without reservation. There is still a lack of standards for the subsequent exchange of data and a solution to a number of ergonomic problems still remains to be found.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01142441
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 69
    Electronic Resource
    Electronic Resource
    Mechanical verification of strategies (1995)
    Springer
    Journal of automated reasoning 15 (1995), S. 69-93 
    Details
    ISSN: 1573-0670
    Keywords: automated theorem proving ; Boyer-Moore theorem prover ; artificial intelligence ; commonsense reasoning ; planning ; 68T15
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper presents a method of representing planning domains in the Boyer-Moore logic so that we can prove mechanically whether a strategy solves a problem. Current approaches require explicit frame axioms and state constraints to be included as part of a domain specification and use a programming language for expressing strategies. These make it difficult to specify domains and verify plans efficiently. Our method avoids explicit frame axioms, since domains are specified by programming an interpreter for sequences of actions in the Boyer-Moore logic. Strategies are represented as ‘planners’, Lisp programs that take an initial state and other arguments as input and return a sequence of actions that, when executed in the given initial state, will bring about a goal state. Mechanical verification of a strategy is accomplished by proving that the corresponding planner solves all instances of the given problem. We illustrate our approach by verifying strategies in some variations of the blocks world.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00881831
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 70
    Electronic Resource
    Electronic Resource
    Linear programming based decomposition approach in evaluating priorities from pairwise comparisons and error analysis (1995)
    Springer
    Journal of optimization theory and applications 84 (1995), S. 207-234 
    Details
    ISSN: 1573-2878
    Keywords: Pairwise comparisons ; eigenvectors ; analytic hierarchy process ; linear programming ; fuzzy sets ; membership values ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract One of the most difficult issues in many real-life decisionmaking problems is how to estimate the pertinent data. An approach which uses pairwise comparisons was proposed by Saaty and is widely accepted as an effective way of determining these data. Suppose that two matrices with pairwise comparisons are available. Furthermore, suppose that there is an overlapping of the elements compared in these two matrices. The problem examined in this paper is how to combine the comparisons of the two matrices in order to derive the priorities of the elements considered in both matrices. A simple approach and a linear programming approach are formulated and analyzed in solving this problem. Computational results suggest that the LP approach, under certain conditions, is an effective way for dealing with this problem. The proposed approach is of critical importance because it can also result in a reduction of the total required number of comparisons.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02191743
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 71
    Electronic Resource
    Electronic Resource
    An adaptive Student Centered Curriculum for an intelligent training system (1995)
    Springer
    User modeling and user adapted interaction 5 (1995), S. 67-86 
    Details
    ISSN: 1573-1391
    Keywords: Adaptive ; planning ; planning recognition ; simulation ; multi-agent ; multimedia ; tutoring ; artificial intelligence ; knowledge representation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract An intelligent tutoring system customizes its presentation of knowledge to the individual needs of each student based on a model of the student. Student models are more complex than other user models because the student is likely to have misconceptions. We have addressed several difficult issues in reasoning about a student's knowledge and skills within a real-time simulation-based training system. Our conceptual framework enables important aspects of the tutor's reasoning to be based upon simple, comprehensible representations that are the basis for a Student Centered Curriculum. We have built a system for teaching cardiac resuscitation techniques in which the decisions abouthow to teach are separated from the decisions aboutwhat to teach. The training context (i.e., choice of topics) is changed based on a tight interaction between student modeling techniques and simulation management. Although complex student models are still required to support detailed reasoning about how to teach, we argue that the decision about what to teach can be adequately supported by qualitatively simpler techniques, such as overlay models. This system was evaluated in formative studies involving medical school faculty and students. Construction of the student model involves monitoring student actions during a simulation and evaluating these actions in comparison with an expert model encoded as a multi-agent plan. The plan recognition techniques used in this system are novel and allow the expert knowledge to be expressed in a form that is natural for domain experts.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01101802
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 72
    Electronic Resource
    Electronic Resource
    mwKAT: A meta-tool-generated knowledge acquisition tool for multimedia workstations development (1995)
    Springer
    Applied intelligence 5 (1995), S. 51-72 
    Details
    ISSN: 1573-7497
    Keywords: knowledge-based systems ; knowledge acquisition ; artificial intelligence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract mwKAT is an interactive knowledge acquisition tool for acquiring domain knowledge about multimedia components. It constructs knowledge bases for a consulting system that produces the design specification for a multimedia workstation according to the user requirements.mwKAT is generated from and executed inGAS, a primitives-based generic knowledge acquisition meta-tool. It contains three acquisition primitives, namely, parameter proposing, constraint proposing, and fix proposing to construct an intermediate knowledge base represented by a dependency model. These primitives identify necessary domain knowledge and guide users to propose significant components, constraints, and fix methods into the dependency model.mwKAT also invokes knowledge verification and validation primitives to verify the completeness, consistency, compilability, and correctness of the intermediate knowledge base.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00872783
    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...