Informatik (15.755 Artikel)

This book constitutes the refereed proceedings of the 19th International Conference on Advanced Data Mining and Applications, ADMA 2023, held in Shenyang, China, during August 21-23, 2023.The 216 f...

From Conventional to Spatial and Temporal Applications

The theme of this book is the potential of new advanced database systems. The volume presents the proceedings of the 10th British National Conference on Databases, held in Aberdeen, Scotland, in Ju...

Database management is attracting wide interest in both academic and industrial contexts. New application areas such as CAD/CAM, geographic information systems, and multimedia are emerging. The nee...

Advanced Digital Preservation

Advanced Digital Preservation

The following forms the proceedings of the NATO-supported Advanced Study Institute held at the University of Salford, located near Manchester, England, during the period 16-28 August, 1992. The nee...

Cryptanalytic Attacks and Related Results.- The Cryptanalysis of the AES - A Brief Survey.- The Boomerang Attack on 5 and 6-Round Reduced AES.- A Three Rounds Property of the AES.- DFA on AES.- Ref...

This book constitutes the Revised Selected Papers of the Second International Conference, ICAETA 2023, held in Istanbul, Turkey, during March 10-11, 2023.

Sorting Morphisms.- Generic Programming.- Generic Program Transformation.- Designing and Implementing Combinator Languages.- Using MetaML: A Staged Programming Language.- Cayenne -- A Language with...

Typing Haskell with an Attribute Grammar.- Programming with Arrows.- Epigram: Practical Programming with Dependent Types.- Combining Datatypes and Effects.- GEC: A Toolkit for Generic Rapid Prototy...

Self-adjusting Computation with Delta ML.- Spider Spinning for Dummies.- From Reduction-Based to Reduction-Free Normalization.- Libraries for Generic Programming in Haskell.- Dependently Typed Prog...

Fuzzy rule systems have found a wide range of applications in many fields of science and technology. Traditionally, fuzzy rules are generated from human expert knowledge or human heuristics for rel...

Fuzzy rule systems have found a wide range of applications in many fields of science and technology. Traditionally, fuzzy rules are generated from human expert knowledge or human heuristics for rel...

This book constitutes the refereed proceedings of the Second EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2018, held in Yiyang, China, in October 2018. The 71 paper...