ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Informatics  (5)
  • Fisheries
  • Inorganic Chemistry
  • LUNAR AND PLANETARY EXPLORATION
  • machine learning
  • Springer Nature Switzerland  (8)
  • English  (8)
Collection
Keywords
Publisher
Language
  • English  (8)
Years
  • 1
    facet.materialart.
    Unknown
    Process Mining Workshops (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes revised selected papers from the International Workshops held at the 4th International Conference on Process Mining, ICPM 2022, which took place in Bozen-Bolzano, Italy, during October 23–28, 2022. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas. The 42 papers included in this volume were carefully reviewed and selected from 89 submissions. They stem from the following workshops: – 3rd International Workshop on Event Data and Behavioral Analytics (EDBA) – 3rd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) – 3rd International Workshop on Responsible Process Mining (RPM) (previously known as Trust, Privacy and Security Aspects in Process Analytics) – 5th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H) – 3rd International Workshop on Streaming Analytics for Process Mining (SA4PM) – 7th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI) – 1st International Workshop on Education meets Process Mining (EduPM) – 1st International Workshop on Data Quality and Transformation in Process Mining (DQT-PM)
    Keywords: process mining ; process discovery ; process analytics ; process querying ; conformance checking ; predictive process monitoring ; data science ; knowledge graphs ; event data ; streaming analytics ; machine learning ; deep learning ; business process management ; health informatics ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBH Digital and information technologies: Health and safety aspects
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY 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 ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Artificial Intelligence and Cognitive Science (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes selected papers presented during the 30th Irish Conference on Artificial Intelligence and Cognitive Science, held in Munster, Ireland, in December 2022. The 41 presented papers were thoroughly reviewed and selected from the 102 submissions. They are organized in topical sections on ​machine learning, deep learning and applications; responsible and trustworthy artificial intelligence; natural language processing and recommender systems; knowledge representation, reasoning, optimisation and intelligent applications.
    Keywords: information retrieval ; computer vision ; artificial intelligence ; machine learning ; agent systems ; collaborative networks ; neural networks ; image processing ; patter recognition ; neural computing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    Programming Languages and Systems (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Silicon Valley Cybersecurity Conference (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes refereed proceedings of the Third Conference on Silicon Valley Cybersecurity Conference, SVCC 2022, held as virtual event, in August 17–19, 2022. The 8 full papers included in this book were carefully reviewed and selected from 10 submissions. The contributions are divided into the following thematic blocks: Malware Analysis; Blockchain and Smart Contracts; Remote Device Assessment. This is an open access book.
    Keywords: artificial intelligence ; blockchain ; classification ; computer crime ; computer networks ; computer security ; computer systems ; computer vision ; cryptography ; data communication systems ; data security ; distributed computer systems ; distributed ledger ; image analysis ; intrusion detection ; machine learning ; network protocols ; network security ; parallel processing systems ; query languages ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY 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 ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; 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::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...