E-LIB Suche - Ergebnisse für: Song, Xidan

1

AIREPAIR: A Repair Platform for Neural Networks:

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.
Song , X , Sun , Y , Mustafa , M A & Cordeiro , L C 2023 , AIREPAIR: A Repair Platform for Neural Networks . in 45th IEEE/ACM International Conference on Software Engineering .. , 2023

Link: https://research.manches..

2

QNNRepair: Quantized Neural Network Repair:

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.
http://arxiv.org/abs/2306.13793. , 2023

Link: http://arxiv.org/abs/230..

3

EnnCore: end-to-end conceptual guarding of neural architect..:

Manino, Edoardo ; Carvalho, Danilo ; Dong, Yi...
https://eprints.soton.ac.uk/484423/1/paper_9.pdf. , 2022

Link: https://eprints.soton.ac..

4

CEG4N: Counter-Example Guided Neural Network Quantization R..:

Matos Jr., João Batista P ; Bessa, Iury ; Manino, Edoardo..
http://arxiv.org/abs/2207.04231. , 2022

Link: http://arxiv.org/abs/220..

5

AIREPAIR: A Repair Platform for Neural Networks:

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.
http://arxiv.org/abs/2211.15387. , 2022

Link: http://arxiv.org/abs/221..

6

Verifying Quantized Neural Networks using SMT-Based Model C..:

Sena, Luiz ; Song, Xidan ; Alves, Erickson...
http://arxiv.org/abs/2106.05997. , 2021

Link: http://arxiv.org/abs/210..

7

QNNVerifier: A Tool for Verifying Neural Networks using SMT..:

Song, Xidan ; Manino, Edoardo ; Sena, Luiz...
http://arxiv.org/abs/2111.13110. , 2021

Link: http://arxiv.org/abs/211..

8

AIREPAIR: A Repair Platform for Neural Networks:

Xidan Song ; Youcheng Sun ; Mustafa A. Mustafa.
doi:10.5281/zenodo.7627800. , 2023

Link: https://zenodo.org/recor..

9

Counter-Example Guided Neural Network Quantization Refineme..:

João Batista Pereira Matos Júnior ; Iury Bessa ; Edoardo Manino..
doi:10.5281/zenodo.6791963. , 2022

Link: https://zenodo.org/recor..

10

QNNVerifier: A Tool for Verifying Neural Networksusing SMT-..:

Xidan Song ; Edoardo Manino ; Luiz Sena...
doi:10.5281/zenodo.5724253. , 2021

Link: https://zenodo.org/recor..

11

Verifying Quantized Neural Networks using SMT-Based Model C..:

Luiz Sena ; Xidan Song ; Erickson Alves...
doi:10.5281/zenodo.5503819. , 2021

Link: https://zenodo.org/recor..

12

Controlled sequential in situ self-assembly and disassembly..:

Wen, Xidan ; Zhang, Rui ; Hu, Yuxuan...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9925730/. , 2023

Link: http://www.ncbi.nlm.nih...

13

Targeted therapy for intervertebral disc degeneration: inhi..:

Zhang, Xiao-bo ; Hu, Yi-cun ; Cheng, Peng...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8241771/. , 2021

Link: http://www.ncbi.nlm.nih...

14

Controlled sequential in situ self-assembly and disassembly..:

Xidan Wen ; Rui Zhang ; Yuxuan Hu...
https://doi.org/10.1038/s41467-023-36469-1. , 2023

Link: https://doi.org/10.1038/..

15

An Improved Adaptive Simulated Annealing Particle Swarm Opt..:

Ershen Wang ; Xiaozhu Shi ; Xidan Deng...
http://dx.doi.org/10.1155/2023/8684886. , 2023

Link: https://doi.org/10.1155/..