CRACS Publicatons

Export 27 results:
Sort by: Author Title [ Year  (Desc)]
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.
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.
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: 
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: 
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: 
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.
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: 
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
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: 
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.
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: 
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: 
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: 
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.  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.
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.  Download: