Improving MCS Enumeration via Caching. Theory and Applications of Satisfiability Testing–SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28–September 1, 2017, Proceedings. 10491, 184.(2017).
Improving Prognostic Prediction from Mild Cognitive Impairment to Alzheimer’s Disease Using Genetic Algorithms. International Conference on Practical Applications of Computational Biology & Bioinformatics. 180–188.(2017).
Improving Smartphone Accessibility with Personalizable Static Overlays. Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility. 37–41.(2017).
Incidência e prevalência de esclerose sistêmica em Campo Grande, Estado de Mato Grosso do Sul, Brasil. Revista Brasileira de Reumatologia. 57, 107–114.(2017).
In-context Q&A to Support Blind People Using Smartphones. Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility. 32–36.(2017).
Inferring Types for Parallel Programs. arXiv preprint arXiv:1704.03096.(2017).
An integrative system biology approach for dissecting Autism Spectrum Disorder. 2º Dia do Jovem Investigador do Instituto Nacional de Saúde Doutor Ricardo Jorge, 8 maio 2017.(2017).
An integrative system biology approach to delineate complex genotype-phenotype associations in Autism Spectrum Disorder. 2nd BioSys Retreat 2017, 6-7 October, 2017.(2017).
Investigating Laboratory and Everyday Typing Performance of Blind Users. ACM Transactions on Accessible Computing (TACCESS). 10, 4.(2017).
The KISS principle in Software-Defined Networking: a framework for secure communications. IEEE Security & Privacy.(2017).
The KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure. arXiv preprint arXiv:1702.04294.(2017).
Language-based expression of reliability and parallelism for low-power computing. IEEE Transactions on Sustainable Computing.(2017).
Lean Kernels in Description Logics. European Semantic Web Conference. 518–533.(2017).
Logics for Actor Networks: A Case Study in Constrained Hybridization. International Workshop on Dynamic Logic. 98–114.(2017).
Metadata Analyser: measuring metadata quality. International Conference on Practical Applications of Computational Biology & Bioinformatics. 197–204.(2017).
Minimal sets on propositional formulae. Problems and reductions. Artificial Intelligence. 252, 22–50.(2017).
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. arXiv preprint arXiv:1707.01972.(2017).
Modelling and drug screening for cardiovascular disease Authors' Index. ACTA PHYSIOLOGICA. 219, 7–7.(2017).
Modelling IoT behaviour within BPMN Business Processes. Procedia Computer Science. 121, 1014–1022.(2017).
Modulation of protein traffic networks to rescue F508del-CFTR from the endoplasmic reticulum. FEBS JOURNAL. 284, 297–298.(2017).
MoRS at SemEval-2017 task 3: Easy to use SVM in ranking tasks. Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017). 287–291.(2017).
MRA-Proof of Concept of a Multilingual Report Annotator Web Application. arXiv preprint arXiv:1704.01748.(2017).
Multimodal Fusion and Fission within the W3C MMI Architectural Pattern. Multimodal Interaction with W3C Standards. 393–415.(2017).
O impacto das medidas de combate à evasão fiscal nos resultados. European Journal of Applied Business and Management.(2017).