Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pal, Neelanjana
20  Ergebnisse:
Personensuche X
?
1

Robustness Verification of Deep Neural Networks Using Star-..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Pal, Neelanjana ; Lopez, Diego Manzanas ; Johnson, Taylor T - p. 170-188 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Benchmark: Formal Verification of Semantic Segmentation Neu..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Pal, Neelanjana ; Lee, Seojin ; Johnson, Taylor T. - p. 311-330 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Robustness Verification of Semantic Segmentation Neural Net..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tran, Hoang-Dung ; Pal, Neelanjana ; Musau, Patrick... - p. 263-286 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Verification of piecewise deep neural networks: a star set ..:

Tran, Hoang-Dung ; Pal, Neelanjana ; Lopez, Diego Manzanas...
Formal Aspects of Computing.  33 (2021)  4-5 - p. 519-545 , 2021
Link: https://doi.org/10.1007/..
 
?
5

DeepECO: Applying Deep Learning for Occupancy Detection fro..:

, In: 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA),
Pal, Neelanjana ; Ghosh, Purboday ; Karsai, Gabor - p. 1938-1943 , 2019
Link: https://doi.org/10.1109/..
 
?
6

Placement-Based Nonlinearity Reduction Technique for Differ..:

Pal, Neelanjana ; Nandi, Prajit ; Biswas, Riju.
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.  24 (2016)  1 - p. 233-242 , 2016
Link: https://doi.org/10.1109/..
 
?
7

Robustness Verification of Deep Neural Networks using Star-..:

Pal, Neelanjana ; Lopez, Diego Manzanas ; Johnson, Taylor T
http://arxiv.org/abs/2307.13907.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Formal Verification of Long Short-Term Memory based Audio C..:

Pal, Neelanjana ; Johnson, Taylor T
http://arxiv.org/abs/2311.12130.  , 2023
Link: http://arxiv.org/abs/231..
 
?
9

Work In Progress: Safety and Robustness Verification of Aut..:

Pal, Neelanjana ; Johnson, Taylor T
http://arxiv.org/abs/2207.06759.  , 2022
Link: http://arxiv.org/abs/220..
 
?
10

verivital/nnv: cav2023:

trhoangdung ; Diego Manzanas Lopez ; Taylor Johnson...
https://github.com/verivital/nnv/tree/cav2023.  , 2023
Link: https://zenodo.org/recor..
 
?
11

verivital/nnv: HSCC2023:

trhoangdung ; Taylor Johnson ; Diego Manzanas Lopez...
https://github.com/verivital/nnv/tree/HSCC2023.  , 2023
Link: https://zenodo.org/recor..
 
?
12

verivital/nnv: HSCC2023:

trhoangdung ; Taylor Johnson ; Diego Manzanas Lopez...
https://github.com/verivital/nnv/tree/hscc2023.  , 2023
Link: https://zenodo.org/recor..
 
?
13

verivital/nnv: FORMATS 2022 Artifact Evaluation: Reachabili..:

trhoangdung ; Taylor Johnson ; Diego Manzanas Lopez...
https://github.com/verivital/nnv/tree/formats2022.  , 2022
Link: https://zenodo.org/recor..
 
?
14

Sonochemically synthesized black phosphorus nanoparticles: ..:

Halder, Piyali ; Mondal, Indrajit ; Bag, Neelanjana...
Dalton Transactions.  53 (2024)  15 - p. 6690-6708 , 2024
Link: https://doi.org/10.1039/..
 
?
15

Pattern recognition receptor CD14 gene polymorphisms in alc..:

Roy, Neelanjana ; Nadda, Neeti ; Kumar, Hem...
Frontiers in Immunology.  13 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
1-15