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
Búsqueda Sencilla
Resultados 1 2 3 4 5 next page
Mostrar solo
Refinado por: colección: Open Access: Freely Accessible Journals by multiple vendors eliminar
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:
Artículo 		Añadir a Mi Portal

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 disponible

Citas Citado por
2
Vortex and gap generation in gauge models of graphene
Vortex and gap generation in gauge models of graphene
Material Type:
Artículo 		Añadir a Mi Portal

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 disponible

Citas Citado por
3
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:
Artículo 		Añadir a Mi Portal

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 disponible

Citas Citado por
4
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:
Artículo 		Añadir a Mi Portal

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 disponible

Citas 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:
Artículo 		Añadir a Mi Portal

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 disponible

Citas 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:
Artículo 		Añadir a Mi Portal

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 disponible

Citas Citado por
7
QNNRepair: Quantized Neural Network Repair
QNNRepair: Quantized Neural Network Repair
Material Type:
Artículo 		Añadir a Mi Portal

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 disponible

Citas Citado por
8
Synthetic Data Aided Federated Learning Using Foundation Models
Synthetic Data Aided Federated Learning Using Foundation Models
Material Type:
Artículo 		Añadir a Mi Portal

Synthetic Data Aided Federated Learning Using Foundation Models

Abacha, Fatima ; Teo, Sin G ; Cordeiro, Lucas C ; Mustafa, Mustafa A

arXiv.org, 2024-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponible

Citas Citado por
9
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Material Type:
Artículo 		Añadir a Mi Portal

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Tihanyi, Norbert ; Jain, Ridhi ; Charalambous, Yiannis ; Ferrag, Mohamed Amine ; Sun, Youcheng ; Cordeiro, Lucas C

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponible

Citas Citado por
10
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
Material Type:
Artículo 		Añadir a Mi Portal

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC

Wu, Tong ; Xiong, Shale ; Manino, Edoardo ; Stockwell, Gareth ; Cordeiro, Lucas C

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponible

Citas Citado por
Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Revistas arbitradas (1)

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora