skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A note about k-DNF resolution
Material Type:
Artigo
Adicionar ao Meu Espaço

A note about k-DNF resolution

Lauria, Massimo

Information processing letters, 2018-09, Vol.137, p.33-39 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

2
Cliques enumeration and tree-like resolution proofs
Material Type:
Artigo
Adicionar ao Meu Espaço

Cliques enumeration and tree-like resolution proofs

Lauria, Massimo

Information processing letters, 2018-07, Vol.135, p.62-67 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

3
Upper bounds on positional Paris–Harrington games
Material Type:
Artigo
Adicionar ao Meu Espaço

Upper bounds on positional Paris–Harrington games

Carlucci, Lorenzo ; Lauria, Massimo

Discrete mathematics, 2021-03, Vol.344 (3), p.112257, Article 112257 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

4
Reversibility and Durability as Potential Indicators for Circular Building Technologies
Material Type:
Artigo
Adicionar ao Meu Espaço

Reversibility and Durability as Potential Indicators for Circular Building Technologies

Antonini, Ernesto ; Boeri, Andrea ; Lauria, Massimo ; Giglio, Francesca

Sustainability (Basel, Switzerland), 2020-09, Vol.12 (18), p.7659 [Periódico revisado por pares]

Multidisciplinary Digital Publishing Institute

Texto completo disponível

5
Digital Twin Approach in Buildings: Future Challenges via a Critical Literature Review
Material Type:
Artigo
Adicionar ao Meu Espaço

Digital Twin Approach in Buildings: Future Challenges via a Critical Literature Review

Lauria, Massimo ; Azzalin, Maria

Buildings (Basel), 2024-02, Vol.14 (2), p.376 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

6
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
Material Type:
Artigo
Adicionar ao Meu Espaço

On vanishing sums of roots of unity in polynomial calculus and sum-of-squares

Bonacina, Ilario ; Galesi, Nicola ; Lauria, Massimo

Computational complexity, 2023-12, Vol.32 (2), Article 12 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

7
On the maximal part in unrefinable partitions of triangular numbers
Material Type:
Artigo
Adicionar ao Meu Espaço

On the maximal part in unrefinable partitions of triangular numbers

Aragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, Massimo

Aequationes mathematicae, 2022-12, Vol.96 (6), p.1339-1363 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

8
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem
Material Type:
Artigo
Adicionar ao Meu Espaço

A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem

Lauria, Massimo

ACM transactions on computation theory, 2016-07, Vol.8 (4), p.1-13 [Periódico revisado por pares]

ACM

Texto completo disponível

9
The Built Environment Plan 2.0
Material Type:
Artigo
Adicionar ao Meu Espaço

The Built Environment Plan 2.0

Lauria, Massimo

Techne (Florence, Italy : 2011), 2016-11 (12) [Periódico revisado por pares]

Firenze University Press

Texto completo disponível

10
On semantic cutting planes with very small coefficients
Material Type:
Artigo
Adicionar ao Meu Espaço

On semantic cutting planes with very small coefficients

Lauria, Massimo ; Thapen, Neil

Information processing letters, 2018-08, Vol.136, p.70-75 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

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

Data de Publicação 

De até
  1. Antes de2010  (3)
  2. 2010Até2012  (10)
  3. 2013Até2015  (11)
  4. 2016Até2019  (17)
  5. Após 2019  (22)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.