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

1

Dual roles in interspecies electron transfer of carbon-base..:

Langxian, Song ; Lintong, Zhong ; Xin, Yang...
Biochemical Engineering Journal. 203 (2024) - p. 109182 , 2024

2

Counterexample Guided Neural Network Quantization Refinemen:

Matos, João Batista P. ; de Lima Filho, Eddie B. ; Bessa, Iury...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43 (2024) 4 - p. 1121-1134 , 2024

Link: https://doi.org/10.1109/..

3

QNNRepair: Quantized Neural Network Repair:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.. - p. 320-339 , 2023

Link: https://doi.org/10.1007/..

4

An Improved Adaptive Simulated Annealing Particle Swarm Opt..:

Wang, Ershen ; Shi, Xiaozhu ; Deng, Xidan...
Journal of Advanced Transportation. 2023 (2023) - p. 1-11 , 2023

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

5

Ligation-dependent Cas14a1-Activated biosensor for one-pot ..:

Tan, Xiao ; Yang, Xiufen ; Qiao, Yuefeng...
Analytica Chimica Acta. 1271 (2023) - p. 341470 , 2023

Link: https://doi.org/10.1016/..

6

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

Wen, Xidan ; Zhang, Rui ; Hu, Yuxuan...
Nature Communications. 14 (2023) 1 - p. , 2023

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

7

AIREPAIR: A Repair Platform for Neural Networks:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.. - p. 98-101 , 2023

Link: https://doi.org/10.1109/..

8

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..

9

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/..

10

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/..

11

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...

12

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..

13

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..

14

Vertical Protection Level Optimization and Availability Ana..:

Wang, Ershen ; Shu, Wansen ; Deng, Xidan...
Frontiers in Energy Research. 10 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

15

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

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Matos Jr., João Batista P. ; Bessa, Iury ; Manino, Edoardo.. - p. 29-45 , 2022

Link: https://doi.org/10.1007/..