???global.info.a_carregar???
Miguel Oliveira e Silva. He completed his PhD in Computer Engineering in 2007 from the University of Aveiro, a Master's in Electronic Engineering and Telecommunications in 1994 from the University of Aveiro and a Degree in Electronic Engineering and Telecommunications in 1990 from the University of Aveiro. He is an Assistant Professor at the University of Aveiro, being or having been responsible, among others, for several curricular units in the areas of programming, compilers and operating systems. He carries out research on programming languages; concurrent programming; object-oriented programming; application of electronic and computer technology in the automation of ecotoxicology processes; Human-Machine interaction; Multimodality.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Miguel Oliveira e Silva

Nomes de citação

  • Oliveira e Silva, Miguel
  • Silva, Miguel

Identificadores de autor

Ciência ID
4D1E-BA36-7401
ORCID iD
0000-0001-8967-5861

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B2) Utilizador proficiente (C1) Utilizador independente (B2) Utilizador independente (B2)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2007
Concluído
 Doutoramento em Engenharia Informática (Doutoramento)
Universidade de Aveiro, Portugal
"Metodologias e Mecanismos para Linguagens de Programação Concorrente Orientadas por Objectos" (TESE/DISSERTAÇÃO)
 Aprovado
2007
Concluído
 Engenharia Informática (Doutoramento)
Especialização em Sem especialidade
Universidade de Aveiro, Portugal
"Metodologias e Mecanismos para Linguagens de Programação Concorrente Orientadas por Objectos" (TESE/DISSERTAÇÃO)
1994/09
Concluído
 Mestrado Engenharia Electrónica e Telecomunicações (Mestrado)
Universidade de Aveiro, Portugal
"Biblioteca de Software para Cálculo Matemático e Processamento Digital de Sinal" (TESE/DISSERTAÇÃO)
 Muito Bom
1990/07
Concluído
 Licenciatura em Engenharia Electrónica e Telecomunicações (Licenciatura)
Universidade de Aveiro, Portugal
"Projecto: Reconhecimento de Voz" (TESE/DISSERTAÇÃO)
 16 valores
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2007/09/18 - Atual Professor Auxiliar (Docente Universitário) Universidade de Aveiro, Portugal
1995/11/27 - 2007/09/17 Assistente (Docente Universitário) Universidade de Aveiro, Portugal
Projetos

Projeto

Designação Financiadores
2020/06/15 - 2023/06/14 Solução de Segurança Abrangente para Pessoas com Afasia
AAL/0006/2019
Universidade de Aveiro, Portugal

Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2012/02/24 - 2014/10/31 Assistente Pessoal para Melhoria da Vida Social de Idosos
AAL/0015/2009
Universidade de Aveiro, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Rocha, A.P.; Guimarães, A.; Oliveira, I.C.; Nunes, F.; Fernandes, J.M.; Oliveira E Silva, M.; Silva, S.; Teixeira, A.. "Toward Supporting Communication for People with Aphasia: The In-Bed Scenario". 2022.
    10.1145/3528575.3551431
  2. Silva, Miguel. "How to Teach Advanced Courses in Multidisciplinary Areas?". 2016.
    10.21125/edulearn.2016.2133
  3. Oliveira e Silva, M.; Francisco, P.G.. "Contract-java: Design by contract in java with safe error handling". 2014.
    10.4230/OASIcs.SLATE.2014.111
  4. Pereira, C.; Teixeira, A.; Oliveira e Silva, M.. "Live evaluation within ambient assisted living scenarios". 2014.
    10.1145/2674396.2674414
  5. Luz, Nuno; Pereira, Carlos; Silva, Nuno; Novais, Paulo; Teixeira, António; Silva, Miguel Oliveira e; Luz, N.; et al. "An ontology for human-machine computation workflow specification". 2014.
    10.1007/978-3-319-07617-1_5
  6. Teixeira, A.; Pereira, C.; Silva, M.O.E.; Almeida, N.; Pinto, J.S.; Teixeira, C.; Ferreira, F.; Mota, A.. "Health@Home scenario: Creating a new support system for home telerehabilitation". 2012.
  7. Teixeira, A.; Pereira, C.; Oliveira E Silva, M.; Pacheco, O.; Neves, A.; Casimiro, J.. "AdaptO - Adaptive multimodal output". 2011.
  8. Teixeira, A.; Pereira, C.; Oliveira E Silva, M.; Alvarelhão, J.; Neves, A.; Pacheco, O.. "Output matters! Adaptable multimodal output for new telerehabilitation services for the elderly". 2011.
