13 citations
- Universidade de BrasíliaBR6 papers
- Instituto Federal de Educação, Ciência e Tecnologia de BrasíliaBR2 papers
- Universidade Estadual de Campinas (UNICAMP)BR2 papers
- Computational Physics (United States)US1 paper
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ1 paper
- Imperial College LondonGB1 paper
- Institute of PhysicsPL1 paper
- King's College LondonGB1 paper
- Rice UniversityUS1 paper
- Universidade Estadual Paulista (Unesp)BR1 paper
- Universidade Federal do Rio Grande do NorteBR1 paper
- University of AveiroPT1 paper
6 papers
Endohedral Derivatives of the Recently Synthesized Two-Dimensional Fullerene Networks: Electronic and Optical Insights from First-Principles Calculations
Marcelo L. Pereira Junior, Raphael M. Tromer, Luiz A. Ribeiro Junior +1
The quasi-hexagonal phase of the two-dimensional fullerene network (qHPC), recently synthesized, has emerged as a stable carbon-based material with distinct structural and e…
Characterization of Lattice Properties Within Modal Extensions
Alfredo R. Freire, Manuel A. Martins
This paper investigates the extension of lattice-based logics into modal languages. We observe that such extensions admit multiple approaches, as the interpretation of the necessit…
A Concise Review of Recently Synthesized 2D Carbon Allotropes: Amorphous Carbon, Graphynes, Biphenylene and Fullerene Networks
Ricardo Paupitz, Alexandre F. Fonseca, Mizraim Bessa +6
Two-dimensional (2D) carbon allotropes have received considerable attention due to their unique properties and potential applications in several fields, including electronics, cata…
Exploring Novel 2D Analogues of Goldene: Electronic, Mechanical, and Optical Properties of Silverene and Copperene
Emanuel J. A. dos Santos, Rodrigo A. F. Alves, Alexandre C. Dias +3
Two-dimensional (2D) materials have garnered significant attention due to their unique properties and broad application potential. Building on the success of goldene, a monolayer l…
Strong Nominal Semantics for Fixed-Point Constraints
Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
Nominal algebra includes -equality and freshness constraints on nominal terms endowed with a nominal set semantics that facilitates reasoning about languages with binders. Nomin…
Bitmap Filter: Speeding up Exact Set Similarity Joins with Bitwise Operations
Edans F. O. Sandes, George Teodoro, Alba C. M. A. Melo
The Exact Set Similarity Join problem aims to find all similar sets between two collections of sets, with respect to a threshold and a similarity function such as overlap, Jaccard,…