ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

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)
  • Computer science  (74)
  • Deutschland
  • Organic Chemistry
  • Springer Nature  (173)
  • Verlag Julius Klinkhardt  (16)
Collection
Keywords
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    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 ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 3
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    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 ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    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 ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices to help you become an effective TBB programmer and leverage the power of parallel systems. Pro TBB starts with the basics, explaining parallel algorithms and C++'s built-in standard template library for parallelism. You'll learn the key concepts of managing memory, working with data structures and how to handle typical issues with synchronization. Later chapters apply these ideas to complex systems to explain performance tradeoffs, mapping common parallel patterns, controlling threads and overhead, and extending TBB to program heterogeneous systems or system-on-chips. What You'll Learn Use Threading Building Blocks to produce code that is portable, simple, scalable, and more understandable Review best practices for parallelizing computationally intensive tasks in your applications Integrate TBB with other threading packages Create scalable, high performance data-parallel programs Work with generic programming to write efficient algorithms Who This Book Is For C++ programmers learning to run applications on multicore systems, as well as C or C++ programmers without much experience with templates. No previous experience with parallel programming or multicore processors is required. ;
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Algorithms ; Data structures (Computer science) ; 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
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 13
    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 ...
  • 14
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    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 ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –living matter included? The Amazing Journey analyzes the latest results in chemistry, biology, neuroscience, anthropology and sociology under the light of the evolution of intelligence, seen as the ability of processing information. The main strength of this book is using just two concepts used in physics –information and energy– to explain: The emergence and evolution of life: procaryotes, eukaryotes and complex organisms The emergence and evolution of the brain The emergence and evolution of societies (human and not) Possible evolution of our "internet society" and the role that Artificial Intelligence is playing
    Keywords: Computer science ; Computer science—Mathematics ; Input-output equipment (Computers) ; Computer communication systems ; Operating systems (Computers) ; Algorithms ; Mathematical logic ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation::UYAM Maths for computer scientists ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 20
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 21
    facet.materialart.
    Unknown
    Verlag Julius Klinkhardt
    Publication Date: 2024-03-29
    Description: Contrary to the assumption of worldwide diffusion processes of internationally circulating reform ideas in education there are examples of regions that resist. In the present study, the phenomenon of incorporating international reform ideas into local education systems is examined using new institutionalism as a theory for its explanatory power of worldwide diffusion processes in education together with a set of cases that offer semi-lab-like conditions: Not all German federated states have adopted Bachelor’s and Master’s degrees for teacher training; some have maintained the state examination. Based on this empirical finding, the question of the dissertation is: Whether and how were the Bachelor’s and Master’s degree in German teacher training implemented on the federated statelevel in the period between 1999 and 2013? It can be shown that the federal ministers of higher education specified three core characteristics of the Bologna Process, namely the introduction of Bachelor’s and Master’s degrees, a credit point system, and modularisation. A decision of the Standing Conference of the Ministers of Education and Cultural Affairs of Germany made in 2005 further ensured that the reformed degrees were recognised nationwide for teachers as well. The educational organisations’ demands were characterised by a large number of positive and only a few negative votes concerning the implementation of the Bologna Process in German teacher education. To provide specific insights into the reform process, this study focuses on teacher training for secondary school teachers, comparing the teacher training regulations as of 1999 with all subsequent changes until 2013 to obtain the degree of change for each federated state. As a result, it can be stated that eight states introduced reformed degrees into secondary school teacher education and eight states kept the state examination. Both groups are then compared as to whether a change of the degree towards Bachelor’s and Master’s is more likely to be accompanied by further reforms. The results suggest that while changes have occurred in all states, the percentage increase of courses in education and didactics, as well as the increased study duration, correlates positively with a change of the degree structure. Therefore one can interpret that the Bologna reforms, especially those concerning the degree structure, were used to implement other curricular and structural reforms that were not related to the Bologna Process itself. In the last step, plenary debates on the federated state level regarding the introduction of these Bologna reforms are analysed to examine the justifications for the introduction of a change in the degree structure, as well as for maintaining the state examination. Justifications or strategies for preserving the state examination are particularly relevant because they act against the political and public expectations analysed earlier. In a nutshell, it can be stated that the innovative strength of the partial reforms adopted in the hybrid model and the exclusion of a fundamental criticism of Bachelor’s and Master’s degrees are used as a strategy to reject the implementation of a new degree structure without being interpreted as non-innovative. Federated states that implemented the degree reform referenced decisions made in other states or regions, as well as possible negative consequences of not implementing the degrees, to support their decision while also presenting it within the discourse as a window of opportunity for more fundamental reforms in teacher training.
    Description: Entgegen der Annahme weltweiter Diffusionsprozesse international kursierender Reformideen in der Bildungspolitik gibt es Beispiele für Regionen, die sich widersetzen. In der vorliegenden Arbeit wird dieses Phänomen mithilfe eines Sets an Fällen untersucht, die in ihrer Gesamtheit quasi-laborartige Bedingungen bieten: Im Zuge des Bologna-Prozesses haben einige Bundesländer die Abschlüsse ‚Bachelor‘ und ‚Master‘ für die Lehrer*innenbildung übernommen, während andere die Staatsprüfung beibehalten haben. Ausgehend von diesem Befund wird in der Arbeit die Frage untersucht, mit welchen Strategien die Bologna-Reformen in der Lehrer*innenbildung der einzelnen Bundesländer in den Jahren von 1999 bis 2013 politisch umgesetzt bzw. wie deren Implementation verhindert wurde. Die Analyse der Erwartungen bildungspolitischer Akteure zeigt, dass die Hochschulminister*innen im Bologna-Prozess drei Kernmerkmale für die Organisation von Studiengängen festlegten, nämlich Bachelor- und Masterabschlüsse, ein Leistungspunktesystem und die Modularisierung. Darüber hinaus wurde die Bologna-Reform durch die Kultusministerkonferenz im Jahr 2005 auch für die Lehrer*innenbildung deutschlandweit anerkannt. Der Diskurs weiterer wichtiger bildungspolitischer Akteure zeichnet sich darüber hinaus durch eine Vielzahl an positiven gegenüber nur wenigen negativen Stimmen zur Implementation des Bologna-Prozesses in der Lehrer*innenbildung aus. Um die tatsächlichen Reformen differenziert betrachten zu können, wird der Fokus der zweiten Untersuchung allein auf das gymnasiale Lehramt gelegt. Dabei wird für jedes Bundesland die Gestaltung der Studienphase im Jahr 1999 mit dem Stand im Jahr 2013 verglichen. Dabei kann festgestellt werden, dass in allen Bundesländern sowohl das Leistungspunktesystem als auch die Modularisierung eingeführt wurden. Eine Reform der Staatsprüfung hin zu einem Masterabschluss wurde im Untersuchungszeitraum jedoch nur in acht der 16 Bundesländer umgesetzt. Die Einführung der Bachelor- und Masterabschlüsse ging zudem mit einer prozentualen Erhöhung des Anteils der Berufswissenschaften, definiert als Fachdidaktiken, Bildungswissenschaften und Schulpraktika, sowie einer Verlängerung der Studienzeit einher. Dies kann dahingehend interpretiert werden, dass die Bologna- Reformen insgesamt und die Einführung der Bachelor- und Masterabschlüsse im Besonderen als window of opportunity genutzt wurden, um auch andere Reformen umzusetzen. In der dritten Untersuchung werden Plenardebatten in den Bundesländern im Rahmen der Einführung der Bologna-Reformen analysiert, um die Begründungen für eine Reform bzw. für die Beibehaltung der Staatsprüfung zu untersuchen. Insbesondere Begründungen bzw. Strategien der Nicht-Einführung sind dabei besonders relevant, weil sie gängigen theoretischen Annahmen der Diffusion von international kursierenden Reformideen widersprechen. Zusammenfassend kann festgehalten werden, dass die Innovationskraft bzw. Passfähigkeit des eigenen Gesetzentwurfs unter Ausschluss einer Fundamentalkritik an den Bachelor- und Masterabschlüssen als Strategie verwendet wurden, um die Einführung dieser Abschlüsse zu umgehen, ohne gleichzeitig als rückständig im Vergleich zu den Ländern mit einer vollständigen Implementation zu gelten. Bei einer Implementation der Abschlüsse dient neben dem diskursiv hergestellten window of opportunity auch der Verweis auf an anderen Orten getroffene Entscheidungen und den daraus resultierenden negativen Konsequenzen für das eigene Bundesland bei einer etwaigen Nicht-Implementation als legitimitätsstiftend.
    Keywords: Lehrerbildung ; Lehrerausbildung ; Bologna-Prozess ; Hochschulpolitik ; Bachelor-Studiengang ; Master-Studiengang ; Lehramtsstudiengang ; Hochschulreform ; Hochschule ; Entscheidung ; Strategie ; Studiengang ; Studienordnung ; Bildungspolitik ; Gymnasium ; Modularisierung ; Staatsprüfung ; Lehramtsprüfung ; Argumentation ; Debatte ; Politik ; Bundesland ; Nationaler Vergleich ; Baden-Württemberg ; Bayern ; Berlin ; Brandenburg ; Bremen ; Hamburg ; Hessen ; Mecklenburg-Vorpommern ; Niedersachsen ; Nordrhein-Westfalen ; Rheinland-Pfalz ; Saarland ; Sachsen ; Sachsen-Anhalt ; Schleswig-Holstein ; Thüringen ; Deutschland ; Teacher education ; Teachers' training ; Teacher training ; Higher education policy ; University policy ; Bachelor course ; Master course ; Preservice Teacher Education ; Higher education reform ; University reform ; Higher education institute ; Strategy ; Channel of academic studies ; Course of studies ; Course of study ; Study regulations ; Educational policy ; German academic secondary school ; Grammar School ; Secondary school ; Modularization ; First state examination for the teaching profession ; Politics ; Baden-Wurtemberg ; Baden-Wurttemberg ; Mecklenburg-Western Pomerania ; Lower Saxony ; North Rhine-Westphalia ; North-Rhine Westphalia ; Rhineland-Palatinate ; Saxony ; Saxony-Anhalt ; Thuringia ; Germany ; Teaching post ; Teaching profession ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMN Universities ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 23
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 27
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer Vieweg
    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 ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2021-02-10
    Description: This open access book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years The 15 full papers presented in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections named: agile adoption, agile practices; large-scale agile; agility beyond IT, and the future of agile. ;
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Verlag Julius Klinkhardt
    Publication Date: 2024-03-29
    Description: Within and outside Germany, practical phases in teacher education have been expanded in recent years. In contrast, empirical studies show that it is not primarily the duration of the internships but their qualitative design that is significant for the acquisition of competencies by the students. Against this background, the academic examination of concepts of learning support is gaining in importance. The authors in this volume take up this assumption and present ten context-bound learning support concepts and their empirical examination. Using qualitative and quantitative research methods, theory-based hypotheses are tested and framework conditions are included in the discussion. In this respect, the results of the studies presented promise on the one hand in-depth insights into the opportunities and challenges of learning support services in the school internship, and on the other hand they point to desiderata for further studies in this field of research.
    Description: Innerhalb und außerhalb Deutschlands wurden in den vergangenen Jahren Praxisphasen in der Lehrerbildung ausgebaut. Empirische Studien zeigen demgegenüber, dass nicht vorrangig die Dauer der Praktika, sondern ihre qualitative Ausgestaltung bedeutsam für den Kompetenzerwerb der Studierenden ist. Vor diesem Hintergrund gewinnt die wissenschaftliche Auseinandersetzung mit Konzepten der Lernbegleitung an Bedeutung. Die Autorinnen und Autoren im vorliegenden Band knüpfen an dieser Annahme an und stellen zehn kontextgebundene Lernbegleitungskonzepte und deren empirische Überprüfung vor. Mittels qualitativer und quantitativer Forschungsmethoden werden dabei theoriegeleitete Hypothesen überprüft und Rahmenbedingungen in die Diskussion einbezogen. Insofern versprechen die Ergebnisse der vorgestellten Studien einerseits vertiefende Einblicke in Chancen und Herausforderungen lernbegleitender Angebote im Schulpraktikum, andererseits zeigen sie Desiderate für weiterführende Untersuchungen in diesem Forschungsfeld auf.
    Keywords: Lehrerbildung ; Lehrerausbildung ; Lernbegleitung ; Praxissemester ; Schulpraxis ; Pädagogische Praxis ; Schulpraktikum ; Lehramtsstudent ; Kompetenzerwerb ; Pädagogische Kompetenz ; Lernkonzept ; Lehrerbildner ; Unterrichtsbeobachtung ; Unterrichtsanalyse ; Reflexion 〈Phil〉 ; Mentor ; Hochschule ; Schule ; Peer Group ; Lernwerkstatt ; Coaching ; Lehrberuf ; Hochschulbildung ; Professionalisierung ; Wohlbefinden ; Lehramtsstudiengang ; Handlungskompetenz ; Einstellung 〈Psy〉 ; Dozent ; Lehrer ; Feed-back ; Interaktion ; Gespräch ; Besprechung ; Unterricht ; Audioaufzeichnung ; Diagnostik ; Kohärenz ; Mentoring ; Mentorprogramm ; Unterrichtsentwicklung ; Übergang Studium - Beruf ; Qualifizierung ; Hochschullehre ; Hochschulforschung ; Fortbildung ; Biologieunterricht ; Entwicklungsforschung ; Beziehung ; Peer-Beziehungen ; Kompetenzentwicklung ; Kompetenz ; Selbsteinschätzung ; Tandem-Methode ; Geschlechtsspezifischer Unterschied ; Kollegiale Beratung ; Qualifikationsentwicklung ; Austausch ; Beratung ; Moderator ; Moderation ; Lernprozess ; Grundschule ; Außerschulischer Lernort ; Lernumgebung ; Primarbereich ; Ethnografie ; Beobachtung ; Forschendes Lernen ; Belastung ; Stressbewältigung ; Wirksamkeit ; Digitale Medien ; Beruflicher Stress ; Lehrer-Alltag ; Bildungsangebot ; Online-Kurs ; Auditives Medium ; Zufriedenheit ; Quantitative Forschung ; Qualitative Forschung ; Empirische Untersuchung ; Empirische Forschung ; Interview ; Leitfadeninterview ; Studie ; Fragebogenerhebung ; Explorative Studie ; Grounded Theory ; Evaluation ; Niedersachsen ; Thüringen ; Nordrhein-Westfalen ; Mecklenburg-Vorpommern ; Hessen ; Deutschland ; Teacher education ; Teachers' training ; Teacher training ; Practical semester ; Semester practical training ; Practical training in school ; Practice period at school ; Student teachers ; Teacher educators ; Observation of teaching ; Analysis of teaching process ; Teaching analysis ; Higher education institute ; School ; Peer groups ; Learning workshop ; Apprenticeship trade ; Teaching profession ; Higher education ; University level of education ; Professionalization ; Well being ; Well-being ; Preservice Teacher Education ; Competence for action ; Competence to act ; Lecturer ; Teacher ; Interaction ; Conversation ; Teaching ; Diagnostic ; Learning and teaching development ; Teaching improvement ; Qualification ; Higher education lecturing ; University lecturing ; University teaching ; Academic research ; Further education ; Further training ; Biology lessons ; Teaching of Biology ; Peer relationship ; Skill development ; Competency ; Self-rating ; Gender-specific difference ; Counselling ; Deliberation ; Guidance ; Learning process ; Elementary School ; Primary school ; Primary school lower level ; Educational Environment ; Learning environment ; Primary education ; Primary level ; Ethnography ; Observation ; Stress management ; Educational offer ; Educational offerings ; Educational opportunities ; Educational possibilities ; Educational provision ; Online courses ; Satisfaction ; Quantitative research ; Qualitative research ; Empirical study ; Empirical research ; Questionnaire survey ; Lower Saxony ; Thuringia ; North Rhine-Westphalia ; North-Rhine Westphalia ; Mecklenburg-Western Pomerania ; Germany ; Practice ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education::JNMT Teacher training
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    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 ...
  • 41
    Publication Date: 2021-02-10
    Description: This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. Research papers and talks submissions were invited for the three XP 2019 research workshops, namely, agile transformation, autonomous teams, and large scale agile. This book includes 15 related papers. In addition, a summary for each of the four panels at XP 2019 is included. The panels were on security and privacy; the impact of the agile manifesto on culture, education, and software practices; business agility – agile’s next frontier; and Agile – the next 20 years.
    Keywords: Computer science ; Software engineering ; Management information systems ; Computer science ; Management information systems ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    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 ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: Beginning and experienced programmers will use this comprehensive guide to persistent memory programming. You will understand how persistent memory brings together several new software/hardware requirements, and offers great promise for better performance and faster application startup times—a huge leap forward in byte-addressable capacity compared with current DRAM offerings. This revolutionary new technology gives applications significant performance and capacity improvements over existing technologies. It requires a new way of thinking and developing, which makes this highly disruptive to the IT/computing industry. The full spectrum of industry sectors that will benefit from this technology include, but are not limited to, in-memory and traditional databases, AI, analytics, HPC, virtualization, and big data. Programming Persistent Memory describes the technology and why it is exciting the industry. It covers the operating system and hardware requirements as well as how to create development environments using emulated or real persistent memory hardware. The book explains fundamental concepts; provides an introduction to persistent memory programming APIs for C, C++, JavaScript, and other languages; discusses RMDA with persistent memory; reviews security features; and presents many examples. Source code and examples that you can run on your own systems are included. What You’ll Learn Understand what persistent memory is, what it does, and the value it brings to the industry Become familiar with the operating system and hardware requirements to use persistent memory Know the fundamentals of persistent memory programming: why it is different from current programming methods, and what developers need to keep in mind when programming for persistence Look at persistent memory application development by example using the Persistent Memory Development Kit (PMDK) Design and optimize data structures for persistent memory Study how real-world applications are modified to leverage persistent memory Utilize the tools available for persistent memory programming, application performance profiling, and debugging Who This Book Is For C, C++, Java, and Python developers, but will also be useful to software, cloud, and hardware architects across a broad spectrum of sectors, including cloud service providers, independent software vendors, high performance compute, artificial intelligence, data analytics, big data, etc.
    Keywords: Computer science ; Computer communication systems ; Big data ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 51
    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 ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 5th Asian Supercomputing Conference, SCFA 2019, held in Singapore in March 2019. The 6 full papers presented in this book were carefully reviewed and selected from 33 submissions. They cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, resource usage prediction, and data caching.
    Keywords: Computer science ; Computer organization ; User interfaces (Computer systems) ; Optical data processing ; Operating systems (Computers) ; Microprogramming  ; Input-output equipment (Computers) ; thema EDItEUR::U Computing and Information Technology::UL Operating 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::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::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UL Operating 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::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::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 ...
  • 55
    facet.materialart.
    Unknown
    Verlag Julius Klinkhardt
    Publication Date: 2024-03-29
    Description: Good inclusive teaching needs teachers who are able to plan and implement pedagogical offers in a heterogeneity-sensitive and adaptive way - however, in university teacher training there are only a few subject-didactically implementable contents for this so far. This book presents five flexibly applicable teaching-learning modules on central topics of inclusive teaching, which were developed by subject didacticians in cooperation with rehabilitation scientists and language educators for university teaching. Starting from the theoretical foundations, the structure, content and materials of the individual teaching-learning modules are presented and commented on didactically. Following on from this, the empirical results of the quantitative and qualitative accompanying evaluation of corresponding courses are analysed. In addition, the suitability of the teaching-learning modules for stabilisation in the university context as well as their possible use in the second and third phase of teacher training are discussed. This book aims to motivate lecturers to use the presented modules in their teaching. It is also aimed at students, researchers and teachers who want to develop their teaching in an inclusive way.
    Description: Guter inklusiver Unterricht braucht Lehrkräfte, die pädagogische Angebote heterogenitätssensibel und adaptiv planen und umsetzen können – in der universitären Lehrer*innenbildung existieren dafür bislang jedoch nur wenige fachdidaktisch implementierbare Inhalte. In diesem Buch werden fünf flexibel einsetzbare Lehr-Lern-Bausteine zu zentralen Themen inklusiven Unterrichtens vorgestellt, die von Fachdidaktiker*innen in Zusammenarbeit mit Rehabilitationswissenschaftler*innen und Sprachbildner*innen für die Hochschullehre entwickelt wurden. Ausgehend von den theoretischen Grundlagen werden der Aufbau, die Inhalte und die Materialien der einzelnen Lehr-Lern-Bausteine vorgestellt und didaktisch kommentiert. Daran anknüpfend werden die empirischen Ergebnisse der quantitativen und qualitativen Begleitevaluation entsprechender Lehrveranstaltungen analysiert. Außerdem werden die Eignung der Lehr-Lern-Bausteine für die Verstetigung im Hochschulkontext sowie deren Einsatzmöglichkeiten in der zweiten und dritten Phase der Lehrer*innenbildung diskutiert. Dieses Buch möchte Dozent*innen motivieren, die vorgestellten Bausteine selbst in ihrer Lehre einzusetzen. Es richtet sich außerdem an Student*innen, an Forscher*innen und an Lehrer*innen, die ihren Unterricht inklusionsorientiert weiterentwickeln möchten.
    Keywords: Inklusion ; Unterricht ; Hochschule ; Hochschullehre ; Professionalisierung ; Lehrerausbildung ; Lehr-Lern-Prozess ; Bildungskonzept ; Lehrerbildung ; Kompetenz ; Lehr-Lern-System ; Lehrevaluation ; Lehramtsstudiengang ; Heterogenität ; Sensibilität ; Lehrkompetenz ; Integrative Pädagogik ; Professionalität ; Pädagogisches Handeln ; Fachdidaktik ; Sonderpädagogik ; Klassenführung ; Adaptiver Unterricht ; Unterrichtskonzeption ; Sprachbildung ; Lehramtsstudent ; Baustein ; Reflexion 〈Phil〉 ; Selbstreflexion ; Pädagogische Diagnostik ; Diagnostik ; Begleituntersuchung ; Evaluation ; Empirische Untersuchung ; Quantitative Analyse ; Qualitative Analyse ; Forschungsprojekt ; Deutschland ; Inclusion ; Teaching ; Higher education institute ; Higher education lecturing ; University lecturing ; University teaching ; Professionalization ; Teacher education ; Teacher training ; Teaching-learning process ; Educational conception ; Teachers' training ; Competency ; Preservice Teacher Education ; Heterogeneity ; Sensibility ; Teaching Skills ; Integrative education ; Professionalism ; Professionality ; Specialized didactics ; Subject didactics ; Remedial instruction sciences ; Special education for the handicapped ; Special needs education ; Classroom techniques ; Conception of teaching ; Linguistic input ; Student teachers ; Self-reflexion ; Pedagogical diagnostics ; Diagnostic ; Empirical study ; Germany ; Pedagogical thinking ; Teaching-learning research ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy::JNFN Inclusive education / mainstreaming ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy::JNFK Educational strategies and policy: inclusion
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Apress
    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 ...
  • 58
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    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 ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    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 ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    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 ...
  • 61
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 62
    facet.materialart.
    Unknown
    Verlag Julius Klinkhardt
    Publication Date: 2024-03-29
    Description: This book presents a selection of survey and evaluation instruments for recording relevant facets of institutional (written) language education. The seven methods focus on different aspects of language education as well as language and reading promotion in day-care centres and schools and address different target groups (educational professionals, teachers, children). The instruments, which were developed within the framework of the initiative "Bildung durch Sprache und Schrift" (BiSS), are primarily for research purposes, but can also be used in the training and further education of educational specialists and teachers. An online appendix provides the instruments as well as all necessary materials.
    Description: In diesem Buch wird eine Auswahl von Erhebungs- und Auswertungsinstrumenten zur Erfassung relevanter Facetten institutioneller (schrift-)sprachlicher Bildung vorgestellt. Die sieben Verfahren fokussieren unterschiedliche Aspekte der Sprachbildung sowie Sprach- und Leseförderung in Kindertageseinrichtungen und Schulen und adressieren unterschiedliche Zielgruppen (pädagogische Fachkräfte, Lehrkräfte, Kinder). Die Instrumente, die im Rahmen der Initiative „Bildung durch Sprache und Schrift“ (BiSS) entwickelt wurden, sind primär für Forschungszwecke, aber auch in der Aus- und Weiterbildung von pädagogischen Fach- und Lehrkräften einsetzbar. Ein Online-Anhang stellt die Instrumente sowie alle notwendigen Materialien zur Verfügung.
    Keywords: Bildungsforschung ; Forschung ; Schriftsprache ; Sprachbildung ; Sprachförderung ; Leseförderung ; Diagnostik ; Förderungsmaßnahme ; Sprachentwicklung ; Schriftspracherwerb ; Förderdiagnostik ; Förderung ; Sprachstandsforschung ; Lesekompetenz ; Sprachkompetenz ; Sprachdiagnostik ; Fachdidaktik ; Sprachgebrauch ; Kompetenzmessung ; Handlungskompetenz ; Fachwissen ; Wissen ; Professionalisierung ; Profession ; Kompetenz ; Wissenstest ; Mathematikunterricht ; Deutschunterricht ; Fachunterricht ; Fachsprache ; Reflexion 〈Phil〉 ; Feed-back ; Videoaufzeichnung ; Videoanalyse ; Unterricht ; Lehrer-Schüler-Interaktion ; Schülermitarbeit ; Transfer ; Kindertagesstätte ; Schule ; Grundschule ; Primarbereich ; Pädagogische Fachkraft ; Lehrer ; Lehramtsstudent ; Erzieher ; Erzieherin ; Berufliche Kompetenz ; Psychometrie ; Kind ; Schüler ; Bewertung ; Anwendung ; Software ; Bildungspraxis ; Sprachpraktische Übung ; Spracherwerb ; Kindergarten ; Kindergartenalltag ; Kindergartenpädagogik ; Korrektur ; Pädagogisches Handeln ; Sekundarstufe I ; Aktivierung ; Erhebungsinstrument ; Auswertung ; Instrument ; Messinstrument ; Methode ; Forschungsmethode ; Vignette 〈Methode〉 ; Interview ; Leitfadeninterview ; Fragebogen ; Beobachtung ; Beobachtungsmethode ; Test ; Testvalidität ; Testverfahren ; Testkonstruktion ; Quantitative Forschung ; Qualitative Forschung ; Längsschnittuntersuchung ; Dokumentation ; Protokoll ; Empirische Forschung ; Datenerfassung ; Bayern ; Baden-Württemberg ; Nordrhein-Westfalen ; Sachsen-Anhalt ; Deutschland ; Educational research ; Research ; Linguistic input ; Promotion of reading ; Support for reading improvement ; Diagnostic ; Promotional measure ; Language development ; Reading competence ; Language skill ; Linguistic Competence ; Specialized didactics ; Subject didactics ; Language usage ; Competency measurement ; Skills measurement ; Skills measurements ; Competence for action ; Competence to act ; Specialized knowledge ; Knowledge ; Professionalization ; Competency ; Mathematics lessons ; Teaching of mathematics ; German language teaching ; Teaching of German ; Teaching of a special subject ; Language for special purposes ; Technical language ; Teaching ; Pupil Participation ; Day nursery ; School ; Elementary School ; Primary school ; Primary school lower level ; Primary education ; Primary level ; Teacher ; Student teachers ; Caregiver ; Carer ; Educational childcare staff ; Educator ; Kindergarten teacher ; Nursery school teachers ; Nursery teacher ; Pre-primary school teacher ; Female Educator ; Governess ; Psychometry ; Child ; Pupil ; Pupils ; Assessment ; Judgement ; Judgment ; Educational practices ; Language acquisition ; Nursery school ; Revision (Written Composition) ; Lower level secondary education ; Lower secondary ; Lower secondary education ; Secondary education lower level ; Mail surveys ; Data analysis ; Interpretation of literature ; Measurement instrument ; Method ; Research method ; Questionnaire ; Observation ; Test validity ; Test coaching ; Quantitative research ; Qualitative research ; Longitudinal analysis ; Longitudinal study ; Documentation ; Empirical research ; Data acquisition ; Data capture ; Baden-Wurtemberg ; Baden-Wurttemberg ; North Rhine-Westphalia ; North-Rhine Westphalia ; Saxony-Anhalt ; Germany ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy::JNFD Literacy strategies ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 64
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 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.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; 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::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::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 66
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book was prepared as a Final Publication of the COST Action IC1406 “High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)“ project. Long considered important pillars of the scientific method, Modelling and Simulation have evolved from traditional discrete numerical methods to complex data-intensive continuous analytical optimisations. Resolution, scale, and accuracy have become essential to predict and analyse natural and complex systems in science and engineering. When their level of abstraction raises to have a better discernment of the domain at hand, their representation gets increasingly demanding for computational and data resources. On the other hand, High Performance Computing typically entails the effective use of parallel and distributed processing units coupled with efficient storage, communication and visualisation systems to underpin complex data-intensive applications in distinct scientific and technical domains. It is then arguably required to have a seamless interaction of High Performance Computing with Modelling and Simulation in order to store, compute, analyse, and visualise large data sets in science and engineering. Funded by the European Commission, cHiPSet has provided a dynamic trans-European forum for their members and distinguished guests to openly discuss novel perspectives and topics of interests for these two communities. This cHiPSet compendium presents a set of selected case studies related to healthcare, biological data, computational advertising, multimedia, finance, bioinformatics, and telecommunications.
    Keywords: Computer science ; Computer system failures ; Computer communication systems ; Microprocessors ; Application software ; Logic design ; 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::UYF Computer architecture and logic design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 68
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 69
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 70
    facet.materialart.
    Unknown
    Springer Nature | Springer Fachmedien Wiesbaden
    Publication Date: 2022-11-19
    Description: Die Open-Access-Publikation präsentiert umfangreiche empirische Analysen zu Halte- und Bleibeorientierung Geflüchteter und richtet den Blick dabei besonders auf die Situation der ländlichen Regionen Deutschlands. Migrations- und Integrationsforschung in Deutschland war bislang überwiegend auf Großstädte ausgerichtet. Durch den vermehrten Zuzug geflüchteter Menschen seit 2014 sehen sich jedoch auch Kleinstädte und Dörfer in ländlichen Regionen verstärkt mit Aufgaben der Aufnahme und Integration von Geflüchteten konfrontiert. Ziel dieses Buches ist es, empirisch fundiert zu beantworten, unter welchen Voraussetzungen und wie humanitäres Engagement und ländliche Entwicklung erfolgreich verbunden werden können und wie dies von Politik und Zivilgesellschaft positiv beeinflusst werden kann.
    Keywords: Geflüchtete ; Migration ; Migrationspolitik ; Migrationsforschung ; Integration ; Integrationsbereitschaft ; ländliche Räume ; Deutschland ; Mobilität ; lokale Integrations- und Migrationspolitik ; Aufnahmegesellschaft ; Bleibeorientierung ; soziales Wohlbefinden ; German Politics ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPP Public administration ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPH Political structure & processes ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    facet.materialart.
    Unknown
    Verlag Julius Klinkhardt
    Publication Date: 2024-03-29
    Description: nklusion steht als normatives Konzept in einem Spannungsverhältnis zum bisher selektiv verfassten Schulsystem. Lehrkräfte an sich inklusiv entwickelnden Schulen sind daher mit der Herausforderung konfrontiert, zwischen ihrer eigenen Praxis, einer inklusiven schulischen Programmatik, dem gesellschaftlichen Leistungsverständnis und der schulischen Selektionsfunktion vermitteln zu müssen. Die vorliegende Studie wirft zunächst einen systematischen Blick auf den Inklusionsdiskurs und untersucht hieran anschließend den Umgang mit diesem Spannungsverhältnis anhand von Gruppendiskussionen mit Lehrkräften an sich als inklusiv verstehenden Grundschulen. Mithilfe der Dokumentarischen Methode werden fallübergreifende Orientierungen rekonstruiert, die sich vor allem in der Verortung der Problemlösekompetenz unterscheiden. So sieht ein Teil Lehrkräfte die Verantwortung zur Lösung von Problemen, die bei der Realisierung von Inklusion entstehen, bei Externen, wie der Bildungsadministration. Andere sehen sich hingegen selbst in der Lage, die bei der Realisierung von Inklusion entstehenden Herausforderungen erfolgreich zu lösen. Bei Letzteren wird eine Parallele zu einem Teil des Inklusionsdiskurses deutlich, da Inklusion auch dort als pädagogisch lösbare Herausforderung angenommen wird. Die Arbeit zeigt diesbezüglich Anknüpfungspunkte für die weitere Entwicklung inklusiver Schulen auf. (DIPF/Orig.)
    Keywords: Inklusion ; Schule ; Grundschule ; Integrative Schule ; Lehrer ; Einstellung 〈Psy〉 ; Problemlösen ; Sonderpädagogik ; Gruppendiskussion ; Typisierung ; Dokumentarische Methode ; Deutschland ; Inclusion ; School ; Elementary School ; Primary school ; Primary school lower level ; Inclusive education ; Inclusive school ; Teacher ; Problem solving ; Remedial instruction sciences ; Special education for the handicapped ; Special needs education ; Group discussion ; Germany ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy::JNFN Inclusive education / mainstreaming ; bic Book Industry Communication::J Society & social sciences::JN Education::JNL Schools ; bic Book Industry Communication::J Society & social sciences::JN Education::JNS Teaching of specific groups & persons with special educational needs ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy::JNFK Educational strategies and policy: inclusion ; thema EDItEUR::J Society and Social Sciences::JN Education::JNL Schools and pre-schools ; thema EDItEUR::J Society and Social Sciences::JN Education::JNS Teaching of students with different educational needs
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 73
    facet.materialart.
    Unknown
    Verlag Julius Klinkhardt
    Publication Date: 2024-03-29
    Description: With the development of inclusive schools comes a broad range of new challenges within the whole German education system. According to the different responsibilities in the educational governance of the German system, not only the state level but also the district level has an important role in the reorganization process towards an inclusive school system. This doctoral thesis thus aims at developing a set of educational indicators at district and individual school level that provides information about the inputs, processes and outputs of inclusive schooling, i.e. conditions and school organizational aspects such as experience in dealing with heterogeneity (special educational needs, migration, gender, etc.). Thereby it can also provide a foundation for continuous, largely data-based observation and analysis of the implementation process of school inclusion. This kind of monitoring can inform both German educational policy and the public regarding contexts, process characteristics, outcomes and benefits of inclusive schooling. The main question of the thesis thus is: What indicators can be identified to describe and reflect developments in the implementation of an inclusive school system at the district level? This is addressed by a three-step analysis, exemplified by a typical German municipality in North Rhine-Westphalia. (1) Starting with an analysis of available school statistics in the period from 2007 to 2015 (2), the results are supplemented by a quantitative school-leadership survey in 2016 (3). A synthesis of the given results marks the last step with a characterization of the transformation process at school and district level. The framework of indicators is meant to identify general problems and offer an empirical foundation for the information on inclusive schooling in German municipalities, thus providing valid governance knowledge for a holistic, coherent educational management as well as contributing to improve the quality of inclusive education at district level. (DIPF/Orig.)
    Description: Die Umsetzung des Inklusionsgedankens konfrontiert das gesamte Bildungssystem mit neuen Herausforderungen. Entsprechend der föderalen Zuständigkeiten sind dafür neben dem Land auch Kreise und Schulträger in der Pflicht, die Entwicklung mitzugestalten. Derzeit gibt es nur wenig systematisierte Informationen über den Stand der inklusiven Bildung im Schulsystem auf kommunaler Ebene. Dies hängt auch mit einer weitgehenden Unklarheit zusammen, welche Bemessungsgrundlagen für eine Einschätzung der Qualität inklusiv arbeitender Schulen zur Verfügung stehen, insbesondere vor dem Hintergrund der lokal höchst unterschiedlichen Formen der Unterrichtsorganisation sowie ungleichen Voraussetzungen im Hinblick auf Ressourcenverteilung (personell, räumlich und sächlich) und Schülerklientel (sonderpädagogischer Förderbedarf, soziale Herkunft, Migrationshintergrund, etc.). Untersucht werden am Beispiel des Flächenkreises Paderborn die Möglichkeiten und Grenzen, die Entwicklung des Gemeinsamen Lernens im Bereich Schule indikatorengestützt abzubilden und Schlussfolgerungen für inklusive Schulorganisation und -planung auf kleinräumiger Ebene abzuleiten. Die Hauptfrage der Arbeit lautet: Welche Indikatoren lassen sich auf kommunaler Ebene identifizieren, um Entwicklungen in den Dimensionen Input, Prozess und Output bei der Umsetzung eines inklusiven Schulsystems zu beschreiben? Die Beantwortung der Forschungsfrage folgt einem dreistufigen Vorgehen. In einem ersten Schritt werden auf Basis kleinräumiger und einzelschulischer Daten der amtlichen Schulstatistik indikatorengestützte Analysen im Zeitraum von 2007 bis 2015 durchgeführt. Im Anschluss werden diese datengestützten Befunde durch Ergebnisse einer quantitativen Schulleiterbefragung im Kreis Paderborn 2016 ergänzt. In einem letzten Schritt erfolgt drittens eine Charakterisierung des nachgezeichneten Transformationsprozesses auf Einzelschulebene sowie auf kommunaler Ebene. Die Synthese der gewonnenen Forschungsergebnisse bildet den Ausgangspunkt für die Ableitung von aussagekräftigen Indikatoren und Desideraten einer Dauerbeobachtung des Gemeinsamen Lernens von Schülerinnen und Schülern mit und ohne sonderpädagogischen Förderbedarf. Wenngleich bestimmte Qualitätsaspekte schulischer Inklusion mit den verfügbaren amtlichen und den ergänzenden Schulleiterdaten nur näherungsweise indikatorisiert werden können, wird sowohl kommunalen Entscheidungsträgerinnen und -trägern aus Politik und Verwaltung, als auch Akteurinnen und Akteuren in den Bildungseinrichtungen ein breites Spektrum an Operationalisierungen zur Verfügung gestellt, um Ansatzpunkte zur organisationalen und systemischen Weiterentwicklung von Inklusion im Schulbereich auszumachen. (DIPF/Orig.)
    Keywords: Inklusion ; Bildungsentwicklung ; Bildungsbeteiligung ; Bildungserfolg ; Sonderpädagogischer Förderbedarf ; Schulqualität ; Integrative Schule ; Integrative Beschulung ; Schulorganisation ; Schulplanung ; Gemeinde 〈Kommune〉 ; Schulleiter ; Schulentwicklung ; Transformation ; Sozialraum ; Indikator ; Amtliche Statistik ; Umfrage ; Statistische Analyse ; Quantitative Forschung ; Paderborn ; Nordrhein-Westfalen ; Deutschland ; Inclusion ; Development of education ; Educational development ; Participation in education ; Participation Rate ; Educational Success ; Success at school ; Success in Education ; Special Educational Needs ; Inclusive education ; Inclusive school ; School organisation ; School organization ; Headteacher ; Headteachers ; School head teacher ; School development ; Indicator ; Official statistics ; Statistical analysis ; Quantitative research ; North Rhine-Westphalia ; North-Rhine Westphalia ; Germany ; bic Book Industry Communication::J Society & social sciences::JN Education::JNS Teaching of specific groups & persons with special educational needs ; thema EDItEUR::J Society and Social Sciences::JN Education::JNS Teaching of students with different educational needs
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 76
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 77
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 78
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 79
    facet.materialart.
    Unknown
    Verlag Julius Klinkhardt
    Publication Date: 2024-03-29
    Description: The way schools deal with "heterogeneity" of pupils has been the subject of a heated debate for a number of years. The present volume shows how the observation of differences between pupils - such as those in aptitude, behaviour and interest - has increasingly come into focus in schools since the last third of the 19th century. Disputes about how "suitable" learning groups should be put together against this background increasingly determined the picture of educational and school-political debates. Selection mechanisms in the school system between 1880 and 1980 are reconstructed that distinguished between the normal and the non-normal, between the gifted and the less gifted, between those who adapted and those who did not. The contributions examine practices of observing, testing and assessing pupils, the procedures and tests used for this purpose, and the individual, pedagogical and political conditions and consequences associated with them.
    Description: Über den schulischen Umgang mit einer „Heterogenität“ der Schüler*innen wird seit einer Reihe von Jahren heftig debattiert. Der vorliegende Band zeigt, wie seit dem letzten Drittel des 19. Jahrhunderts die Beobachtung von Unterschieden – solchen der Begabung, des Verhaltens und des Interesses – zwischen Schüler*innen in den Schulen mehr und mehr in das Blickfeld rückte. Auseinandersetzungen darüber, wie vor diesem Hintergrund „passende“ Lerngruppen zusammengestellt werden sollten, bestimmten zunehmend das Bild der pädagogischen und schulpolitischen Debatten. Rekonstruiert werden Selektionsmechanismen im Schulsystem zwischen 1880 und 1980, mit denen zwischen Normalen und Nicht-Normalen, zwischen Begabten und Minderbegabten, zwischen solchen, die sich anpassten, und solchen, die das nicht taten, unterschieden wurde. Die Beiträge untersuchen Praktiken des Beobachtens, Prüfens und Beurteilens von Schüler*innen, die dafür eingesetzten Verfahren und Tests sowie die damit verbundenen individuellen, pädagogischen und politischen Bedingungen und Folgen. (DIPF/Orig.)
    Keywords: Schüler ; Auslese ; Ausleseverfahren ; Schülerbeurteilung ; Historische Bildungsforschung ; Bildungsgeschichte ; Schulgeschichte ; Geschichte 〈Histor〉 ; Heterogenität ; Inklusion ; Exklusion ; Hilfsschule ; Kategorisierung ; Sonderpädagogik ; Abitur ; Aufsatz ; Begabung ; Hochbegabung ; Differenzierung ; Selektion ; Übergang Primarstufe - Sekundarstufe I ; Schulische Integration ; Beobachtung ; Lernbehinderung ; Sonderpädagogische Einrichtung ; Förderklasse ; Diagnostik ; Pädagogische Diagnostik ; Leistungsmessung ; Intelligenztest ; Schulsystem ; Intelligenzschwäche ; Lernschwäche ; Sonderschulpädagogik ; Psychiatrie ; Pädagogik ; Handschrift ; Diagnose ; Gehirn ; Schrift ; Experiment ; Geistige Behinderung ; Bildungsfähigkeit ; Primarbereich ; Sonderschule ; Schuleignung ; Gutachten ; Pädagogische Psychologie ; Differenzielle Psychologie ; Reform ; Abiturprüfung ; Leistungsbeurteilung ; Prüfungswesen ; psychometrische Tests ; Lehrergutachten ; Praktiken des Beobachtens ; Soldat ; Kriegsbeschädigter ; Gehirnschädigung ; Übungsschule ; Berufspsychologie ; Berufseignung ; Berufsberatung ; Migrant ; Migrationshintergrund ; Schulpsychologie ; Maßnahme ; Vergleich ; Stern ; William Louis ; 19. Jahrhundert ; 20. Jahrhundert ; Kaiserreich ; Weimarer Republik ; Fallbeispiel ; Test ; Historische Quelle ; Deutschland ; Schweiz ; Deutschland-BRD ; Deutschland-DDR ; Preußen ; New York ; N.Y. ; USA ; bic Book Industry Communication::J Society & social sciences::JN Education::JNB History of education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNL Schools ; thema EDItEUR::J Society and Social Sciences::JN Education::JNB History of education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNL Schools and pre-schools
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 82
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 83
    facet.materialart.
    Unknown
    Springer Nature | Springer Fachmedien Wiesbaden
    Publication Date: 2024-03-29
    Description: Dieser Open-Access-Sammelband hinterfragt, wie sich internationale Kulturzusammenarbeit zwischen Ländern unterschiedlicher Kultursysteme und -traditionen erreichen lässt. In Deutschland ist Auswärtige Kulturpolitik von dem Gedanken geleitet, dass globale Herausforderungen Multilateralismus erfordern. Im chinesischen Diskurs dagegen finden andere Kernbegriffe wie z.B. „Tianxia“ Verwendung, die im nicht-chinesischen Kontext einer Interpretation bedürfen. Um der Differenz – aber auch den Gemeinsamkeiten – auf den Grund zu gehen, untersuchen Wissenschaftler*innen und Praktiker*innen aus China und Deutschland Selbst- und Fremdwahrnehmungen sowie Kooperationen in kulturellen Begegnungen. Auf diese Weise sollen Grundlagen für ein besseres gegenseitiges Verständnis sowie für kulturelle Kooperation zwischen beiden Ländern ermöglicht werden.
    Keywords: Auswärtige Kulturpolitik ; Kulturaustausch ; Forschungszusammenarbeit ; Tianxia ; Deutschland ; Globale Herausforderung ; China ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFC Cultural studies ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPS International relations ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFS Globalization ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTQ Globalization
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    facet.materialart.
    Unknown
    Verlag Julius Klinkhardt
    Publication Date: 2024-03-29
    Description: The historical and theoretical relationship between education and the body is the focus of this discourse-analytical study. It is situated at the interface of systematic educational science and historical educational research and looks at both the current debate on educational theory and the pedagogical discussions at the end of the 18th century and the beginning of the 19th century. The starting point of the analyses is a theoretical phenomenon called disembodiment. This term refers to different dynamics that in their totality aim at the discursive exclusion and marginalisation of corporeality in the discourse on education. Three works from different currents of pedagogy are examined more closely for this purpose: Campe's 'Allgemeine Revision des gesammten Schul- und Erziehungswesens' (1785-1792), Niemeyer's 'Grundsätze der Erziehung und des Unterrichts' (1796-1824/5) and two writings by Schwarz, the 'Erziehungslehre' (1802-1813) and the 'Lehrbuch der Erziehung und Unterrichtslehre' (1805-1835). In addition to a presentation of the spectrum of perspectives on physical education, a reconstruction of the historical discourse of so-called physical education and case analyses of the anthropological contexts, the study is able to show that disembodiment tendencies can be traced not only in the current discourse, but already at the turn of the 19th century.
    Description: Das geschichtliche sowie theoretische Verhältnis von Erziehung und Körper steht im Zentrum dieser diskursanalytisch angelegten Studie. Diese ist an der Schnittstelle von systematischer Erziehungswissenschaft und historischer Bildungsforschung angesiedelt und betrachtet sowohl die aktuelle erziehungstheoretische Debatte als auch die pädagogischen Diskussionen am Ende des 18. und zu Beginn des 19. Jahrhunderts. Ausgangspunkt der Analysen ist ein theoretisches Phänomen, das als Entkörperung bezeichnet wird. Mit diesem Begriff sind unterschiedliche Dynamiken gemeint, die in ihrer Gesamtheit auf die diskursive Ausgrenzung und Marginalisierung von Körperlichkeit in der Rede über Erziehung zielen. Drei Werke aus unterschiedlichen Strömungen der Pädagogik sind hierfür näher untersucht: Die von Campe herausgegebene ‚Allgemeine Revision des gesammten Schul- und Erziehungswesens‘ (1785–1792), die ‚Grundsätze der Erziehung und des Unterrichts‘ (1796–1824/5) von Niemeyer und zwei Schriften von Schwarz, die ‚Erziehungslehre‘ (1802–1813) sowie das ‚Lehrbuch der Erziehung und Unterrichtslehre‘ (1805–1835). Neben einer Darstellung des Spektrums der körperpädagogischen Perspektiven, einer Rekonstruktion des historischen Diskurses der sogenannten physischen Erziehung und Fallanalysen zu den anthropologischen Kontexten, kann die Untersuchung im Ergebnis zeigen, dass nicht nur im aktuellen Diskurs, sondern bereits an der Wende zum 19. Jahrhundert Entkörperungstendenzen nachzuweisen sind. (DIPF/Orig.)
    Keywords: Historische Bildungsforschung ; Erziehungswissenschaft ; Körper 〈Biol〉 ; Körperlichkeit ; Leiblichkeit ; Menschlicher Körper ; Pädagogische Theorie ; Bildungstheorie ; Erziehung ; Geschichte 〈Histor〉 ; Diskursanalyse ; Historische Analyse ; Campe, Joachim Heinrich ; Niemeyer, August Hermann ; Schwarz, Friedrich Heinrich Christian ; 18. Jahrhundert ; 19. Jahrhundert ; Dissertationsschrift ; Deutschland ; Sciences of education ; Corporeality ; Corporealtity ; Human body ; Pedagogical theory ; Educational theory ; Theory of education ; Education ; History ; Discourse Analysis ; Historical analysis ; Doctoral Theses ; Germany ; bic Book Industry Communication::J Society & social sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    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 ...
  • 86
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 87
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
  • 88
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access handbook provides the first comprehensive overview of biometrics exploiting the shape of human blood vessels for biometric recognition, i.e. vascular biometrics, including finger vein recognition, hand/palm vein recognition, retina recognition, and sclera recognition. After an introductory chapter summarizing the state of the art in and availability of commercial systems and open datasets/open source software, individual chapters focus on specific aspects of one of the biometric modalities, including questions of usability, security, and privacy. The book features contributions from both academia and major industrial manufacturers.
    Keywords: Computer science ; Biometrics (Biology) ; Computer security ; User interfaces (Computer systems) ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; 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::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 ...
  • 89
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    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 ...
  • 92
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 94
    Publication Date: 2021-02-10
    Description: Break down the misconceptions of the Internet of Things by examining the different security building blocks available in Intel Architecture (IA) based IoT platforms. This open access book reviews the threat pyramid, secure boot, chain of trust, and the SW stack leading up to defense-in-depth. The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Security Engine capabilities to simplify it. This book explores the challenges to secure these devices to make them immune to different threats originating from within and outside the network. The requirements and robustness rules to protect the assets vary greatly and there is no single blanket solution approach to implement security. Demystifying Internet of Things Security provides clarity to industry professionals and provides and overview of different security solutions What You'll Learn Secure devices, immunizing them against different threats originating from inside and outside the network Gather an overview of the different security building blocks available in Intel Architecture (IA) based IoT platforms Understand the threat pyramid, secure boot, chain of trust, and the software stack leading up to defense-in-depth Who This Book Is For Strategists, developers, architects, and managers in the embedded and Internet of Things (IoT) space trying to understand and implement the security in the IoT devices/platforms.
    Keywords: Computer science ; Computer communication systems ; Computer security ; Information technology ; Business—Data processing ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ; bic Book Industry Communication::U Computing & information technology::UR Computer security
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-23
    Description: This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing experts in order to highlight the state of the art as well as future challenges and trends. In addition, it covers current and emerging technologies like test automation, DevOps, and artificial intelligence methodologies used for software testing, before taking a look into the future. The contributing authors answer questions like: "How is the profession of tester currently changing? What should testers be prepared for in the years to come, and what skills will the next generation need? What opportunities are available for further training today? What will testing look like in an agile world that is user-centered and fast-paced? What tasks will remain for testers once the most important processes are automated?" iSQI has been focused on the education and certification of software testers for fifteen years now, and in the process has contributed to improving the quality of software in many areas. The papers gathered here clearly reflect the numerous ways in which software quality assurance can play a critical role in various areas. Accordingly, the book will be of interest to both professional software testers and managers working in software testing or software quality assurance.
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; 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::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 97
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 99
    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 ...
  • 100
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...