Artigo em revista
  1. Abreu, Sizenando N.; Jesus, Fátima; Domingues, Inês; Baptista, Filipa; Pereira, Joana L.; Serpa, Dalila; Soares, Amadeu M. V. M.; Martins, Rui E.; Oliveira e Silva, Miguel. "Automated Counting of Daphnid Neonates, Artemia Nauplii, and Zebrafish Eggs: A Proof of Concept". Environmental Toxicology and Chemistry 41 6 (2022): 1451-1458. http://dx.doi.org/10.1002/etc.5323.
    10.1002/etc.5323
  2. Oliveira e Silva, M.. "External dispatch: Yet another object-oriented single and multiple dispatch mechanism". Journal of Object Technology 16 2 (2017): 1-18. http://www.scopus.com/inward/record.url?eid=2-s2.0-85038024739&partnerID=MN8TOARS.
    10.5381/jot.2017.16.2.a1
  3. Oliveira E Silva, M.; Silva, Miguel Augusto Mendes Oliveira e. "Concurrent object-oriented programming: The MP-Eiffel approach". Journal of Object Technology 3 4 (2004): 97-124. http://www.scopus.com/inward/record.url?eid=2-s2.0-2942707828&partnerID=MN8TOARS.
    10.5381/jot.2004.3.4.a6
  4. Kohn, A.F.; Nakano, L.G.M.; Silva, M.O.E.. "A class discriminability measure based on feature space partitioning". Pattern Recognition 29 5 (1996): 873-887. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030150966&partnerID=MN8TOARS.
    10.1016/0031-3203(95)00122-0
Capítulo de livro
  1. Teixeira, A.; Rocha, N.P.; Pereira, C.; Pinto, J.S.; Dias, M.S.; Teixeira, C.; Oliveira e Silva, M.; et al. "The living usability lab architecture: Support for the development and evaluation of new ambient assisted living services for the elderly". 477-508. 2015.
Livro
  1. Teixeira, A.; Almeida, N.; Pereira, C.; Oliveira e Silva, M.; Vieira, D.; Silva, S.. Applications of the multimodal interaction architecture in ambient assisted living. 2016.
    10.1007/978-3-319-42816-1_12
  2. Silva, S.; Almeida, N.; Pereira, C.; Martins, A.I.; Rosa, A.F.; e Silva, M.O.; Teixeira, A.. Design and development of multimodal applications: A vision on key issues and methods. 2015.
    10.1007/978-3-319-20678-3_11
  3. Pereira, C.; Almeida, N.; Martins, A.I.; Silva, S.; Rosa, A.F.; Oliveira e Silva, M.; Teixeira, A.. Evaluation of complex distributed multimodal applications: Evaluating a TeleRehabilitation system when it really matters. 2015.
    10.1007/978-3-319-20913-5_14
  4. Teixeira, A.; Pereira, C.; Oliveira e Silva, M.; Alvarelhão, J.; Silva, A.; Cerqueira, M.; Martins, A.I.; et al. New telerehabilitation services for the elderly. 2013.
    10.4018/978-1-4666-3990-4.ch006
Poster em conferência
  1. Abreu, Sizenando; Oliveira e Silva, Miguel; Martins, Rui. "Automated evaluation of Daphnia neonate number and size in ecotoxicological assays". Trabalho apresentado em SETAC Europe 33rd Annual Meeting, 2023.
  2. Abreu, Sizenando; Oliveira e Silva, Miguel; Martins, Rui. "Automated Counting, Measuring, and Screening of zebrafish embryos". Trabalho apresentado em SETAC Europe 33rd Annual Meeting, 2023.
  3. Abreu, Sizenando; Jesus, Fátima; Martins, Rui; Oliveira e Silva, Miguel. "Automatic counting of Artemia nauplii and cysts – applications in marine ecotoxicology". Trabalho apresentado em SETAC Europe 32th Annual Meeting, 2022.
  4. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Ecotoxicological assessment of fish reproduction: an automated methodology for egg counting and viability evaluation - case study using zebrafish eggs". Trabalho apresentado em SETAC Europe 30th Annual Meeting, 2020.
  5. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Hard counting Made Easy by Automated device in cladoceran bioassays". Trabalho apresentado em Society of Environmental Toxicology and Chemistry North America 40th Annual Meeting, 2019.
  6. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automatic counting and evaluation in Ecotoxicology assays". Trabalho apresentado em SETAC Europe 29th Annual Meeting, 2019.
  7. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "New Technology evaluating Acartia tonsa as a biological model". Trabalho apresentado em SETAC Europe 28 th Annual Meeting, 2018.
  8. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automatic counter and characterization in ecotoxicology assays". Trabalho apresentado em SETAC Europe 25th Annual Meeting, 2015.
