Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs > View related publications
Publication

Publications

Publications with the same scientific areas as the Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs publication

Group by: Order:

Thesis

YWeb – Plataforma de Criação de Templates para Marketing Online
José Carlos Calhau Pinto (Author) (FEUP)
Visual Viper: a portable visualization library for streamlined scientific communications.
Mariana Beatriz Nunes Canelas Pais (Author) (FMUP)
Utility-based Predictive Analytics
Paula Alexandra de Oliveira Branco (Author) (FCUP)
Using clickstream data to analyze online purchase intentions
Ricardo Filipe Fernandes e Costa Magalhães Teixeira (Author) (FEUP)
Users Satisfaction Regarding Nursing Information and Documentation In Electronic Health Records: A Study At The Health Centers Group Tâmega II – Vale Do Sousa Sul
Carla Manuela Pinto Lourenço (Author) (FMUP)
User-Driven Design, Development and Evaluation of a Tablet-Based Cognitive Gaming Platform for Seniors
João Pedro de Macedo Marques (Author) (FEUP)
U.InovAcelerator: Um Modelo Tecnológico, Informacional e de Serviços de Informação para a Inovação da U.Porto
Henrique Diogo Cardoso da Silva (Author) (FEUP)
Type Assignment in Logic Programming
João Luis Alves Barbosa (Author) (FCUP)
Trade-offs between privacy and efficiency on databases
Rogério António da Costa Pontes (Author) (FCUP)
Towards realistic scenarios concerning the identification of unreliable information in social networks
Nuno Ricardo Pinheiro da Silva Guimarães (Author) (FCUP)
Towards Measuring Scientific Impact Using Network Science
Jorge Miguel Barros da Silva (Author) (FCUP)
Towards Efficient and Scalable Probabilistic Inductive Logic Programming
Joana Sílvia Santos Côrte-Real (Author) (FCUP)
Towards Early detection of faults and failures in complex systems
Christopher David Harrison (Author) (FCUP)
Towards certified program logics for the verification of imperative programs
David Miguel Ramalho Pereira (Author) (FCUP)
Towards a Transactional and Analytical Data Management System for Big Data
Fábio André Castanheira Luís Coelho (Author) (FCUP)
Tools and Techniques for Energy-Efficient Mobile Application Development
Luis Miranda Cruz (Author) (FCUP)
The impact of synchronizing variable frequency routes in public transport
Paulo Roberto Dias Mourato (Author) (FEUP)
Tensor-based Event Detection
Hadi Fanaee Tork (Author) (FCUP)
Supporting software developers in making energy saving decisions
Marco Rafael Linhares Couto (Author) (FCUP)
Suporte para séries temporais em plataforma e-Science
José Tiago Paiva Antunes Magalhães (Author) (FEUP)

Records 1 to 20 from 1858

 
1
  2 3 4 5 6
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-09 at 10:40:49 | Privacy Policy | Personal Data Protection Policy | Whistleblowing