skip to main content
Idioma:
Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.
previous page 1 2 Resultados 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Spatio-temporal model checking of vehicular movement in public transport systems
Spatio-temporal model checking of vehicular movement in public transport systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Spatio-temporal model checking of vehicular movement in public transport systems

Ciancia, Vincenzo ; Gilmore, Stephen ; Grilletti, Gianluca ; Latella, Diego ; Loreti, Michele ; Massink, Mieke

International journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.289-311 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
22
Reciprocal Influences Between Proof Theory and Logic Programming
Reciprocal Influences Between Proof Theory and Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reciprocal Influences Between Proof Theory and Logic Programming

Miller, Dale

Philosophy & technology, 2021-03, Vol.34 (1), p.75-104 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
23
Answer Set Planning: A Survey
Answer Set Planning: A Survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Answer Set Planning: A Survey

CAO TRAN, SON ; PONTELLI, ENRICO ; BALDUCCINI, MARCELLO ; SCHAUB, TORSTEN

Theory and practice of logic programming, 2023-01, Vol.23 (1), p.226-298 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

Citações Citado por
24
A new framework for declarative programming
A new framework for declarative programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

A new framework for declarative programming

Finkelstein, Stacy E. ; Freyd, Peter ; Lipton, James

Theoretical computer science, 2003-05, Vol.300 (1), p.91-160 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
25
Proto-Quipper with Dynamic Lifting
Proto-Quipper with Dynamic Lifting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proto-Quipper with Dynamic Lifting

Fu, Peng ; Kishida, Kohei ; Ross, Neil J. ; Selinger, Peter

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.309-334, Article 11 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
26
An ASP-based Approach to Answering Natural Language Questions for Texts
An ASP-based Approach to Answering Natural Language Questions for Texts
Material Type:
Artigo 		Adicionar ao Meu Espaço

An ASP-based Approach to Answering Natural Language Questions for Texts

PENDHARKAR, DHRUVA ; BASU, KINJAL ; SHAKERIN, FARHAD ; GUPTA, GOPAL

Theory and practice of logic programming, 2022-05, Vol.22 (3), p.419-443 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

Citações Citado por
27
A systematic decision-making framework for tackling quantum software engineering challenges
A systematic decision-making framework for tackling quantum software engineering challenges
Material Type:
Artigo 		Adicionar ao Meu Espaço

A systematic decision-making framework for tackling quantum software engineering challenges

Akbar, Muhammad Azeem ; Khan, Arif Ali ; Rafi, Saima

Automated software engineering, 2023-11, Vol.30 (2), p.22, Article 22 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
28
Extending the “Open-Closed Principle” to Automated Algorithm Configuration
Extending the “Open-Closed Principle” to Automated Algorithm Configuration
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending the “Open-Closed Principle” to Automated Algorithm Configuration

Swan, Jerry ; Adriænsen, Steven ; Barwell, Adam D. ; Hammond, Kevin ; White, David R.

Evolutionary computation, 2019-03, Vol.27 (1), p.173-193 [Periódico revisado por pares]

One Rogers Street, Cambridge, MA 02142-1209, USA: MIT Press

Texto completo disponível

Citações Citado por
29
Univalence for inverse diagrams and homotopy canonicity
Univalence for inverse diagrams and homotopy canonicity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Univalence for inverse diagrams and homotopy canonicity

SHULMAN, MICHAEL

Mathematical structures in computer science, 2015-06, Vol.25 (5), p.1203-1277 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
30
Affine Monads and Lazy Structures for Bayesian Programming
Affine Monads and Lazy Structures for Bayesian Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Affine Monads and Lazy Structures for Bayesian Programming

Dash, Swaraj ; Kaddar, Younesse ; Paquet, Hugo ; Staton, Sam

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.1338-1368, Article 46 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
previous page 1 2 Resultados 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  (2.652)
  2. Anais de Congresso  (667)
  3. Book Chapters  (298)
  4. Verbetes  (101)
  5. magazinearticle  (33)
  6. Resenhas  (23)
  7. Livros  (3)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (104)
  2. 1997Até2002  (501)
  3. 2003Até2008  (1.028)
  4. 2009Até2015  (1.343)
  5. Após 2015  (853)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.768)
  2. Japonês  (245)
  3. Ndongo  (39)
  4. Espanhol  (8)
  5. Francês  (6)
  6. Alemão  (6)
  7. Português  (3)
  8. Norueguês  (1)
  9. Turco  (1)
  10. Letão  (1)
  11. Africâner  (1)
  12. Catalão  (1)
  13. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.