Informatik (15 755 Artikel)

Methods and Maxims of Cryptology

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the ...

From Theory to Practice

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.

This volume is the proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD). During the last decade, deductive and object-oriented systems have received ...

This book constitutes the refereed proceedings of the 5th International Conference on Deductive and Object-Oriented Databases, DOOD'97, held in Montreux, Switzerland, in December 1997. The 22 revis...

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness m...

Symbolic processing has limitations highlighted by the symbol grounding problem. Computational processing methods, like fuzzy logic, neural networks, and statistical methods have appeared to overco...

Deep Generative Modeling

Deep Generative Modeling

Research and Applications

Foundations and Concepts

Deep Learning Applications for Cyber Security

A Mathematical Approach

This book constitutes the refereed post-conference proceedings of the Third International Conference on Deep Learning Theory and Applications, DeLTA 2022, held in Lisbon, Portugal, during January 1...