] Filters: Taxonomy Term is Journals [Clear All Filters]
, "IRIS: Secure Reliable Live-Streaming with Opportunistic Mobile Edge Cloud Offloading", in FutureGenerationComputerSystems, vol. 101, pp.272-292, December 2019. Abstract
Download: 1-s2.0-S0167739X19301037-main (1).pdf (2.26 MB)
, "PROud - A Gamification Framework Based on Programming Exercises Usage Data", in Information, vol. 10, pp.54, 2019.
, "Graphlet-orbit Transitions (GoT): A fingerprint for temporal network comparison", in PLoS ONE, vol. 13, October 2018. Download: j2018_PLOSONE.pdf (3.04 MB)
, "TensorCast: forecasting and mining with coupled tensors", in Knowledge and Information Systems (KAIS), Springer, pp.1--26, May 2018.
, "Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog", in Concurrency and Computation: Practice and Experience, Special Issue, pp.1–14, March 2018.
, "Parallel Asynchronous Strategies for the Execution of Feature Selection Algorithms", in International Journal of Parallel Programming, vol. 42, pp.252--283, April 2018.
, "CSS Preprocessing: Tools and Automation Techniques", in Information, vol. 9, pp.17, 2018.
, "EmoSpell, a Morphological and Emotional Word Analyzer", in Information, vol. 9, 2018. Abstract
, "Estimating time and score uncertainty in generating successful learning paths under time constraints", in Expert Systems, pp.e12351, 2018. Abstract
, "Flux: a platform for dynamically reconfigurable mobile crowd-sensing", in ACM Transactions on Sensor Networks, 2018.
, "Reputation based approach for improved fairness and robustness in P2P protocols", in Peer-to-Peer Networking and Applications, 2018. Abstract
, "Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation", in Theory and Practice of Logic Programming, vol. 18, pp.950–992, 2018.
, "Adaptive Learning for Dynamic Environments: a Comparative Approach", in Engineering Applications of Artificial Intelligence (EAAI), vol. 65, pp.336–345, October 2017.
, "On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems", in Information (switzerland), vol. 8, October 2017.
, "Predicting the Relevance of Social Media Posts Based on Linguistic Features and Journalistic Criteria", in New Generation Computing, vol. 35, pp.451–472, October 2017.
, "Extending the Applicability of Graphlets to Directed Networks", in IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 14, pp.1302–1315, November 2017.
, "On the Rate of Decrease in Logical Depth", in Theoretical Computer Science, vol. 702, pp.60–64, November 2017.
, "Simulation Beats Richness: New Data-Structure Lower Bounds", in Electronic Colloquium on Computational Complexity, vol. 24, November 2017.
, "On Scaling Dynamic Programming Problems with a Multithreaded Tabling System", in Journal of Systems and Software, vol. 125, pp.417–426, March 2017. Abstract
, "A graph-based framework for the analysis of access control policies", in Theoretical Computer Science, vol. 685, pp.3–22, July 2017.
, "Composition and Simulation Theorems via Pseudo-random Properties", in Electronic Colloquium on Computational Complexity, vol. 24, January 2017.
, "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.
, "Markov Logic Networks for Adverse Drug Event Extraction from Text", in Knowledge Information Systems, vol. 51, pp.435–457, February 2017.
, "On the use of stochastic local search techniques to revise first-order logic theories from examples", in Machine Learning, vol. 106, pp.197–241, February 2017.
, "Sophistication Vs Logical Depth", in Theory of Computing Systems, vol. 60, pp.280–298, February 2017.
, "Entropy and Compression Capture Different Complexity Features: The Case of Fetal Heart Rate", in Entropy, vol. 19, December 2017.
, "Tuberculosis in children from diagnosis to decision to treat", in Revista Portuguesa de Pneumologia (English Edition), vol. 23, pp.317–322, December 2017.
, "What is Quantum AI?", in ITNOW, vol. 59, pp.21, December 2017.
, "Optimizing the Calculation of Statistical Functions", in Journal of Big Data Intelligence, vol. 4, pp.123-139, 2017.
, "On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores", in Theory and Practice of Logic Programming, Special issue for 32nd International Conference on Logic Programming (ICLP 2016), vol. 16, pp.899–915 , October 2016.
, "Declarative Coordination of Graph-Based Parallel Programs", in ACM SIGPLAN Notices -- PPoPP 2016 (Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming), ACM, vol. 51, pp.Article nº 4, March 2016.
, "Discovery of "comet" communities in temporal and labeled graphs COM2", in Knowledge and Information Systems, vol. 46, pp.657–677, March 2016.
, "Distinguishing Two Probability Ensembles with One Sample from each Ensemble", in Theory of Computing Systems, vol. 59, pp.517–531, March 2016.
, "A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs", in International Journal of Parallel Programming, Springer US, vol. 44, pp.386–406, June 2016.
, "Relational Learning with GPUs: Accelerating Rule Coverage", in International Journal of Parallel Programming, Springer US, vol. 44, pp.663–685, June 2016.
, "A Safe-By-Design Programming Language for Wireless Sensor Networks", in Journal of Systems Architecture, vol. 63, pp.16–32, February 2016.
, "Gamification of Learning Activities with the Odin service", in Computer Science and Information Systems, vol. 13, pp.809–826, 2016.
, "Hash-chain-based authentication for IoT", in Advances in Distributed Computing and Artificial Intelligence Journal, Salamanca University Press, vol. 5, pp.43–57, 2016.
, "Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction", in SIGLOG News, vol. 3, pp.50–54, 2016.
, "Dynamic inference of social roles in information cascades", in Data Mining and Knowledge Discovery, Springer US, vol. 29, pp.1152–1177, September 2015.
, "Human pluripotent stem cell-derived neural constructs for predicting neural toxicity", in Proceedings of the National Academy of Sciences of the United States of America, vol. 112, pp.12516–12521, October 2015.
, "A short note on type-inhabitation: Formula-trees vs. game semantics", in Information Processing Letters, Elsevier, vol. 115, pp.908–911, November 2015.
, "Convergent Evolution at the Gametophytic Self-Incompatibility System in Malus and Prunus", in PLoS ONE, Public Library of Science, vol. 10, pp.e0126138, May 2015.
, "Predicting Malignancy from Mammography Findings and Image-Guided Core Biopsies", in International Journal of Data Mining and Bioinformatics, vol. 11, pp.257–276, March 2015. Download: j2012_pferreira_jdmb.pdf (2.55 MB)
, "Tuning a Semantic Relatedness Algorithm using a Multiscale Approach", in Computer Science and Information Systems, ComSIS Consortium, vol. 12, pp.635–654, June 2015. Abstract
, "Exploring multi-relational temporal databases with a propositional sequence miner", in Progress in Artificial Intelligence, Springer Berlin Heidelberg, vol. 4, pp.11–20, December 2015.
, "Rand-FaSE: fast approximate subgraph census", in Social Network Analysis and Mining, Springer Vienna, vol. 5, pp.17:1–17:18, December 2015.
, "Social Media Content Analysis in the Higher Education Sector: From Content to Strategy", in International Journal of Web Portals, IGI Global, vol. 7, pp.16–32, April-June 2015.
, "A Framework for the Analysis of Access Control Policies with Emergency Management", in Electronic Notes in Theoretical Computer Science, Elsevier, vol. 312, pp.89–105, April 2015.
, "Sequencing Educational Resources with Seqins", in Computer Science and Information Systems, vol. 11, pp.1479–1497, October 2014.
, "A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines", in Computer Science and Information Systems, vol. 11, pp.1435–1454, October 2014.
, "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)
, "Linearity: A Roadmap", in Journal of Logic and Computation, vol. 24, pp.513–529, June 2014.
, "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.
, "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.
, "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.
, "Couillard: Parallel programming via coarse-grained Data-flow Compilation", in Parallel Computing, vol. 40, pp.661–680, December 2014.
, "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.
, "Relational machine learning for electronic health record-driven phenotyping", in Journal of Biomedical Informatics, vol. 52, pp.260–270, December 2014.
, "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)