전남대학교 중앙도서관

링크메뉴

주메뉴

- 게시판
- 전시마당

- 게시판
- 전시마당

- 대출반납서비스
- 도서신청서비스
- 시설이용서비스
- 장애학생 지원서비스
- 타기관이용서비스
- 무인예약대출 서비스
- 학위논문파일 제출
- 개인정보관리
- 원문복사 신청/조회
- 상호대차 신청/조회
- 게시판
- 전시마당

도서관안내
시설안내
정보마루안내
4F
전자자료 상세검색

전자자료 상세검색

통합검색
소장자료
전자자료

통합검색

결과내 검색

검색어 [키워드: "Jha, Susmit"]

총 187건

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.

1/19 페이지

검색결과수정

검색범위확장
- Full Text내 키워드 확장
- 관련 주제어 확장
재검색
검색결과제한
- 원문(Full Text)
- Peer-Reviewed 학술지
- 발행년 -
재검색
자료유형
- Conference Materials (55)
- Reports (43)
- eBooks (38)
자료유형

Count Name
- Conference Materials (55)
- Reports (43)
- eBooks (38)
- Academic Journals (37)
- Reviews (10)
- Books (5)
- Electronic Resources (4)
- Magazines (4)
닫기
주제
- computing and processing (22)
- computer science - machine learning (21)
- computer science - artificial intelligence (15)
주제

Count Name
- computing and processing (22)
- computer science - machine learning (21)
- computer science - artificial intelligence (15)
- components, circuits, devices and systems (14)
- machine learning (12)
- statistics - machine learning (11)
- communication, networking and broadcast technologies (10)
- computer science - logic in computer science (8)
- computer science - computer vision and pattern recognition (7)
- smt (7)
- cyber-physical systems (6)
- program synthesis (6)
- robotics and control systems (6)
- robustness (6)
- signal processing and analysis (6)
- training (6)
- computer science - cryptography and security (5)
- neural networks (5)
- signal temporal logic (5)
- temporal logic (5)
- autonomous system (4)
- autonomy (4)
- biological system modeling (4)
- computation theory and mathematics (4)
- computational modeling (4)
- computer science - computation and language (4)
- computer science - learning (4)
- computer science - systems and control (4)
- computer software (4)
- cyber physical systems (4)
- cyber-physical system (4)
- formal methods (4)
- hybrid systems (4)
- internet of things (4)
- interpretable machine learning (4)
- predictive models (4)
- reachability analysis (4)
- safe control (4)
- sat (4)
- sensors (4)
- specification mining (4)
- training data (4)
- verification (4)
- aerospace (3)
- benchmark testing (3)
- computation theory & mathematics (3)
- computer science (3)
- computer science - robotics (3)
- cs.ai (3)
- data models (3)
닫기
간행물
- nasa formal methods : 12th international symposium, nfm 2020, moffett field, ca, usa, may 11-15, 2020, proceedings (26)
- journal of automated reasoning (9)
- acta informatica (6)
간행물

Count Name
- nasa formal methods : 12th international symposium, nfm 2020, moffett field, ca, usa, may 11-15, 2020, proceedings (26)
- journal of automated reasoning (9)
- acta informatica (6)
- international journal of bioinformatics research and applications (6)
- 2023 ieee international conference on assured autonomy (icaa), assured autonomy (icaa), 2023 ieee international conference on, icaa (3)
- formal methods in system design (3)
- 2008 11th ieee high assurance systems engineering symposium, high assurance systems engineering symposium, 2008. hase 2008. 11th ieee (2)
- 2012 ieee 2nd international conference on computational advances in bio & medical sciences (iccabs) (2)
- 2012 ieee 2nd international conference on computational advances in bio and medical sciences (iccabs), computational advances in bio and medical sciences (iccabs), 2012 ieee 2nd international conference on (2)
- acm / sigplan notices (2)
- computer (00189162) (2)
- icse: international conference on software engineering (2)
- 2009 ieee international high level design validation and test workshop, high level design validation and test workshop, 2009. hldvt 2009. ieee international (1)
- 2010 acm/ieee 32nd international conference on software engineering (1)
- 2011 proceedings of the international conference on embedded software (emsoft) (1)
- 2014 international conference on the internet of things (iot) (1)
- 2015 international conference on compilers, architecture & synthesis for embedded systems (cases) (1)
- acm sigplan notices (1)
- acm transactions on cyber-physical systems (tcps) (1)
- annual computer security applications conference (1)
- computer (1)
- computer aided verification (9783642026577) (1)
- electronic proceedings in theoretical computer science (1)
- formal methods in system design: an international journal (1)
- formal modeling & analysis of timed systems (9783540754534) (1)
- formal modeling & analysis of timed systems: 14th international conference, formats 2016, quebec, qc, canada, august 24-26, 2016, proceedings (1)
- formal modeling and analysis of timed systems (1)
- hscc'19---proceedings of the 2019 22nd acm international conference on hybrid systems: computation and control (1)
- ifac papersonline (1)
- journal of machine learning research (1)
- journal of machine learning research (jmlr) (1)
- nasa formal methods (1)
- nasa formal methods (9783319406473) (1)
- proceedings 3rd workshop on synthesis (1)
- proceedings of the 16th acm conference on computer and communications security (1)
- proceedings of the 16th acm conference: computer & communications security (1)
- proceedings of the 16th conference on formal methods in computer-aided design (1)
- proceedings of the 1st acm/ieee international conference on cyber-physical systems (1)
- proceedings of the 1st acm/ieee international conference: cyber-physical systems (1)
- proceedings of the 2014 international conference compilers, architecture & synthesis for embedded systems (1)
- proceedings of the 2014 international conference on compilers, architecture and synthesis for embedded systems (1)
- proceedings of the 2015 international conference on compilers, architecture and synthesis for embedded systems (1)
- proceedings of the 22nd acm international conference on hybrid systems: computation and control (1)
- proceedings of the 32nd acm sigplan conference on programming language design and implementation (1)
- proceedings of the 32nd acm sigplan conference: programming language design & implementation (1)
- proceedings of the 32nd acm/ieee international conference on software engineering - volume 1 (1)
- proceedings of the ninth acm international conference on embedded software (1)
- programming languages & systems (9783642119569) (1)
- runtime verification (1)
- transactions on computational systems biology. vii (1)
닫기
출판사
- springer international publishing (34)
- ieee (32)
- escholarship, university of california (13)
출판사

