A mostrar 21 - 40 resultados de 20,994 para a pesquisa '(((((deciding OR residing) OR resident) OR resulting) OR becoming) OR creating) algorithm', tempo de pesquisa: 0.37seg Refinar resultados
  1. 21
    Portugal
    Por Sabine Broda
    Publicado em 2015
    ...Synchronous Kleene algebra (SKA) is a decidable framework that combines Kleene algebra (KA) with a...
    Obter o texto integral
    book
  2. 22
    Portugal
    Por Ana Teodoro
    Publicado em 2021
    .... In this work, we will present the preliminary results, regarding the application of machine learning algorithms...
    Obter o texto integral
    book
  3. 23
  4. 24
    Portugal
    Por Melício, Rui
    Publicado em 2014
    Assuntos: ...algorithm for parameter estimation...
    Obter o texto integral
    lecture
  5. 25
    Portugal
    Por Pereira, David
    Publicado em 2016
    ...This paper presents a mechanically verified implementation of an algorithm for deciding...
    Obter o texto integral
    article
  6. 26
    Portugal
    Por Nelma Moreira
    Publicado em 2015
    ...This paper presents a mechanically verified implementation of an algorithm for deciding...
    Obter o texto integral
    article
  7. 27
    Brasil
    Por Garcés,Rodrigo
    Publicado em 2012
    ...In this short note a sensitivity result for quadratic semidefinite programming is presented under a...
    Obter o texto integral
    article
  8. 28
  9. 29
  10. 30
  11. 31
    Brasil
    Por Contieri,Rodrigo José
    Publicado em 2017
    .... The algorithm's spatial and temporal scaling is based on known experimental results for recrystallization...
    Obter o texto integral
    article
  12. 32
    Brasil
    Por Ayala Rincón, Mauricio
    Publicado em 2013
    ...We present a general unification algorithm modulo Presburger Arithmetic for a restricted class...
    Obter o texto integral
    article
  13. 33
    Portugal
    Por Machado, Nuno
    Publicado em 2013
    Assuntos: ...Algorithms...
    Obter o texto integral
    article
  14. 34
  15. 35
  16. 36
    Portugal
    Por Macedo, Ana Filipa
    Publicado em 2005
    ...To compare the results of causality assessments of reported adverse drug reactions (ADR's) obtained...
    Obter o texto integral
    article
  17. 37
    Portugal
    Por Teodoro, Sara
    Publicado em 2012
    Assuntos: ...Numerical results...
    Obter o texto integral
    article
  18. 38
  19. 39
    Brasil
    Por Neves,Nedy M. B. C.
    Publicado em 2020
    ... and interventions. Faced with this imbalance, how, when, and who decides, there is the impact of the stressful...
    Obter o texto integral
    article
  20. 40
    Brasil
    Por Ladeira, João Damasceno Martins
    Publicado em 2019
    ... based on the manipulation of collections, and not in the predetermined programming, decided previously...
    Obter o texto integral
    article other
Ferramentas de pesquisa: Obter Feed RSS