科学与工程计算利用高级计算能力理解和解决复杂的科学和工程问题,是计算机实现在高科技领域应用的纽带和工具。进入21世纪以来,千万亿次、百亿亿次科学与工程计算将显著提升各国在国家安全、航空航天、生命科学、材料科学、气候与生态...科学与工程计算利用高级计算能力理解和解决复杂的科学和工程问题,是计算机实现在高科技领域应用的纽带和工具。进入21世纪以来,千万亿次、百亿亿次科学与工程计算将显著提升各国在国家安全、航空航天、生命科学、材料科学、气候与生态环境等领域的科技创新能力,产生重大科学理论和应用突破。该文以Clarivate Analytics公司的Web of Science^(TM)核心合集数据库中2007-2016年间的科学与工程计算研究论文为数据源,利用Thomson Data Analyzer等工具定量分析了科学与工程计算的研究趋势、国际竞争格局、热点方向,揭示了国际科学与工程计算研究的整体发展态势。展开更多
Computational Science and Engineering(CS&E)is now widely accepted,along with theory and experiment,as the critical third pillar of scientific discovery.It is indispensable for leading edge investigation and engine...Computational Science and Engineering(CS&E)is now widely accepted,along with theory and experiment,as the critical third pillar of scientific discovery.It is indispensable for leading edge investigation and engineeringdesign in a vast number of industrial sectors,including for example,aerospace,automotive,biological chemical,and semiconductor technologies that all rely increasingly on advanced展开更多
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms ...近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of Formula Length”的论文。论文第二作者和通讯作者为肖鸣宇教授。该论文研究了著名的布尔可满足性问题(SAT问题)的算法与计算复杂性,得到该问题精确求解中,以问题输入CNF公式的总长度L为度量的当前最佳运行时间上界,改进了十余年前CHEN和LIU于2009年给出的结果。展开更多
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)杨国武教授团队先后在人工智能领域著名期刊TPAMI、TIP和CCF A类会议KDD、ICCV上发表一系列高水平研究成果。论文《Noisy Label Learning with Provable Consistency for a Wid...近日,电子科技大学计算机科学与工程学院(网络空间安全学院)杨国武教授团队先后在人工智能领域著名期刊TPAMI、TIP和CCF A类会议KDD、ICCV上发表一系列高水平研究成果。论文《Noisy Label Learning with Provable Consistency for a Wider Family of Losses》被CCF人工智能领域A类期刊《IEEE Transactions on Pattern Analysis and Machine Intelligence》(TPAMI)接收。展开更多
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)2021级硕士研究生刘婧媛撰写的论文“Energy-Efficient and Privacy-Preserved Incentive Mechanism for Federated Learning in Mobile Edge Computing”获得IEEE国际通信会议...近日,电子科技大学计算机科学与工程学院(网络空间安全学院)2021级硕士研究生刘婧媛撰写的论文“Energy-Efficient and Privacy-Preserved Incentive Mechanism for Federated Learning in Mobile Edge Computing”获得IEEE国际通信会议(IEEE International Conference on Communications,ICC)最佳论文奖。刘婧媛为该论文的第一作者,导师常征教授为通讯作者。展开更多
文摘科学与工程计算利用高级计算能力理解和解决复杂的科学和工程问题,是计算机实现在高科技领域应用的纽带和工具。进入21世纪以来,千万亿次、百亿亿次科学与工程计算将显著提升各国在国家安全、航空航天、生命科学、材料科学、气候与生态环境等领域的科技创新能力,产生重大科学理论和应用突破。该文以Clarivate Analytics公司的Web of Science^(TM)核心合集数据库中2007-2016年间的科学与工程计算研究论文为数据源,利用Thomson Data Analyzer等工具定量分析了科学与工程计算的研究趋势、国际竞争格局、热点方向,揭示了国际科学与工程计算研究的整体发展态势。
文摘Computational Science and Engineering(CS&E)is now widely accepted,along with theory and experiment,as the critical third pillar of scientific discovery.It is indispensable for leading edge investigation and engineeringdesign in a vast number of industrial sectors,including for example,aerospace,automotive,biological chemical,and semiconductor technologies that all rely increasingly on advanced
文摘近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of Formula Length”的论文。论文第二作者和通讯作者为肖鸣宇教授。该论文研究了著名的布尔可满足性问题(SAT问题)的算法与计算复杂性,得到该问题精确求解中,以问题输入CNF公式的总长度L为度量的当前最佳运行时间上界,改进了十余年前CHEN和LIU于2009年给出的结果。
文摘近日,电子科技大学计算机科学与工程学院(网络空间安全学院)杨国武教授团队先后在人工智能领域著名期刊TPAMI、TIP和CCF A类会议KDD、ICCV上发表一系列高水平研究成果。论文《Noisy Label Learning with Provable Consistency for a Wider Family of Losses》被CCF人工智能领域A类期刊《IEEE Transactions on Pattern Analysis and Machine Intelligence》(TPAMI)接收。
文摘近日,电子科技大学计算机科学与工程学院(网络空间安全学院)2021级硕士研究生刘婧媛撰写的论文“Energy-Efficient and Privacy-Preserved Incentive Mechanism for Federated Learning in Mobile Edge Computing”获得IEEE国际通信会议(IEEE International Conference on Communications,ICC)最佳论文奖。刘婧媛为该论文的第一作者,导师常征教授为通讯作者。