Zobrazeno 1 - 10
of 126
pro vyhledávání: '"N. N. Hung"'
Publikováno v:
Natural Hazards and Earth System Sciences, Vol 16, Iss 4, Pp 941-961 (2016)
Many urban areas experience both fluvial and pluvial floods, because locations next to rivers are preferred settlement areas and the predominantly sealed urban surface prevents infiltration and facilitates surface inundation. The latter problem is en
Externí odkaz:
https://doaj.org/article/fe18212af06d4be3a8d41bce22be81aa
Publikováno v:
Hydrology and Earth System Sciences, Vol 18, Iss 8, Pp 3033-3053 (2014)
Sediment dynamics play a major role in the agricultural and fishery productivity of the Mekong Delta. However, the understanding of sediment dynamics in the delta, one of the most complex river deltas in the world, is very limited. This is a conseque
Externí odkaz:
https://doaj.org/article/858dde3920834317a9a2e8354abc0d74
Publikováno v:
Automatic Control and Computer Sciences. 56:577-586
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature
Publikováno v:
IEEE Access, Vol 5, Pp 27777-27785 (2017)
This paper presents a new compact canonical-based algorithm to solve the problem of single-output completely specified input negation and/or input permutation and/or output negation Boolean matching. We propose a new signature vector Boolean differen
Externí odkaz:
https://doaj.org/article/654f2739d02c4f9c9f6683bd94eab096
Autor:
G Vasilopoulos, Q L Quan, D R Parsons, S E Darby, V P D Tri, N N Hung, I D Haigh, H E Voepel, A P Nicholas, R Aalto
Publikováno v:
Environmental Research Letters, Vol 16, Iss 6, p 064089 (2021)
Many of the world’s major river deltas face a sustainability crisis, as they come under threat of increases in salinity and the extent of tidal zones forced by combinations of sea-level rise, changes in river discharge and channel geometry. The rel
Externí odkaz:
https://doaj.org/article/6d43548cf89e41098ca3bf3cbec35ffa
Publikováno v:
Symmetry, Vol 11, Iss 1, p 27 (2018)
In this paper, we address an NPN Boolean matching algorithm. The proposed structural difference signature (SDS) of a Boolean function significantly reduces the search space in the Boolean matching process. The paper analyses the size of the search sp
Externí odkaz:
https://doaj.org/article/6c6f62c530e74d278aa226e3405b1fd8
Publikováno v:
Journal of Applied Mathematics, Vol 2014 (2014)
This paper considers a hybrid I/O automata model for an automated guided vehicle (AGV) system. A set of key properties of an AGV system are characterized for the correctness of the system. An abstract model is constructed from the hybrid automata mod
Externí odkaz:
https://doaj.org/article/1921cddefd2f40e49462efa8ad6be529
Publikováno v:
Theory of Computing Systems. 63:1278-1297
The classification of Boolean functions plays an underpinning role in logic design and synthesis of VLSI circuits. This paper considers a underpinning question in Boolean function classification: how many distinct classes are there for k-input Boolea
Publikováno v:
Journal of Applied Mathematics, Vol 2013 (2013)
Generalized symbolic trajectory evaluation (GSTE) is a model checking approach and has successfully demonstrated its powerful capacity in formal verification of VLSI systems. GSTE is an extension of symbolic trajectory evaluation (STE) to the model c
Externí odkaz:
https://doaj.org/article/a90a69f7eecb4ebf8a0ed84a71926483