-
3161
-
3162PortugalPor Nelma Moreira“...This paper presents a mechanically verified implementation of an algorithm for deciding...”
Publicado em 2015
Obter o texto integral
article -
3163BrasilPor Pedro Santoro Perez“... da janela; e uso da confiança na classificação para decidir quais exemplos utilizar na atualização da...”
Publicado em 2012
Obter o texto integral
masterThesis -
3164PortugalPor Fernandes, Cristiana“...Nowadays, manufacturing industries still face difficulties applying traditional Work-related...”
Publicado em 2022
Obter o texto integral
conferencePaper -
3165PortugalPor Tiago Gama Rocha“...: human versus algorithm editing. While human-editing does not allow for personalized distribution...”
Publicado em 2015
Obter o texto integral
book -
3166
-
3167BrasilPor Boito, Francieli Zanon“... testes para apenas um subconjunto dos parâmetros e estimando os demais através de regressões lineares...”
Publicado em 2015
Obter o texto integral
doctoralThesis -
3168PortugalPor Maia, Paulo“...create mutants for the production of valuable compounds is, in Metabolic Engineering, a promising...”
Publicado em 2009
Obter o texto integral
conferenceObject -
3169BrasilPor Costa, Eurinardo Rodrigues“...$. Finally, we obtain polynomial time algorithms to compute the $m$-convexity number on hereditary graph...”
Publicado em 2016
Obter o texto integral
masterThesis -
3170
-
3171PortugalPor Lee, Jinkyu“... in terms of schedulability. We also present improved schedulability tests for algorithms that employ...”
Publicado em 2014
Obter o texto integral
article -
3172PortugalPor Belhaj, Skander“.... Numerical experiments performed on a wide variety of test problems show the e¤ectiveness of our algorithm...”
Publicado em 2019
Obter o texto integral
article -
3173PortugalA SQP based on an interior-point strategy for nonlinear inequality constrained optimization problemsPor Costa, M. Fernanda P.“... method that uses a variant of the Mehrotra's predictor-corrector algorithm. Preliminary numerical testing...”
Publicado em 2005
Obter o texto integral
conferencePaper -
3174BrasilPor VANESSA DE OLIVEIRA CAMPOSObter o texto integral
Publicado em 2009
Obter o texto integral
doctoralThesis -
3175
-
3176PortugalPor Deusdado, Sérgio“...In this paper, we propose SimSearch, an algorithm implementing a new variant of dynamic programming...”
Publicado em 2011
Obter o texto integral
bookPart -
3177PortugalPor Cruz, João Pedro Antunes Ferreira daObter o texto integral
Publicado em 2011
doctoralThesis -
3178PortugalPor P. N. Pereira Barbeiro“... measurements to perform an effective state estimation. Two test cases were used to evaluate the algorithm...”
Publicado em 2015
Obter o texto integral
article -
3179BrasilPor Carissimi, Alexandre da Silva“.... Este ambiente é baseado na utilização da lingaugem GAL (GAPP Algorithm Language), criada...”
Publicado em 2015
Obter o texto integral
masterThesis -
3180PortugalPor Margarida M Silva“...This paper presents the Total Mass Target Controlled Infusion algorithm. The system comprises...”
Publicado em 2009
Obter o texto integral
book