Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 32 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2003Permutative conversions in intuitionistic multiary sequent calculi with cutsEspírito Santo, José; Pinto, Luís F.Capítulo de livroAcesso aberto
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2009On normal forms of necessary conditions of optimality for dynamic optimization problems with constraintsLopes, Sofia Oliveira; Fontes, Fernando A. C. C.Artigo em ata de conferênciaAcesso restrito UMinho
2009Necessary conditions of optimality for calculus of variations problems with inequality constraintsLopes, Sofia Oliveira; Fontes, Fernando A. C. C.Artigo em ata de conferênciaAcesso restrito UMinho
2008Implementing Bayes’ rule with neural fieldsCuijpers, Raymond H.; Erlhagen, WolframArtigo em ata de conferênciaAcesso aberto
2007Refocusing generalised normalisationEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
2009Comparison of filter line search algorithms in the primal-dual barrier approach for nonlinear programmingCosta, M. Fernanda P.; Fernandes, Edite Manuela da G. P.Artigo em ata de conferênciaAcesso aberto
2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo, José; Ghilezan, S.; Ivetic, J.Artigo em ata de conferênciaAcesso aberto
2009Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequentsPinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
2009A genetic algorithm approach for the TV self-promotion assignment problemPereira, P. A.; Fontes, Fernando A. C. C.; Fontes, Dalila B. M. M.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 32 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir