-
Qimu Xiao: Joint cross-cell offloading and resource allocation in the multi-cell MEC network via online learning
Speaker: Qimu Xiao (University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) March 24, 2023 (Friday) Venue: 518, Research Building 4 Abstract: A widely studied typical mobile edge computing (MEC) system network consists of a cloud server, some edge servers, and some user equipment, which promises a satisfactory user experience by […]
-
Dong Hao: Invitation in Contest Mechanism Design
Speaker: Dong Hao (University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) March 17, 2023 (Friday) Venue: 518, Research Building 4 Abstract: In a contest, a principal holding a task posts it to a crowd. People in the crowd then compete to win the principal’s rewards. Although a crowd is usually […]
-
Connectivity in the presence of an opponent
Speaker: Zihui Liang (University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) March 10, 2023 (Friday) Venue: 518, Research Building 4 Abstract: We introduce two player connectivity games played on finite bipartite graphs. Algorithms that solve these connectivity games can be used as subroutines for solving M\”uller games. M\”uller games constitute […]
-
Zihui Liang: Solving M¨uller Game in Polynomial Time
Speaker: Zihui Liang (University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) March 3, 2023 (Friday) Venue: 518, Research Building 4 Abstract: We introduce Muller games. These are two player games played on finite graphs. They are used to model reactive systems that interact with enviroment. They are also used in […]
-
Zhanghua Fu: 多机器人协同调度以及运筹优化方法的产业化应用
Speaker: 付樟华 (香港中文大学深圳) Time: 15:00-16:00 (Time in Beijing) February 27, 2023 (Monday) Venue: 电子科技大学清水河校区四号科研楼A区518 Abstract: 产业界(工厂、仓储、港口、矿山、物流等)面临大量复杂的运筹优化问题,如何高效地解决这些问题,是相关企业的核心能力之一。然而,实际业务一般非常复杂,而且随着时间迅速变化,数据收集也往往相当困难,且存在误差。因此,学术界常用的优化方法往往难以直接应用于产业界。如何跨越学术研究与产业应用之间的鸿沟,成为许多运筹优化研究者所面临的问题。 Speaker Bio: 付樟华,本硕博均毕业于华中科技大学,2012年至2015年留学法国从事博士后研究。2015年回国后担任香港中文大学(深圳)以及深圳市人工智能与机器人研究院研究员,主要从事人工智能与机器人相关研究。曾于2014年12月夺得运筹优化领域著名的国际竞赛-第11届DIMACS国际算法设计大赛的冠军(华人首冠)。2016年入选深圳市“孔雀计划”海外高层次人才。2022年参与华为珠峰计划,帮助华为解决实际业务中的核心难题,获得华为颁发的“难题火花奖”。目前专注于机器人及人工智能领域相关产业化工作,已服务近十家行业龙头企业。
-
Chao Xu: 可满足性相关问题公共字符检索算法
Speaker: 徐超 (长沙理工大学) Time: 10:00-11:00 (Time in Beijing) February 27, 2023 (Monday) Venue: 电子科技大学清水河校区四号科研楼A区518 Abstract: 可满足性问题是计算机领域的核心问题之一。实践中常常有些化简规则,即便是多项式时间内能完成,但当检测的时间复杂度超过了平方时间,程序内多次检测访问,仍然耗时严重。为此,针对消除公共字符的化简规则,基于哈希思想,本次给出了一种快速检测的算法,希望与大家共同研讨。 Speaker Bio: 徐超,中南大学博士,长沙理工大学计算机与通信工程学院讲师,主要从事可满足性相关相关问题优化算法研究,目前专注于可满足性相关问题理论算法与求解器应用的相关工作。
-
Ye Wei & Dingwen Xu: Probability Graph Models
Speaker: () Time: 16:20-17:20 (Time in Beijing) November 25, 2022 (Friday) Venue: 518, Research Building 4 Abstract:
-
Jianbo Wang: Solving systems of linear equations through zero forcing set
Speaker: () Time: 16:20-17:20 (Time in Beijing) November 18, 2022 (Friday) Venue: 518, Research Building 4 Abstract:
-
Ke Shi: A Polynomial Time Algorithm for Finding a Minimum 4-Partition of a Submodular Function
Speaker: () Time: 16:20-17:20 (Time in Beijing) October 21, 2022 (Friday) Venue: 518, Research Building 4 Abstract:
-
Yuan Fang: Multi-unit Auction over a Social Network
Speaker: () Time: 16:20-17:20 (Time in Beijing) October 14, 2022 (Friday) Venue: 518, Research Building 4 Abstract: