skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: idioma: Inglês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Robust probabilistic temporal logics
Robust probabilistic temporal logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust probabilistic temporal logics

Zimmermann, Martin

Information processing letters, 2025-02, Vol.188, p.106522, Article 106522 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Towards an efficient implementation of a tableau method for reactive safety specifications
Towards an efficient implementation of a tableau method for reactive safety specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards an efficient implementation of a tableau method for reactive safety specifications

Alonso, Ander ; Hermo, Montserrat ; Oca, Josu

Journal of logical and algebraic methods in programming, 2025-01, Vol.142, p.101003, Article 101003 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
3
Hybrid dynamical systems logic and its refinements
Hybrid dynamical systems logic and its refinements
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid dynamical systems logic and its refinements

Platzer, André

Science of computer programming, 2025-01, Vol.239, p.103179, Article 103179 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Edge computing-oriented smart agricultural supply chain mechanism with auction and fuzzy neural networks
Edge computing-oriented smart agricultural supply chain mechanism with auction and fuzzy neural networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Edge computing-oriented smart agricultural supply chain mechanism with auction and fuzzy neural networks

He, Qing ; Zhao, Hua ; Feng, Yu ; Wang, Zehao ; Ning, Zhaofeng ; Luo, Tingwei

Journal of Cloud Computing, 2024-12, Vol.13 (1), p.66-18, Article 66 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Predicting UPDRS in Parkinson’s disease using ensembles of self-organizing map and neuro-fuzzy
Predicting UPDRS in Parkinson’s disease using ensembles of self-organizing map and neuro-fuzzy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Predicting UPDRS in Parkinson’s disease using ensembles of self-organizing map and neuro-fuzzy

Zhao, Siren ; Zhang, Jilun ; Zhang, Jianbin

Journal of Cloud Computing, 2024-12, Vol.13 (1), p.83-11, Article 83 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
A program logic for obstruction-freedom
A program logic for obstruction-freedom
Material Type:
Artigo 		Adicionar ao Meu Espaço

A program logic for obstruction-freedom

LI, Zhao-Hui ; FENG, Xin-Yu

Frontiers of Computer Science, 2024-12, Vol.18 (6), p.186208, Article 186208 [Periódico revisado por pares]

Beijing: Higher Education Press

Texto completo disponível

Citações Citado por
7
Logic-driven, simulation-based risk engineering to ensure the sustainability of productive processes even with data scarcity
Logic-driven, simulation-based risk engineering to ensure the sustainability of productive processes even with data scarcity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic-driven, simulation-based risk engineering to ensure the sustainability of productive processes even with data scarcity

Colombo, Simone ; Ciotola, Angela ; Piazza, Laura

Expert systems with applications, 2024-12, Vol.255, p.124735, Article 124735 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
8
From large language models to small logic programs: building global explanations from disagreeing local post-hoc explainers
From large language models to small logic programs: building global explanations from disagreeing local post-hoc explainers
Material Type:
Artigo 		Adicionar ao Meu Espaço

From large language models to small logic programs: building global explanations from disagreeing local post-hoc explainers

Agiollo, Andrea ; Siebert, Luciano Cavalcante ; Murukannaiah, Pradeep K. ; Omicini, Andrea

Autonomous agents and multi-agent systems, 2024-12, Vol.38 (2), Article 32 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
9
Short-term forecasting of German generation-based CO2 emission factors using parametric and non-parametric time series models
Short-term forecasting of German generation-based CO2 emission factors using parametric and non-parametric time series models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Short-term forecasting of German generation-based CO2 emission factors using parametric and non-parametric time series models

Ostermann, Adrian ; Bajrami, Arian ; Bogensperger, Alexander

Energy Informatics, 2024-12, Vol.7 (1), p.2-28, Article 2 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Using experience classification for training non-Markovian tasks
Using experience classification for training non-Markovian tasks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using experience classification for training non-Markovian tasks

