Computer-AidedVerification – Bücher, CDs, LPs und mehr, Seite 5

Kraftwerk

The Mix

Albert Oehlen,

Computer Paintings

"Finishing it is then the job of the human hand."-Albert OehlenAlbert Oehlen's (b. Krefeld, 1954; lives and works between Gais, La Palma, and Los Angeles) first Computer Paintings were made with…

Computer Science and Education in Computer Science

This book constitutes the refereed post-conference proceedings of the 20th International Conference on Computer Science and Education in Computer Science, CSECS 2024, held in Sofia, Bulgaria, during June …

Speech and Computer

.- Automatic Speech Recognition. .- In-Domain SSL Pre-Training and Streaming ASR: Application to Air Traffic Control Communications. .- Evaluating the Performance of Several ASR Systems in Environmental a…

Intelligent Computer Mathematics

.- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

Song-Chun Zhu, Yixin Zhu

Computer Vision

This volume on visual commonsense reasoning, part of a comprehensive three-volume series, presents a computational framework for bridging the gap between modern computer vision capabilities and human-like…

Speech and Computer

.- Invited Paper. .- Towards Responsible Multimodal Modeling for Mental Healthcare. .- Speech Perception and Synthesis. .- When Voice Matters: Evidence of Gender Disparity in Positional Bias of SpeechLLMs…

Computer Security - ESORICS 2025

.- Transparency and Consent Challenges in mHealth Apps: An Interdisciplinary Study of Privacy Policies, Data Sharing, and Dark Patterns. .- Don't Hash Me Like That: Exposing and Mitigating Hash-Induced Un…

Computer Security - ESORICS 2025

.- Time-Distributed Backdoor Attacks on Federated Spiking Learning. .- TATA: Benchmark NIDS Test Sets Assessment and Targeted Augmentation. .- Abuse-Resistant Evaluation of AI-as-a-Service via Function-Hi…

Advances in Computer Graphics

The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

Advances in Computer Graphics

The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

David Kopec

Computer Science From Scratch

You know how to write Python. Now master the computer science that makes it work.If you've been programming for a while, you may have found yourself wondering about the deeper principles behind the code. …

Advances in Computer Graphics

The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland…

Research in Computer Science

This book constitutes the refereed proceedings of the 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, in Bejaïa, Algeria, in November 23-26, 2024.The 25 full pa…

Graph Theory in Computer Science

This book is a vital resource for anyone looking to understand the essential role of graph theory as the unifying thread that connects and provides innovative solutions across a wide spectrum of modern co…

Computer Security - ESORICS 2025

.- QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol. .- Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors. .- No Root, No Problem: Automating Linux Least Privilege and…

Human-Computer Creativity

This pioneering volume showcases how generative AI has evolved from a mere tool to a creative partner, transforming the boundaries of innovation and collaboration across various disciplines. With contribu…

Kasper Hornbæk, Per Ola Kristensson, Antti Oulasvirta

Introduction to Human-Computer Interaction

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read on the Oxford Academic platform and offered as a free PDF download from OUP and select…

Weipeng Yang, Jiahong Su

Child-Friendly Computer Science

This book offers new insights and critical perspectives on the integration of computational thinking, engineering design process, and AI literacy into early childhood education.