-
6601
-
6602
-
6603
-
6604Brazilby Casanova, Pedro Trindade“... of potential for graphic interpretation surpassing the ability for visual observation. Then, an algorithm...”
Published 2021
Get full text
doctoralThesis -
6605Portugalby Nelma Moreira“...This paper presents a mechanically verified implementation of an algorithm for deciding...”
Published 2015
Get full text
article -
6606Brazilby Tietzmann, Dionatan Kitzmann“... of the algorithm, we present tests with small programs and code examples showing the operation of the tool...”
Published 2012
Get full text
masterThesis -
6607
-
6608
-
6609Brazilby Fernando Pegoraro Silva“... inicial é baseada na aplicação de pulsos ao motor. É proposto também um algoritmo de ajuste automático...”
Published 2012
Get full text
masterThesis -
6610Portugalby Awan, Muhammad Ali“... of embedded real-time systems while respecting the real-time constraints. Our algorithms are based on the race...”
Published 2015
Get full text
article -
6611
-
6612
-
6613
-
6614Portugalby Maia, Paulo“...create mutants for the production of valuable compounds is, in Metabolic Engineering, a promising...”
Published 2009
Get full text
conferenceObject -
6615
-
6616Brazilby Lucas de Souza Batista“... propõe dois algoritmos imunes para otimização mono e multi-objetivo. A versão mono-objetivo, nomeada...”
Published 2019
Get full text
masterThesis -
6617Portugalby Madureira, G.“... seismic station providing similar role to that of a STA /LTA ratio-based detection algorithms...”
Published 2015
Get full text
conferenceObject -
6618Portugalby Belhaj, Skander“.... Numerical experiments performed on a wide variety of test problems show the e¤ectiveness of our algorithm...”
Published 2019
Get full text
article -
6619PortugalA SQP based on an interior-point strategy for nonlinear inequality constrained optimization problemsby Costa, M. Fernanda P.“... method that uses a variant of the Mehrotra's predictor-corrector algorithm. Preliminary numerical testing...”
Published 2005
Get full text
conferencePaper -
6620Portugalby Deusdado, Sérgio“...In this paper, we propose SimSearch, an algorithm implementing a new variant of dynamic programming...”
Published 2011
Get full text
bookPart