Resultados da busca por Autor

1

Towards a Parallel Hierarchical Adaptive Solver Tool

por Abreu, Salvador

Publicado em 2014

Acessar documento

Artigo

2

Applications of Declarative Programming and Knowledge Management: proceedings of the 18th International Conference, INAP 2009

por Abreu, Salvador

Publicado em 2011

Acessar documento

Livro

3

Performance Analysis of Parallel Constraint-Based Local Search

por Abreu, Salvador

Publicado em 2011

Acessar documento

Artigo

4

Network Intrusion Detection with Constraints

por Salgueiro, Pedro

Publicado em 2010

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

5

Modelling distributed network attacks with constraints

por Salgueiro, Pedro

Publicado em 2013

Outros Autores: “...Abreu, Salvador...”
Acessar documento (1)
Acessar documento (2)

Artigo

6

Modularity and Temporal Reasoning: a Logic Programming Approach

por Nogueira, Vitor

Publicado em 2007

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

7

Integrating Temporal Annotations in a Modular Logic Language

por Nogueira, Vitor

Publicado em 2007

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

8

Temporal Annotations for a Contextual Logic Programming Language}

por Nogueira, Vitor

Publicado em 2007

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

9

Multi-objective Finite-Domain Constraint-Based Forest Management

por Eloy, Eduardo

Publicado em 2023

Outros Autores: “...Abreu, Salvador...”
Acessar documento (1)
Acessar documento (2)

Artigo

10

Load balancing for constraint solving with GPUs

por Roque, Pedro

Publicado em 2016

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

11

A Parallel and Distributed Framework for Constraint Solving

por Pedro, Vasco

Publicado em 2011

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

12

Estratégia Hibrida de Recomendações sobre um Gestor de Conteúdos Ampliado em Ensino Formal

por Madeira, Filipe

Publicado em 2012

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo de conferência

13

On the implementation of GNU Prolog

por Diaz, Daniel

Publicado em 2012

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

14

A Hybrid Recommender Strategy on an Expanded Content Manager in Formal Learning

por Madeira, Filipe

Publicado em 2012

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

15

On the Implementation of GNU Prolog

por Diaz, Daniel

Publicado em 2011

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

16

The Final Frontier: Confidentiality and Privacy in the Cloud

por Rocha, Francisco

Publicado em 2011

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Livro

17

Targeting the Cell Broadband Engine for constraint-based local search

por Diaz, Daniel

Publicado em 2011

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

18

A Parallel and Distributed Framework for Constraint Solving

por Pedro, Vasco

Publicado em 2011

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Artigo

19

Declarative Programming and Knowledge Management

por Seipel, Dietmar

Publicado em 2018

Outros Autores: “...Abreu, Salvador...”
Acessar documento

Livro

20

Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies

por Seipel, Dietmar

Publicado em 2017

Outros Autores: “...Abreu, Salvador...”
Acessar documento (1)
Acessar documento (2)

Artigo