-
5101Portugalby Nelma Moreira“...This paper presents a mechanically verified implementation of an algorithm for deciding...”
Published 2015
Get full text
article -
5102Brazilby Teixeira Junior, Valdomiro Pinheiro“... to satisfy these conditions, such as relating local contexts to the rigidity of formal mathematical content...”
Published 2019
Get full text
article other -
5103
-
5104
-
5105
-
5106Portugalby Maia, Paulo“...create mutants for the production of valuable compounds is, in Metabolic Engineering, a promising...”
Published 2009
Get full text
conferenceObject -
5107
-
5108Portugalby Madureira, G.“... seismic station providing similar role to that of a STA /LTA ratio-based detection algorithms...”
Published 2015
Get full text
conferenceObject -
5109Portugalby 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 -
5110
-
5111PortugalA 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 -
5112
-
5113PortugalAutomated in situ consolidation process for pre-impregnated carbon fibers: a cyber phisycal approachby J. Rodrigues“... preimpregnated, in this case unidirectional carbon fiber tapes with polyamide 6, in order to create composite...”
Published 2019
Get full text
article -
5114Brazilby Poliane Torres Megda“... distância, SICK LMS 291-S05, para monitorar o ambiente a frente do veículo de teste (um automóvel de passeio...”
Published 2011
Get full text
masterThesis -
5115
-
5116
-
5117Portugalby Deusdado, Sérgio“...In this paper, we propose SimSearch, an algorithm implementing a new variant of dynamic programming...”
Published 2011
Get full text
bookPart -
5118Portugalby Gameiro, Atílio“... algorithms (RRM) for this type of system remain open today. This paper partially fills this gap by proposing...”
Published 2015
Get full text
conferenceObject -
5119Portugalby P. N. Pereira Barbeiro“... measurements to perform an effective state estimation. Two test cases were used to evaluate the algorithm...”
Published 2015
Get full text
article -
5120Brazilby Carissimi, Alexandre da Silva“.... Este ambiente é baseado na utilização da lingaugem GAL (GAPP Algorithm Language), criada...”
Published 2015
Get full text
masterThesis