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
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence  (115)
  • 454 pyrosequencingDNA sequencingmetagenomicsfosmidshotgun library
  • Springer Nature  (116)
Collection
Keywords
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    Optimising Emotions, Incubating Falsehoods (2023)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-04-03
    Description: This open access book deconstructs the core features of online misinformation and disinformation. It finds that the optimisation of emotions for commercial and political gain is a primary cause of false information online. The chapters distil societal harms, evaluate solutions, and consider what must be done to strengthen societies as new biometric forms of emotion profiling emerge. Based on a rich, empirical, and interdisciplinary literature that examines multiple countries, the book will be of interest to scholars and students of Communications, Journalism, Politics, Sociology, Science and Technology Studies, and Information Science, as well as global and local policymakers and ordinary citizens interested in how to prevent the spread of false information worldwide, both now and in the future.
    Keywords: media ecology ; emotional AI ; disinformation ; politics of emotion ; economies of emotion ; digital activism ; fake news ; political communication ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    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
    New Digital Work (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-11
    Description: This open access book will give insights into global issues of work and work systems design from a wide range of perspectives. Topics like the impact of AI in the workplace as well as design for digital sovereignty at the workplace or foresight processes for digital work are covered. Practical cases, empirical results and theoretical considerations are not only taken from Germany and Europe, but also from Southeast Asia, South Africa, Middle America, and Australia. The book intends to expand the so far national view on the aspects of digital work (e.g. like in Ernst Hartmann’s immensely successful work “Zukunft der Arbeit in Industrie 4.0”) into an international context – thus showing not only common challenges, but also offering suggestions, best practice examples or thoughts from different global regions.
    Keywords: Digital Work ; Digital Sovereignty ; Artificial Intelligence ; Capacity Building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCD Economics of industrial organization ; 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
  • 3
    facet.materialart.
    Unknown
    xxAI - Beyond Explainable AI (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This is an open access book. Statistical machine learning (ML) has triggered a renaissance of artificial intelligence (AI). While the most successful ML models, including Deep Neural Networks (DNN), have developed better predictivity, they have become increasingly complex, at the expense of human interpretability (correlation vs. causality). The field of explainable AI (xAI) has emerged with the goal of creating tools and models that are both predictive and interpretable and understandable for humans. Explainable AI is receiving huge interest in the machine learning and AI research communities, across academia, industry, and government, and there is now an excellent opportunity to push towards successful explainable AI applications. This volume will help the research community to accelerate this process, to promote a more systematic use of explainable AI to improve models in diverse applications, and ultimately to better understand how current explainable AI methods need to be improved and what kind of theory of explainable AI is needed. After overviews of current methods and challenges, the editors include chapters that describe new developments in explainable AI. The contributions are from leading researchers in the field, drawn from both academia and industry, and many of the chapters take a clear interdisciplinary approach to problem-solving. The concepts discussed include explainability, causability, and AI interfaces with humans, and the applications include image processing, natural language, law, fairness, and climate science.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    The Digital Playbook (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book is a practitioner's guide to smart, connected products and solutions. As a hands-on playbook, it combines the business and technical execution perspectives to help product companies, OEMs, manufacturers and equipment operators utilize the full potential of digital enablers, especially Artificial Intelligence (AI), Internet of Things (IoT) and Digital Twins. The Digital Playbook provides comprehensive and actionable guidance, helping to address the challenges of creating sustainable and scalable digital business models, managing cocreation and sourcing, setting up the digital organization, and handling the legal aspects. For the technical execution perspective, the playbook includes the AIoT Framework, which explains how to combine data science and AI engineering with Digital Twins, as well as software development for cloud and edge. The integration with physical product development and retrofit integration of existing equipment is included as well. A pragmatic, agile approach is introduced that takes common agile inhibitors into consideration. A holistic AIoT DevOps approach is described, which combines key elements of DevOps for cloud, edge and AI. Enterprise readiness is ensured by looking at trust and security as well as reliability and resilience for AIoT. A large number of real-world examples and case studies help ensure practical relevance. Readers should have a previous, general understanding of digital strategies and technologies. This book offers readers a clear understanding of the opportunities, as well as the challenges related to building and operating smart, connected products and solutions. They are given a set of tools and blueprints, which they can apply to their practical work in this space. ;
    Keywords: Artificial Intelligence of Things ; Digital OEM ; Product AI ; AIoT DevOps ; Data management ; agile cloud development ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Digital Interaction and Machine Intelligence (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book presents the proceedings of the 10th Machine Intelligence and Digital Interaction Conference. Artificial intelligence (AI) is rapidly affecting more aspects of our lives as a result of significant advancements in its research and the widespread usage of interactive technologies. This has led to the birth of several new social phenomena. Many nations have been working to comprehend these phenomena and discover solutions for moving artificial intelligence development in the proper direction to benefit individuals and communities at large. These efforts necessitate multidisciplinary approaches, encompassing not only the scientific fields involved in the creation of artificial intelligence and human–computer interaction but also strong collaboration between academics and practitioners. Because of this, the primary objective of the MIDI conference, which was conducted online on December 13–15, 2022, is to combine two up until recently distinct disciplines of research—artificial intelligence and human–technology interaction.
    Keywords: Computational Intelligence ; AI ; MIDI 2022 ; 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
  • 6
    facet.materialart.
    Unknown
    Responsible AI in Africa (2023)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-04-06
    Description: This open access book contributes to the discourse of Responsible Artificial Intelligence (AI) from an African perspective. It is a unique collection that brings together prominent AI scholars to discuss AI ethics from theoretical and practical African perspectives and makes a case for African values, interests, expectations and principles to underpin the design, development and deployment (DDD) of AI in Africa. The book is a first in that it pays attention to the socio-cultural contexts of Responsible AI that is sensitive to African cultures and societies. It makes an important contribution to the global AI ethics discourse that often neglects AI narratives from Africa despite growing evidence of DDD in many domains. Nine original contributions provide useful insights to advance the understanding and implementation of Responsible AI in Africa, including discussions on epistemic injustice of global AI ethics, opportunities and challenges, an examination of AI co-bots and chatbots in an African work space, gender and AI, a consideration of African philosophies such as Ubuntu in the application of AI, African AI policy, and a look towards a future of Responsible AI in Africa. This is an open access book.
    Keywords: Artificial Intelligence ; AI Ecosystems in Africa ; AI ethics ; digital culture ; SDGs ; Sustainable Development Goals ; AI policy ; ICT infrastructure in Africa ; AI governance ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Photonic Neural Networks with Spatiotemporal Dynamics (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: This open access book presents an overview of recent advances in photonic neural networks with spatiotemporal dynamics. The computing and implementation paradigms presented in this book are outcomes of interdisciplinary studies by collaborative researchers from the three fields of nonlinear mathematical science, information photonics, and integrated systems engineering. This book offers novel multidisciplinary viewpoints on photonic neural networks, illustrating recent advances in three types of computing methodologies: fluorescence energy transfer computing, spatial-photonic spin system, and photonic reservoir computing. The book consists of four parts: Part I introduces the backgrounds of optical computing and neural network dynamics; Part II presents fluorescence energy transfer computing, a novel computing technology based on nanoscale networks of fluorescent particles; Parts III and IV review the models and implementation of spatial-photonic spin systems and photonic reservoir computing, respectively. These contents are beneficial to researchers in a broad range of fields, including information science, mathematical science, applied physics, and engineering, to better understand the novel computing concepts of photonic neural networks with spatiotemporal dynamics.
    Keywords: photonic neural network ; spatiotemporal dynamics ; optical computing ; nonlinear dynamics ; fluorescence energy transfer ; Ising machine ; reservoir computing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWR Nonlinear science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Introduction to Digital Humanism (2024)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access textbook introduces and defines digital humanism from a diverse range of disciplines. Following the 2019 Vienna Manifesto, the book calls for a digital humanism that describes, analyzes, and, most importantly, influences the complex interplay of technology and humankind, for a better society and life, fully respecting universal human rights. The book is organized in three parts: Part I “Background” provides the multidisciplinary background needed to understand digital humanism in its philosophical, cultural, technological, historical, social, and economic dimensions. The goal is to present the necessary knowledge upon which an effective interdisciplinary discourse on digital humanism can be founded. Part II “Digital Humanism – a System’s View” focuses on an in-depth presentation and discussion of the main digital humanism concerns arising in current digital systems. The goal of this part is to make readers aware and sensitive to these issues, including e.g. the control and autonomy of AI systems, privacy and security, and the role of governance. Part III “Critical and Societal Issues of Digital Systems” delves into critical societal issues raised by advances of digital technologies. While the public debate in the past has often focused on them separately, especially when they became visible through sensational events the aim here is to shed light on the entire landscape and show their interconnected relationships. This includes issues such as AI and ethics, fairness and bias, privacy and surveillance, platform power and democracy. This textbook is intended for students, teachers, and policy makers interested in digital humanism. It is designed for stand-alone and for complementary courses in computer science, or curricula in science, engineering, humanities and social sciences. Each chapter includes questions for students and an annotated reading list to dive deeper into the associated chapter material. The book aims to provide readers with as wide an exposure as possible to digital advances and their consequences for humanity. It includes constructive ideas and approaches that seek to ensure that our collective digital future is determined through human agency.
    Keywords: ethics in computer science ; responsible technologies ; legal issues and regulation ; data privacy ; digitalization ; digital economy ; digital humanism ; social responsibility ; 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::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; 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::QDTS Social and political philosophy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Big Data and Artificial Intelligence in Digital Finance (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-11
    Description: This open access book presents how cutting-edge digital technologies like Big Data, Machine Learning, Artificial Intelligence (AI), and Blockchain are set to disrupt the financial sector. The book illustrates how recent advances in these technologies facilitate banks, FinTech, and financial institutions to collect, process, analyze, and fully leverage the very large amounts of data that are nowadays produced and exchanged in the sector. To this end, the book also describes some more the most popular Big Data, AI and Blockchain applications in the sector, including novel applications in the areas of Know Your Customer (KYC), Personalized Wealth Management and Asset Management, Portfolio Risk Assessment, as well as variety of novel Usage-based Insurance applications based on Internet-of-Things data. Most of the presented applications have been developed, deployed and validated in real-life digital finance settings in the context of the European Commission funded INFINITECH project, which is a flagship innovation initiative for Big Data and AI in digital finance. This book is ideal for researchers and practitioners in Big Data, AI, banking and digital finance.
    Keywords: Artificial Intelligence and Big Data ; Digital Finance ; FinTech ; Blockchain ; RegTech ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; 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
  • 10
    facet.materialart.
    Unknown
    Künstliche Intelligenz in der Forschung (2021)
    Springer Nature | Springer Berlin Heidelberg
    Details
    Publication Date: 2024-04-08
    Description: Dieses Buch ist eine Open Access Publikation. Der lange gehegte Traum von künstlicher Intelligenz (KI) wird in unserer Alltagswelt zunehmend Realität. Damit verbinden sich hohe gesellschaftliche Erwartungen, aber auch Sorgen hinsichtlich einer schleichenden Entmündigung des Menschen. Am Beispiel des Forschungssektors lotet dieser Band die Optionen, Entwicklungschancen und Risiken von KI-Techniken für die Zukunft des wissenschaftlichen Erkenntnisprozesses und der darauf beruhenden technischen Entwicklungen aus. Zu diesem Zweck wird zunächst der Stand der KI-Technik und ihrer Anwendungen dargestellt. Es folgen wissenschaftsphilosophische Untersuchungen zur Frage der Ersetzbarkeit des forschenden Menschen durch KI und zu erwartenden Veränderungen in der wissenschaftlichen Forschung. Weitere Abschnitte widmen sich den Folgen für die Arbeitswelt von Forschern/Forscherinnen sowie den durch KI erzeugten neuen Herausforderungen für die rechtliche Regulierung im Spannungsfeld von Wissenschaftsfreiheit und Datenschutz. Der Band schließt mit Empfehlungen für die verantwortlichen Akteure in Wissenschaft, Forschungspolitik und Gesellschaft aus interdisziplinärer Perspektive.
    Keywords: Künstliche Intelligenz ; Big Data ; Computerwissenschaften ; Wandel in Wissenschaft und Forschung ; Wissenschaftsgeschichte ; Wissenschaftsphilosophie ; Psychologie wissenschaftlicher Arbeit ; Organisationspsychologie ; Arbeitsgestaltung ; Wissenschaft und Wirtschaft ; Regulierung in Wissenschaft und Forschung ; Forschungsethik ; Technikfolgenabschätzung ; wissenschaftliche Politikberatung ; Open Access ; 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 ; 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
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    Hypergraph Computation (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: This open access book discusses the theory and methods of hypergraph computation. Many underlying relationships among data can be represented using graphs, for example in the areas including computer vision, molecular chemistry, molecular biology, etc. In the last decade, methods like graph-based learning and neural network methods have been developed to process such data, they are particularly suitable for handling relational learning tasks. In many real-world problems, however, relationships among the objects of our interest are more complex than pair-wise. Naively squeezing the complex relationships into pairwise ones will inevitably lead to loss of information which can be expected valuable for learning tasks. Hypergraph, as a generation of graph, has shown superior performance on modelling complex correlations compared with graph. Recent years have witnessed a great popularity of researches on hypergraph-related AI methods, which have been used in computer vision, social media analysis, etc. We summarize these attempts as a new computing paradigm, called hypergraph computation, which is to formulate the high-order correlations underneath the data using hypergraph, and then conduct semantic computing on the hypergraph for different applications. The content of this book consists of hypergraph computation paradigms, hypergraph modelling, hypergraph structure evolution, hypergraph neural networks, and applications of hypergraph computation in different fields. We further summarize recent achievements and future directions on hypergraph computation in this book.
    Keywords: Hypergraph ; Hypergraph Computation ; Hypergraph Learning ; Hypergraph Modelling ; Hypergraph Neural Network ; Complex Correlation Modelling ; High-Order Correlation Modelling ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    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
  • 13
    facet.materialart.
    Unknown
    Principles of Security and Trust (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::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
    European Language Grid (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book provides an in-depth description of the EU project European Language Grid (ELG). Its motivation lies in the fact that Europe is a multilingual society with 24 official European Union Member State languages and dozens of additional languages including regional and minority languages. The only meaningful way to enable multilingualism and to benefit from this rich linguistic heritage is through Language Technologies (LT) including Natural Language Processing (NLP), Natural Language Understanding (NLU), Speech Technologies and language-centric Artificial Intelligence (AI) applications. The European Language Grid provides a single umbrella platform for the European LT community, including research and industry, effectively functioning as a virtual home, marketplace, showroom, and deployment centre for all services, tools, resources, products and organisations active in the field. Today the ELG cloud platform already offers access to more than 13,000 language processing tools and language resources. It enables all stakeholders to deposit, upload and deploy their technologies and datasets. The platform also supports the long-term objective of establishing digital language equality in Europe by 2030 – to create a situation in which all European languages enjoy equal technological support. This is the very first book dedicated to Language Technology and NLP platforms. Cloud technology has only recently matured enough to make the development of a platform like ELG feasible on a larger scale. The book comprehensively describes the results of the ELG project. Following an introduction, the content is divided into four main parts: (I) ELG Cloud Platform; (II) ELG Inventory of Technologies and Resources; (III) ELG Community and Initiative; and (IV) ELG Open Calls and Pilot Projects.
    Keywords: Language technology platform ; Language processing platform ; LT platform ; NLP platform ; Language technology directory ; Language processing directory ; LT directory ; NLP directory ; Language technology repository ; Language processing repository ; LT repository ; NLP repository ; Language data repository ; 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::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; 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
  • 15
    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
  • 16
    facet.materialart.
    Unknown
    From Digital Twins to Digital Selves and Beyond (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book aims at deepening the understanding of the relation between cyber-physical systems (CPSs) as socio-technical systems and their digital representations with intertwined artificial intelligence (AI). The authors describe why it is crucial for digital selves to be able to develop emotional behavior and why a humanity-inspired AI is necessary so that humans and humanoids can coexist. The introductory chapter describes major milestones in computer science which form the basis for the implementation of digital twins and digital selves. The subsequent Part I then lays the foundation to develop a socio-technical understanding of the nature of digital twins as representations and trans-human development objects. Following the conceptual understanding of digital twins and how they could be engineered according to cognitive and organizational structures, Part II forms the groundwork for understanding social behavior and its modeling. It discusses various perception-based socio-emotional approaches before sketching behavior-relevant models and their simulation capabilities. In particular, it is shown how emotions can substantially influence the collective behavior of artificial actors. Part III eventually presents a symbiosis showing under which preconditions digital selves might construct and produce digital twins as integrated design elements in trans-human ecosystems. The chapters in this part are dedicated to opportunities and modes of co-creating reflective socio-trans-human systems based on digital twin models, exploring mutual control and continuous development. The final epilog is congenitally speculative in its nature by presenting thoughts on future developments of artificial life in computational substrates. The book is written for researchers and professionals in areas like cyber-physical systems, robotics, social simulation or systems engineering, interested to take a speculative look into the future of digital twins and autonomous agents. It also touches upon philosophical aspects of digital twins, digital selves and humanoids.
    Keywords: Trans-Humanism ; Digital Twins ; Digital Society ; Artificial Intelligence ; Transformative Change ; Cyber-Physical Systems ; Robotics ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Automated Machine Learning (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself. This book serves as a point of entry into this quickly-developing field for researchers and advanced students alike, as well as providing a reference for practitioners aiming to use AutoML in their work.
    Keywords: Computer science ; Artificial intelligence ; Optical data processing ; Pattern recognition ; 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::UYQP Pattern recognition ; 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::UY Computer science::UYQ Artificial intelligence::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    Frontiers of Combining Systems (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
    Keywords: artificial intelligence ; computer networks ; automated reasoning ; computer systems ; description logics ; formal languages ; formal logic ; constraint solving ; decision procedures ; network protocols ; ontologies ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; 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::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::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    Classification and Data Science in the Digital Age (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: The contributions gathered in this open access book focus on modern methods for data science and classification and present a series of real-world applications. Numerous research topics are covered, ranging from statistical inference and modeling to clustering and dimension reduction, from functional data analysis to time series analysis, and network analysis. The applications reflect new analyses in a variety of fields, including medicine, marketing, genetics, engineering, and education. The book comprises selected and peer-reviewed papers presented at the 17th Conference of the International Federation of Classification Societies (IFCS 2022), held in Porto, Portugal, July 19–23, 2022. The IFCS federates the classification societies and the IFCS biennial conference brings together researchers and stakeholders in the areas of Data Science, Classification, and Machine Learning. It provides a forum for presenting high-quality theoretical and applied works, and promoting and fostering interdisciplinary research and international cooperation. The intended audience is researchers and practitioners who seek the latest developments and applications in the field of data science and classification.
    Keywords: Classification ; Data Science ; Clustering ; Statistical Learning ; Machine Learning ; Data Analysis ; Mutlivariate Analysis ; Statistical Inference ; Dimension Reduction ; Functional Data Analysis ; Time Series Analysis ; Network Analysis ; 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 ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    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
  • 21
    facet.materialart.
    Unknown
    Digitalisierung souverän gestalten II (2021)
    Springer Nature | Springer Vieweg
    Details
    Publication Date: 2024-04-11
    Description: Dieses Buch ist eine Open-Access-Publikation unter einer CC BY 4.0 Lizenz. Unter dem Titel „Digitalisierung souverän gestalten“ wirft der zweite Themenband des Instituts für Innovation und Technik (iit) einen schlaglichtartigen Blick auf die Transformation von digitalen Wertschöpfungsnetzwerken und deren Potenziale. In insgesamt elf Beiträgen beleuchten Expert:innen aus verschiedenen Disziplinen Ansätze hybrider und humanzentrierter künstlicher Intelligenz (KI), praxisnahe Konzepte für eine zielgerichtete Kompetenzentwicklung in Betrieben sowie digitale Innovationen im Werkzeug- und Formenbau. Neben zahlreichen Use Cases werden dabei auch Antworten auf juristische Fragen zur Regulierung und Zertifizierung von KI gegeben.
    Keywords: Open Access ; Digitale Souveränität ; Künstliche Intelligenz ; Innovationen im Maschinenbau ; Digitalisierte Arbeitsplätze ; Maschinelles Lernen ; Mensch-Maschine-Interaktionen ; Zertifizierung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCD Economics of industrial organization ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYM Computer modelling and simulation ; 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
  • 23
    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
  • 24
    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
  • 25
    facet.materialart.
    Unknown
    Nanotechnology in Construction for Circular Economy (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book covers emerging opportunities and future use of nanotechnology in construction, including deep advances in cement chemistry, nanotechnology, artificial intelligence, robotics, concrete technology, and extreme engineering (blast, impact and fire). The proceedings also presents sectorial interactions within the traditional construction industry supply chain, enabled by the dynamic partnership between international industry, government agencies, and universities. Nanotechnology has transformed the construction materials industry into an advanced manufacturing sector to address climate change and carbon neutrality challenges by delivering sustainable and resilient infrastructure assets. Hence, this book reports specific advances in nanoscience and nano-engineering, and their impacts on numerous novel construction materials including binders, additives, high-performance concrete materials, concrete structural systems, polymer composites, and pavement materials.
    Keywords: Cement chemistry ; Concrete technology ; Polymer composites ; Pavement materials ; Construction material ; Nanocomposites ; Structural health monitoring ; Polymer paints ; Cement additives ; Clinker and Binder ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBN Nanotechnology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    facet.materialart.
    Unknown
    Artificial Intelligence Technology (2022)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: This open access book aims to give our readers a basic outline of today’s research and technology developments on artificial intelligence (AI), help them to have a general understanding of this trend, and familiarize them with the current research hotspots, as well as part of the fundamental and common theories and methodologies that are widely accepted in AI research and application. This book is written in comprehensible and plain language, featuring clearly explained theories and concepts and extensive analysis and examples. Some of the traditional findings are skipped in narration on the premise of a relatively comprehensive introduction to the evolution of artificial intelligence technology. The book provides a detailed elaboration of the basic concepts of AI, machine learning, as well as other relevant topics, including deep learning, deep learning framework, Huawei MindSpore AI development framework, Huawei Atlas computing platform, Huawei AI open platform for smart terminals, and Huawei CLOUD Enterprise Intelligence application platform. As the world’s leading provider of ICT (information and communication technology) infrastructure and smart terminals, Huawei’s products range from digital data communication, cyber security, wireless technology, data storage, cloud computing, and smart computing to artificial intelligence.
    Keywords: Artificial Intelligence ; Cloud Computing ; Big Data ; Certification ; Huawei ; MindSpore ; 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
  • 27
    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
  • 28
    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
  • 29
    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
  • 30
    facet.materialart.
    Unknown
    Towards Responsible Plant Data Linkage: Data Challenges for Agricultural Research and Development (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-04
    Description: This open access book provides the first systematic overview of existing challenges and opportunities for responsible data linkage, and a cutting-edge assessment of which steps need to be taken to ensure that plant data are ethically shared and used for the benefit of ensuring global food security – one of the UN’s Sustainable Development Goals. The volume focuses on the contemporary contours of such challenges through sustained engagement with current and historical initiatives and discussion of best practices and prospective future directions for ensuring responsible plant data linkage. The volume is divided into four sections that include case studies of plant data use and linkage in the context of particular research projects, breeding programs, and historical research. It address technical challenges of data linkage in developing key tools, standards and infrastructures, and examines governance challenges of data linkage in relation to socioeconomic and environmental research and data collection. Finally, the last section addresses issues raised by new data production and linkage methods for the inclusion of agriculture’s diverse stakeholders. This book brings together leading experts in data curation, data governance and data studies from a variety of fields, including data science, plant science, agricultural research, science policy, data ethics and the philosophy, history and social studies of plant science.
    Keywords: plant sciences and data linkage ; Technical Challenges of Data Linkage ; Governance Challenges of Data Linkage ; Subsistence and Agronomy: Carl Linnaeus ; Managing Data in Crop Breeding ; Data, Duplication, and the Decentralisation of Crop Collections ; Data Management multi-Disciplinary African RTB Crop Breeding ; Potential of Long-Term Agricultural Experiments ; Trials of Linking and Sharing Wheat Research Data ; Plant Scientific Data Integration ; Building Community Standards plant scientific data integration ; Consistent Data Lifecycle plant sciences ; COVID-19 Open Research Dataset ; agriculture data sciences ; Digital Marketplace for Agrobiodiversity ; Plant Genetic Sequence Data ; Digital Sequence Genetic Resources plant sciences ; plant sciences data policy ; Crop Diversity Management data sharing ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDA Philosophy of science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; 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
  • 31
    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
  • 32
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-04
    Description: This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
    Keywords: Computer science ; Mathematical logic ; Artificial intelligence ; Computer science—Mathematics ; Data structures (Computer science) ; Programming languages (Electronic computers) ; Computer programming ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    facet.materialart.
    Unknown
    Modern IoT Onboarding Platforms for Advanced Applications (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This is an open access book. The book starts with an introductory IoT overview related to its selected scope of applications. There is no doubt that digitalization solutions from Industry 4.0 and the Internet of Things (IoT) can be perceived as excellent candidate strategies capable of handling the above-stated issues concerning measurements and transparency. However, IoT tools themselves can provide appropriate data only, while their efficient integration and application are possible using a dedicated onboarding platform only. To settle this issue, the book undertakes the problem of modern IoT onboarding platforms for the advanced applications pertaining to manufacturing and logistics. In particular, instead of deliberating about a possible hypothetic platforms, an existing and efficient one is employed, which is called KIS.ME. KIS.ME (Keep It Simple. Manage Everything) is a complete IoT solution for a simple integration in manufacturing and logistics. It is composed of a set of hardware devices (KIS.BOX, KIS.IO and KIS.LIGHT), which are intuitively integrated with the cloud platform called KIS.MANAGER. Moreover, the entire platform is an open one, and hence, it enables communication with external services using KIS.API architecture. The application range of KIS.ME is extensive. This is due to the intuitive implementation and visualization of a user-defined key performance indicators (KPIs), which constitute effective optimization measures. Thus, the potential areas of application of KIS.ME are, e.g., manufacturing, warehouse management and logistics. Indeed, triggering and/or ordering various tasks can be immediately and efficiently implemented with KIS.ME. Such an approach translates directly to the savings of the time and energy. Subsequently, a gradual introduction to KIS.ME platform is presented, which constitutes the base for further advanced applications including logistics, control and maintenance of various processes. Finally, the potential of KIS.API communication framework is utilized for an efficient communication with external services.
    Keywords: loT Platforms ; KIS.Manager ; Communication Framework ; Warehouse Management and Logistics ; Potential of KIS.API ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    facet.materialart.
    Unknown
    Information and Communication Technologies in Tourism 2023 (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-07
    Description: This open access book provides an extensive overview of the usage of information and communication technologies in the tourism and hospitality industry. It presents the proceedings of the International Federation for IT and Travel & Tourism (IFITT)’s 30th Annual International eTourism Conference, which assembles the latest research presented at the ENTER2023 conference. The enclosed papers cover various topics within the field, including augmented and virtual reality, website development, social media use, e-learning, big data, analytics and recommendation systems.
    Keywords: Virtual reality in tourism and hospitality ; Augmented reality in tourism and hospitality ; e-Tourism ; e-Learning ; recommendation systems in tourism ; social media use in tourism and hospitality ; big data analytics in tourism and hospitality ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNS Hospitality and service industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJJ Business and the environment; ‘green’ approaches to business
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    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
  • 36
    facet.materialart.
    Unknown
    Architecture of Advanced Numerical Analysis Systems (2023)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library. You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language. What You Will Learn Optimize core operations based on N-dimensional arrays Design and implement an industry-level algorithmic differentiation module Implement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiation Design and optimize a computation graph module, and understand the benefits it brings to the numerical computing library Accommodate the growing number of hardware accelerators (e.g. GPU, TPU) and execution backends (e.g. web browser, unikernel) of numerical computation Use the Zoo system for efficient scripting, code sharing, service deployment, and composition Design and implement a distributed computing engine to work with a numerical computing library, providing convenient APIs and high performance Who This Book Is For Those with prior programming experience, especially with the OCaml programming language, or with scientific computing experience who may be new to OCaml. Most importantly, it is for those who are eager to understand not only how to use something, but also how it is built up.
    Keywords: programming language ; OCaml ; scientific computing ; computational ; debugging ; open source ; source ; code ; numerical ; data science ; big data ; owl ; functional ; math ; scientific ; engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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
  • 37
    facet.materialart.
    Unknown
    From Opinion Mining to Financial Argument Mining (2021)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2024-04-14
    Description: Opinion mining is a prevalent research issue in many domains. In the financial domain, however, it is still in the early stages. Most of the researches on this topic only focus on the coarse-grained market sentiment analysis, i.e., 2-way classification for bullish/bearish. Thanks to the recent financial technology (FinTech) development, some interdisciplinary researchers start to involve in the in-depth analysis of investors' opinions. These works indicate the trend toward fine-grained opinion mining in the financial domain. When expressing opinions in finance, terms like bullish/bearish often spring to mind. However, the market sentiment of the financial instrument is just one type of opinion in the financial industry. Like other industries such as manufacturing and textiles, the financial industry also has a large number of products. Financial services are also a major business for many financial companies, especially in the context of the recent FinTech trend. For instance, many commercial banks focus on loans and credit cards. Although there are a variety of issues that could be explored in the financial domain, most researchers in the AI and NLP communities only focus on the market sentiment of the stock or foreign exchange. This open access book addresses several research issues that can broaden the research topics in the AI community. It also provides an overview of the status quo in fine-grained financial opinion mining to offer insights into the futures goals. For a better understanding of the past and the current research, it also discusses the components of financial opinions one-by-one with the related works and highlights some possible research avenues, providing a research agenda with both micro- and macro-views toward financial opinions.
    Keywords: Natural Language Processing (NLP) ; Data Mining and Knowledge Discovery ; Data Structures and Information Theory ; Artificial Intelligence ; Computer Applications ; Data Science ; Computer and Information Systems Applications ; Open Access ; financial opinion mining ; text mining in finance ; financial technology application ; FinTech ; argument mining in finance ; opinion quality evaluation ; numeral understanding ; Natural language & machine translation ; Data mining ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Information theory ; Information technology: general issues ; 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::UN Databases::UNF Data mining ; 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 ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    facet.materialart.
    Unknown
    Kantian Ethics and the Attention Economy (2024)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-04-11
    Description: In this open access book, Timothy Aylsworth and Clinton Castro draw on the deep well of Kantian ethics to argue that we have moral duties, both to ourselves and to others, to protect our autonomy from the threat posed by the problematic use of technology. The problematic use of technologies like smartphones threatens our autonomy in a variety of ways, and critics have only begun to appreciate the vast scope of this problem. In the last decade, we have seen a flurry of books making “self-help” arguments about how we could live happier, more fulfilling lives if we were less addicted to our phones. But none of these authors see this issue as one involving a moral duty to protect our autonomy.
    Keywords: Kantian ethics ; technology ; social media addiction ; artificial intelligence ; distraction ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    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
    Hybrid Intelligence (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book is a compilation of selected papers from DigitalFUTURES 2022—The 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers encounter new ideas about intelligence in architecture.
    Keywords: History, Theory and Critics of Building Technology ; Performance-based Design ; Fabrication and Construction ; Data Mining and Visualizing ; Post-humanist Intelligence ; AI in Architecture ; 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::UG Graphical and digital media applications::UGC Computer-aided design (CAD) ; 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
  • 40
    facet.materialart.
    Unknown
    Artificial Intelligence and Cognitive Science (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes selected papers presented during the 30th Irish Conference on Artificial Intelligence and Cognitive Science, held in Munster, Ireland, in December 2022. The 41 presented papers were thoroughly reviewed and selected from the 102 submissions. They are organized in topical sections on ​machine learning, deep learning and applications; responsible and trustworthy artificial intelligence; natural language processing and recommender systems; knowledge representation, reasoning, optimisation and intelligent applications.
    Keywords: information retrieval ; computer vision ; artificial intelligence ; machine learning ; agent systems ; collaborative networks ; neural networks ; image processing ; patter recognition ; neural computing ; 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::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    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
  • 42
    facet.materialart.
    Unknown
    Handbook of Computational Social Science for Policy (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access handbook describes foundational issues, methodological approaches and examples on how to analyse and model data using Computational Social Science (CSS) for policy support. Up to now, CSS studies have mostly developed on a small, proof-of concept, scale that prevented from unleashing its potential to provide systematic impact to the policy cycle, as well as from improving the understanding of societal problems to the definition, assessment, evaluation, and monitoring of policies. The aim of this handbook is to fill this gap by exploring ways to analyse and model data for policy support, and to advocate the adoption of CSS solutions for policy by raising awareness of existing implementations of CSS in policy-relevant fields. To this end, the book explores applications of computational methods and approaches like big data, machine learning, statistical learning, sentiment analysis, text mining, systems modelling, and network analysis to different problems in the social sciences. The book is structured into three Parts: the first chapters on foundational issues open with an exposition and description of key policymaking areas where CSS can provide insights and information. In detail, the chapters cover public policy, governance, data justice and other ethical issues. Part two consists of chapters on methodological aspects dealing with issues such as the modelling of complexity, natural language processing, validity and lack of data, and innovation in official statistics. Finally, Part three describes the application of computational methods, challenges and opportunities in various social science areas, including economics, sociology, demography, migration, climate change, epidemiology, geography, and disaster management. The target audience of the book spans from the scientific community engaged in CSS research to policymakers interested in evidence-informed policy interventions, but also includes private companies holding data that can be used to study social sciences and are interested in achieving a policy impact.
    Keywords: Computational Social Science ; Data Science ; Big Data Analytics ; Statistical Learning ; Machine Learning ; Sentiment Analysis ; Natural Language Processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::J Society and Social Sciences ; 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
  • 43
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYM Computer modelling and simulation ; 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
  • 44
    facet.materialart.
    Unknown
    Enhanced Living Environments (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-15
    Description: This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate ICT algorithms, architectures, platforms, and systems, having in view the advance of science and technology in this area and the development of new and innovative solutions that can provide improvements in the quality of life for people in their homes and can reduce the financial burden on the budgets of the healthcare providers. The aim of this book is to become a state-of-the-art reference, discussing progress made, as well as prompting future directions on theories, practices, standards, and strategies related to the ELE area. The book contains 12 chapters and can serve as a valuable reference for undergraduate students, post-graduate students, educators, faculty members, researchers, engineers, medical doctors, healthcare organizations, insurance companies, and research strategists working in this area.
    Keywords: Computer science ; Computer organization ; User interfaces (Computer systems) ; Application software ; Artificial intelligence ; Optical data processing ; Application software ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; 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::UY Computer science::UYT Image processing ; 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
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    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
  • 46
    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
  • 47
    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
  • 48
    facet.materialart.
    Unknown
    How AI Impacts Urban Living and Public Health (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and smart environment technology.
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; User interfaces (Computer systems) ; Artificial intelligence ; 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::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based 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::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::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; 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
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    facet.materialart.
    Unknown
    Computer Aided Verification (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; embedded systems ; model checking ; programming languages ; software architecture ; software design ; software quality ; logic and verification ; 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
  • 50
    facet.materialart.
    Unknown
    Computer Aided Verification (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; software engineering ; distributed systems ; model checking ; programming languages ; software quality ; 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::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
  • 51
    facet.materialart.
    Unknown
    Computer Aided Verification (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; computer systems ; distributed systems ; embedded systems ; formal logic ; model checking ; programming languages ; software architecture ; software design ; software quality ; software engineering ; logic and verification ; 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
  • 52
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
    Keywords: Computer science ; Computer logic ; Mathematical logic ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; 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::UYD Systems analysis and design ; 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
  • 53
    facet.materialart.
    Unknown
    Topological Obstructions to Stability and Stabilization (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-11
    Description: This open access book provides a unified overview of topological obstructions to the stability and stabilization of dynamical systems defined on manifolds and an overview that is self-contained and accessible to the control-oriented graduate student. The authors review the interplay between the topology of an attractor, its domain of attraction, and the underlying manifold that is supposed to contain these sets. They present some proofs of known results in order to highlight assumptions and to develop extensions, and they provide new results showcasing the most effective methods to cope with these obstructions to stability and stabilization. Moreover, the book shows how Borsuk’s retraction theory and the index-theoretic methodology of Krasnosel’skii and Zabreiko underlie a large fraction of currently known results. This point of view reveals important open problems, and for that reason, this book is of interest to any researcher in control, dynamical systems, topology, or related fields.
    Keywords: Control Systems ; Feedback Control ; Algebraic Topology ; Differential Topology ; Index Theory ; Retractive Theory ; Topological Obstruction ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWR Nonlinear science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBP Topology ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    facet.materialart.
    Unknown
    Hyperparameter Tuning for Machine and Deep Learning with R (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: This open access book provides a wealth of hands-on examples that illustrate how hyperparameter tuning can be applied in practice and gives deep insights into the working mechanisms of machine learning (ML) and deep learning (DL) methods. The aim of the book is to equip readers with the ability to achieve better results with significantly less time, costs, effort and resources using the methods described here. The case studies presented in this book can be run on a regular desktop or notebook computer. No high-performance computing facilities are required. The idea for the book originated in a study conducted by Bartz & Bartz GmbH for the Federal Statistical Office of Germany (Destatis). Building on that study, the book is addressed to practitioners in industry as well as researchers, teachers and students in academia. The content focuses on the hyperparameter tuning of ML and DL algorithms, and is divided into two main parts: theory (Part I) and application (Part II). Essential topics covered include: a survey of important model parameters; four parameter tuning studies and one extensive global parameter tuning study; statistical analysis of the performance of ML and DL methods based on severity; and a new, consensus-ranking-based way to aggregate and analyze results from multiple algorithms. The book presents analyses of more than 30 hyperparameters from six relevant ML and DL methods, and provides source code so that users can reproduce the results. Accordingly, it serves as a handbook and textbook alike.
    Keywords: Hyperparameter Tuning ; Hyperparameters ; Tuning ; Deep Neural Networks ; Reinforcement Learning ; Machine Learning ; 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::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics ; 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::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    facet.materialart.
    Unknown
    Mission AI (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-07
    Description: This open access book offers a strategic perspective on AI and the process of embedding it in society. ​After decades of research, Artificial Intelligence (AI) is now entering society at large. Due to its general purpose character, AI will change society in multiple, fundamental and unpredictable ways. Therefore, the Netherlands Scientific Council for Government Policy (WRR) characterizes AI as a system technology: a rare type of technologies that have a systemic impact on society. Earlier system technologies include electricity, the combustion engine and the computer. The history of these technologies provides us with useful insights about what it takes to direct the introduction of AI in society. The WRR identifies five key tasks to structurally work on this process: demystification, contextualisation, engagement, regulation and positioning. By clarifying what AI is (demystification), creating a functional ecosystem (contextualisation), involving diverse stakeholders (engagement), developing directive frameworks (regulation) and engaging internationally (positioning), societies can meaningfully influence how AI settles. Collectively, these activities steer the process of co-development between technology and society, and each representing a different path to safeguard public values. Mission AI - The New System Technology was originally published as an advisory report for the government of the Netherlands. The strategic analysis and the outlined recommendations are, however, relevant to every government and organization that aims to take up 'misson AI' and embed this newest system technology in our world.
    Keywords: Artificial intelligence ; Public policy ; Strategic governance of technology ; Safeguarding public values ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    facet.materialart.
    Unknown
    Automated Reasoning with Analytic Tableaux and Related Methods (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
    Keywords: tableaux ; tableaux calculus ; sequent calculus ; proof theory ; theorem proving ; proof assistant ; natural deduction ; formalized proof ; decision procedures ; automated deduction ; SMT ; resolution ; cut-elimination ; non-classical logics ; modal logic ; intuitionistic ; inear logic ; substructural logic ; separation logic ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; 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 ; 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::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    facet.materialart.
    Unknown
    Data-Driven Fault Detection and Reasoning for Industrial Monitoring (2022)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book assesses the potential of data-driven methods in industrial process monitoring engineering. The process modeling, fault detection, classification, isolation, and reasoning are studied in detail. These methods can be used to improve the safety and reliability of industrial processes. Fault diagnosis, including fault detection and reasoning, has attracted engineers and scientists from various fields such as control, machinery, mathematics, and automation engineering. Combining the diagnosis algorithms and application cases, this book establishes a basic framework for this topic and implements various statistical analysis methods for process monitoring. This book is intended for senior undergraduate and graduate students who are interested in fault diagnosis technology, researchers investigating automation and industrial security, professional practitioners and engineers working on engineering modeling and data processing applications. This is an open access book.
    Keywords: Multivariate causality analysis ; Process monitoring ; Manifold learning ; Fault diagnosis ; Data modeling ; Fault classification ; Fault reasoning ; Causal network ; Probabilistic graphical model ; Data-driven methods ; Industrial monitoring ; Open Access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ; 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
  • 58
    facet.materialart.
    Unknown
    Nordic Artificial Intelligence Research and Development (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological applications and medicine; and towards new ai methods. This is an open access book.
    Keywords: artificial intelligence ; clustering algorithms ; computer security ; computer vision ; correlation analysis ; data handling ; data integration ; engineering ; expert systems ; Human-Computer Interaction (HCI) ; image analysis ; image processing ; integrated data ; machine learning ; network protocols ; software engineering ; unsupervised learning ; 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::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; 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::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    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
  • 60
    facet.materialart.
    Unknown
    Dynamic Spectrum Management (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-11
    Description: This open access book, authored by a world-leading researcher in this field, describes fundamentals of dynamic spectrum management, provides a systematic overview on the enabling technologies covering cognitive radio, blockchain, and artificial intelligence, and offers valuable guidance for designing advanced wireless communications systems. This book is intended for a broad range of readers, including students and professionals in this field, as well as radio spectrum policy makers.
    Keywords: Engineering ; Electrical engineering ; Wireless communication systems ; Mobile communication systems ; Computer organization ; Computers ; Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; 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::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; 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
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    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
  • 62
    facet.materialart.
    Unknown
    Silicon Valley Cybersecurity Conference (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes refereed proceedings of the Third Conference on Silicon Valley Cybersecurity Conference, SVCC 2022, held as virtual event, in August 17–19, 2022. The 8 full papers included in this book were carefully reviewed and selected from 10 submissions. The contributions are divided into the following thematic blocks: Malware Analysis; Blockchain and Smart Contracts; Remote Device Assessment. This is an open access book.
    Keywords: artificial intelligence ; blockchain ; classification ; computer crime ; computer networks ; computer security ; computer systems ; computer vision ; cryptography ; data communication systems ; data security ; distributed computer systems ; distributed ledger ; image analysis ; intrusion detection ; machine learning ; network protocols ; network security ; parallel processing systems ; query languages ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; 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::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; 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
  • 63
    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
  • 64
    facet.materialart.
    Unknown
    Machine Learning for Cyber Physical Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-11
    Description: This Open Access proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains some selected papers from the international Conference ML4CPS – Machine Learning for Cyber Physical Systems, which was held in Karlsruhe, October 23-24, 2018. Cyber Physical Systems are characterized by their ability to adapt and to learn: They analyze their environment and, based on observations, they learn patterns, correlations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnosis. Machine Learning is the key technology for these developments.
    Keywords: Engineering ; Computational intelligence ; Computer organization ; Electrical engineering ; Data mining ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; 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::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; 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
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    facet.materialart.
    Unknown
    Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2022 (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-11
    Description: This Open Access proceedings presents a good overview of the current research landscape of assembly, handling and industrial robotics. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
    Keywords: Assembly Processes & Systems ; Handling & Grasping ; Modelling & Simulation ; Human-robot-collaboration ; Industry 4.0 ; Industrial Robotics ; 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 ; 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
  • 66
    facet.materialart.
    Unknown
    New Metropolitan Perspectives (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book conveys attention to the theme of transition towards resilience and sustainability and its evolutionary perspective that emphasizes the complexity and uncertainty that governments and society are called to address in response to the ongoing challenges. "New Metropolitan Perspective Post COVID Dynamics: Green and Digital Transition, between Metropolitan and Return to Villages’ Perspectives”, 25–27 May 2022, Reggio Calabria, Italy. The papers included in the book are grouped around the following main topics: the envisaged transition towards resilience and sustainability; the relevance of the planning dimension for defining sustainable development pathways and managing complexity; and the green and digital transition by glimpsing at approaches, experiences, and cases that outline innovative solutions in cities and inner areas. The book primarily targets the academic and policymaker communities involved in managing the complexity of the transition for regions and cities.
    Keywords: Urban Transition ; Peripheral areas ; Scientific computing and data processing ; Resilience and Recovery ; Research & open innovation ; European Industrial Ecosystem ; Technological resilience ; Knowledge complexity ; Evolutionary economy ; Digital Transition ; Energy-Mobility-Food Systems ; Sustainability transitions ; NMP 2022 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    facet.materialart.
    Unknown
    Internet of Things. Information Processing in an Increasingly Connected World (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed post-conference proceedings of the First IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 12 full papers presented were carefully reviewed and selected from 24 submissions. Also included in this volume are 4 WCC 2018 plenary contributions, an invited talk and a position paper from the IFIP domain committee on IoT. The papers cover a wide range of topics from a technology to a business perspective and include among others hardware, software and management aspects, process innovation, privacy, power consumption, architecture, applications.
    Keywords: Computer science ; Special purpose computers ; Application software ; Computer communication systems ; Artificial intelligence ; Computer system failures ; Operating systems (Computers) ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; 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::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::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; 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::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    facet.materialart.
    Unknown
    Künstliche Intelligenz in öffentlichen Verwaltungen (2023)
    Springer Nature | Springer Gabler
    Details
    Publication Date: 2024-03-29
    Description: Dieses Buch – eine Open-Access-Publikation mit freiem Online-Zugang – bietet eine verständliche und kompakte Einführung in die Nutzung von KI-Systemen in öffentlichen Verwaltungen. Es beantwortet folgende Fragen: Was bedeutet Künstliche Intelligenz? Wie und in welchen Einsatzgebieten können KI-Systeme im öffentlichen Sektor genutzt werden. Welche Erwartungen und Ziele werden mit dem KI-Einsatz verbunden? Welche Probleme werden adressiert? Auch Aspekte der Governance, also Steuerungsfragen, spielen eine Rolle. Ein besonderer Schwerpunkt liegt auf der Betrachtung der Beziehung und Interaktionen zwischen Mensch und KI-System. Dabei wird auch die Erklärbarkeit der Funktionsweise eines KI-Systems erläutert. Die Inhalte sollen Personen in die Lage versetzen, den Einsatz von KI in der öffentlichen Verwaltung differenziert beurteilen zu können. Kenntnisse im Bereich der Informatik werden nicht vorausgesetzt. Nach dem Lesen dieses Buches sind Sie in der Lage, KI-Anwendungsfälle und Potenziale im öffentlichen Sektor zu identifizieren, KI-Methoden im Überblick zu verstehen, Grenzen und Herausforderungen bei der Anwendung im öffentlichen Sektor zu diskutieren und Anforderungen an KI-Anwendungen im öffentlichen Sektor zu erarbeiten. Im Sinne von Offenheit ist dieses Werk eine Open-Access-Publikation mit freiem Online-Zugang. Inklusive kostenlosem Online-Wissens-Quiz mit der Springer Nature Flashcards-App: Der Fragensatz mit 78 Fragen und Antworten in den SN Flashcards beinhaltet Wiederholungs- und Vertiefungsfragen zum Lehrbuch „KI in öffentlichen Verwaltungen“. Die Fragen und Antworten vermitteln spielerisch wichtige Begriffe, Hintergründe und Wissenswertes zum Thema. ; Dieses Buch – eine Open-Access-Publikation mit freiem Online-Zugang – bietet eine verständliche und kompakte Einführung in die Nutzung von KI-Systemen in öffentlichen Verwaltungen. Es beantwortet folgende Fragen: Was bedeutet Künstliche Intelligenz? Wie und in welchen Einsatzgebieten können KI-Systeme im öffentlichen Sektor genutzt werden. Welche Erwartungen und Ziele werden mit dem KI-Einsatz verbunden? Welche Probleme werden adressiert? Auch Aspekte der Governance, also Steuerungsfragen, spielen eine Rolle. Ein besonderer Schwerpunkt liegt auf der Betrachtung der Beziehung und Interaktionen zwischen Mensch und KI-System. Dabei wird auch die Erklärbarkeit der Funktionsweise eines KI-Systems erläutert. Die Inhalte sollen Personen in die Lage versetzen, den Einsatz von KI in der öffentlichen Verwaltung differenziert beurteilen zu können. Kenntnisse im Bereich der Informatik werden nicht vorausgesetzt. Nach dem Lesen dieses Buches sind Sie in der Lage, KI-Anwendungsfälle und Potenziale im öffentlichen Sektor zu identifizieren, KI-Methoden im Überblick zu verstehen, Grenzen und Herausforderungen bei der Anwendung im öffentlichen Sektor zu diskutieren und Anforderungen an KI-Anwendungen im öffentlichen Sektor zu erarbeiten. Im Sinne von Offenheit ist dieses Werk eine Open-Access-Publikation mit freiem Online-Zugang. Inklusive kostenlosem Online-Wissens-Quiz mit der Springer Nature Flashcards-App: Der Fragensatz mit 78 Fragen und Antworten in den SN Flashcards beinhaltet Wiederholungs- und Vertiefungsfragen zum Lehrbuch „KI in öffentlichen Verwaltungen“. Die Fragen und Antworten vermitteln spielerisch wichtige Begriffe, Hintergründe und Wissenswertes zum Thema.
    Keywords: Open Access Publikation zu Open Government im eGov-Campus ; KI in der öffentlichen Verwaltung ; Künstliche Intelligenz im öffentlichen Sektor ; KI verständlich erklärt mit Anwendungsbeispielen ; KI und Ethik in öffentlicher Verwaltung ; KI-Anwendungen und rechtliche Aspekte ; Datenstrukturen für KI-Anwendungen ; KI und Datenschutz ; Gebrauchstaugliche Entwicklung von KI-Anwendungen ; Mensch-KI-Systeme ; Prozessautomatisierung mit KI ; KI in Kommunalverwaltung, Landes- und Bundesverwaltung ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    facet.materialart.
    Unknown
    Digital Twin (2024)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-11
    Description: This open access book offers comprehensive, self-contained knowledge on Digital Twin (DT), which is a very promising technology for achieving digital intelligence in the next-generation wireless communications and computing networks. DT is a key technology to connect physical systems and digital spaces in Metaverse. The objectives of this book are to provide the basic concepts of DT, to explore the promising applications of DT integrated with emerging technologies, and to give insights into the possible future directions of DT. For easy understanding, this book also presents several use cases for DT models and applications in different scenarios. The book starts with the basic concepts, models, and network architectures of DT. Then, we present the new opportunities when DT meets edge computing, Blockchain and Artificial Intelligence, and distributed machine learning (e.g., federated learning, multi-agent deep reinforcement learning). We also present a wide application of DT as an enabling technology for 6G networks, Aerial-Ground Networks, and Unmanned Aerial Vehicles (UAVs). The book allows an easy cross-reference owing to the broad coverage on both the principle and applications of DT. The book is written for people interested in communications and computer networks at all levels. The primary audience includes senior undergraduates, postgraduates, educators, scientists, researchers, developers, engineers, innovators and research strategists.
    Keywords: Digital Twin ; Edge Computing ; Machine Learning ; 6G ; Internet of Things ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; 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::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; 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::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
  • 70
    facet.materialart.
    Unknown
    Proceedings of the 2021 DigitalFUTURES (2021)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book is a compilation of selected papers from 2021 DigitalFUTURES—The 3rd International Conference on Computational Design and Robotic Fabrication (CDRF 2021). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers encounter new ideas about understanding material intelligence in architecture.
    Keywords: History, Theory and Critics of Building Technology ; Performance-based Design ; Fabrication and Construction ; Data Mining and Visualizing ; Immersive and Interactive Environment ; Architectural Intelligence ; Open Access ; 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::UG Graphical and digital media applications::UGC Computer-aided design (CAD) ; 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
  • 71
    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
  • 72
    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
  • 73
    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
  • 74
    facet.materialart.
    Unknown
    Proceedings of the 2020 DigitalFUTURES (2021)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book is a compilation of selected papers from 2020 DigitalFUTURES—The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020). The book focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers will encounter new ideas about understanding intelligence in architecture.
    Keywords: Robotics and Automation ; Computer-Aided Engineering (CAD, CAE) and Design ; Simulation and Modeling ; Robotics ; Control, Robotics, Automation ; Computer Science ; Post-humanist Intelligence ; Computational Design ; Robotic Fabrication ; Human-Machine Collaboration ; AI in Architecture ; Open Access ; Computer-aided design (CAD) ; Computer modelling & simulation ; 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::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; 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
  • 75
    facet.materialart.
    Unknown
    Foundation Models for Natural Language Processing (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book provides a comprehensive overview of the state of the art in research and applications of Foundation Models and is intended for readers familiar with basic Natural Language Processing (NLP) concepts. Over the recent years, a revolutionary new paradigm has been developed for training models for NLP. These models are first pre-trained on large collections of text documents to acquire general syntactic knowledge and semantic information. Then, they are fine-tuned for specific tasks, which they can often solve with superhuman accuracy. When the models are large enough, they can be instructed by prompts to solve new tasks without any fine-tuning. Moreover, they can be applied to a wide range of different media and problem domains, ranging from image and video processing to robot control learning. Because they provide a blueprint for solving many tasks in artificial intelligence, they have been called Foundation Models. After a brief introduction to basic NLP models the main pre-trained language models BERT, GPT and sequence-to-sequence transformer are described, as well as the concepts of self-attention and context-sensitive embedding. Then, different approaches to improving these models are discussed, such as expanding the pre-training criteria, increasing the length of input texts, or including extra knowledge. An overview of the best-performing models for about twenty application areas is then presented, e.g., question answering, translation, story generation, dialog systems, generating images from text, etc. For each application area, the strengths and weaknesses of current models are discussed, and an outlook on further developments is given. In addition, links are provided to freely available program code. A concluding chapter summarizes the economic opportunities, mitigation of risks, and potential developments of AI.
    Keywords: Pre-trained Language Models ; Deep Learning ; Natural Language Processing ; Transformer Models ; BERT ; GPT ; Attention Models ; Natural Language Understanding ; Multilingual Models ; Natural Language Generation ; Chatbot ; Foundation Models ; Information Extraction ; Text Generation ; 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::UYQE Expert systems / knowledge-based systems ; 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
  • 76
    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
  • 77
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Artificial intelligence ; Computer simulation ; Computer organization ; 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::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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; 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
  • 78
    facet.materialart.
    Unknown
    Automated Deduction – CADE 29 (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: artificial intelligence ; automata theory ; Boolean functions ; formal languages ; formal logic ; model checking ; software engineering ; automated theorem proving ; software verification ; logic programming ; automated reasoning ; automated deduction ; propositional satisfiability ; constraint solving ; computer algebra ; satisfiability modulo theories ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    facet.materialart.
    Unknown
    Introduction to Digital Humanism (2024)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access textbook introduces and defines digital humanism from a diverse range of disciplines. Following the 2019 Vienna Manifesto, the book calls for a digital humanism that describes, analyzes, and, most importantly, influences the complex interplay of technology and humankind, for a better society and life, fully respecting universal human rights. The book is organized in three parts: Part I “Background” provides the multidisciplinary background needed to understand digital humanism in its philosophical, cultural, technological, historical, social, and economic dimensions. The goal is to present the necessary knowledge upon which an effective interdisciplinary discourse on digital humanism can be founded. Part II “Digital Humanism – a System’s View” focuses on an in-depth presentation and discussion of the main digital humanism concerns arising in current digital systems. The goal of this part is to make readers aware and sensitive to these issues, including e.g. the control and autonomy of AI systems, privacy and security, and the role of governance. Part III “Critical and Societal Issues of Digital Systems” delves into critical societal issues raised by advances of digital technologies. While the public debate in the past has often focused on them separately, especially when they became visible through sensational events the aim here is to shed light on the entire landscape and show their interconnected relationships. This includes issues such as AI and ethics, fairness and bias, privacy and surveillance, platform power and democracy. This textbook is intended for students, teachers, and policy makers interested in digital humanism. It is designed for stand-alone and for complementary courses in computer science, or curricula in science, engineering, humanities and social sciences. Each chapter includes questions for students and an annotated reading list to dive deeper into the associated chapter material. The book aims to provide readers with as wide an exposure as possible to digital advances and their consequences for humanity. It includes constructive ideas and approaches that seek to ensure that our collective digital future is determined through human agency.
    Keywords: ethics in computer science ; responsible technologies ; legal issues and regulation ; data privacy ; digitalization ; digital economy ; digital humanism ; social responsibility ; 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::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; 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::QDTS Social and political philosophy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    facet.materialart.
    Unknown
    Objective Information Theory (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs. This Open Access book can be used as a technical reference book in the field of information science and also a reference textbook for senior students and graduate ones in related majors.
    Keywords: Object Information Theory ; Information Space ; Structural Framework ; Metaverse ; Information Model ; Information Measure ; Information Systems Dynamics ; Air Traffic Control System (ATCS) ; Smart Court SoSs (System of Systems) ; 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 ; 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::UMB Algorithms and data structures ; 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/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    facet.materialart.
    Unknown
    Ethics of Artificial Intelligence (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-08
    Description: This open access collection of AI ethics case studies is the first book to present real-life case studies combined with commentaries and strategies for overcoming ethical challenges. Case studies are one of the best ways to learn about ethical dilemmas and to achieve insights into various complexities and stakeholder perspectives. Given the omnipresence of AI ethics in academic, policy and media debates, the book will be suitable for a wide range of audiences, from scholars of different disciplines (e.g. AI science, ethics, politics, philosophy, economics) to policy-makers, lobbying NGOs, teachers and the educated public.
    Keywords: Artificial intelligence, AI ; Ethics of technology ; Computer ethics ; Information ethics ; Responsible research and innovation ; 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::H Humanities::HP Philosophy ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues::UBJ Ethical & social aspects of IT ; 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::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    facet.materialart.
    Unknown
    Handbook on Craniofacial Superimposition (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: This open access handbook presents a trustable craniofacial superimposition methodological framework. It includes detailed technical and practical overviews, and discussions about the latest tools and open problems, covering the educational, technical, ethical, and security aspects of this forensic identification technique. The book will be of particular interest to researchers and practitioners in forensic anthropology and forensic ID, and also researchers in computational intelligence. It is the final result of a European project, New Methodologies and Protocols of Forensic Identification by Craniofacial Superimposition (MEPROCS). The project collaborators who contributed to this handbook are: S. Damas, O. Ibáñez, M.I. Huete, T. Kahana, C. Wilkinson, E. Ferguson, C. Erolin, C. Cattaneo, P.T. Jayaprakash, R. Jankauskas, F. Cavalli, K. Imaizumi, R. Vicente, D. Navega, E. Cunha, A.H. Ross, E. Veselovskaya, A. Abramov, P. Lestón, F. Molinero, E. Ruiz, F. Navarro, J. Cardoso, F. Viegas, D. Humpire, R. Hardiman, J. Clement, A. Valsecchi, B.R. Campomanes-Alvarez, C. Campomanes-Alvarez, A.S. Çağdır, T. Briers, M. Steyn, M. Viniero, D.N. Vieira, and O. Cordón. ; Authors among leading researchers and practitioners worldwide Reports successful collaborative project results First comprehensive guide on this important technique Open Access
    Keywords: Computer science ; Artificial intelligence ; Forensic medicine ; Computational intelligence ; Forensic science ; Health informatics ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology::JKVF Criminal investigation and detection::JKVF1 Forensic science ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKT Forensic medicine ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBH Digital and information technologies: Health and safety aspects ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    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
  • 84
    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
  • 85
    facet.materialart.
    Unknown
    Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2021 (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-11
    Description: This Open Access proceedings presents a good overview of the current research landscape of assembly, handling and industrial robotics. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
    Keywords: Open Access ; Assembly Processes & Systems ; Handling & Grasping ; Modelling & Simulation ; Human-robot-collaboration ; Industrial Robotics ; 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 ; 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
  • 86
    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
  • 87
    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
  • 88
    facet.materialart.
    Unknown
    Cloud-Based Remote Sensing with Google Earth Engine (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-11
    Description: This book guides its audience—which can range from novice users to experts— though a 55-chapter tour of Google Earth Engine. A sequenced and diverse set of lab materials, this is the product of more than a year of effort from more than a hundred individuals, collecting new exercises from professors, undergraduates, master’s students, PhD students, postdocs, and independent consultants. Cloud Based Remote Sensing with Google Earth Engine is broadly organized into two halves. The first half, Fundamentals, is a set of 31 labs designed to take the reader from being a complete Earth Engine novice to being a quite advanced user. The second half, Applications, presents a tour of the world of Earth Engine across 24 chapters, showing how it is used in a very wide variety of settings that rely on remote-sensing data This is an open access book.
    Keywords: Cloud computing ; Remote sensing ; Satellite imagery ; Big data ; Image processing ; Historical change ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology::TQD Environmental monitoring ; thema EDItEUR::P Mathematics and Science::PN Chemistry::PNF Analytical chemistry ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TT Other technologies and applied sciences::TTB Applied optics::TTBM Imaging systems and technology ; 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
  • 89
    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
  • 90
    facet.materialart.
    Unknown
    Automated Deduction – CADE 28 (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: Artificial Intelligence ; Mathematical Logic and Formal Languages ; Logics and Meanings of Programs ; Software Engineering ; Formal Languages and Automata Theory ; Computer Science Logic and Foundations of Programming ; automata theory ; boolean functions ; computer programming ; first order logic ; formal languages ; formal logic ; logic programming ; model checking ; program verification ; semantics ; software architecture ; software design ; software quality ; software verification ; theorem provers ; theorem proving ; Mathematical theory of computation ; Computer programming / software engineering ; Computer architecture & logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    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
  • 92
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
    Keywords: Computer science ; Computer logic ; Software engineering ; Mathematical logic ; Algorithms ; Logic design ; Artificial intelligence ; Computer logic ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYF Computer architecture and logic design ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 93
    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
  • 94
    facet.materialart.
    Unknown
    Entity Alignment (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: This open access book systematically investigates the topic of entity alignment, which aims to detect equivalent entities that are located in different knowledge graphs. Entity alignment represents an essential step in enhancing the quality of knowledge graphs, and hence is of significance to downstream applications, e.g., question answering and recommender systems. Recent years have witnessed a rapid increase in the number of entity alignment frameworks, while the relationships among them remain unclear. This book aims to fill that gap by elaborating the concept and categorization of entity alignment, reviewing recent advances in entity alignment approaches, and introducing novel scenarios and corresponding solutions. Specifically, the book includes comprehensive evaluations and detailed analyses of state-of-the-art entity alignment approaches and strives to provide a clear picture of the strengths and weaknesses of the currently available solutions, so as to inspire follow-up research. In addition, it identifies novel entity alignment scenarios and explores the issues of large-scale data, long-tail knowledge, scarce supervision signals, lack of labelled data, and multimodal knowledge, offering potential directions for future research. The book offers a valuable reference guide for junior researchers, covering the latest advances in entity alignment, and a valuable asset for senior researchers, sharing novel entity alignment scenarios and their solutions. Accordingly, it will appeal to a broad audience in the fields of knowledge bases, database management, artificial intelligence and big data.
    Keywords: Knowledge Graph ; Entity Alignment ; Knowledge Graph Alignment ; Knowledge Graph Matching ; Entity Matching ; Knowledge Fusion ; Data Integration ; Knowledge Graph Representation Learning ; Multi-Modal Knowledge Graph ; 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::UNF Data mining ; 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
  • 95
    facet.materialart.
    Unknown
    Making Presentation Math Computable (2023)
    Springer Nature | Springer Fachmedien Wiesbaden
    Details
    Publication Date: 2024-04-11
    Description: This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their work, LaTeX has become an integral part of today's publishing workflow. On the other hand, modern research increasingly relies on CAS to simplify, manipulate, compute, and visualize mathematics. However, existing LaTeX import functions in CAS are limited to simple arithmetic expressions and are, therefore, insufficient for most use cases. Consequently, the workflow of experimenting and publishing in the Sciences often includes time-consuming and error-prone manual conversions between presentational LaTeX and computational CAS formats. To address the lack of a reliable and comprehensive translation tool between LaTeX and CAS, this thesis makes the following three contributions. First, it provides an approach to semantically enhance LaTeX expressions with sufficient semantic information for translations into CAS syntaxes. Second, it demonstrates the first context-aware LaTeX to CAS translation framework LaCASt. Third, the thesis provides a novel approach to evaluate the performance for LaTeX to CAS translations on large-scaled datasets with an automatic verification of equations in digital mathematical libraries. This is an open access book.
    Keywords: LaTeX ; Computer Algebra Systems ; Presentational Mathematics ; Presentation to Computation Translations ; Computable Mathematics ; Mathematical Information Retrieval ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 96
    facet.materialart.
    Unknown
    Computational Science – ICCS 2022 (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. *The conference was held in a hybrid format This is an open access book.
    Keywords: artificial intelligence ; communication systems ; computer networks ; computer systems ; computer vision ; correlation analysis ; data mining ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; numerical methods ; signal processing ; telecommunication systems ; 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::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 97
    facet.materialart.
    Unknown
    Product Development within Artificial Intelligence, Ethics and Legal Risk (2022)
    Springer Nature | Springer Vieweg
    Details
    Publication Date: 2024-04-14
    Description: This open-access-book synthesizes a supportive developer checklist considering sustainable Team and agile Project Management in the challenge of Artificial Intelligence and limits of image recognition. The study bases on technical, ethical, and legal requirements with examples concerning autonomous vehicles. As the first of its kind, it analyzes all reported car accidents state wide (1.28 million) over a 10-year period. Integrating of highly sensitive international court rulings and growing consumer expectations make this book a helpful guide for product and team development from initial concept until market launch.
    Keywords: Customer/Consumer Protection ; Artificial Intelligence ; Automated Driving ; Autonomous Vehicle ; Image Recognition ; Deep Residual Learning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::L Law::LN Laws of specific jurisdictions and specific areas of law::LNC Company, commercial and competition law: general::LNCQ Construction and engineering law ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 98
    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
  • 99
    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
  • 100
    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
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...