Resumo em conferência
  1. Oliveira e Silva, Miguel; Martins, Rui. "Automated Evaluation of Daphnia Neonate Number and Size in Ecotoxicological Assays". Trabalho apresentado em SETAC Europe 33rd Annual Meeting, Dublin, 2023.
  2. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automated Counting, Measuring, and Screening of Zebrafish Embryos". Trabalho apresentado em SETAC Europe 33rd Annual Meeting, Dublin, 2023.
  3. Oliveira e Silva, Miguel; Martins, Rui; Abreu, Sizenando. "Automatic Counting of Artemia Nauplii and Cysts - Applications in Marine Ecotoxicology". Trabalho apresentado em SETAC Europe 32th Annual Meeting, Copenhagen, 2022.
    Publicado
  4. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Ecotoxicological assessment of fish reproduction: an automated methodology for egg counting and viability evaluation - case study using zebrafish eggs". Trabalho apresentado em SETAC Europe 30th Annual Meeting, Dublin, 2020.
    Publicado
  5. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Hard counting Made Easy by Automated device in cladoceran bioassays". Trabalho apresentado em Society of Environmental Toxicology and Chemistry North America 40th Annual Meeting, Toronto, 2019.
  6. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automatic counting and evaluation in Ecotoxicology assays". Trabalho apresentado em SETAC Europe 29th Annual Meeting, Helsínquia, 2019.
    Publicado
  7. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "New approach facing new challenges in Ecotoxicology: D counter". Trabalho apresentado em SETAC Europe 28 th Annual Meeting, Roma, 2018.
    Publicado
  8. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "New Technology evaluating Acartia tonsa as a biological model". Trabalho apresentado em SETAC Europe 28 th Annual Meeting, Roma, 2018.
    Publicado
  9. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "D-counter: Automatic Organism Counting and Characterization in Ecotoxicology assays". Trabalho apresentado em SETAC EUROPE 27th Annual Meeting, Bruxelas, 2017.
    Publicado
  10. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automatic counter and characterization in ecotoxicology assays". Trabalho apresentado em SETAC Europe 25th Annual Meeting, Barcelona, 2015.
    Publicado
Tese / Dissertação
  1. Ferreira, Hugo Simões. "Veículo autónomo aquático de pequenas dimensões para monitorização ambiental". Mestrado, 2018. http://hdl.handle.net/10773/25912.
  2. Baptista, Filipa Alexandra Lourenço. "Evaluation of the applicability of an electronic device in counting and chromatic differentiation in ecotoxicology assays". Mestrado, 2017. http://hdl.handle.net/10773/22686.
  3. Barros, Pedro Loura. "Linguagem concurrent Contract-Java". Mestrado, 2016. http://hdl.handle.net/10773/21754.
  4. Silva, Miguel Augusto Mendes Oliveira e; Vaz, Francisco. "Software Library ,for Mathematical Calculus and Digital Signal Processing". Mestrado, 2013. http://revistas.ua.pt/index.php/revdeti/article/view/1933.
  5. Francisco, Pedro Filipe do Amaral Goucha. "Contract-Java - design by contract in Java - Contract-Java". Mestrado, 2012. http://hdl.handle.net/10773/11035.
  6. Duarte, Nuno Miguel Almeida. "Monitorização de sinais vitais usando uma consola Nintendo DS". Mestrado, 2009. http://hdl.handle.net/10773/7481.
  7. Silva, Miguel Augusto Mendes Oliveira e. "Metodologias e mecanismos para linguagens de programação concorrente orientadas por objectos". Doutoramento, 2007. http://hdl.handle.net/10773/2213.
  8. Silva, Miguel Augusto Mendes Oliveira e. "Biblioteca de software para cálculo matemático e processamento digital de sinal". Mestrado, 1994. http://hdl.handle.net/10773/27409.

Propriedade Intelectual

Patente
  1. Oliveira e Silva, Miguel; Abreu, Sizenando; Escadas Ramos Martins; Rui Manuel; Mortagua Velho Da Maia Soares, Amadeu. 2021. "Equipment for chromatic discrimination and counting of organisms". Canadá.
    Concedida/Emitida
  2. Oliveira e Silva, Miguel; Abreu, Sizenando; Escadas Ramos Martins; Rui Manuel; Mortagua Velho Da Maia Soares, Amadeu. 2020. "Equipment for the chromatic discrimination and counting of organisms". Estados Unidos.
    Concedida/Emitida
  3. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. 2015. "DISPOSITIVO NAVEGÁVEL AUTÒNOMO NÃO TRIPULADO E SUA UTILIZAÇÃO". Portugal.
    Expirada

Outros

Empresa spin-off
  1. 2018. RMS - TekenBio, Lda. https://www.tekenbio.pt.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2018/05/17 New approach facing new challenges in Ecotoxicology: D counter SETAC Europe 28 th Annual Meeting
SETAC (Roma, Itália)
2017/05/11 D-counter: Automatic Organism Counting and Characterization in Ecotoxicology assays SETAC EUROPE 27th Annual Meeting
SETAC (Bruxelas, Bélgica)
2015/10/27 Proposal for an Object-Oriented Multiple Dispatch Mechanism NOOL 2015 - SPLASH 2015
ACM ( Pittsburgh, Estados Unidos)
2014/06/20 Design by Contract and Error Handling SLATE’14, Symposium on Languages, Applications and Technologies
Instituto Politécnico de Bragança (Bragança, Portugal)
2006/07/05 Automatic Realizations of Statically Safe Intra-Object Synchronization Schemes in MP-Eiffel First International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages
Universidade de York (York, Reino Unido)