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展开更多
English and submitted electronically through http://GreenCom2011.comp.polyu.edu.hk.Paper submis-sions should be 10 pages in two-column,single-space,10pt format that describe original work not previously published and ...English and submitted electronically through http://GreenCom2011.comp.polyu.edu.hk.Paper submis-sions should be 10 pages in two-column,single-space,10pt format that describe original work not previously published and not concurrentlysubmitted elsewhere.Submission of a paper should be regarded as an undertaking展开更多
Introduction Computers,communication systems and other ITinfrastructure have been posing severe environmental problems by consuming significant amounts of electricity,increasing greenhouse gas emissions,and causing po...Introduction Computers,communication systems and other ITinfrastructure have been posing severe environmental problems by consuming significant amounts of electricity,increasing greenhouse gas emissions,and causing pollution duringtheir production and disposal.To reduce these environmental problems and create a展开更多
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队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年给出的结果。展开更多
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)张源研究员指导硕士研究生李诗雨和高歌在网络空间安全领域期刊IEEE Trans.on Information Forensics and Security (TIFS,CCF A类)和IEEE Trans.on Computers (TC,CCF A类)连...近日,电子科技大学计算机科学与工程学院(网络空间安全学院)张源研究员指导硕士研究生李诗雨和高歌在网络空间安全领域期刊IEEE Trans.on Information Forensics and Security (TIFS,CCF A类)和IEEE Trans.on Computers (TC,CCF A类)连续发表研究成果。同时,指导本科生王雅黎在IEEE通信领域会议IEEE International Conference on Communications 2024(ICC’2024)发表研究成果,电子科技大学均为第一单位和唯一通讯单位。展开更多
文摘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
文摘English and submitted electronically through http://GreenCom2011.comp.polyu.edu.hk.Paper submis-sions should be 10 pages in two-column,single-space,10pt format that describe original work not previously published and not concurrentlysubmitted elsewhere.Submission of a paper should be regarded as an undertaking
文摘Introduction Computers,communication systems and other ITinfrastructure have been posing severe environmental problems by consuming significant amounts of electricity,increasing greenhouse gas emissions,and causing pollution duringtheir production and disposal.To reduce these environmental problems and create a
文摘近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of Formula Length”的论文。论文第二作者和通讯作者为肖鸣宇教授。该论文研究了著名的布尔可满足性问题(SAT问题)的算法与计算复杂性,得到该问题精确求解中,以问题输入CNF公式的总长度L为度量的当前最佳运行时间上界,改进了十余年前CHEN和LIU于2009年给出的结果。
文摘近日,电子科技大学计算机科学与工程学院(网络空间安全学院)张源研究员指导硕士研究生李诗雨和高歌在网络空间安全领域期刊IEEE Trans.on Information Forensics and Security (TIFS,CCF A类)和IEEE Trans.on Computers (TC,CCF A类)连续发表研究成果。同时,指导本科生王雅黎在IEEE通信领域会议IEEE International Conference on Communications 2024(ICC’2024)发表研究成果,电子科技大学均为第一单位和唯一通讯单位。
