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
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Digital Twin Approach in Buildings: Future Challenges via a Critical Literature Review
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

Citações Citado por
2
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
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

Citações Citado por
3
Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases
Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases
Material Type:
Artigo 		Adicionar ao Meu Espaço

Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases

Lauria, Massimo ; Nordström, Jakob

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gr\"{o}bner Bases
Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gr\"{o}bner Bases
Material Type:
Artigo 		Adicionar ao Meu Espaço

Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gr\"{o}bner Bases

Lauria, Massimo ; Nordström, Jakob

2023-05

Texto completo disponível

Citações Citado por
5
Hardness of Approximation in PSPACE and Separation Results for Pebble Games
Hardness of Approximation in PSPACE and Separation Results for Pebble Games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hardness of Approximation in PSPACE and Separation Results for Pebble Games

Chan, Siu Man ; Lauria, Massimo ; Nordström, Jakob ; Vinyals, Marc

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Circular (Yet Sound) Proofs in Propositional Logic
Circular (Yet Sound) Proofs in Propositional Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Circular (Yet Sound) Proofs in Propositional Logic

Atserias, Albert ; Lauria, Massimo

ACM transactions on computational logic, 2023-04, Vol.24 (3), p.1-26, Article 20 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
7
Verification and generation of unrefinable partitions
Verification and generation of unrefinable partitions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification and generation of unrefinable partitions

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

Information processing letters, 2023-03, Vol.181, p.106361, Article 106361 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Circular design strategies through Additive manufacturing: MoDom, a “circular building” housing model
Circular design strategies through Additive manufacturing: MoDom, a “circular building” housing model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Circular design strategies through Additive manufacturing: MoDom, a “circular building” housing model

Giglio, Francesca ; Lauria, Massimo ; Sansotta, Sara

Acta Polytechnica CTU proceedings, 2022-12, Vol.38, p.678–686-678–686 [Periódico revisado por pares]

CTU Central Library

Texto completo disponível

Citações Citado por
9
On the maximal part in unrefinable partitions of triangular numbers
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

Citações Citado por
10
On the maximal part in unrefinable partitions of triangular numbers
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

arXiv.org, 2022-05

Ithaca: Cornell University Library, arXiv.org

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

Data de Publicação 

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

Idioma 

  1. Inglês  (65)
  2. Italiano  (7)
  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.