Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Cooperatively Evaluating Portuguese MorphologySantos, Diana ; Costa, Luís ; Rocha, PauloComputational Processing of the Portuguese Language, 2003, p.259-266 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
DiseaseCard: A Web-Based Tool for the Collaborative Integration of Genetic and Medical InformationOliveira, José Luís ; Dias, Gaspar ; Oliveira, Ilídio ; Rocha, Patrícia ; Hermosilla, Isabel ; Vicente, Javier ; Spiteri, Inmaculada ; Martin-Sánchez, Fernando ; Pereira, António SousaBiological and Medical Data Analysis, p.409-417 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
A Critical Evaluation of Methods for the Reconstruction of Tissue-Specific ModelsCorreia, Sara ; Rocha, MiguelProgress in Artificial Intelligence, p.340-352 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software EngineeringValente, Pedro ; Silva, Thiago Rocha ; Winckler, Marco ; Nunes, Nuno JardimHuman-Centered and Error-Resilient Systems Development, p.261-280 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Testing Prototypes and Final User Interfaces Through an Ontological Perspective for Behavior-Driven DevelopmentSilva, Thiago Rocha ; Hak, Jean-Luc ; Winckler, MarcoHuman-Centered and Error-Resilient Systems Development, p.86-107 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Improving Efficiency of a Multistart with Interrupted Hooke-and-Jeeves Filter Search for Solving MINLP ProblemsFernandes, Florbela P. ; Costa, M. Fernanda P. ; Rocha, Ana Maria A. C. ; Fernandes, Edite M. G. P.Computational Science and Its Applications – ICCSA 2016, p.345-358 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Large Scale Metabolic Characterization Using Flux Balance Analysis and Data MiningRocha, MiguelAdaptive and Natural Computing Algorithms, p.336-345 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Web-Based Geographic Information Technologies for Environmental Monitoring and AnalysisGitis, Valeri G. ; Derendyaev, Alexander B. ; Weinstock, Arkady P.Computational Science and Its Applications -- ICCSA 2015, p.698-712 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
SAMi: An Accessible Web Application Solution for Video Search for People with Intellectual DisabilitiesRocha, Tânia ; Paredes, Hugo ; Barroso, João ; Bessa, MaximinoComputers Helping People with Special Needs, p.310-316 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Modular Termination Verification for Non-blocking Concurrencyda Rocha Pinto, Pedro ; Dinsdale-Young, Thomas ; Gardner, Philippa ; Sutherland, JulianProgramming Languages and Systems, p.176-201 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |