OPAC

Your search

Query: INFORMATION THEORY" Repository: 65

Sort by Score Title Year -

51-60 from 624 results (0.022 seconds)

Title: Second generation sparse models
Language: Inglés
Repository: 65

Acceder
Title: A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language: Inglés
Repository: 65
Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING

Acceder
Title: An unsupervised point alignment detection algorithm
Language: Inglés
Repository: 65
Subject: A contrario / Clustering / Point alignments / Gestalt theory

Acceder
Title: A contrario 3D point alignment detection algorithm
Language: Inglés
Repository: 65
Subject: Point alignment detection / 3D point alignments / A contrario method / Gestalt theory

Acceder
Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Representation of metamodels using inductive types in a type-theoretic framework for MDE
Language: in
Repository: 65
Subject: Model-Driven Engineering / Model Transformations / Correctness / Constructive Type Theory

Acceder
Title: The effect of relative concern on life satisfaction : relative deprivation and loss aversion
Language: Inglés
Repository: 65
Subject: Life satisfaction / Relative income / Prospect theory / Satisfacción con la vida / Loss aversion / Ingreso relativo / Aversión a las pérdidas / Teoría de las prospección / SATISFACCION PERSONAL / INGRESOS / PROSPECCION

Acceder
Title: An evaluation of the actual electric vehicles charging infrastructure in Uruguay and possible designing approaches.
Language: Inglés
Repository: 65
Subject: Electrical vehicles / Charging infrastructure / Stochastic system design / Queueing theory
Title: Heterogeneous verification of model transformations
Language: Inglés
Repository: 65
Subject: Ingeniería Dirigida por Modelos / Verificación / Métodos formales / Teoría de Instituciones / MOF / QVT-Relations / Heterogeneous Tool Set / Model-Driven engineering / Formal methods / Theory of institutions

Acceder
Title: Selective active filter applied to an arc furnace adjusted to harmonic emission limitations
Language: Inglés
Repository: 65
Subject: Hybrid selective active filter / Arc furnace / Pq theory

« Previous 2 3 4 5 6 7 8 9 10 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search