Ka Lok Man
Titel
Citeras av
Citeras av
År
Syntax and consistent equation semantics of hybrid Chi
DA van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
The Journal of Logic and Algebraic Programming 68 (1-2), 129-210, 2006
1792006
Parameter estimation of photovoltaic models via cuckoo search
J Ma, TO Ting, KL Man, N Zhang, SU Guan, PWH Wong
Journal of applied mathematics 2013, 2013
1522013
Ultra wideband antennas: past and present
EG Lim, Z Wang, CU Lei, Y Wang, KL Man
IAENG International journal of computer science, 2010
882010
Formal specification and analysis of hybrid systems
KL Man, RRH Schiffelers
Eindhoven University of Technology, 2006
622006
Approximate single-diode photovoltaic model for efficient IV characteristics estimation
J Ma, KL Man, TO Ting, N Zhang, SU Guan, PWH Wong
The Scientific World Journal 2013, 2013
562013
Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS).
K Wan, KL Man, D Hughes
Engineering Letters 18 (3), 2010
562010
A middleware platform to support river monitoring using wireless sensor networks
D Hughes, J Ueyama, E Mendiondo, N Matthys, W Horré, S Michiels, ...
Journal of the Brazilian Computer Society 17 (2), 85-102, 2011
522011
Composition challenges and approaches for cyber physical systems
K Wan, D Hughes, KL Man, T Krilavičius
2010 IEEE International Conference on Networked Embedded Systems for …, 2010
522010
Investigation of neural networks for function approximation
S Yang, TO Ting, KL Man, SU Guan
Procedia Computer Science 17, 586-594, 2013
432013
Detection and assessment of partial shading scenarios on photovoltaic strings
J Ma, X Pan, KL Man, X Li, H Wen, TO Ting
IEEE Transactions on Industry Applications 54 (6), 6279-6289, 2018
322018
Tuning of Kalman filter parameters via genetic algorithm for state-of-charge estimation in battery management system
TO Ting, KL Man, EG Lim, M Leach
The Scientific World Journal 2014, 2014
322014
Using Web 2.0 tools to enhance learning in higher education: A case study in technological education
LEI Chi-Un, T Krilavičius, N Zhang, K Wan, KL Man
Engineers and computer scientists: 2012 IMECS: proceedings of the …, 2012
312012
EEG eye state identification using incremental attribute learning with time-series classification
T Wang, SU Guan, KL Man, TO Ting
Mathematical Problems in Engineering 2014, 2014
302014
Syntax and semantics of timed Chi
DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
Computer Science Reports, 05-09, 2005
292005
Wearable Textile Substrate Patch Antennas.
EG Lim, Z Wang, JC Wang, M Leach, R Zhou, CU Lei, KL Man
Engineering letters 22 (2), 2014
262014
Quantitative measurement of split of the second heart sound (S2)
S Barma, BW Chen, KL Man, JF Wang
IEEE/ACM transactions on computational biology and bioinformatics 12 (4 …, 2014
242014
SystemC/sup FL: formalization of SystemC
KL Man
Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE …, 2004
242004
Formal semantics of hybrid Chi
RRH Schiffelers, DA Van Beek, KL Man, MA Reniers, JE Rooda
International Conference on Formal Modeling and Analysis of Timed Systems …, 2003
242003
An exploration of usable authentication mechanisms for virtual reality systems
Z Yu, HN Liang, C Fleming, KL Man
2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS), 458-460, 2016
232016
Parameter estimation of photovoltaic model via parallel particle swarm optimization algorithm
J Ma, KL Man, SU Guan, TO Ting, PWH Wong
International Journal of Energy Research 40 (3), 343-352, 2016
232016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20