Search Results - "privacy"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer security 41
- Media studies 39
- Artificial intelligence 31
- Technology: general issues 31
- Computer science 29
- Law 28
- Privacy & data protection 26
- Data protection 25
- Computer networking & communications 24
- History of engineering & technology 24
- Data and Information Security 19
- Communications engineering / telecommunications 17
- Entertainment & media law 17
- Ethics & moral philosophy 17
- Business mathematics & systems 15
- Data mining 15
- Information technology: general issues 15
- Information technology 14
- Law and legislation 14
- Politics & government 14
- Software Engineering 14
- Crime & criminology 13
- Impact of science & technology on society 13
- Communication studies 12
- Network hardware 12
- Network security 12
- Psychology 12
- Artificial Intelligence 11
- IT & Communications law 11
- International law 11
-
2241
-
2242
-
2243
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata
Electronic eBook -
2244
-
2245
Torts Cases and Contexts
Published 2016Table of Contents: “…Transactional Torts -- 31. Defamation -- 32. Privacy Torts -- Aftermatter…”
Access online version
Electronic eBook -
2246
Advances of Future IoE Wireless Network Technology
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2247
European Handbook of Crowdsourced Geographic Information
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2248
The Social Dynamics of Open Data
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2249
Everyday Life in the Culture of Surveillance
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2250
Future Speech Interfaces with Sensors and Machine Intelligence
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2251
-
2252
-
2253
-
2254
-
2255
-
2256
-
2257
-
2258
-
2259
-
2260