| LDR | | 01957nam u200637 4500 |
| 001 | | 000000486128 |
| 005 | | 20230213152258 |
| 008 | | 230117s2022 |||||||||||||||||c||eng d |
| 020 | |
▼a 9798357503473 |
| 035 | |
▼a (MiAaPQ)AAI29756288 |
| 040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 247004 |
| 082 | 0 |
▼a 330 |
| 100 | 1 |
▼a Sidrane, Chelsea Rose. |
| 245 | 10 |
▼a Neural Network Verification for Nonlinear Systems. |
| 260 | |
▼a [S.l.]:
▼b Stanford University.,
▼c 2022. |
| 260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2022. |
| 300 | |
▼a 151 p. |
| 500 | |
▼a Source: Dissertations Abstracts International, Volume: 84-05, Section: B. |
| 500 | |
▼a Advisor: Barrett, Clark;Pavone, Marco. |
| 502 | 1 |
▼a Thesis (Ph.D.)--Stanford University, 2022. |
| 506 | |
▼a This item must not be sold to any third party vendors. |
| 590 | |
▼a School code: 0212. |
| 650 | 4 |
▼a Aircraft. |
| 650 | 4 |
▼a Propagation. |
| 650 | 4 |
▼a Integer programming. |
| 650 | 4 |
▼a Deep learning. |
| 650 | 4 |
▼a Public domain. |
| 650 | 4 |
▼a Mathematical models. |
| 650 | 4 |
▼a Boolean. |
| 650 | 4 |
▼a Closed loop systems. |
| 650 | 4 |
▼a Open source software. |
| 650 | 4 |
▼a Optimization. |
| 650 | 4 |
▼a Neural networks. |
| 650 | 4 |
▼a Linear programming. |
| 650 | 4 |
▼a Algorithms. |
| 650 | 4 |
▼a Localization. |
| 650 | 4 |
▼a Dynamical systems. |
| 650 | 4 |
▼a Computer science. |
| 650 | 4 |
▼a Mathematics. |
| 650 | 4 |
▼a Physics. |
| 650 | 4 |
▼a Systems science. |
| 690 | |
▼a 0800 |
| 690 | |
▼a 0984 |
| 690 | |
▼a 0405 |
| 690 | |
▼a 0796 |
| 690 | |
▼a 0605 |
| 690 | |
▼a 0790 |
| 710 | 20 |
▼a Stanford University. |
| 773 | 0 |
▼t Dissertations Abstracts International
▼g 84-05B. |
| 773 | |
▼t Dissertation Abstract International |
| 790 | |
▼a 0212 |
| 791 | |
▼a Ph.D. |
| 792 | |
▼a 2022 |
| 793 | |
▼a English |
| 856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T16620852
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
| 980 | |
▼a 202302
▼f 2023 |
| 990 | |
▼a ***1012033 |
| 991 | |
▼a E-BOOK |