Bunched Fuzz: sensitivity for vector metrics

DOI10.1007/978-3-031-30044-8_17zbMATH Open1541.68065MaRDI QIDQ6535249

Marco Gaboardi, June Wunder, Patrick Baillot, Arthur Azevedo de Amorim

Publication date: 24 November 2023

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Privacy of data (68P27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Linear logic
• On the geometry of differential privacy
• Linear dependent types for differential privacy
• The Algorithmic Foundations of Differential Privacy
• The Logic of Bunched Implications
• On bunched typing
• 10.1162/153244302760200704
• Structure and Sensitivity in Differential Privacy: Comparing K-Norm Mechanisms
• Distance makes the types grow stronger
• A semantic account of metric preservation
• Theory of Cryptography
• Information Theory and Statistics: A Tutorial

Recommendations

• Unnamed Item 👍 👎
• Estimation of vectors similarity by their randomized binary projections 👍 👎
• Fuzzy declustering-based vector quantization 👍 👎
• Binary vectors for fast distance and similarity estimation 👍 👎
• Sensitivity and Stability of Ranking Vectors 👍 👎
• Vector fuzzy C-means 👍 👎
• Fuzzy Concepts in Vector Quantization Training 👍 👎
• A Vector Similarity Measure for Type-1 Fuzzy Sets 👍 👎
• Sensitivity in Metric Scaling and Analysis of Distance 👍 👎
• Fuzzification of vector-valued functions 👍 👎

This page was built for publication: Bunched Fuzz: sensitivity for vector metrics