CRACS Publicatons

Export 57 results:
Sort by: Author Title [ Year  (Desc)]
Filters: 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.
Kiran Ali and Marco Amaro Oliveira and Inês Dutra "Grid Scheduling Strategies For Applications That Need Data Transfer", in "8th Iberian GRID Infrastructure Conference (IBERGRID 2014)" , September 2014.  Download: THESIS_FINAL-1.pdf (1.29 MB)
Alexandre B. Augusto and Manuel Eduardo Correia "A Mobile-Based Attribute Aggregation Architecture for User-Centric Identity Management", in "Architectures and Protocols for Secure Information Technology Infrastructures" Antonio Ruiz-Martínez and Rafael Marín-López and Fernando Pereñíguez-García (eds) , IGI Global, pp.266–287, September 2014. Abstract  Download: Book_chapterIGI_final.pdf (918.31 KB)
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)
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro "Learning with Drift in Twitter", in "20th Portuguese Conference on Pattern Recognition (RecPad 2014)" , October 2014.
Miguel Areias and Ricardo Rocha "On Scaling Dynamic Programming Problems with a Multithreaded Tabling System", in "1st Workshop on Software Engineering for Parallel Systems (SEPS 2014), co-hosted with SPLASH 2014" , pp.103–114, October 2014.
Sarvenaz Choobdar and Pedro Ribeiro and Fernando Silva "Querying Volatile and Dynamic Networks", in "Encyclopedia of Social Network Analysis and Mining" Reda Alhajj and Jon Rokne (eds) , Springer New York, pp.1456–1463, October 2014.
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.
Ricardo Queirós and José Paulo Leal and José Campos, "Sequencing Educational Resources with Seqins", in Computer Science and Information Systems, vol. 11, pp.1479–1497, October 2014.
João Santos and Ricardo Rocha, "A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines", in Computer Science and Information Systems, vol. 11, pp.1435–1454, October 2014.
Christian Lengauer and Luc Bougé and Fernando Silva (eds) , "Special Issue: Euro-Par 2014", in 20th International Conference on Parallel Processing (Euro-Par 2014) - Revised Selected Papers, Wiley - Concurrency and Computation: Practice & Experience, vol. 27, November 2015 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.
Pedro Ribeiro and Fernando Silva, "G-Tries: a data structure for storing and finding subgraphs", in Data Mining and Knowledge Discovery, Springer US, vol. 28, pp.337–377, March 2014. Abstract  Download: j2014_DMKD_gtries.pdf (884.87 KB)
Maria João V. Pereira and José Paulo Leal and Alberto Simões (eds) , "3rd Symposium on Languages, Applications and Technologies", in SLATE 2014, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, vol. 38, June 2014.
Ricardo Queirós "Desenvolvimento de Aplicações Profissionais em Android", FCA - Editora de Informática, Lda., pp.320, June 2014.
Luís Maia and Pedro Lopes Faria and Luis Valente and Manuel Eduardo Correia and Lígia M. Ribeiro et al. "Exposing vulnerabilities in Academic Information Systems: A Systematic approach", in "20th International Congress of the European University Information Systems organization (EUNIS 2014)" , June 2014. Abstract
Ricardo Queirós "JSON on Mobile: is there an Efficient Parser?", in "3rd Symposium on Languages, Applications and Technologies (SLATE 2014)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 38, pp.93–100, June 2014.
Sandra Alves and Maribel Fernández and Mário Florido and Ian Mackie, "Linearity: A Roadmap", in Journal of Logic and Computation, vol. 24, pp.513–529, June 2014.
José Paulo Leal and Teresa Costa "Multiscale Parameter Tuning of a Semantic Relatedness Algorithm", in "3rd Symposium on Languages, Applications and Technologies (SLATE 2014)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 38, pp.201–213, June 2014.  Download: 
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.
Elena Bellodi and Evelina Lamma and Fabrizio Riguzzi and Vítor Santos Costa and Riccardo Zese, "Lifted Variable Elimination for Probabilistic Logic Programming", in Journal of Theory and Practice of Logic Programming (30th International Conference on Logic Programming (ICLP 2014) Special Issue), Cambridge University Press, vol. 14, pp.681–695, July 2014.
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein and Frank Pfenning, "A Linear Logic Programming Language for Concurrent Programming over Graph Structures", in Journal of Theory and Practice of Logic Programming (30th International Conference on Logic Programming (ICLP 2014) Special Issue), Cambridge University Press, vol. 14, pp.493–507, July 2014.
Miguel Areias and Ricardo Rocha "A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs", in "7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014)" Clemens Grelck (eds) , pp.259–278, July 2014.
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein "A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" Thomas Ströder and Terrance Swift (eds) , pp.125–139, July 2014.
Theofrastos Mantadelis and Ricardo Rocha "A Portable Prolog Predicate for Printing Rational Terms", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" Thomas Ströder and Terrance Swift (eds) , pp.141–153, July 2014.
Carlos A. Martínez-Angeles and Inês Dutra and Vítor Santos Costa and Jorge Buenabad-Chávez "Relational Learning with Datalog and GPUs: Accelerating Rule Coverage", in "7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014)" , July 2014.
Miguel Areias and Ricardo Rocha "A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling", in "30th International Conference on Logic Programming (ICLP 2014) - Technical Communications" Michael Leuschel and Tom Schrijvers (eds) , 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
Theofrastos Mantadelis and Ricardo Rocha and Paulo Moura, "Tabling, Rational Terms, and Coinduction Finally Together!", in Journal of Theory and Practice of Logic Programming (30th International Conference on Logic Programming (ICLP 2014) Special Issue), vol. 14, pp.429–443, July 2014.
Edgard Neto and Rui Mendes and Luís Lopes "An Architecture for Seamless Configuration, Deployment, and Management of Wireless Sensor-Actuator Networks", in "3rd International Conference on Sensor Networks (SENSORNETS 2014)" , SciTePress, pp.73–81, January 2014. Abstract  Download: c2013_eneto_sensornets.pdf (397.41 KB)
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.
Ricardo Queirós and Mário Pinto, "ESEIG Mobile: An M-Learning Approach in a Superior School", in International Journal of Knowledge-Based Organizations, IGI Global, vol. 4, pp.22–38, 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.
Peggy Peissig and Vítor Santos Costa and Michael Caldwell and Carla Rottscheit and Richard L. Berg et al., "Relational machine learning for electronic health record-driven phenotyping", in Journal of Biomedical Informatics, vol. 52, pp.260–270, December 2014.
Fernando Silva and Inês Dutra and Vítor Santos Costa (eds) , "Euro-Par 2014: Parallel Processing", in 20th International Conference on Parallel Processing (Euro-Par 2014), Springer - LNCS, vol. 8632, pp.828, August 2014.
Luís Lopes and Julius Žilinskas and Alexandru Costan and Roberto G. Cascella and Gabor Kecskemeti et al. (eds) , "Euro-Par 2014: Parallel Processing Workshops", in Euro-Par 2014 International Workshops, Springer - LNCS, vol. 8805 & 8806, August 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: 
Sandra Alves and Iliano Cervesato (eds) , "Proceedings Third International Workshop on Linearity", in Linearity 2014, Vienna, Austria, 13Th July, 2014, EPTCS, vol. 176, 2015 2014.
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: 
Sandra Alves and Maribel Fernández and Mário Florido and Ian Mackie, "Linearity: A Roadmap", in J. Log. Comput., vol. 24, pp.513–529, 2014.