Count Name
- springer international publishing (34)
- ieee (32)
- escholarship, university of california (13)
- springer nature (10)
- association for computing machinery (8)
- springer berlin heidelberg (5)
- springer (4)
- inderscience (3)
- acm (2)
- springer netherlands (2)
- springer, cham (2)
- acm, new york (1)
- american automatic control council (1)
- assoc computing machinery (1)
- elsevier ltd (1)
- eptcs, [place of publication not identified] (1)
- fmcad inc (1)
- ieee computer soc (1)
- microtome publ (1)
- springer us (1)
- springer, [cham] (1)
- springer, berlin (1)
닫기
언어
- english (63)
Publication Year
- 2017 (1)
- 2018 (1)
수록데이터베이스
- arXiv (43)
- Springer Nature eBooks (38)
- IEEE Xplore Digital Library (27)
수록데이터베이스

Count Name
- arXiv (43)
- Springer Nature eBooks (38)
- IEEE Xplore Digital Library (27)
- Complementary Index (24)
- ACM Full-Text Collection (11)
- MathSciNet via EBSCOhost (10)
- eScholarship (9)
- Science Citation Index Expanded (7)
- OAIster (4)
- Springer Nature Journals (4)
- Supplemental Index (4)
- MEDLINE (3)
- Academic Search Complete (2)
- ScienceDirect (1)
닫기

PQDT
CAJ
RISS
PsycINFO

전체선택

Concept-based Analysis of Neural Networks via Vision-Language Models

보고서

Author: Mangal, Ravi
Narodytska, Nina
Gopinath, Divya
Hu, Boyue Caroline
Roy, Anirban
Jha, Susmit
Pasareanu, Corina
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Task-Agnostic Detector for Insertion-Based Backdoor Attacks

보고서

Author: Lyu, Weimin
Lin, Xiao
Zheng, Songzhu
Pang, Lu
Ling, Haibin
Jha, Susmit
Chen, Chao
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models

회의자료

issue: 2023 IEEE/CVF International Conference on Computer Vision (ICCV) ICCV Computer Vision (ICCV), 2023 IEEE/CVF International Conference on. :165-175 Oct, 2023
Author: Sur, Indranil
Sikka, Karan
Walmer, Matthew
Koneripalli, Kaushik
Roy, Anirban
Lin, Xiao
Divakaran, Ajay
Jha, Susmit
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Non-Markovian Quantum Control via Model Maximum Likelihood Estimation and Reinforcement Learning

보고서

Author: Neema, Tanmay
Jha, Susmit
Sahai, Tuhin
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Calibration and Correctness of Language Models for Code

보고서

Author: Spiess, Claudio
Gros, David
Pai, Kunal Suresh
Pradel, Michael
Rabin, Md Rafiqul Islam
Alipour, Amin
Jha, Susmit
Devanbu, Prem
Ahmed, Toufique
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Principled OOD Detection via Multiple Testing

회의자료

issue: 2023 IEEE International Symposium on Information Theory (ISIT) Information Theory (ISIT), 2023 IEEE International Symposium on. :1026-1031 Jun, 2023
Author: Magesh, Akshayaa
Veeravalli, Venugopal V.
Roy, Anirban
Jha, Susmit
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting

회의자료

issue: 2023 IEEE International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2023 IEEE International Conference on. :149-152 Jun, 2023
Author: Jha, Susmit
Jha, Sumit Kumar
Lincoln, Patrick
Bastian, Nathaniel D.
Velasquez, Alvaro
Neema, Sandeep
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance

회의자료

issue: 2023 IEEE International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2023 IEEE International Conference on. :19-28 Jun, 2023
Author: Kaur, Ramneet
Jha, Susmit
Roy, Anirban
Sokolsky, Oleg
Lee, Insup
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Detecting Trojaned DNNs Using Counterfactual Attributions

회의자료

issue: 2023 IEEE International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2023 IEEE International Conference on. :76-85 Jun, 2023
Author: Sikka, Karan
Sur, Indranil
Roy, Anirban
Divakaran, Ajay
Jha, Susmit
DB Label: Database : IEEE Xplore Digital Library