Zobrazeno 1 - 10
of 148
pro vyhledávání: '"Huang, Wen Ling"'
This technical report presents research results achieved in the field of verification of trained Convolutional Neural Network (CNN) used for image classification in safety-critical applications. As running example, we use the obstacle detection funct
Externí odkaz:
http://arxiv.org/abs/2401.06156
Publikováno v:
EPTCS 348, 2021, pp. 54-72
In this position paper, a novel approach to testing complex autonomous transportation systems (ATS) in the automotive, avionic, and railway domains is described. It is intended to mitigate some of the most critical problems regarding verification and
Externí odkaz:
http://arxiv.org/abs/2110.12586
Autor:
Huang, Wen-ling, Peleska, Jan
In this paper, new contributions to requirements-based testing with deterministic finite state machines are presented. Elementary requirements are specified as triples consisting of a state in the reference model, an input, and the expected reaction
Externí odkaz:
http://arxiv.org/abs/2105.11786
Publikováno v:
In Science of Computer Programming January 2024 231
Autor:
Huang, Wen-ling, Havlicek, Hans
Publikováno v:
Linear Algebra Appl. 429 (2008), 376-386
We consider a class of graphs subject to certain restrictions, including the finiteness of diameters. Any surjective mapping $\phi:\Gamma\to\Gamma'$ between graphs from this class is shown to be an isomorphism provided that the following holds: Any t
Externí odkaz:
http://arxiv.org/abs/1304.1345
Publikováno v:
In Science of Computer Programming 15 June 2019 179:1-23
Publikováno v:
Rendiconti Lincei - Matematica e Applicazioni, 17, 335-349 (2006).
We find two conditions related to the {\it news functions} of the Bondi's radiating vacuum spacetimes. We provide a complete proof of the positivity of the Bondi mass by using Schoen-Yau's method under one condition and by using Witten's method under
Externí odkaz:
http://arxiv.org/abs/math/0604155
Autor:
Huang, Wen-ling, Zhang, Xiao
Publikováno v:
Sci.China 50:1217-1226,2007
In a vacuum spacetime equipped with the Bondi's radiating metric which is asymptotically flat at spatial infinity including gravitational radiation ({\bf Condition D}), we establish the relation between the ADM total energy-momentum and the Bondi ene
Externí odkaz:
http://arxiv.org/abs/gr-qc/0601022
Autor:
Huang, Wen-ling, Zhang, Xiao
Publikováno v:
Proceedings of the 4th International Congress of Chinese Mathematicians, Hangzhou 2007, December 17-22, Vol III, 367-379, Higher Education Press 2008
In a vacuum spacetime equips with the Bondi's radiating metric which is asymptotically flat at spatial infinity including gravitational radiation ({\bf Condition D}), we establish the relation between the ADM total linear momentum and the Bondi momen
Externí odkaz:
http://arxiv.org/abs/gr-qc/0511037
Autor:
Zhao, Qin Ping, Gao, Qian, Zhang, Yan, Li, Yan Wei, Huang, Wen Ling, Tang, Chun-lian, Dong, Hui Fen
Publikováno v:
In Acta Tropica May 2018 181:69-78