Saltar para:
Logótipo
Você está em: Início » Publicações » Mechanically proving termination using polynomial interpretations » Visualizar Publicações Relacionadas

Publicações com as mesmas áreas científicas da publicação Mechanically proving termination using polynomial interpretations

Agrupar Por: Ordenação:

Tese

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

Registos 1 a 20 de 1851

 
1
  2 3 4 5 6
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Medicina da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-10-31 às 11:16:52
Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias | Política de Captação e Difusão da Imagem Pessoal em Suporte Digital