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 486-505 de um total de 785 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
11-Set-2021Object detection with RetinaNet on aerial imagery: the Algarve landscapeCoelho, C.; Costa, M. Fernanda P.; Ferrás, Luís Jorge Lima, et al.Artigo em ata de conferênciaAcesso aberto
2020Objective and violation upper bounds on a DIRECT-filter method for global optimizationCosta, M. Fernanda P.; Rocha, Ana Maria A. C.; Fernandes, Edite Manuela da G. P.Artigo em ata de conferênciaAcesso aberto
22-Set-2006The OBSERVER: an intelligent and automated video surveillance systemDuque, Duarte; Santos, Henrique Dinis dos; Cortez, PauloArtigo em ata de conferênciaAcesso aberto
2011On generalized hypercomplex laguerre-type exponentials and applicationsCação, I.; Falcão, M. I.; Malonek, H. R.Artigo em ata de conferênciaAcesso aberto
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2021On local convergence of stochastic global optimization algorithmsHendrix, Eligius M. T.; Rocha, Ana Maria A. C.Artigo em ata de conferênciaAcesso aberto
2011On minimizing objective and KKT error in a filter line search strategy for an interior point methodCosta, M. Fernanda P.; Fernandes, Edite Manuela da G. P.Artigo em ata de conferênciaAcesso restrito UMinho
2014On numerical aspects of pseudo-complex powers in R^3Cruz, Carla; Falcão, M. I.; Malonek, H. R.Artigo em ata de conferênciaAcesso aberto
2004On refinement of generic state-based software componentsMeng, Sun; Barbosa, L. S.Capítulo de livroAcesso aberto
2005On refinement of software architecturesMeng, Sun; Barbosa, L. S.; Naixiao, ZhangArtigo em ata de conferênciaAcesso aberto
2012On solving the profit maximization of small cogeneration systemsFerreira, Ana C. M.; Rocha, Ana Maria A. C.; Teixeira, S. F. C. F., et al.Artigo em ata de conferênciaAcesso restrito UMinho
2005On the automatic construction of indistinguishable operationsBarbosa, Manuel; Page, D.Artigo em ata de conferênciaAcesso aberto
2006On the computation of maximal-correlated cuboids cellsAlves, Ronnie Cley Oliveira; Belo, OrlandoArtigo em ata de conferênciaAcesso restrito UMinho
2010On the expressiveness and trade-offs of large scale tuple storesVilaça, Ricardo; Cruz, Francisco; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2016On the formalization of some results of context-free language theoryMidena Ramos, Marcus Vinicius; de Queiroz, Ruy J. G. B.; Moreira, Nelma, et al.Artigo em ata de conferênciaAcesso aberto
Out-2019On the generation of equational dynamic logics for weighted imperative programsGomes, Leandro Rafael Moreira; Madeira, Alexandre; Jain, Manisha, et al.Artigo em ata de conferênciaAcesso aberto
Set-2021On the integration of industrial data and analysis with simulation in a company of the cork sectorMesquita, Catarina; Vieira, António Amaro Costa; Dias, Luis S., et al.Artigo em ata de conferênciaAcesso restrito UMinho
2012On the joint security of signature and encryption schemes under randomness reuse: efficiency and security amplificationArriaga, Afonso; Barbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
Set-2013On the predictability of stock market behavior using StockTwits sentiment and posting volumeOliveira, Nuno; Cortez, Paulo; Areal, NelsonArtigo em ata de conferênciaAcesso aberto
2013On the relationship between functional encryption, obfuscation, and fully homomorphic encryptionAlwen, Joël; Barbosa, Manuel; Farshim, Pooya, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 486-505 de um total de 785 resultados. < anterior   próximo >