CRACS Publicatons

Export 24 results:
Sort by: Author Title [ Year  (Desc)]
Filters: Taxonomy Term is Proceed. by main publishers (Springer, ACM, IEEE) and Year is 2014  [Clear All Filters]
2014
Miguel Araújo and Stephan Günnemann and Gonzalo Mateos and Christos Faloutsos "Beyond Blocks: Hyperbolic Community Detection", in "European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2014)" , Springer Berlin Heidelberg, vol. 8724, pp.50–65, September 2014.
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein "Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs", in "16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)" Olivier Danvy (eds) , ACM Press, pp.43–53, September 2014.
Finn Kuusisto and Vítor Santos Costa and Houssam Nassif and Elizabeth Burnside and David Page et al. "Support Vector Machines for Differential Prediction", in "European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2014)" , Springer - LNCS, vol. 8725, pp.50–65, September 2014.
André Pereira and Manuel Eduardo Correia and Pedro Brandão "USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations", in "15th Joint IFIP TC6/TC11Conference on Communications and Multimedia Security (CMS 2014)" , Springer - LNCS, vol. 8735, pp.19–32, September 2014. Abstract  Download: USB connection vulnerabilities on Android smartphones.pdf (454 KB)
Peter Bloem and Francisco Mota and Steven de Rooij and Luís Antunes and Pieter Adriaans "A Safe Approximation for Kolmogorov Complexity", in "25th International Conference on Algorithmic Learning Theory (ALT 2014)" , Springer - LNCS, vol. 8776, pp.336–350, October 2014.
Miguel Araújo and Spiros Papadimitriou and Stephan Günnemann and Christos Faloutsos and Prithwish Basu et al. "Com2: Fast Automatic Discovery of Temporal ('Comet') Communities", in "18th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining (PAKDD 2014)" , Springer International Publishing, vol. 8444, pp.271–283, May 2014.
António Gonçalves and Irene M. Ong and Jeffrey A. Lewis and Vítor Santos Costa "Discovering Differentially Expressed Genes in Yeast Stress Data", in "27th International Symposium on Computer-Based Medical Systems (CBMS 2014)" , IEEE, pp.537–538, May 2014.
Ana Ferreira and Gabriele Lenzini and Cátia Santos-Pereira and Alexandre B. Augusto and Manuel Eduardo Correia "Envisioning secure and usable access control for patients", in "IEEE 3rd International Conference on Serious Games and Applications for Health (SeGAH 2014)" , IEEE, May 2014. Abstract  Download: segah2014 Envisioning secure and usable access control for patients.pdf (859.79 KB)
António Gonçalves and Irene M. Ong and Jeffrey A. Lewis and Vítor Santos Costa "Towards Using Probabilities and Logic to Model Regulatory Networks", in "27th International Symposium on Computer-Based Medical Systems (CBMS 2014)" , IEEE, pp.239–242, May 2014.
Pedro Ribeiro and Fernando Silva "Discovering Colored Network Motifs", in "5th Workshop on Complex Networks (CompleNet 2014)" , Springer - SCI, vol. 549, pp.107–118, March 2014.
Cláudio Amaral and Mário Florido and Vítor Santos Costa "PrologCheck – Property-Based Testing in Prolog", in "12th International Symposium on Functional and Logic Programming (FLOPS 2014)" , Springer - LNCS, vol. 8475, pp.1–17, June 2014.
Teresa Costa and José Paulo Leal "Challenges in computing semantic relatedness for large semantic graphs", in "18th International Database Engineering & Applications Symposium (IDEAS 2014)" , ACM, pp.376–377, July 2014.
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 "Kiel Declarative Programming Days 2013 (KDPD 2013, Unifying INAP, WFLP, and WLP) - Revised Selected Papers" , Springer - LNCS, vol. 8439, pp.152–168, July 2014.
Alípio M. Jorge and José Paulo Leal and Sarabjot S. Anand and Hugo Dias "A study of machine learning methods for detecting user interest during web sessions", in "18th International Database Engineering & Applications Symposium (IDEAS 2014)" , ACM, pp.149–157, July 2014. Abstract
Miguel Areias and Ricardo Rocha "On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs", in "16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014)" , Springer - LNCS, vol. 8324, pp.168–183, January 2014.  Download: 
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro "Concept Drift Awareness in Twitter Streams", in "13th International Conference on Machine Learning and Applications (ICMLA 2014)" , IEEE, pp.294–299, December 2014.
Ezilda Almeida and Pedro Miguel Ferreira and Tiago T. V. Vinhoza and Inês Dutra and Paulo Borges et al. "ExpertBayes: Automatically Refining Manually Built Bayesian Networks", in "13th International Conference on Machine Learning and Applications (ICMLA 2014)" , IEEE, pp.362–366, December 2014.
Joana Côrte-Real and Inês Dutra and Ricardo Rocha "A Hybrid MapReduce Model for Prolog", in "14th International Symposium on Integrated Circuits (ISIC 2014)" , IEEE, pp.340–343, December 2014.
David Aparício and Pedro Ribeiro and Fernando Silva "Parallel Subgraph Counting for Multicore Architectures", in "12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2014)" , IEEE, pp.34–41, August 2014.
David Aparício and Pedro Paredes and Pedro Ribeiro "A Scalable Parallel Approach for Subgraph Census Computation", in "7th International Workshop on Multi-/Many-Core Computing Systems (MuCoCos 2014), co-located with Euro-Par 2014" , Springer - LNCS, vol. 8806, pp.194–205, August 2014.
Ricardo Queirós and José Paulo Leal "A survey of E-Learning Content Aggregation Standards", in "4th International Symposium on Knowledge Management & E-Learning (KMEL 2014) co-located with the 13th International Conference on Web-based Learning (ICWL 2014)" , Springer - LNCS, vol. 8699, pp.204–214, August 2014.
Mário Antunes and Albano Afonso and Filipe Mota Pinto "A Distributed Architecture for Remote Validation of Software Licenses Using USB/IP Protocol", in "World Conference on Information Systems and Technologies (WorldCIST 2014)" Álvaro Rocha and Ana Maria Correia and Felix B. Tan and Karl A. Stroetmann (eds) , Springer - AISC, vol. 276, pp.269–279, April 2014.  Download: 
Rui Camacho and Ruy Ramos and Nuno A. Fonseca "AND Parallelism for ILP: the APIS System", in "23rd International Conference on Inductive Logic Programming (ILP 2013) - Revised Selected Papers" Gerson Zaverucha and Vítor Santos Costa and Aline Paes (eds) , Springer - LNCS, vol. 8812, pp.93–106, 2014.  Download: