Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 91-100 de um total de 229 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Abr-2007Optimization of bacterial strains with variable-sized evolutionary algorithmsRocha, Miguel; Pinto, José P.; Rocha, I.; Ferreira, Eugénio C.Artigo em ata de conferênciaAcesso aberto
2005From algebras to objects: generation and compositionCruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigoAcesso aberto
2009Extended static checking by calculation using the pointfree transformOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2008Secure biometric authentication with improved accuracyBarbosa, Manuel; Sousa, Simão Melo de; Brouard, Thierri; Cauchie, StéphaneArtigo em ata de conferênciaAcesso aberto
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2005Architectural prototyping: from ccs to .netRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2000A study of order based genetic and evolutionary algorithms in combinatorial optimization problemsRocha, Miguel; Vilela, Carla; Neves, JoséArtigo em ata de conferênciaAcesso aberto
2008Multiconstrained optimization of networks with multicast and unicast trafficRocha, Miguel; Sousa, Pedro; Cortez, Paulo; Rio, MiguelArtigo em ata de conferênciaAcesso aberto
2004Type-based termination of recursive definitionsBarthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E.; Pinto, Luís F.; Uustalu, TarmoArtigoAcesso aberto
2006Formal models in web based contractingAnalide, César; Neves, José; Novais, Paulo; Machado, José Manuel; Andrade, Francisco Carneiro PachecoArtigo em ata de conferênciaAcesso aberto
91-100 de um total de 229 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir