skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: ROAD: Directory of Open Access Scholarly Resources remover Base de dados/Biblioteca: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Optical Dichroism by Nonlinear Excitations in Graphene Nanoribbons
Optical Dichroism by Nonlinear Excitations in Graphene Nanoribbons
Material Type:
Artigo 		Adicionar ao Meu Espaço

Optical Dichroism by Nonlinear Excitations in Graphene Nanoribbons

Cordeiro, C E ; Delfino, A ; Frederico, T ; Oliveira, O ; de Paula, W

arXiv.org, 2013-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Vortex and gap generation in gauge models of graphene
Vortex and gap generation in gauge models of graphene
Material Type:
Artigo 		Adicionar ao Meu Espaço

Vortex and gap generation in gauge models of graphene

Oliveira, O ; Cordeiro, C E ; Delfino, A ; de Paula, W ; Frederico, T

arXiv.org, 2011-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Automated Repair of AI Code with Large Language Models and Formal Verification
Automated Repair of AI Code with Large Language Models and Formal Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated Repair of AI Code with Large Language Models and Formal Verification

Charalambous, Yiannis ; Manino, Edoardo ; Cordeiro, Lucas C

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Dynamical gap generation in graphene nanoribbons: An effective relativistic field theoretical model
Dynamical gap generation in graphene nanoribbons: An effective relativistic field theoretical model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamical gap generation in graphene nanoribbons: An effective relativistic field theoretical model

Chaves, A J ; Lima, G D ; de Paula, W ; Cordeiro, C E ; Delfino, A ; Frederico, T ; Oliveira, O

arXiv.org, 2011-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis

Alshmrany, Kaled M ; Aldughaim, Mohannad ; Bhayat, Ahmed ; Cordeiro, Lucas C

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets

Erdayandi, Kamil ; Cordeiro, Lucas C ; Mustafa, Mustafa A

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
QNNRepair: Quantized Neural Network Repair
QNNRepair: Quantized Neural Network Repair
Material Type:
Artigo 		Adicionar ao Meu Espaço

QNNRepair: Quantized Neural Network Repair

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A ; Cordeiro, Lucas C

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models

Tihanyi, Norbert ; Bisztray, Tamas ; Ferrag, Mohamed Amine ; Jain, Ridhi ; Cordeiro, Lucas C

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning

Alshmrany, Kaled M ; Aldughaim, Mohannad ; Wei, Chenfeng ; Sweet, Tom ; Allmendinger, Richard ; Cordeiro, Lucas C

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification

Tihanyi, Norbert ; Bisztray, Tamas ; Jain, Ridhi ; Ferrag, Mohamed Amine ; Cordeiro, Lucas C ; Mavroeidis, Vasileios

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

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

Buscando em bases de dados remotas. Favor aguardar.