CRACS Publicatons

Export 71 results:
Sort by: Author Title [ Year  (Desc)]
Filters: Year is 2013  [Clear All Filters]
2013
Gerson Zaverucha and Vítor Santos Costa and Aline Paes (eds) , "Inductive Logic Programming", in 23rd International Conference on Inductive Logic Programming (ILP 2013) - Revised Selected Papers, Springer - LNCS, vol. 8812, pp.141, September 2014 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.
Elisabete Cunha and Álvaro Reis Figueira and Óscar E. Mealha "Clustering and Classifying Text Documents - a Revisit to Tagging Integration Methods", in "5th International Conference on Knowledge Discovery and Information Retrieval (KDIR 2013)" , September 2013.
Carlos A. Martínez-Angeles and Inês Dutra and Vítor Santos Costa and Jorge Buenabad-Chávez "A Datalog Engine for GPUs", in "22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013), within Kiel Declarative Programming Days 2013 (KDPD 2013, Unifying INAP, WFLP, and WLP) - Local Proceedings" , Kiel University, pp.239–253, September 2013.
Michael Hanus and Ricardo Rocha (eds) , "Kiel Declarative Programming days", in Kiel Declarative Programming Days 2013 (KDPD 2013, Unifying INAP, WFLP, and WLP), Kiel University, pp.316, September 2013.
João Santos and Ricardo Rocha "An Or-Parallel Prolog Execution Model for Clusters of Multicores", in "16th Portuguese Conference on Artificial Intelligence (EPIA 2013)" , pp.124–135, September 2013.  Download: 
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.  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.
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.
Miguel Areias and Ricardo Rocha, "Batched Evaluation of Linear Tabled Logic Programs", in Computer Science and Information Systems, vol. 10, pp.1775–1797, October 2013.  Download: ComSIS_sl010-1212.pdf (221.28 KB)
Carlos Monteiro and José Paulo Leal, "Managing experiments on cognitive processes in writing with HandSpy", in Computer Science and Information Systems, vol. 10, pp.1747–1773, October 2013. Abstract
Álvaro Reis Figueira and Helena Leal "An Online Tool to Manage and Assess Collaborative Group Work", in "12th European Conference on e-Learning (ECEL 2013)" , October 2013.  Download: 
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.  Download: 
José Paulo Leal, "Using proximity to compute semantic relatedness in RDF graphs", in Computer Science and Information Systems, vol. 10, pp.1727–1746, October 2013. Abstract
Tiago Loureiro and Rui Camacho and Jorge Vieira and Nuno A. Fonseca, "Improving the performance of Transposable Elements detection tools", in Journal of Integrative Bioinformatics (Special Issue - PACBB'13 Selected Extended Papers), vol. 10, November 2013.  Download: 
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 "19th Portuguese Conference on Pattern Recognition (RecPad 2013)" , November 2013.  Download: 
Albano Afonso and Mário Antunes and Filipe Mota Pinto "Validação remota de aplicações de informática forense com recurso a dongles por USB/IP", in "13ª Conferência sobre Redes de Computadores (CRC 2013)" , pp.131–133, November 2013.  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.  Download: 
Marcos A. Domingues and Fabien Gouyon and Alípio M. Jorge and José Paulo Leal and João Vinagre et al., "Combining usage and content in an online recommendation system for music in the Long Tail", in International Journal of Multimedia Information Retrieval, Springer-Verlag, vol. 2, pp.3–13, March 2013.
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.  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.  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.  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.  Download: 
José Paulo Leal and Ricardo Rocha and Alberto Simões (eds) , "2nd Symposium on Languages, Applications and Technologies", in SLATE 2013, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, vol. 29, June 2013.
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.
Ricardo Queirós "CodeSkelGen - A Program Skeleton Generator", in "2nd Symposium on Languages, Applications and Technologies (SLATE 2013)" José Paulo Leal and Ricardo Rocha and Alberto Simões (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 29, pp.145–154, June 2013.  Download: 
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.  Download: 
João Santos and Ricardo Rocha "Or-Parallel Prolog Execution on Clusters of Multicores", in "2nd Symposium on Languages, Applications and Technologies (SLATE 2013)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 29, pp.9–20, June 2013.  Download: 
Luís Maia and Luis Valente and Manuel Eduardo Correia and Lígia M. Ribeiro and Luís Antunes "A PDF based digital signed document format for interoperable institutional structured data integrity", in "19th International Congress of the European University Information Systems organization (EUNIS 2013)" , June 2013. Abstract  Download: eunis2013_submission_44.pdf (157.6 KB)
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  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  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
Teresa Costa and José Paulo Leal "Publishing Linked Data with DaPress", in "2nd Symposium on Languages, Applications and Technologies (SLATE 2013)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 29, pp.67–81, June 2013.  Download: 
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.  Download: 
Ricardo Queirós and José Paulo Leal and José Campos "Seqins - A Sequencing Tool for Educational Resources", in "2nd Symposium on Languages, Applications and Technologies (SLATE 2013)" José Paulo Leal and Ricardo Rocha and Alberto Simões (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 29, pp.83–96, June 2013.  Download: 
Michael Hanus and Ricardo Rocha (eds) , "Declarative Programming and Knowledge Management", in Kiel Declarative Programming Days 2013 (KDPD 2013, Unifying INAP, WFLP, and WLP) - Revised Selected Papers, Springer - LNCS, vol. 8439, pp.251, July 2014 2013.
Gerson Zaverucha and Vítor Santos Costa and Aline Paes (eds) , "Late Breaking Papers of ILP 2013", in 23rd International Conference on Inductive Logic Programming (ILP 2013) - Late Breaking Papers, CEUR-WS.org, vol. 1187, July 2014 2013.
Vítor Santos Costa and David Vaz, "BigYAP: Exo-compilation meets UDI", in Journal of Theory and Practice of Logic Programming (29th International Conference on Logic Programming (ICLP 2013) Special Issue), Cambridge University Press, vol. 13, pp.799–813, July 2013.  Download: 
Jesse Davis and Vítor Santos Costa and Peggy Peissig and Michael Caldwell and David C. Page "A Preliminary Investigation into Predictive Models for Adverse Drug Events", in "Workshop on Expanding the Boundaries of Health Informatics Using AI held at the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2013)" , AAAI Press, July 2013.
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.
Ricardo Queirós and José Paulo Leal, "BabeLO - An Extensible Converter of Programming Exercises Formats", in IEEE Transactions on Learning Technologies, vol. 6, pp.38–45, January 2013. Abstract  Download: 
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.
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.  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.  Download: 
Luís Antunes and Armando Matos and Alexandre Pinto and André Souto and Andreia Teixeira, "One-Way Functions Using Algorithmic and Classical Information Theories", in Theory of Computing Systems, Springer-Verlag, vol. 52, pp.162–178, January 2013.
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.  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.  Download: 
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro, "Customized Crowds and Active Learning to Improve Classification", in Expert Systems with Applications, Elsevier, vol. 40, pp.7212–7219, December 2013.  Download: 
Teresa Henriques and Hernâni Gonçalves and Luís Antunes and Mara Matias and João Bernardes et al., "Entropy and compression: two measures of complexity", in Journal of Evaluation in Clinical Practice, John Wiley & Sons, vol. 19, pp.1101–1106, December 2013.
Ricardo Queirós and José Paulo Leal, "crimsonHex: a learning objects repository for programming exercises", in Journal of Software: Practice and Experience, John Wiley & Sons, vol. 43, pp.911–935, August 2013.  Download: 
Ricardo Queirós and José Paulo Leal, "Ensemble - an E-Learning Framework", in Journal of Universal Computer Science, vol. 19, pp.2127–2149, August 2013. Abstract  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
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.  Download: 
Ricardo Queirós "Android - Introdução ao Desenvolvimento de Aplicações", FCA - Editora de Informática, Lda., pp.224, April 2013.