CRACS Publicatons

Export 60 results:
Sort by: Author Title [ Year  (Desc)]
Filters: Year is 2017  [Clear All Filters]
2017
Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (eds) "Front Matter, Table of Contents, Preface, Conference Organization", Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.0:i–0:xvi, September 2017.
Joana Côrte-Real and Inês Dutra and Ricardo Rocha "Probabilistic Logic Models and Their Application to Breast Cancer", in "27th International Conference on Inductive Logic Programming (ILP 2017) - Late-Breaking Papers" , September 2017.
André Rei and Álvaro Reis Figueira and Luciana Oliveira "A system for visualization and analysis of online pedagogical interactions", in "International Conference on E-Education, E-Business and E-Technology (ICEBT 2017)" , ACM, pp.42–46, September 2017.
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro, "Adaptive Learning for Dynamic Environments: a Comparative Approach", in Engineering Applications of Artificial Intelligence (EAAI), vol. 65, pp.336–345, October 2017.
João Santos and Catarina Silva and Mário Antunes "Generating Benchmark Datasets for Intrusion Detection Systems", in "23th edition of the Portuguese Conference on Pattern Recognition (RecPad'17)" , October 2017.
Miguel Areias and Ricardo Rocha "Towards a Lock-Free, Fixed Size and Persistent Hash Map Design", in "International Symposium on Computer Architecture and High Performance Computing Applications and Technologies (SBAC-PAD 2017)" M. Valero and A. Melo (eds) , IEEE Computer Society, pp.145–152, October 2017.
David Aparício and Pedro Ribeiro and Fernando Silva, "Extending the Applicability of Graphlets to Directed Networks", in IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 14, pp.1302–1315, November 2017.
Luís Antunes and André Souto and Paul Vitányi, "On the Rate of Decrease in Logical Depth", in Theoretical Computer Science, vol. 702, pp.60–64, November 2017.
Arkadev Chattopadhyay and Michal Koucky and Bruno Loff and Sagnik Mukhopadhyay, "Simulation Beats Richness: New Data-Structure Lower Bounds", in Electronic Colloquium on Computational Complexity, vol. 24, November 2017.
Miguel Araújo and Pedro Ribeiro and Christos Faloutsos "TensorCast: Forecasting with Context Using Coupled Tensors (Best Paper Award)", in "IEEE International Conference on Data Mining (ICDM)" , IEEE, pp.71--80, November 2017.
Álvaro Reis Figueira and Luciana Oliveira "A Learning And Social Management System – Version 3.0", in "11th International Technology, Education and Development Conference (INTED 2017)" , IATED Digital Library, March 2017.
Miguel Areias and Ricardo Rocha, "On Scaling Dynamic Programming Problems with a Multithreaded Tabling System", in Journal of Systems and Software, vol. 125, pp.417–426, March 2017. Abstract
Rafael Vieira and Mário Antunes and Catarina Silva and Ana Assis "Automatic documents counterfeit classification using image processing and analysis", in "8th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA'17)" , Springer, June 2017.
Maria Inês Maia and José Paulo Leal "An Emotional Word Analyzer for Portuguese", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, June 2017.
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro "Performance Metrics for Model Fusion in Twitter Data Drifts", in "8th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA'17" , Springer, June 2017.
Cátia Santos-Pereira and Ricardo Cruz-Correia and António Carvalho Brito and Alexandre B. Augusto and Manuel Eduardo Correia et al. "A qualitative research evaluation of a Portuguese computerized cancer registry", in "CISTI'2017 - 12ª Conferência Ibérica de Sistemas e Tecnologias de Informação" , IEEE XPlore, June 2017. Abstract  Download: CISTI_2017_vf.pdf (489.42 KB)
Ricardo Gonçalves and Miguel Areias and Ricardo Rocha "Towards an Automated Test Bench Environment for Prolog Systems", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" R. Queirós and M. Pinto and A. Simões and Paulo J. Leal and João M. Varanda (eds) , pp.2:1–2:13, June 2017.
Sandra Alves and Maribel Fernández, "A graph-based framework for the analysis of access control policies", in Theoretical Computer Science, vol. 685, pp.3–22, July 2017.
Diogo Machado and Inês Dutra and Pedro Brandão and Vítor Santos Costa "Managing Diabetes: counselling supported by user data in a mobile platform", in "RuleML+RR: International Joint Conference on Rules and Reasoning" , July 2017.
Diogo Machado and Tiago Paiva and Inês Dutra and Vítor Santos Costa and Pedro Brandão "Managing Diabetes: Pattern Discovery and Counselling Supported by User Data in a Mobile Platform", in "22nd IEEE Symposium on Computers and Communication (ISCC 2017): Workshops - ICTS4eHealth 2017" , July 2017.
Miguel Areias and Ricardo Rocha "Simpler is Faster: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog", in "10th International Symposium on High-level Parallel Programming and Applications (HLPP 2017)" Daniel J. García (eds) , pp.25–42, July 2017.
Arkadev Chattopadhyay and Michal Koucky and Bruno Loff and Sagnik Mukhopadhyay, "Composition and Simulation Theorems via Pseudo-random Properties", in Electronic Colloquium on Computational Complexity, vol. 24, January 2017.
Laurence Loewe and Katherine S. Scheuer and Seth A. Keel and Vaibhav Vyas and Ben Liblit et al., "Evolvix BEST Names for Semantic Reproducibility across Code2Brain Interfaces", in Annals of the New York Academy of Sciences, vol. 1387, pp.124–144, January 2017.
Theofrastos Mantadelis and Ricardo Rocha "Using Iterative Deepening for Probabilistic Logic Inference", in "19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)" Y. Lierler and W. Taha (eds) , Springer - LNCS, pp.198–213, January 2017.
Sriraam Natarajan and Vishal Bangera and Tushar Khot and Jose Picado and Anurag Wazalwar et al., "Markov Logic Networks for Adverse Drug Event Extraction from Text", in Knowledge Information Systems, vol. 51, pp.435–457, February 2017.
Luís Antunes and Bruno Bauwens and André Souto and Andreia Teixeira, "Sophistication Vs Logical Depth", in Theory of Computing Systems, vol. 60, pp.280–298, February 2017.
Álvaro Reis Figueira and Luciana Oliveira "The current state of fake news: challenges and opportunities", in "9th Conference on ENTERprise Information Systems (CENTERIS 2017)" , Elsevier - Procedia Computer Science, vol. 121, pp.817–825, December 2017.
Luciana Oliveira and Álvaro Reis Figueira "Improving the Benchmarking of Social Media Content Strategies Using Clustering and Kpi", in "9th Conference on ENTERprise Information Systems (CENTERIS 2017)" , Elsevier - Procedia Computer Science, vol. 121, pp.826–834, December 2017.
S. Ramos and R. Gaio and F. Ferreira and José Paulo Leal and S. Martins et al., "Tuberculosis in children from diagnosis to decision to treat", in Revista Portuguesa de Pneumologia (English Edition), vol. 23, pp.317–322, December 2017.
Carla Silva, "What is Quantum AI?", in ITNOW, vol. 59, pp.21, December 2017.
Zhaobin Kuang and Peggy Peissig and Vitor Santos Costa and Richard Maclin and David Page "Pharmacovigilance via Baseline Regularization with Large-Scale Longitudinal Observational Data", in "23Rd Acm Sigkdd International Conference on Knowledge Discovery and Data Mining, KDD'2017" , ACM, pp.1537-1546, August 2017.
Sarvenaz Choobdar and Pedro Ribeiro and Fernando Silva "Evolutionary Role Mining in Complex Networks by Ensemble Clustering", in "32nd ACM SIGAPP Symposium On Applied Computing, SAC 2017, Track on Social Network and Media Analysis" , ACM, April 2017.
Jorge Silva and Fernando Silva "Feature Extraction for the Author Name Disambiguation Problem in a Bibliographic Database", in "32nd ACM SIGAPP Symposium On Applied Computing, SAC 2017, Track on Data Mining" , ACM, April 2017.
Joaquim Silva and Daniel Silva and Eduardo R. B. Marques and Luís Lopes and Fernando Silva "P3-Mobile: Parallel Computing for Mobile Edge-Clouds", in "4Th Workshop on Crosscloud Infrastructures & Platforms, Crosscloud@eurosys 2017" , ACM, April 2017.
Ahmad Naser eddin and Pedro Ribeiro "Scalable Subgraph Counting using MapReduce", in "32nd ACM SIGAPP Symposium On Applied Computing, SAC 2017, Track on Practical Aspects of High-Level Parallel Programming" , ACM, April 2017.
Pedro Pinto M. Silva and João Rodrigues and Joaquim Silva and Rolando Martins and Luís Lopes et al. "Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructures and Improve Quality of Experience", in "1st International Conference on Fog and Edge Computing (ICFEC'2017)" , IEEE, 2017 2017.
Jorge Barbosa and Rui Camacho and Inês Dutra and Osni Marques (eds) , "VECPAR 2016 - 12th International Meeting on High Performance Computing for Computational Science", in 12th International Meeting on High Performance Computing for Computational Science, Springer, vol. 10150, pp.273, 2016 2017.
Ricardo Queirós "Criação Rápida de Sites Responsivos com o Bootstrap", in "CRIAÇÃO RÁPIDA DE SITES RESPONSIVOS COM O BOOTSTRAP" , FCA Editora de Informática, 2017.
Vasco Vasconcelos and Francisco Martins and Eduardo R. B. Marques and Nobuko Yoshida and Nicholas Ng "Deductive Verification of MPI Protocols", in "Behavioural Types: from Theory to Tools (to appear)" , River Publishers, 2017.  Download: betty17.pdf (807.66 KB)
Helder Correia and José Paulo Leal and José Carlos Paiva "Enhancing Feedback to Students in Automated Diagram Assessment", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.11:1–11:8, 2017.
Joana Côrte-Real and Inês Dutra and Ricardo Rocha "Estimation-Based Search Space Traversal in PILP Environments", in "26th International Conference on Inductive Logic Programming (ILP 2016)" , 2017.
Ricardo Queirós and Filipe Portela and José Machado "Magni - A Framework for Developing Context-Aware Mobile Applications", in "Recent Advances in Information Systems and Technologies - Volume 3 [WorldCIST'17, Porto Santo Island, Madeira, Portugal, April 11-13, 2017]." , pp.417–426, 2017.
André Rodrigues and Carla Silva and Paulo Borges and Sérgio Silva and Inês Dutra, "Optimizing the Calculation of Statistical Functions", in Journal of Big Data Intelligence, vol. 4, pp.123-139, 2017.
Patricia R. Sousa and Luís Antunes and Rolando Martins "The present and future of privacy-preserving computation in fog computing", in "Fog Computing in the Internet of Things: Intelligence at the Edge" , Springer, Cham, pp.51–69, 2017.
Amir Hossein Nabizadeh and Al\'ıpio Mário Jorge and José Paulo Leal "RUTICO: Recommending Successful Learning Paths Under Time Constraints", in "Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization" , ACM, pp.153–158, 2017.
Ricardo Queirós and Alberto Simões "SOS - Simple Orchestration of Services", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.13:1–13:8, 2017.
Nuno Silva and Eduardo R. B. Marques and Luís Lopes "Streaming Sensor Data from Dynamically Reprogrammable Tasks Running on Mobile Devices", in "Proc. 4th ACM International Conference on Systems for Energy-Efficient Built Environments" , ACM, pp.10:1-10:10, 2017.
Ricardo Queirós "A Survey on CSS Preprocessors", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.8:1–8:12, 2017.
João Rodrigues and Eduardo R. B. Marques and Luís M. B. Lopes and Fernando Silva "Towards a Middleware for Mobile Edge-Cloud Applications", in "Proc. 2nd Workshop on Middleware for Edge Clouds & Cloudlets (MECC'17)" , ACM, pp.1:1–1:6, 2017.
Fábio Freitas and António Pinto "Collection of State Information in Live Digital Forensics", in "Ambient Intelligence– Software and Applications – 8th International Symposium on Ambient Intelligence (ISAmI 2017)" Juan F. De Paz and Vicente Julián and Gabriel Villarrubia and Goreti Marreiros and Paulo Novais (eds) , Springer International Publishing, pp.1–8, 2017. Abstract
Sandra Alves and Maribel Fernández, "A graph-based framework for the analysis of access control policies", in Theor. Comput. Sci., Elsevier B.V., vol. 685, pp.3-22, 2017. Abstract
Sandra Alves and Sabine Broda "Inhabitation machines: determinism and principality", in "Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017." Rudolf Freund and Frantisek Mráz and Daniel Prusa (eds) , Österreichische Computer Gesellschaft, pp.57-70, 2017.
Luís Sousa and António Pinto "MuSec: Sonification of Alarms Generated by a SIEM", in "Ambient Intelligence– Software and Applications – 8th International Symposium on Ambient Intelligence (ISAmI 2017)" Juan F. De Paz and Vicente Julián and Gabriel Villarrubia and Goreti Marreiros and Paulo Novais (eds) , Springer International Publishing, pp.32–39, 2017. Abstract
Pedro Fernandes and António Pinto "Online Conversation Application with Confidentiality, Anonymity, and Identity Requirements", in "Ambient Intelligence– Software and Applications – 8th International Symposium on Ambient Intelligence (ISAmI 2017)" Juan F. De Paz and Vicente Julián and Gabriel Villarrubia and Goreti Marreiros and Paulo Novais (eds) , Springer International Publishing, pp.40–46, 2017. Abstract