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 27 results:
BibTex
Sort by:
Author
Title
[
Year
]
Filters:
Taxonomy Term
is
Proceed. by main publishers (Springer, ACM, IEEE)
and
Year
is
2013
[Clear All Filters]
2013
Ana Paula Tomás
and
José Paulo Leal
"
Automatic Generation and Delivery of Multiple-Choice Math Quizzes
"
, in "19th International Conference on Principles and Practice of Constraint Programming (CP 2013)"
, Springer - LNCS, vol. 8124, pp.848–863, September 2013.
BibTex
Joana Côrte-Real
and
Inês Dutra
and
Ricardo Rocha
"
Prolog Programming with a Map-Reduce Parallel Construct
"
, in "15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)"
, ACM, pp.285–296, September 2013.
BibTex
Download:
Houssam Nassif
and
Finn Kuusisto
and
Elizabeth S. Burnside
and
David C. Page
and
Jude Shavlik
et al.
"
Score As You Lift (SAYL): A Statistical Relational Learning Approach to Uplift Modeling
"
, in "European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2013)"
Hendrik Blockeel
and
Kristian Kersting
and
Siegfried Nijssen
and
Filip Železný
(eds)
, Springer - LNCS, vol. 8190, pp.595–611, September 2013.
BibTex
José Paulo Leal
"
Testing the perception of time, state and causality to predict programming aptitude
"
, in "Federated Conference on Computer Science and Information Systems (FedCSIS 2013)"
, IEEE, pp.721–726, September 2013.
BibTex
Finn Kuusisto
and
Inês Dutra
and
Houssam Nassif
and
Yirong Wu
and
Molly Klein
et al.
"
Using Machine Learning to Identify Benign Cases with Non-Definitive Biopsy
"
, in "15th IEEE International Conference on e-Health Networking, Application & Services (HEALTHCOM 2013)"
, IEEE, pp.283–285, October 2013.
BibTex
Download:
Tiago Loureiro
and
Rui Camacho
and
Jorge Vieira
and
Nuno A. Fonseca
"
Boosting the Detection of Transposable Elements Using Machine Learning
"
, in "7th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2013)"
, Springer - AISC, vol. 222, pp.85–91, May 2013.
BibTex
Download:
Nuno Cravino
and
Álvaro Reis Figueira
"
Community Detection by Local Influence
"
, in "World Conference on Information Systems and Technologies (WorldCIST 2013)"
, Springer - AISC, vol. 206, pp.193–200, March 2013.
BibTex
Download:
Sandra Soares
and
Álvaro Reis Figueira
"
Creating Interopearable e-Portfolios for Different Educational Levels
"
, in "IEEE Global Engineering Education Conference (EDUCON 2013)"
, IEEE, pp.1049–1054, March 2013.
BibTex
Download:
Rolando Martins
and
Luís Lopes
and
Fernando Silva
and
Priya Narasimhan
"
Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train Systems
"
, in "28th ACM Symposium on Applied Computing (SAC 2013)"
, ACM, pp.431–438, March 2013.
BibTex
Download:
Filipe Gomes
and
José Devezas
and
Álvaro Reis Figueira
"
Temporal Visualization of a Multidimensional Network of News Clips
"
, in "World Conference on Information Systems and Technologies (WorldCIST 2013)"
, Springer - AISC, vol. 206, pp.157–166, March 2013.
BibTex
Download:
Elisabete Cunha
and
Álvaro Reis Figueira
and
Óscar E. Mealha
"
Clustering documents using tagging communities and semantic proximity
"
, in "8th Iberian Conference on Information Systems and Technologies (CISTI 2013)"
, IEEE, June 2013.
BibTex
Pedro Miguel Ferreira
and
Tiago T. V. Vinhoza
and
Ana Castro
and
Felipe Mourato
and
Thiago Tavares
et al.
"
Knowledge on Heart Condition of Children based on Demographic and Physiological Features
"
, in "26th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013)"
, IEEE, pp.314–319, June 2013.
BibTex
Download:
Hugo Rodrigues
and
Luís Antunes
and
Cristina C. Santos
and
Manuel Eduardo Correia
and
Tiago Pinho
et al.
"
Physician's awareness of e-prescribing security risks
"
, in "26th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013)"
, IEEE, pp.489–492, June 2013.
Abstract
BibTex
Download:
Rui Martins
and
Alexandre B. Augusto
and
Manuel Eduardo Correia
"
A Potpourri of Authentication Mechanisms - The Mobile Device Way
"
, in "8th Iberian Conference on Information Systems and Technologies (CISTI 2013)"
, IEEE, June 2013.
Abstract
BibTex
Download:
Hugo Rodrigues
and
Luís Antunes
and
Manuel Eduardo Correia
"
Proposal of a secure electronic prescription system
"
, in "International Conference on Information Society (i-Society 2013)"
, IEEE, pp.165-168, June 2013.
Abstract
BibTex
Cátia Santos-Pereira
and
Alexandre B. Augusto
and
Ricardo Cruz-Correia
and
Manuel Eduardo Correia
"
A secure RBAC mobile agent access control model for Healthcare Institutions
"
, in "26th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013)"
, IEEE, pp.349–354, June 2013.
BibTex
Download:
Francisco Mota
and
Scott Aaronson
and
Luís Antunes
and
André Souto
"
Sophistication as Randomness Deficiency
"
, in "15th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2013)"
, Springer - LNCS, vol. 8031, pp.172–181, July 2013.
BibTex
Nicos Angelopoulos
and
Vítor Santos Costa
and
João Azevedo
and
Jan Wielemaker
and
Rui Camacho
et al.
"
Integrative Functional Statistics in Logic Programming
"
, in "15th International Symposium on Practical Aspects of Declarative Languages (PADL 2013)"
, Springer - LNCS, vol. 7752, pp.190–205, January 2013.
BibTex
Sergio Castro
and
Kim Mens
and
Paulo Moura
"
LogicObjects: Enabling Logic Programming in Java Through Linguistic Symbiosis
"
, in "15th International Symposium on Practical Aspects of Declarative Languages (PADL 2013)"
, Springer - LNCS, vol. 7752, pp.26–42, January 2013.
BibTex
Download:
João Santos
and
Ricardo Rocha
"
On the Efficient Implementation of Mode-Directed Tabling
"
, in "15th International Symposium on Practical Aspects of Declarative Languages (PADL 2013)"
, Springer - LNCS, vol. 7752, pp.141–156, January 2013.
BibTex
Download:
Paulo Moura
"
A Portable and Efficient Implementation of Coinductive Logic Programming
"
, in "15th International Symposium on Practical Aspects of Declarative Languages (PADL 2013)"
, Springer - LNCS, vol. 7752, pp.77–92, January 2013.
BibTex
Download:
Joana Costa
and
Catarina Silva
and
Bernardete Ribeiro
and
Mário Antunes
"
CrowdTargeting: Making Crowds More Personal
"
, in "8th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2013)"
, IEEE, pp.21–26, December 2013.
BibTex
Download:
Cátia Santos-Pereira
and
Alexandre B. Augusto
and
Ricardo Cruz-Correia
and
Manuel Eduardo Correia
"
A Secure RBAC Mobile Agent Model for Healthcare Institutions - Preliminary Study
"
, in "4th International Conference on Information Technology in Bio- and Medical Informatics (ITBAM 2013)"
, Springer - LNCS, vol. 8060, pp.108–111, August 2013.
Abstract
BibTex
Pedro Paredes
and
Pedro Ribeiro
"
Towards a Faster Network-Centric Subgraph Census
"
, in "2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2013)"
, ACM, pp.264–271, August 2013.
BibTex
Download:
Joana Costa
and
Catarina Silva
and
Mário Antunes
and
Bernardete Ribeiro
"
Defining Semantic Meta-Hashtags for Twitter Classification
"
, in "11th International Conference on Adaptive and Natural Computing Algorithms (ICANNGA 2013)"
, Springer - LNCS, vol. 7824, pp.226–235, April 2013.
BibTex
Download:
Tiago Gomes
and
Vítor Santos Costa
"
Evaluating Inference Algorithms for the Prolog Factor Language
"
, in "22nd International Conference on Inductive Logic Programming (ILP 2012) - Revised Selected Papers"
Fabrizio Riguzzi
and
Filip Železný
(eds)
, Springer - LNCS, vol. 7842, pp.74–85, 2013.
BibTex
Ricardo Queirós
and
José Paulo Leal
"
A Survey on eLearning Content Standardization
"
, in "4th World Summit on the Knowledge Society (WSKS 2011) - Revised Selected Papers"
, Springer - CCIS, vol. 278, pp.433–438, 2013.
BibTex
Download:
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