On Extending Kodkod to Support Temporal Features and Scenario Exploration Nuno Macedo and Alcino Cunha et al HASLab, INESC TEC & Universidade do Minho

Source URL: alloytools.org

• Formal methods
• Theoretical computer science
• Mathematics
• Artificial intelligence
• Educational psychology
• Neuropsychological assessment
• Problem solving
• Solver
• Equation solving
• Alloy

Poster: A Bidirectional Model-driven Spreadsheet Environment J´acome Cunha∗ , Jo˜ao Paulo Fernandes∗† , Jorge Mendes∗ , Jo˜ao Saraiva∗ ∗ HASLab, INESC TEC & Universidade do Minho, Portugal † Departamento

Source URL: alfa.di.uminho.pt

Coupled Evolution of Model-Driven Spreadsheets Jorge Mendes HASLab / INESC TEC, Universidade do Minho, Portugal Abstract—Spreadsheets are increasingly used as programming languages, in the con

Source URL: alfa.di.uminho.pt

Extension and Implementation of ClassSheet Models J´acome Cunha, Jo˜ao Paulo Fernandes, Jorge Mendes, Jo˜ao Saraiva HASLab, INESC TEC & Universidade do Minho, Portugal {jacome,jpaulo,jorgemendes,jas}@di.uminho.pt

Source URL: alfa.di.uminho.pt

Model-Driven Spreadsheets in a Multi-User Environment Jorge Mendes HASLab / INESC TEC & Universidade do Minho, Portugal

Source URL: alfa.di.uminho.pt

Towards an Evaluation of Bidirectional Model-driven Spreadsheets J´acome Cunha∗ , Jo˜ao Paulo Fernandes∗† , Jorge Mendes∗ , Jo˜ao Saraiva∗ ∗ HASLab, INESC TEC & Universidade do Minho, Portugal † Departam

Source URL: alfa.di.uminho.pt

Spatial Interpolation using Multiple Regression Orlando Ohashi LIAAD - INESC TEC / DCC Faculdade de Ciˆencias - Universidade do Porto Porto, Portugal

Source URL: www.dcc.fc.up.pt

SMOTE for Regression Lu´ıs Torgo1,2 , Rita P. Ribeiro1,2 , Bernhard Pfahringer3 , and Paula Branco1,2 1 LIAAD - INESC TEC DCC - Faculdade de Ciˆencias - Universidade do Porto

Source URL: www.dcc.fc.up.pt

Therapeutic reduction mammaplasty: does complications affect aesthetic outcome? André T. Magalhães, Hélder P. Oliveira, José M. Braga, Susy Costa, Fernando Osório, Jaime S. Cardoso, José Luís Fougo Breast Center,

Source URL: medicalresearch.inescporto.pt

• Medicine
• Breast surgery
• Clinical medicine
• Breast reduction
• Oncoplastic Surgery
• Mammaplasty
• Breast cancer
• INESC TEC
• Cancer
• Radiation therapy

Recommender systems @ LIAAD in collaboration with other centres of INESC TEC Early projects } 

Source URL: webesitix.inescporto.pt

• Natural language processing
• Information science
• Information retrieval
• Data mining
• Artificial intelligence
• Computational linguistics
• Recommender system
• Automatic summarization
• Text mining
• Document clustering
• Temporal information retrieval
• Document classification