English | 繁體

Search in the results

UM

Browse/Search Results:  1-10 of 23 Help

Selected(0)Clear Items/Page:    Sort:
Effects and side effects of personal learning environments and personalized learning in formal education Journal article
Xu, Xiao Shu, Li, Zhiyou, Hin Hong, Wilson Cheong, Xu, Xinyu, Zhang, Yun Feng. Effects and side effects of personal learning environments and personalized learning in formal education[J]. Education and Information Technologies, 2024.
Authors:  Xu, Xiao Shu;  Li, Zhiyou;  Hin Hong, Wilson Cheong;  Xu, Xinyu;  Zhang, Yun Feng
Favorite | TC[WOS]:1 TC[Scopus]:1  IF:4.8/4.8 | Submit date：2024/05/16
Effects And Side Effects  Formal Education  Personal Learning Environment  Personalized Learning  Systematic Review  
Chinese Preschool Children’s Home Numeracy Experiences and their Mathematical Abilities Journal article
Pan, Yuejuan, Hu, Bi Ying, Hunt, Jessica, Wu, Zhongling, Chen, Yuewen, He, Mengyang. Chinese Preschool Children’s Home Numeracy Experiences and their Mathematical Abilities[J]. Journal of Early Childhood Research, 2022, 21(1), 31-45.
Authors:  Pan, Yuejuan;  Hu, Bi Ying;  Hunt, Jessica;  Wu, Zhongling;  Chen, Yuewen; et al.
Favorite | TC[WOS]:4 TC[Scopus]:3  IF:1.8/1.8 | Submit date：2023/01/30
Chinese Parents  Formal And inFormal Math Activities  Home Numeracy Experience  Mathematical Ability  Preschool Children  
Modeling and Verifying PSO Memory Model Using CSP Journal article
Xiao, Lili, Zhu, Huibiao, Xu, Qiwen, Vinh, Phan Cong. Modeling and Verifying PSO Memory Model Using CSP[J]. MOBILE NETWORKS & APPLICATIONS, 2022, 27(5), 2068–2083.
Authors:  Xiao, Lili;  Zhu, Huibiao;  Xu, Qiwen;  Vinh, Phan Cong
Favorite | TC[WOS]:4 TC[Scopus]:5  IF:2.3/2.6 | Submit date：2022/08/05
Formal Methods  Modeling  Partial Store Order (Pso)  Process Algebra Csp  Verification  Weak Memory Model  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, W.L., Zhu, H.B., Xu, Q. W.. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, W.L.;  Zhu, H.B.;  Xu, Q. W.
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2022/08/17
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, Wanling, Zhu, Huibiao, Xu, Qiwen. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, Wanling;  Zhu, Huibiao;  Xu, Qiwen
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2021/12/07
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
The Formal Adequacy Principle from the Perspective of Judicial Case Management: Macau Book chapter
出自: Civil Case Management in the Twenty-First Century: Court Structures Still Matter:Springer, 2021, 页码:95-107
Authors:  Wang, Wei
Favorite | TC[Scopus]:0 | Submit date：2023/03/29
Case Management  Civil Justice In Macau  Formal Adequacy Principle  Procedural Arrangements  Procedural Efficacy  
Automated Prototype Generation from Formal Requirements Model Journal article
Yang, Yilong, Li, Xiaoshan, Ke, Wei, Liu, Zhiming. Automated Prototype Generation from Formal Requirements Model[J]. IEEE Transactions on Reliability, 2020, 69(2), 632-656.
Authors:  Yang, Yilong;  Li, Xiaoshan;  Ke, Wei;  Liu, Zhiming
Favorite | TC[WOS]:16 TC[Scopus]:24  IF:5.0/5.2 | Submit date：2021/12/06
Formal Requirements Model  Object Constraint Language (Ocl)  Prototype  Requirements  Requirements Model  Requirements Validation  Unified Modeling Language (Uml)  
A formal approach to candlestick pattern classification in financial time series Journal article
Weilong Hu, Yain-Whar Si, Simon Fong, Raymond Yiu Keung Lau. A formal approach to candlestick pattern classification in financial time series[J]. Applied Soft Computing, 2019, 84, 105700.
Authors:  Weilong Hu;  Yain-Whar Si;  Simon Fong;  Raymond Yiu Keung Lau
Favorite | TC[WOS]:18 TC[Scopus]:21  IF:7.2/7.0 | Submit date：2021/03/09
Financial Time Series  Candlestick Chart Patterns  Formal Specifications  Pattern Matching  Stock Markets  
Integrating UML with service refinement for requirements modeling and analysis Journal article
Yang Y., Ke W., Yang J., Li X.. Integrating UML with service refinement for requirements modeling and analysis[J]. IEEE Access, 2019, 7, 11599-11612.
Authors:  Yang Y.;  Ke W.;  Yang J.;  Li X.
Favorite | TC[WOS]:1 TC[Scopus]:8 | Submit date：2019/02/14
Formal Verification  Requirements Modeling  Service Refinement  Uml  
A formal approach to chart patterns classification in financial time series Journal article
Yuqing Wan, Yain-Whar Si. A formal approach to chart patterns classification in financial time series[J]. Information Sciences, 2017, 411, 151-175.
Authors:  Yuqing Wan;  Yain-Whar Si
Favorite | TC[WOS]:27 TC[Scopus]:27  IF:0/0 | Submit date：2018/10/30
Chart Patterns  Formal Specification  Pattern Matching  Financial Time Series  Technical Analysis