skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the bounded-hop MST problem on random Euclidean instances
On the bounded-hop MST problem on random Euclidean instances
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the bounded-hop MST problem on random Euclidean instances

Clementi, Andrea E.F. ; Di Ianni, Miriam ; Lauria, Massimo ; Monti, Angelo ; Rossi, Gianluca ; Silvestri, Riccardo

Theoretical computer science, 2007-10, Vol.384 (2), p.161-167 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
Minimum-Energy Broadcast and disk cover in grid wireless networks
Minimum-Energy Broadcast and disk cover in grid wireless networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Minimum-Energy Broadcast and disk cover in grid wireless networks

Calamoneri, Tiziana ; Clementi, Andrea E.F. ; Di Ianni, Miriam ; Lauria, Massimo ; Monti, Angelo ; Silvestri, Riccardo

Theoretical computer science, 2008-06, Vol.399 (1), p.38-53 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
On the Automatizability of Polynomial Calculus
On the Automatizability of Polynomial Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Automatizability of Polynomial Calculus

Galesi, Nicola ; Lauria, Massimo

Theory of computing systems, 2010-08, Vol.47 (2), p.491-506 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

Citações Citado por
4
Optimality of size-degree tradeoffs for polynomial calculus
Optimality of size-degree tradeoffs for polynomial calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Optimality of size-degree tradeoffs for polynomial calculus

Galesi, Nicola ; Lauria, Massimo

ACM transactions on computational logic, 2010-10, Vol.12 (1), p.1-22 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
5
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games
Material Type:
Artigo 		Adicionar ao Meu Espaço

A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

Information processing letters, 2010-11, Vol.110 (23), p.1074-1077 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Progetto e produzione dell'architettura oltre la regola dell'arte = Architectural design and production beyond the rule of art
Progetto e produzione dell'architettura oltre la regola dell'arte = Architectural design and production beyond the rule of art
Material Type:
Artigo 		Adicionar ao Meu Espaço

Progetto e produzione dell'architettura oltre la regola dell'arte = Architectural design and production beyond the rule of art

Lauria, Massimo ; Giglio, Francesca

Techne (Florence, Italy : 2011), 2011, p.124-129 [Periódico revisado por pares]

Firenze: Firenze University Press

Texto completo disponível

Citações Citado por
7
Progetto e produzione dell'architettura oltre la regola dell'arte/Architectural design and production beyond the rule of art
Progetto e produzione dell'architettura oltre la regola dell'arte/Architectural design and production beyond the rule of art
Material Type:
Artigo 		Adicionar ao Meu Espaço

Progetto e produzione dell'architettura oltre la regola dell'arte/Architectural design and production beyond the rule of art

Lauria, Massimo ; Giglio, Francesca

Techne (Florence, Italy : 2011), 2011-01, Vol.1, p.124 [Periódico revisado por pares]

Florence: Firenze University Press

Texto completo disponível

Citações Citado por
8
Architectural design and production beyond the rule of art
Architectural design and production beyond the rule of art
Material Type:
Artigo 		Adicionar ao Meu Espaço

Architectural design and production beyond the rule of art

Massimo Lauria ; Francesca Giglio

Techne (Florence, Italy : 2011), 2011-04, Vol.1 (1) [Periódico revisado por pares]

Firenze University Press

Texto completo disponível

Citações Citado por
9
Parameterized Bounded-Depth Frege Is not Optimal
Parameterized Bounded-Depth Frege Is not Optimal
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Bounded-Depth Frege Is not Optimal

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo ; Razborov, Alexander A

ACM transactions on computation theory, 2012-09, Vol.4 (3), p.1-16 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
10
Parameterized Complexity of DPLL Search Procedures
Parameterized Complexity of DPLL Search Procedures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Complexity of DPLL Search Procedures

Beyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo

ACM transactions on computational logic, 2013-08, Vol.14 (3), p.1-21 [Periódico revisado por pares]

ACM

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 (46)

Data de Publicação 

De até
Refinar
  1. Antes de2010  (3)
  2. 2010Até2012  (7)
  3. 2013Até2016  (12)
  4. 2017Até2020  (15)
  5. Após 2020  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (46)
  2. Italiano  (8)
  3. Japonês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.