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 762-781 de um total de 792 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
1-Jan-2016Waiting time screening in diagnostic medical imaging – A case-based viewEsteves, Marisa; Vicente, Henrique; Gomes, Sabino, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2021WalkingStreet: understanding human mobility phenomena through a mobile applicationRosa, Luís; Analide, Cesar; Silva, Fábio André SoutoArtigo em ata de conferênciaAcesso aberto
2012Warehouse design and planning: A mathematical programming approachGeraldes, Carla A. S.; Carvalho, Maria Sameiro; Pereira, GuilhermeArtigo em ata de conferênciaAcesso aberto
16-Jul-2013Wastewater treatment plant performance prediction with support vector machinesRibeiro, Daniel; Sanfins, António; Belo, O.Artigo em ata de conferênciaAcesso restrito UMinho
2019Watch out for that tree! A tutorial on shortcut deforestationFernandes, João Paulo; Cunha, Jácome; Saraiva, João, et al.Artigo em ata de conferênciaAcesso aberto
2014A web portal for the certification of open source softwareMartins, Pedro Miguel Ribeiro; Fernandes, João Paulo; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
Mostrar 762-781 de um total de 792 resultados. < anterior   próximo >