1
Assuntos:
“...Probabilistic Model-Checking...”
Systematic model-based safety assessment via probabilistic model checking
Dissertação
2
3
“...Árvores-modelo são um caso particular de árvores de decisão aplicadas na solução de problemas...”
Evolutionary model tree induction
Dissertação
5
“... of framework. This thesis proposes a conceptual model for metadata-based frameworks that has the aim...”
A conceptual model for metadata-based frameworks.
Tese
6
“... in a given hypothesis set H, such that h must belong to some model in this family. An important...”
Model selection for learning boolean hypothesis
Tese
7
8
9
10
“..., levantamos os requisitos para um novo modelo de dados conceitual para biologia molecular. Finalmente...”
[en] A CONCEPTUAL MODEL FOR MOLECULAR BIOLOGY
Tese
11
“... são baseados em hipóteses restritivas. Nesse trabalho desenvolvemos modelos sobre extremos que podem...”
[en] BAYESIAN MODEL FOR EXTREME VALUES
Tese
12
“...[pt] Esta dissertação apresenta um novo modelo de tarifação de redes elétricas. Este modelo...”
[en] A MODEL FOR TRANSMISSION NETWORKS PRICING
Tese
13
“... de aplicações que empregam o modelo de dados RDF em sua camada de informação. Além de consultas aos dados RDF...”
[en] A MULTIGRANULARITY LOCKING MODEL FOR RDF
Tese
14
“... Model for Visual Analytics, which contemplates a set of features to inspire the implementation of new...”
Preprocessing profiling model for visual analytics
Dissertação
15
“... of information systems. A model can be assessed for different types of model quality and in this work we focus...”
Modeling stories for conceptual model validation
Dissertação
16
17
“...: categorias modelo e ∞-categorias (através de quasicategorias). A primeira parte do texto apresenta...”
From model to quasi-categories
Dissertação