Ka Lok Man
Citeras av
Citeras av
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
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
Ultra wideband antennas: past and present
EG Lim, Z Wang, CU Lei, Y Wang, KL Man
IAENG International journal of computer science, 2010
Formal specification and analysis of hybrid systems
KL Man, RRH Schiffelers
Eindhoven University of Technology, 2006
Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS).
K Wan, KL Man, D Hughes
Engineering Letters 18 (3), 2010
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
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
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
Investigation of Neural Networks for Function Approximation.
S Yang, TO Ting, KL Man, SU Guan
ITQM, 586-594, 2013
Using Web 2.0 tools to enhance learning in higher education: A case study in technological education
LEI Chi-Un, N Zhang, K Wan, KL Man, T Krilavičius
Engineers and computer scientists: 2012 IMECS: proceedings of the …, 2012
Syntax and semantics of timed Chi
DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
Computer Science Reports, 05-09, 2005
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
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
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
SystemC/sup FL: formalization of SystemC
KL Man
Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE …, 2004
Wearable Textile Substrate Patch Antennas.
EG Lim, Z Wang, JC Wang, M Leach, R Zhou, CU Lei, KL Man
Engineering Letters 22 (2), 2014
An overview of SystemC/sup FL
KL Man
Research in Microelectronics and Electronics, 2005 PhD 1, 145-148, 2005
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
A hybrid MPPT method for photovoltaic systems via estimation and revision method
J Ma, KL Man, TO Ting, N Zhang, CU Lei, N Wong
2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 241-244, 2013
Developing a smart learning environment in universities via cyber-physical systems
CU Lei, K Wan, KL Man
Procedia Computer Science 17, 583-585, 2013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20