Percorrer por revistas 101560

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 756-775 de um total de 792 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2015Using mouse dynamics to assess stress during online examsCarneiro, Davide Rua; Novais, Paulo; Pêgo, José M., et al.Artigo em ata de conferênciaAcesso aberto
2019Using neuroevolution for predicting mobile marketing conversionPereira, Pedro José; Pinto, Pedro; Mendes, Rui, et al.Artigo em ata de conferênciaAcesso aberto
Abr-2004Using RUP for Process-Oriented OrganisationsFernandes, João M.; Duarte, Francisco J.Capítulo de livroAcesso aberto
2016Using scrum together with UML models: a collaborative university-industry R&D software projectSantos, Nuno António Lira Fernandes Faria; Fernandes, João M.; Carvalho, Maria Sameiro, et al.Artigo em ata de conferênciaAcesso aberto
2003Using task knowledge to guide interactor specifications analysisCampos, J. CreissacCapítulo de livroAcesso aberto
2012Using term rewriting to solve Bit-vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Artigo em ata de conferênciaAcesso aberto
2020Validating multiple variants of an automotive light system with electrumCunha, Alcino; Macedo, Nuno; Liu, ChongArtigo em ata de conferênciaAcesso aberto
Mai-2018Validating the hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2017Variable neighborhood search for integrated planning and schedulingLeite, Mário; Alves, Cláudio; Pinto, TelmoArtigo em ata de conferênciaAcesso restrito UMinho
2015Variable neighborhood search for the elementary shortest path problem with loading constraintsPinto, Telmo; Alves, Cláudio; Valério de Carvalho, José ManuelArtigo em ata de conferênciaAcesso restrito UMinho
Jul-2016Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
Jun-2022Verified password generation from password composition policiesGrilo, Miguel; Campos, João; Ferreira, João F., et al.Artigo em ata de conferênciaAcesso aberto
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
2023Verifying temporal relational models with PardinusMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.Artigo em ata de conferênciaAcesso aberto
1-Mai-2000Viewing scheduling problems through genetic and evolutionary algorithmsRocha, Miguel; Vilela, Carla; Cortez, Paulo, et al.Artigo em ata de conferênciaAcesso aberto
2014Vision based referee sign language recognition system for the RoboCup MSL leagueTrigueiros, Paulo; Ribeiro, A. Fernando; Reis, L. P.Artigo em ata de conferênciaAcesso aberto
2006Visual interactive subgroup discovery with numerical properties of interestAzevedo, Paulo J.; Jorge, Alípio M.; Pereira, FernandoArtigo em ata de conferênciaAcesso aberto
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Visual search for normal color and dichromatic observers using a unique distracter colorSantos, Jorge L. A.; Almeida, Vasco M. N. de; João, Catarina A. R., et al.Artigo em ata de conferênciaAcesso restrito UMinho
2014A Visual {DSL} for the certification of open source softwareMartins, Pedro Miguel Ribeiro; Carção, TiagoArtigo em ata de conferênciaAcesso aberto
Mostrar 756-775 de um total de 792 resultados. < anterior   próximo >