Miao, Ruixuan ; Lu, Xu ; Tian, Cong ; Yu, Bin ; Cui, Jin ; Duan, Zhenhua

Expert systems with applications, 2024-12, Vol.255, p.124649, Article 124649 [Periódico revisado por pares]

Elsevier Ltd

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.   

Mostrar Somente

  1. Recursos Online (152.104)
  2. Revistas revisadas por pares (98.922)
  3. Disponível na Biblioteca (90)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (105.754)
  2. Anais de Congresso  (67.456)
  3. Book Chapters  (8.730)
  4. Livros  (7.853)
  5. Reports  (2.563)
  6. magazinearticle  (1.041)
  7. Dissertações  (1.032)
  8. Recursos Textuais  (103)
  9. Resenhas  (84)
  10. Newsletter Articles  (71)
  11. Patentes  (43)
  12. Videos  (36)
  13. Conjunto de Dados  (34)
  14. Verbetes  (25)
  15. Imagens  (20)
  16. Web Resources  (11)
  17. Artigos de Jornal  (4)
  18. Standards  (1)
  19. Mais opções open sub menu

Assunto 

  1. Science & Technology  (144.636)
  2. Computer Science  (144.147)
  3. Technology  (139.181)
  4. Engineering  (68.798)
  5. Engineering, Electrical & Electronic  (49.446)
  6. Computer Science, Artificial Intelligence  (47.199)
  7. Computer Science, Theory & Methods  (44.213)
  8. Fuzzy Logic  (36.618)
  9. Logic  (32.763)
  10. Artificial Intelligence  (30.264)
  11. Algorithms  (27.803)
  12. Computer Science, Information Systems  (25.017)
  13. Computer Science, Hardware & Architecture  (22.126)
  14. Exact Sciences And Technology  (21.821)
  15. Computer Science, Interdisciplinary Applications  (19.986)
  16. Computer Science, Software Engineering  (18.736)
  17. Logic Gates  (18.732)
  18. Physical Sciences  (18.728)
  19. Mathematics  (18.512)
  20. Applied Sciences  (18.000)
  21. Logic Programming  (7.539)
  22. Logic, Symbolic And Mathematical  (1.474)
  23. Graph Theory  (1.422)
  24. Lógica Matemática  (62)
  25. Inteligência Artificial  (62)
  26. Logic Diagrams  (44)
  27. Logic, Symbolic And Mathematical  (31)
  28. Inteligência Artificial  (28)
  29. Logic Programming  (26)
  30. Natural Language Processing (Computer Science)  (15)
  31. Lógica Matemática  (14)
  32. Inteligência Artificial (Congressos)  (12)
  33. Knowledge Representation (Information Theory)  (11)
  34. Conceptual Structures (Information Theory)  (10)
  35. Constraint Programming (Computer Science)  (10)
  36. Logic Diagrams  (10)
  37. Graph Theory  (10)
  38. Neural Networks (Computer Science)  (8)
  39. Metodologia E Técnicas De Computação  (8)
  40. Functional Programming (Computer Science)  (7)
  41. Programação Lógica (Congressos)  (7)
  42. Teoria Da Computação  (7)
  43. Ciência Da Computação  (6)
  44. Teoria Da Computação  (6)
  45. Ciência Da Computação  (3)
  46. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1966  (120)
  2. 1966Até1980  (1.660)
  3. 1981Até1995  (15.319)
  4. 1996Até2011  (65.706)
  5. Após 2011  (114.681)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (6.488)
  2. Português  (178)
  3. Alemão  (110)
  4. Espanhol  (106)
  5. Chinês  (70)
  6. Francês  (39)
  7. Turco  (25)
  8. Norueguês  (17)
  9. Russo  (11)
  10. Coreano  (9)
  11. Árabe  (4)
  12. Polonês  (2)
  13. Italiano  (2)
  14. Ucraniano  (2)
  15. Croatian  (2)
  16. Sueco  (2)
  17. Interlingue  (1)
  18. Africâner  (1)
  19. Dinamarquês  (1)
  20. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.