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:
Wu Meei-Maan, Chiou Hung-Yi, Lee Te-Chang, Chen Chi-Ling, Hsu Ling-I, Wang Yuan-Hung, Huang Wen-Ling, Hsieh Yi-Chen, Yang Tse-Yen, Lee Cheng-Yeh, Yip Ping-Keung, Wang Chih-Hao, Hsueh Yu-Mei, Chen Chien-Jen
Publikováno v:
Journal of Biomedical Science, Vol 17, Iss 1, p 70 (2010)
Abstract Background Arsenic is a strong stimulus of heme oxygenase (HO)-1 expression in experimental studies in response to oxidative stress caused by a stimulus. A functional GT-repeat polymorphism in the HO-1 gene promoter was inversely correlated
Externí odkaz:
https://doaj.org/article/61cceb100c164505a879a3dadccac4a2
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