Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Optical Dichroism by Nonlinear Excitations in Graphene NanoribbonsCordeiro, C E ; Delfino, A ; Frederico, T ; Oliveira, O ; de Paula, WarXiv.org, 2013-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Vortex and gap generation in gauge models of grapheneOliveira, O ; Cordeiro, C E ; Delfino, A ; de Paula, W ; Frederico, TarXiv.org, 2011-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Dynamical gap generation in graphene nanoribbons: An effective relativistic field theoretical modelChaves, A J ; Lima, G D ; de Paula, W ; Cordeiro, C E ; Delfino, A ; Frederico, T ; Oliveira, OarXiv.org, 2011-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Automated Repair of AI Code with Large Language Models and Formal VerificationCharalambous, Yiannis ; Manino, Edoardo ; Cordeiro, Lucas CarXiv.org, 2024-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysisAlshmrany, Kaled M ; Aldughaim, Mohannad ; Bhayat, Ahmed ; Cordeiro, Lucas CarXiv.org, 2024-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading MarketsErdayandi, Kamil ; Cordeiro, Lucas C ; Mustafa, Mustafa AarXiv.org, 2023-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
QNNRepair: Quantized Neural Network RepairSong, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A ; Cordeiro, Lucas CarXiv.org, 2023-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language ModelsTihanyi, Norbert ; Bisztray, Tamas ; Ferrag, Mohamed Amine ; Jain, Ridhi ; Cordeiro, Lucas CarXiv.org, 2024-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
FuSeBMC AI: Acceleration of Hybrid Approach through Machine LearningAlshmrany, Kaled M ; Aldughaim, Mohannad ; Wei, Chenfeng ; Sweet, Tom ; Allmendinger, Richard ; Cordeiro, Lucas CarXiv.org, 2024-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal VerificationTihanyi, Norbert ; Bisztray, Tamas ; Jain, Ridhi ; Ferrag, Mohamed Amine ; Cordeiro, Lucas C ; Mavroeidis, VasileiosarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |