skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Lógica da Ironia; The Logic of Irony.
Lógica da Ironia; The Logic of Irony.
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lógica da Ironia; The Logic of Irony.

Sauret, Marie-Jean

Psicologia USP; v. 10 n. 2 (1999); 59-79

Universidade de São Paulo. Instituto de Psicologia 1999-01-01

Acesso online

2
An informational view of classical logic
An informational view of classical logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

An informational view of classical logic

D'Agostino, Marcello

Theoretical computer science, 2015-11, Vol.606, p.79-97 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Critical Information Infrastructures Security: 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers
Critical Information Infrastructures Security: 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Critical Information Infrastructures Security: 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers

D'Agostino, Gregorio ; Scala, Antonio D'Agostino, Gregorio ; Scala, Antonio ; D'Agostino, Gregorio ; Scala, Antonio

Cham: Springer Nature 2018

Sem texto completo

Citações Citado por
4
Generative models for anomaly detection and design-space dimensionality reduction in shape optimization
Generative models for anomaly detection and design-space dimensionality reduction in shape optimization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generative models for anomaly detection and design-space dimensionality reduction in shape optimization

D’Agostino, Danny

Engineering applications of artificial intelligence, 2024-03, Vol.129, p.107566, Article 107566 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
5
Classical logic, argument and dialectic
Classical logic, argument and dialectic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Classical logic, argument and dialectic

D'Agostino, M. ; Modgil, S.

Artificial intelligence, 2018-09, Vol.262, p.15-51 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs

D'Agostino, Giovanna ; Lenzi, Giacomo

Theoretical computer science, 2018-08, Vol.737, p.40-61 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Ordering regular languages and automata: Complexity
Ordering regular languages and automata: Complexity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ordering regular languages and automata: Complexity

D'Agostino, Giovanna ; Martincigh, Davide ; Policriti, Alberto

Theoretical computer science, 2023-03, Vol.949, p.113709, Article 113709 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
OPTIMUS: A Security-Centric Dynamic Hardware Partitioning Scheme for Processors that Prevent Microarchitecture State Attacks
OPTIMUS: A Security-Centric Dynamic Hardware Partitioning Scheme for Processors that Prevent Microarchitecture State Attacks
Material Type:
Artigo 		Adicionar ao Meu Espaço

OPTIMUS: A Security-Centric Dynamic Hardware Partitioning Scheme for Processors that Prevent Microarchitecture State Attacks

Omar, Hamza ; D'Agostino, Brandon ; Khan, Omer

IEEE transactions on computers, 2020-11, Vol.69 (11), p.1558-1570 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
9
Nonrigid Coregistration of Diffusion Tensor Images Using a Viscous Fluid Model and Mutual Information
Nonrigid Coregistration of Diffusion Tensor Images Using a Viscous Fluid Model and Mutual Information
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nonrigid Coregistration of Diffusion Tensor Images Using a Viscous Fluid Model and Mutual Information

Van Hecke, W. ; Leemans, A. ; D'Agostino, E. ; De Backer, S. ; Vandervliet, E. ; Parizel, P.M. ; Sijbers, J.

IEEE transactions on medical imaging, 2007-11, Vol.26 (11), p.1598-1612

United States: IEEE

Texto completo disponível

Citações Citado por
10
Uniform interpolation for propositional and modal team logics
Uniform interpolation for propositional and modal team logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Uniform interpolation for propositional and modal team logics

D’Agostino, Giovanna

Journal of logic and computation, 2019-09, Vol.29 (5), p.785-802 [Periódico revisado por pares]

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 (671)
  2. Revistas revisadas por pares (647)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (500)
  2. Anais de Congresso  (330)
  3. Book Chapters  (148)
  4. Livros  (41)
  5. Reports  (11)
  6. magazinearticle  (2)
  7. Patentes  (1)
  8. Recursos Textuais  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (8)
  2. 1993Até1999  (55)
  3. 2000Até2006  (154)
  4. 2007Até2014  (325)
  5. Após 2014  (509)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.032)
  2. Japonês  (22)
  3. Alemão  (8)
  4. Ndongo  (4)
  5. Português  (2)
  6. Espanhol  (2)
  7. Francês  (1)
  8. Italiano  (1)
  9. Norueguês  (1)
  10. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Ascher, N
  2. Lopes, A
  3. Souza, V
  4. Larkin, P
  5. Couto, M

Neste Assunto:

  1. Computer Science
  2. Computer Science
  3. Science & Technology
  4. Technology
  5. Computer Science, Theory & Methods

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

Buscando em bases de dados remotas. Favor aguardar.