Ka Lok Man
TitelCiteras 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
1782006
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
1132013
Ultra wideband antennas: past and present
EG Lim, Z Wang, CU Lei, Y Wang, KL Man
IAENG International journal of computer science, 2010
792010
Formal specification and analysis of hybrid systems
KL Man, RRH Schiffelers
Eindhoven University of Technology, 2006
602006
Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS).
K Wan, KL Man, D Hughes
Engineering Letters 18 (3), 2010
532010
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
492010
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
462011
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
452013
Investigation of neural networks for function approximation
S Yang, TO Ting, KL Man, SU Guan
Procedia Computer Science 17, 586-594, 2013
322013
Syntax and semantics of timed Chi
DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
Computer Science Reports, 05-09, 2005
302005
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
282012
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
262014
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
262003
SystemC/sup FL: formalization of SystemC
KL Man
Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE …, 2004
242004
An overview of SystemC/sup FL
KL Man
Research in Microelectronics and Electronics, 2005 PhD 1, 145-148, 2005
232005
Wearable Textile Substrate Patch Antennas.
EG Lim, Z Wang, JC Wang, M Leach, R Zhou, CU Lei, KL Man
Engineering Letters 22 (2), 2014
212014
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
212014
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 (TCBB) 12 …, 2015
202015
Developing a smart learning environment in universities via cyber-physical systems
CU Lei, K Wan, KL Man
Procedia Computer Science 17, 583-585, 2013
192013
Building an intelligent laboratory environment via a cyber-physical system
CU Lei, KL Man, HN Liang, EG Lim, K Wan
International Journal of Distributed Sensor Networks 9 (12), 109014, 2013
182013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20