skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Algorithms remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Nonlinear biomedical signal processing
Nonlinear biomedical signal processing
Material Type:
Livro 		Adicionar ao Meu Espaço

Nonlinear biomedical signal processing

Metin Akay; IEEE Engineering in Medicine and Biology Society

New York IEEE Press c2000-<c2001>

Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto    (616:681.3 N813 v.2 )(Acessar)

2
Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Potapov, Igor ; Reynier, Pierre-Alain Potapov, Igor ; Reynier, Pierre-Alain

Cham: Springer International Publishing 2018

Sem texto completo

Citações Citado por
3
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N ; Nestmann, Uwe

arXiv.org, 2022-08 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Correct and Efficient Antichain Algorithms for Refinement Checking
Correct and Efficient Antichain Algorithms for Refinement Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correct and Efficient Antichain Algorithms for Refinement Checking

Maurice Laveaux ; Jan Friso Groote ; Tim A. C. Willemse

Logical methods in computer science, 2021-01, Vol.17, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
5
Algorithms for Omega-Regular Games with Imperfect Information
Algorithms for Omega-Regular Games with Imperfect Information
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algorithms for Omega-Regular Games with Imperfect Information

Chatterjee, Krishnendu ; Doyen, Laurent ; Henzinger, Thomas A. ; Raskin, Jean-Francois

Logical methods in computer science, 2007-07, Vol.3, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
{\omega}-Regular Energy Problems
{\omega}-Regular Energy Problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

{\omega}-Regular Energy Problems

Dziadek, Sven ; Fahrenberg, Uli ; Philipp Schlehuber-Caissier

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Ruitenburg's Theorem mechanized and contextualized
Ruitenburg's Theorem mechanized and contextualized
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ruitenburg's Theorem mechanized and contextualized

Litak, Tadeusz

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Disjoint Partial Enumeration without Blocking Clauses
Disjoint Partial Enumeration without Blocking Clauses
Material Type:
Artigo 		Adicionar ao Meu Espaço

Disjoint Partial Enumeration without Blocking Clauses

Spallitta, Giuseppe ; Sebastiani, Roberto ; Biere, Armin

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
A Unification Algorithm for Second-Order Linear Terms
A Unification Algorithm for Second-Order Linear Terms
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Unification Algorithm for Second-Order Linear Terms

Dowek, Gilles

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Verification Of Partial Quantifier Elimination
Verification Of Partial Quantifier Elimination
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification Of Partial Quantifier Elimination

Goldberg, Eugene

arXiv.org, 2023-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (20.455)
  2. Anais de Congresso  (2.363)
  3. Reports  (2.188)
  4. Livros  (1.156)
  5. Dissertações  (307)
  6. magazinearticle  (109)
  7. Book Chapters  (102)
  8. Patentes  (22)
  9. Resenhas  (5)
  10. Verbetes  (4)
  11. Newsletter Articles  (3)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1975  (37)
  2. 1975Até1986  (2.138)
  3. 1987Até1998  (4.527)
  4. 1999Até2011  (4.641)
  5. Após 2011  (15.654)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (26.706)
  2. Ndongo  (55)
  3. Japonês  (39)
  4. Alemão  (22)
  5. Português  (16)
  6. Chinês  (14)
  7. Espanhol  (10)
  8. Francês  (7)
  9. Russo  (3)
  10. Dinamarquês  (1)
  11. Ucraniano  (1)
  12. Norueguês  (1)
  13. Coreano  (1)
  14. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. IEEE Engineering in Medicine and Biology Society
  2. Akay, M

Neste Assunto:

  1. Algorithms
  2. Algorithms
  3. Science & Technology
  4. Technology
  5. Computer Science

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.