Search this site:
Cracs
Home
Sobre Cracs
Temas de investigação
Publicações
Publications by Year
Publications by Type
Publications Filter
Publications at Authenticus
Atividades
Members
Software
Opportunities
Contactos
Site Map
Documentos
Affiliation
DCC
FCUP
Universidade do Porto
Inesc-Porto LA
Agenda
Latest News
Eventos
Cracs Calendar
Username:
*
Password:
*
Request new password
Home
›
Publicações
› Publications by Year
CRACS Publicatons
List
Filter
Export 17 results:
BibTex
Sort by:
Author
Title
[
Year
]
Filters:
Taxonomy Term
is
Journals
and
Year
is
2017
[Clear All Filters]
2017
Joana Costa
and
Catarina Silva
and
Mário Antunes
and
Bernardete Ribeiro
,
"
Adaptive Learning for Dynamic Environments: a Comparative Approach
"
, in
Engineering Applications of Artificial Intelligence (EAAI)
, vol. 65, pp.336–345, October 2017.
BibTex
Ricardo E. Gonçalves
and
Miguel Areias
and
Ricardo Rocha
,
"
On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems
"
, in
Information (switzerland)
, vol. 8, October 2017.
BibTex
Alexandre F. Pinto
and
Hugo Gonçalo Oliveira
and
Álvaro Reis Figueira
and
Ana Oliveira Alves
,
"
Predicting the Relevance of Social Media Posts Based on Linguistic Features and Journalistic Criteria
"
, in
New Generation Computing
, vol. 35, pp.451–472, October 2017.
BibTex
David Aparício
and
Pedro Ribeiro
and
Fernando Silva
,
"
Extending the Applicability of Graphlets to Directed Networks
"
, in
IEEE/ACM Transactions on Computational Biology and Bioinformatics
, vol. 14, pp.1302–1315, November 2017.
BibTex
Luís Antunes
and
André Souto
and
Paul Vitányi
,
"
On the Rate of Decrease in Logical Depth
"
, in
Theoretical Computer Science
, vol. 702, pp.60–64, November 2017.
BibTex
Arkadev Chattopadhyay
and
Michal Koucky
and
Bruno Loff
and
Sagnik Mukhopadhyay
,
"
Simulation Beats Richness: New Data-Structure Lower Bounds
"
, in
Electronic Colloquium on Computational Complexity
, vol. 24, November 2017.
BibTex
Miguel Areias
and
Ricardo Rocha
,
"
On Scaling Dynamic Programming Problems with a Multithreaded Tabling System
"
, in
Journal of Systems and Software
, vol. 125, pp.417–426, March 2017.
Abstract
BibTex
Sandra Alves
and
Maribel Fernández
,
"
A graph-based framework for the analysis of access control policies
"
, in
Theoretical Computer Science
, vol. 685, pp.3–22, July 2017.
BibTex
Arkadev Chattopadhyay
and
Michal Koucky
and
Bruno Loff
and
Sagnik Mukhopadhyay
,
"
Composition and Simulation Theorems via Pseudo-random Properties
"
, in
Electronic Colloquium on Computational Complexity
, vol. 24, January 2017.
BibTex
Laurence Loewe
and
Katherine S. Scheuer
and
Seth A. Keel
and
Vaibhav Vyas
and
Ben Liblit
et al.
,
"
Evolvix BEST Names for Semantic Reproducibility across Code2Brain Interfaces
"
, in
Annals of the New York Academy of Sciences
, vol. 1387, pp.124–144, January 2017.
BibTex
Sriraam Natarajan
and
Vishal Bangera
and
Tushar Khot
and
Jose Picado
and
Anurag Wazalwar
et al.
,
"
Markov Logic Networks for Adverse Drug Event Extraction from Text
"
, in
Knowledge Information Systems
, vol. 51, pp.435–457, February 2017.
BibTex
Aline Paes
and
Gerson Zaverucha
and
Vitor Santos Costa
,
"
On the use of stochastic local search techniques to revise first-order logic theories from examples
"
, in
Machine Learning
, vol. 106, pp.197–241, February 2017.
BibTex
Luís Antunes
and
Bruno Bauwens
and
André Souto
and
Andreia Teixeira
,
"
Sophistication Vs Logical Depth
"
, in
Theory of Computing Systems
, vol. 60, pp.280–298, February 2017.
BibTex
João Monteiro-Santos
and
Hernâni Gonçalves
and
João Bernardes
and
Luís Antunes
and
Mohammad Nozari
et al.
,
"
Entropy and Compression Capture Different Complexity Features: The Case of Fetal Heart Rate
"
, in
Entropy
, vol. 19, December 2017.
BibTex
S. Ramos
and
R. Gaio
and
F. Ferreira
and
José Paulo Leal
and
S. Martins
et al.
,
"
Tuberculosis in children from diagnosis to decision to treat
"
, in
Revista Portuguesa de Pneumologia (English Edition)
, vol. 23, pp.317–322, December 2017.
BibTex
Carla Silva
,
"
What is Quantum AI?
"
, in
ITNOW
, vol. 59, pp.21, December 2017.
BibTex
André Rodrigues
and
Carla Silva
and
Paulo Borges
and
Sérgio Silva
and
Inês Dutra
,
"
Optimizing the Calculation of Statistical Functions
"
, in
Journal of Big Data Intelligence
, vol. 4, pp.123-139, 2017.
BibTex
Cracs Calendar
«
June
»
M
T
W
T
F
S
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30