서브메뉴
검색
Neural Network Verification for Nonlinear Systems.
Neural Network Verification for Nonlinear Systems.
상세정보
- Material Type
- 학위논문
- 0016620852
- Date and Time of Latest Transaction
- 20230206110540
- ISBN
- 9798357503473
- DDC
- 330
- Author
- Sidrane, Chelsea Rose.
- Title/Author
- Neural Network Verification for Nonlinear Systems.
- Publish Info
- [S.l.] : Stanford University., 2022
- Publish Info
- Ann Arbor : ProQuest Dissertations & Theses, 2022
- Material Info
- 151 p.
- General Note
- Source: Dissertations Abstracts International, Volume: 84-05, Section: B.
- General Note
- Advisor: Barrett, Clark;Pavone, Marco.
- 학위논문주기
- Thesis (Ph.D.)--Stanford University, 2022.
- Restrictions on Access Note
- This item must not be sold to any third party vendors.
- Subject Added Entry-Topical Term
- Aircraft.
- Subject Added Entry-Topical Term
- Propagation.
- Subject Added Entry-Topical Term
- Integer programming.
- Subject Added Entry-Topical Term
- Deep learning.
- Subject Added Entry-Topical Term
- Public domain.
- Subject Added Entry-Topical Term
- Mathematical models.
- Subject Added Entry-Topical Term
- Boolean.
- Subject Added Entry-Topical Term
- Closed loop systems.
- Subject Added Entry-Topical Term
- Open source software.
- Subject Added Entry-Topical Term
- Optimization.
- Subject Added Entry-Topical Term
- Neural networks.
- Subject Added Entry-Topical Term
- Linear programming.
- Subject Added Entry-Topical Term
- Algorithms.
- Subject Added Entry-Topical Term
- Localization.
- Subject Added Entry-Topical Term
- Dynamical systems.
- Subject Added Entry-Topical Term
- Computer science.
- Subject Added Entry-Topical Term
- Mathematics.
- Subject Added Entry-Topical Term
- Physics.
- Subject Added Entry-Topical Term
- Systems science.
- Added Entry-Corporate Name
- Stanford University.
- Host Item Entry
- Dissertations Abstracts International. 84-05B.
- Host Item Entry
- Dissertation Abstract International
- Electronic Location and Access
- 로그인을 한후 보실 수 있는 자료입니다.
- 소장사항
-
202302 2023
- Control Number
- joongbu:627070
MARC
008230220s2022 ulk 00 kor■001000016620852
■00520230206110540
■020 ▼a9798357503473
■035 ▼a(MiAaPQ)AAI29756288
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a330
■1001 ▼aSidrane, Chelsea Rose.
■24510▼aNeural Network Verification for Nonlinear Systems.
■260 ▼a[S.l.]▼bStanford University. ▼c2022
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2022
■300 ▼a151 p.
■500 ▼aSource: Dissertations Abstracts International, Volume: 84-05, Section: B.
■500 ▼aAdvisor: Barrett, Clark;Pavone, Marco.
■5021 ▼aThesis (Ph.D.)--Stanford University, 2022.
■506 ▼aThis item must not be sold to any third party vendors.
■590 ▼aSchool code: 0212.
■650 4▼aAircraft.
■650 4▼aPropagation.
■650 4▼aInteger programming.
■650 4▼aDeep learning.
■650 4▼aPublic domain.
■650 4▼aMathematical models.
■650 4▼aBoolean.
■650 4▼aClosed loop systems.
■650 4▼aOpen source software.
■650 4▼aOptimization.
■650 4▼aNeural networks.
■650 4▼aLinear programming.
■650 4▼aAlgorithms.
■650 4▼aLocalization.
■650 4▼aDynamical systems.
■650 4▼aComputer science.
■650 4▼aMathematics.
■650 4▼aPhysics.
■650 4▼aSystems science.
■690 ▼a0800
■690 ▼a0984
■690 ▼a0405
■690 ▼a0796
■690 ▼a0605
■690 ▼a0790
■71020▼aStanford University.
■7730 ▼tDissertations Abstracts International▼g84-05B.
■773 ▼tDissertation Abstract International
■790 ▼a0212
■791 ▼aPh.D.
■792 ▼a2022
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16620852▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202302▼f2023
미리보기
내보내기
chatGPT토론
Ai 추천 관련 도서
Detail Info.
- Reservation
- 캠퍼스간 도서대출
- 서가에 없는 책 신고
- My Folder
