skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Microaggregation for Categorical Variables: A Median Based Approach
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Microaggregation for Categorical Variables: A Median Based Approach

Torra, Vicenç

Privacy in Statistical Databases, p.162-174 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Wellfounded Trees and Dependent Polynomial Functors
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Wellfounded Trees and Dependent Polynomial Functors

Gambino, Nicola ; Hyland, Martin

Lecture notes in computer science, 2004, p.210-225 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
Locales and Locale Expressions in Isabelle/Isar
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Locales and Locale Expressions in Isabelle/Isar

Ballarin, Clemens

Lecture notes in computer science, 2004, p.34-50 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
QArith: Coq Formalisation of Lazy Rational Arithmetic
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

QArith: Coq Formalisation of Lazy Rational Arithmetic

Niqui, Milad ; Bertot, Yves

Lecture notes in computer science, 2004, p.309-323 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
Tailoring Filter Models
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Tailoring Filter Models

Alessi, Fabio ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola

Lecture notes in computer science, 2004, p.17-33 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
A Core Calculus of Higher-Order Mixins and Classes
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A Core Calculus of Higher-Order Mixins and Classes

Bettini, Lorenzo ; Bono, Viviana ; Likavec, Silvia

Lecture notes in computer science, 2004, p.83-98 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Type Inference for Nested Self Types
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Type Inference for Nested Self Types

Bono, Viviana ; Tiuryn, Jerzy ; Urzyczyn, Paweł

Lecture notes in computer science, 2004, p.99-114 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Privacy Preserving and Data Mining in an On-Line Statistical Database of Additive Type
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Privacy Preserving and Data Mining in an On-Line Statistical Database of Additive Type

Malvestuto, Francesco M. ; Mezzini, Mauro

Lecture notes in computer science, 2004, p.353-365 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Computational Experiments with Minimum-Distance Controlled Perturbation Methods
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Computational Experiments with Minimum-Distance Controlled Perturbation Methods

Castro, Jordi

Lecture notes in computer science, 2004, p.73-86 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.