论文Goal-conditioned Behavioral Cloning with Prioritized Sampling (F Ma, GJ Liu, KW Zhang)与Improved PolarMask with Attention for Instance Segmentation（Y Ca...[详细]

刘关俊教授负责申报的2021年度国家自然科学基金面上项目“基于Petri网的实时并发系统三位一体化建模与分析”，获得资助，期限为2022.1-2025.12月[详细]

欢迎投稿到：Special Session "Safe, Reliable, and Intelligent Cyber-Physical Systems" on the 2021 International Conference on Cyber-physical Social Intelligen...[详细]

实验室博士研究生何雷锋同学与其导师刘关俊教授的研究论文“Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order"被the 15th In...[详细]

2021年6月4日至5日，由中国计算机学会形式化方法专委会组织、同济大学承办的第一届《计算理论》教学研讨会，在上海召开，来自上海交通大学、西北工业大学、国防科技大学...[详细]

2021年5月26日至27日，国家自然科学基金重点项目“人机物融合场景计算的建模理论与软件定义方法”研讨会，在西北工业大学召开，刘志明、董威、张苗苗、刘关俊等课题负责...[详细]

2021年5月18日下午，中科院陆汝钤院士访问网络交易风控中心，听取了中心主任蒋昌俊教授对网络交易风控、大流量计算技术等相关研究的介绍、并参观了风控中心，刘关俊、王...[详细]

学术论文A hybrid method with dynamic weighted entropy for handling the problem of class imbalance with overlap in credit card fraud detection(ZC Li, M Huang,...[详细]

实验室两篇论文“Level Target Inject Net for IDs Representation in Recommendation System（J Tang, H Bao and GJ Liu）”与“Ensemble Method for Credit Card Frau...[详细]

11月19日至22日，2020 CCF中国软件大会（即，第19届全国软件与应用学术会议（NASAC2020）与第5届全国形式化方法与应用会议（FMAC2020））在重庆胜利召开。会议由中国计...[详细]