zweidimensionales bewegtes Bild
Improving Neural Network Verification through Spurious Region Guided Refinement
- Location
-
Hannover TIB
- Extent
-
38MB, 00:17:33:00 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Yang, Pengfei
Li, Renjue
Li, Jianlin
Huang, Cheng-Chao
Wang, Jingyi
Sun, Jun
Xue, Bai
Zhang, Lijun
- DOI
-
10.5446/54986
- Last update
- 04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Yang, Pengfei
- Li, Renjue
- Li, Jianlin
- Huang, Cheng-Chao
- Wang, Jingyi
- Sun, Jun
- Xue, Bai
- Zhang, Lijun
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Nonlinear parameter optimization method for high-resolution monitoring of marine environment
Abstraction and refinement of probabilistic automata using modal stochastic games
Robust estimation for varying coefficient partially functional linear regression models based on exponential squared loss function
New results on probabilistic verification : automata, logic and satisfiability
Application of distribution functions in accurate determination of interdiffusion coefficients
Decision algorithms for probabilistic simulations
29th International Conference on Concurrency Theory (CONCUR 2018)
Emergence of group size disparity in growing networks with adoption
On the nucleus composition during isothermal alloy solidification
Association between MTHFR gene 1298A>C polymorphism and breast cancer susceptibility: a meta-analysis based on 38 case-control studies with 40,985 subjects
Selective serotonin reuptake inhibitors regulate the interrelation between 5-HT and inflammation after myocardial infarction
Factors influencing Nirmatrelvir/Ritonavir concentration in patients with COVID-19
Nonlinear parameter optimization method for high-resolution monitoring of marine environment
Abstraction and refinement of probabilistic automata using modal stochastic games
Robust estimation for varying coefficient partially functional linear regression models based on exponential squared loss function
New results on probabilistic verification : automata, logic and satisfiability
Application of distribution functions in accurate determination of interdiffusion coefficients
Decision algorithms for probabilistic simulations
29th International Conference on Concurrency Theory (CONCUR 2018)
Emergence of group size disparity in growing networks with adoption
On the nucleus composition during isothermal alloy solidification
Association between MTHFR gene 1298A>C polymorphism and breast cancer susceptibility: a meta-analysis based on 38 case-control studies with 40,985 subjects
Selective serotonin reuptake inhibitors regulate the interrelation between 5-HT and inflammation after myocardial infarction
Factors influencing Nirmatrelvir/Ritonavir concentration in patients with COVID-19
Nonlinear parameter optimization method for high-resolution monitoring of marine environment
Abstraction and refinement of probabilistic automata using modal stochastic games
Robust estimation for varying coefficient partially functional linear regression models based on exponential squared loss function
New results on probabilistic verification : automata, logic and satisfiability
Application of distribution functions in accurate determination of interdiffusion coefficients
Decision algorithms for probabilistic simulations
29th International Conference on Concurrency Theory (CONCUR 2018)
Emergence of group size disparity in growing networks with adoption
On the nucleus composition during isothermal alloy solidification
Association between MTHFR gene 1298A>C polymorphism and breast cancer susceptibility: a meta-analysis based on 38 case-control studies with 40,985 subjects
Selective serotonin reuptake inhibitors regulate the interrelation between 5-HT and inflammation after myocardial infarction