爱游戏是冠名马竞

讲座信息

03.30 | Robust Verification for k-Clique

2023-03-21

演讲者林冰凯头衔职位南京大学计算机系教授时间2023年3月30日(周四)上午10:00-11:30地点江湾校区二号交叉学科楼A1003会议室联系人李元yuan_li@fudan.edu.cn演讲简介判断一个图是否包含有k个顶点的完全子图(简称k团)是著名的NP完全问题。假设有两个人A和B。B想向A证明一个给定的图G中包含大小为k的团。最简单的做法是B把构成该团的k个顶点发送给A。然而该做法不具有鲁棒性：假设某个顶点在数据输过程中或者在A读取时发生错误，那么验证就会失败。Feige,Goldwasser,Lovász,Safra和Szegedy[FGLSS91]曾提出一个多项式时间算法R，对于输入图G和k，R输出一个新的图G’和自然数k’，满足：(1)当G有k团时，G’有k’团；(2)当G不含k团时，G’不包含k’/2大小的团。该算法能用来设计k团问题的鲁棒性验证：A和B使用该算法对图G进行预处理，然后B发送G’中的k’团给A，A只需验证B发过来的k’个点中有k’/2大小的团即可。[FGLSS91]算法的一个限制是k’必须很大。本报告将介绍最近对于构造满足k’是与图G’无关参数的算法R的

全文》
11.08 | 【学院讲座】Real-Time Intelligent Programming Assistance

2022-11-07

演讲者陈言头衔职位incomingAssistantProfessorintheCSDepartmentatVirginiaTech,USA时间2022年11月8日(周二)下午13:30-15:30地点在线腾讯会议链接:https://meeting.tencent.com/dm/H2RmgGAhaFAE（会议号：289-106-942，密码：221108）联系人张鹏zhangpeng_@fudan.edu.cn演讲简介Computerprogrammersatallexpertiselevelsconstantlyrelyonexternalsupportfromotherdevelopers,existingdocumentsandforums,orAItechnologieswhileprogramming.However,thesesupportresourcesareofteninefficient:otherdevelopersmaynotbeavailableon-demandtosupportfrequentquestions;webforumsdonotalwaysp

全文》
10.31 | 【学院讲座】云时代的按需计算与系统研究

2022-10-26

演讲者柴云鹏头衔职位教授、博士生导师，中国人民大学信息学院时间2022年10月31日(周一)下午13:30-15:30地点爱游戏是冠名马竞江湾校区交叉二号楼E1021会议室联系人荆一楠jingyn@fudan.edu.cn演讲简介云计算最大的特征和优势是低成本，在同等服务质量的前提下，通过资源共享、资源调度、软件适配等技术，提高从硬件资源到服务质量的转化率，从而显著降低成本，获得竞争优势，这种模式就是按需计算（On-DemandComputing）。本次报告将详细阐述云时代按需计算的内涵与意义，以及在按需计算理念下的系统设计与优化技术。并且针对云环境中的资源管理层和软件服务层，分别介绍两个按需计算的实际研究实例，包括资源管理层的个性化公平资源隔离方法R2B，以及软件服务层的高服务质量LSM-Tree键值存储引擎CruiseDB。关于讲者柴云鹏，男，中国人民大学信息学院教授、博士生导师、杰出学者青年学者，计算机系主任、中国计算机学会数据库专委会委员、信息存储技术专委会委员。曾任中国计算机学会教育工委主任助理、VLDB2021SponsorChair。研究方向包括云计算、数据库系统、存储系统等，在

全文》
09.29 | 数据库前沿讲座· OceanBase 走进爱游戏是冠名马竞啦

2022-09-27

全文》
09.13 | 【院士讲座】机器能否思考？ Can machines think ？— “图灵测试”还有意义吗？

2022-09-09

演讲者于全头衔职位中国工程院院士，军事科学院系统工程研究院研究员，我国无线通信领域学科带头人。时间2022年9月13日14:30-15:30地点爱游戏是冠名马竞邯郸校区光华楼东辅楼202报告厅演讲简介图灵在现代计算机科学领域做出了巨大贡献，被誉为计算机科学之父、人工智能之父。1950年，在论文《计算机器与智能》中提出了著名的图灵测试。长期以来，这一测试被认为是判断机器思考能力的一个标准。本讲座将从图灵测试出发，并讨论其受到的各方面的评论。在此基础上，将对图灵测试这一问题进行进一步解读与思考，探讨人与机器思考能力的本质。关于讲者于全，中国工程院院士，军事科学院系统工程研究院研究员，我国无线通信领域学科带头人。1992年获法国里摩日大学光纤通信专业博士学位，长期从事军事通信系统的总体设计与型号研制，先后主持研制了中国解放军第一部多频段多模式可编程的软件无线电电台、第一代三军共用的战术通信网和第一代短波综合通信网等多项重大科研成果，突破了软件无线电、动态自组网等一系列关键技术。获国家科技进步一等奖1项、二等奖1项、军队科技进步一等奖4项等。

全文》
04.12 | 领域知识(事件)图谱的构建、关键技术与工业应用落地探索

2022-04-02

演讲者刘焕勇头衔职位奇虎360人工智能研究院算法专家、前中国科学院软件研究所智能软件研究、中心KG课题组算法负责人时间2022年4月12日（星期二）下午1:30~3:00地点腾讯会议：412-388-659，会议密码：612480联系人池明旻，mmchi@fudan.edu.cn演讲简介近年来，知识图谱及其变体的相关技术和应用落地在学界和业界都引起了广泛关注，在本次报告中，我将分享这几年在知识图谱落地实践上的一些思考，旨在系统性地反思知识图谱与事件图谱的定义、技术特性和若干基础问题，同时对构建过程中涉及到的关键技术、开放工具等基础设施进行概述，最后从实际工作出发，分享近年来的一线工业落地实践心得。关于讲者刘焕勇，主页https://liuhuanyong.github.io，奇虎360人工智能研究院算法专家，前中国科学院软件研究所智能软件研究中心KG课题组算法负责人。主要研究方向为领域知识/事件图谱的构建与落地应用，主持研制全行业事理图谱、360搜索知识图谱，金融知识图谱等落地项目。申请发明专利10项，在CCKS、中文信息学报发表论文数篇。参与研制的知识表示模型TripleRE在OGB

全文》
01.05 | 【学院讲座】The Hitchhiker's Guide to the Metaverse (元宇宙生存手冊)

2021-12-22

演讲者许彬(Prof.PanHui)头衔职位香港科技大学计算媒体与艺术教授、英国皇家工程院国际院士、欧洲科学院院士、IEEEFellow、ACM杰出科学家时间2022年1月5日(周三)下午14:00-16:00地点线下参会地点：爱游戏是冠名马竞江湾校区交叉2号楼A1003线上参会链接：腾讯会议：627-520-508(会议密码：23333)承办单位上海市计算机学会网络专委会杰出讲者报告会主办：上海市计算机学会承办：上海市计算机学会网络专业委员会、爱游戏是冠名马竞联系人陈阳，chenyang@fudan.edu.cn演讲简介SincethepopularisationoftheInternetinthe1990s,thecyberspacehaskeptevolving.Wehavecreatedvariouscomputer-mediatedvirtualenvironmentsincludingsocialnetworks,videoconferencing,virtual3Dworlds(e.g.,VRChat),augmentedrealityapplications(e.g.,PokemonG

全文》
12.20 | 【学院讲座】On the AC0 Complexity of Subgraph Isomorphism-子图同构问题的AC0电路复杂性

2021-12-17

演讲者李元头衔职位谷歌云计算部门软件工程师时间2021年12月20号下午1:30–3:30地点江湾校区二号交叉学科楼E1006联系人阚海斌，hbkan@fudan.edu.cn演讲简介GivenafixedpatternP,weconsidertheproblemofdeterminingwhetheragraphcontainsasubgraphisomorphictoP.ThisisoneofthemostbasicNP-completeproblemsthatincludesCliqueandHamiltonianCycleasspecialcases.AC0isanimportantclassofrestrictedBooleancircuits.AC0circuitshaveconstant-depth,polynomialsize,andconsistofAND,OR,NOTgates.WeareinterestedintheAC0complexityofthisproblem,determinedbythesmallestpossibleexponent$C(P)$for

全文》
12.21 | 【学院讲座·学生交流】Query Processing Over Incomplete Data Streams

2021-12-17

演讲者任威隆头衔职位博士,肯特州立大学爱游戏是冠名马竞时间2021年12月21日上午10：00-12：00地点爱游戏是冠名马竞江湾校区交叉二号楼A3009会议室联系人王晓阳，xywangcs@fudan.edu.cn演讲简介Nowadays,efficientandeffectiveprocessingovermassivestreamdatahasattractedmuchattentionfromthedatabasecommunity,whichareusefulinmanyrealapplicationssuchassensordatamonitoring,networkintrusiondetection,andsoon.Inpractice,duetothemalfunctionofsensingdevicesorimperfectdatacollectiontechniques,real-worldstreamdatamayoftencontainmissingorincompletedataattributes.InmyPh.D.dissertationstudy,wehavebee

全文》
12.20 | 软件2.0时代的程序分析

2021-12-17

演讲者张昕头衔职位北京大学爱游戏是冠名马竞助理教授兼研究员时间2021年12月20日10:00-11:00地点腾讯会议ID：354-640-621https://meeting.tencent.com/dm/zpHmedg2IVV6联系人董震，zhendong@fudan.edu.cn演讲简介软件产业界正经历着一场由机器学习带来的变革。在此背景下，程序分析技术既面临着机遇，也面临着挑战。一方面，机器学习技术的飞速发展为构建更好的程序分析提供了新的思路。另一方面，由于机器学习程序的广泛应用，开发有效的技术以保证他们的质量日趋重要。今天我将介绍如何在程序分析中利用这些机遇、迎接这些挑战。首先，我将介绍如何使用数据驱动的方法和概率推理的思想提升程序分析的可用性。然后，我将介绍保障机器学习程序质量的新型分析。关于讲者张昕，男，北京大学爱游戏是冠名马竞助理教授兼研究员。研究领域为程序语言和软件工程，研究重点为编程系统和机器学习的交叉方向。一方面，使用机器学习的方法来提升编程系统可用性；另一方面，开发了新的分析和语言来保障机器学习程序的质量。工作曾获PLDI和FSE杰出论文奖。于2017至2020任美国麻省理

全文》
12.16 | 安全视角下的人工智能利用和攻防技术

2021-12-15

演讲者孟国柱头衔职位副研究员，中国科学院信息工程研究所时间2021年12月16日14:00-15:00地点腾讯会议ID：847-823-489https://meeting.tencent.com/dm/b03RGJdH2Mce联系人董震，zhendong@fudan.edu.cn演讲简介人工智能与安全技术的结合已经成为近几年的研究热点和趋势，一方面人工智能可辅助传统攻防手段，使其更加智能化与高效化；另一方面，其自身的安全问题，如对抗样本、模型后门等，也时刻威胁着自动驾驶、人脸支付等多种应用。本次报告从这两个方面展开，介绍在安全视角下深度学习等人工智能技术的应用以及人工智能技术本身存在的安全问题及攻防技术。关于讲者孟国柱，2017年博士毕业于新加坡南洋理工大学，2018年加入中国科学院信息工程研究所担任副研究员。曾获2019年ACMSIGSAC中国新星奖。主要研究方向包括人工智能安全与隐私、移动安全分析和测试，在软件工程和信息安全领域的顶级或权威期刊和会议发表论文30余篇。

全文》
12.14 | 可信赖多媒体分析

2021-12-09

演讲者桑基韬，北京交通大学教授、博士生导师，计算机科学系主任时间2021年12月14日上午09:30–11:00地点线下参会地点：爱游戏是冠名马竞江湾校区交叉二号楼A4009线上参会：腾讯会议：506-939-639联系人陈智能，zhinchen@fudan.edu.cn演讲简介随着深度神经网络的广泛应用，多媒体分析相关算法在单项测试中的准确率达到甚至超过了人类水平，正逐步实现从“不能用”到“可以用”的技术跨越。然而，在医疗诊断、无人驾驶等强安全性的应用领域，由于鲁棒性差、违背常识伦理、难以测试调试等问题，多媒体分析算法距离工业级大规模场景下的“很好用”要求仍有一段距离。我们尝试将这种“不好用”的原因归结为机器学习算法对人知识蒸馏的过程中学习到的两类“虚假相关性”：（1）欠蒸馏，数据不完备导致机器提取和利用任务无关特征，对应泛化性/公平性/因果性等问题；（2）过蒸馏，人和机器信息处理机制不同导致机器提取和利用非语义特征，对应对抗鲁棒性/解释性等问题。在这一理解下，可信赖多媒体分析致力于提取和利用任务相关的语义特征：训练器学习任务相关特征，满足系统内部应用；解释器进一步筛选任务相关的语义特征，同

全文》
12.10 | 软件漏洞检测和诊断技术

2021-12-07

演讲者吴荣鑫头衔职位副教授时间2021/12/1014:00-15:00地点腾讯会议ID：999-833-037演讲简介软件安全漏洞是导致安全问题的重要缺陷之一，由于其严重度高，在生产环境中会导致不可估计的损失，因此在软件开发和维护过程备受开发人员重视。因此，如何快速和准确地检测和诊断软件安全漏洞，在工业界具有非常重要的意义。针对这一目标，我们探索了一系列符合工业界实践要求（高精度、高效率、计算资源消耗少等）、自动化的检测和诊断技术，包括静态源代码安全漏洞扫描、自动化诊断技术等，这些成果在开源软件和一些商业公司中部署和试用，获得了开发人员的高度认可。关于讲者吴荣鑫，厦门大学信息学院副教授，香港科技大学计算机科学与工程系哲学博士，清华大学软件工程硕士，东北大学软件工程学士。入选2021年福建省“百人计划”青年项目、2019年厦门大学南强青年拔尖人才支持计划，主持国家自然基金青年基金，多次参与香港创新科技署资助的大型创新技术项目、江苏省重点研发计划等。在软件工程、程序分析和计算机安全的顶级会议和期刊上共发表31篇论文，其中CCF-A类期刊和会议论文28篇，曾两次荣获软件工程CCF-A类会议

全文》
12.07 | Evolving Perspectives on Defending Adversarial Attacks for Deep Neural Networks

2021-12-03

演讲者Prof.BenY.Zhao头衔职位NeubauerProfessorofComputerScienceatUniversityofChicago时间2021年12月7日(周二)上午9:30-11:30地点线下参会地点：爱游戏是冠名马竞江湾校区交叉二号楼A1003线上参会：Zoom会议ID:92639811438，密码:659728承办单位上海市计算机学会杰出讲者报告会主办：上海市计算机学会承办：上海市计算机学会网络专业委员会、爱游戏是冠名马竞联系人陈阳，chenyang@fudan.edu.cn演讲简介Deepneuralnetworksareknowntobevulnerabletoawiderangeofattacks,includinginferencetimeattacksbasedonadversarialperturbations,aswellastrainingtimeattackssuchasbackdoors.Thesecuritycommunityhasdoneextensiveworkinrecentyearstoexplorebothattacksanddefenses

全文》
11.26 | 数据驱动的智能软件系统测试用例生成与适应性优化技术

2021-11-25

演讲者冯洋头衔职位南京大学时间2021年11月26日下午14:00-15:00地点https://meeting.tencent.com/dm/qXdr4wvbnm4q会议ID：822936578联系人董震，zhendong@fudan.edu.cnimg/_temp/528dec5a-8355-4ac3-92c8-3d10b8289623.jpgheight=200演讲简介随着智能软件系统的广泛应用，其相关的质量保障问题成为学术界与产业界共同关注的焦点。然而，与传统软件系统由程序员人工构建其中业务逻辑的开发模式不同，智能软件系统内部业务逻辑的构建通常采用一种数据驱动的方式，其需要依赖于大量标注数据完成系统的开发、测试与优化。这些特性为智能软件系统的测试带来了新的机遇与挑战。本报告将从理论、方法与系统应用三个层面讨论基于数据驱动的智能软件系统测试用例生成与适应性优化技术。关于讲者加州大学欧文分校软件工程专业博士。主要研究方向为软件分析与测试，具体研究课题包括智能软件系统的质量保障技术，复杂软件系统的分析与优化技术，以及软件工程的智能化辅助方法等。近年来在软件工程领域的ICSE、FSE、

全文》
11.22 | 【学生交流】面向蕴含逻辑表格到文本生成的去混淆的变分编码器-解码器

2021-11-21

演讲者陈文清，上海交通大学人工智能研究院博士生时间2021年11月22日下午14:00地点爱游戏是冠名马竞江湾校区二号交叉学科楼A1003联系人杨卫东，wdyang@fudan.edu.cn演讲简介蕴含逻辑表格到文本生成旨在从表格数据中自动生成流畅且符合逻辑的文本，而目前的深度神经网络往往生成语言流畅但逻辑却不一致的文本，因此这项任务仍然非常具有挑战性。潜在的原因可能是深度学习模型经常捕获表面级别的虚假相关性，而不是因果关系。具体来说，在训练阶段，模型可以在不用充分理解表格x中的语义的情况下依然可以以较低的经验损失还原出文本y，因为模型可以使用一些虚假的统计线索进行预测。在这个工作中，我们提出了一种基于因果干预的去混淆变分编码-解码器（DCVED），学习优化目标p(y|do(x))而非p(y|x)。首先，我们建议使用变分推理来估计潜在空间中的混杂因素，并配合基于JudeaPearl的因果干预do-calculus方法来减轻虚假相关性。其次，为了使潜在的混杂因素有意义，我们提出了一个反向预测过程来预测未使用的实体，这类实体但在词级别与确切被选中的实体存在一定的相似性。最后，由于我们的变分模型可以

全文》
11.22 | A Journey into Mobile Software Engineering

2021-11-18

演讲者LiLi头衔职位SeniorLecturer，MonashUniversity时间2021年11月22日下午14:00-15:00地点https://meeting.tencent.com/dm/4MBKkPCdCO8d【会议ID：140312939】联系人李弋，liy@fudan.edu.cn演讲简介MobileSoftwareEngineering(MSE)isanemergingyethotandessentialresearchareainthefieldofsoftwareengineeringthatconcernsapplicationsoftraditionalsoftwareengineeringmethodology(concepts,methods,tools,models,programmingstyles)tomobilesoftwaresystems(suchasAndroidoriOS).Researchershavecontributedtothisareafromvariousaspects,includingSecurityandPrivacy

全文》
11.17 | Multilingual NLP: Zero-shot Cross-lingual Transfer Learning

2021-11-13

演讲者JunjieHu时间2021年11月17日下午20:30-22:00地点在线腾讯会议会议链接:https://meeting.tencent.com/dm/y4hCQmSMi3A6会议号:728896014会议密码:111111联系人邱锡鹏xpqiu@fudan.edu.cn演讲简介Overthelastdecade,thephenomenalsuccessofNLPsystemshasbeenmostlydrivenbydeepneuralnetworksandsupervisedmachinelearningapproachesonalargeamountoflabeleddata.However,it’sinfeasibletoannotatedataunderallpossiblereal-worldscenarios.Asaresult,thesesystemsmayfaildramaticallyinpracticewhendealingwithcomplextextualdatawrittenindifferentlanguages,orevenassociated

全文》

每页 18 记录总共 404 记录
第一页 <<上一页下一页>> 尾页
页码 1/23 跳转到

爱游戏是冠名马竞:重要通知

爱游戏是冠名马竞:学生活动

爱游戏是冠名马竞:讲座信息

? 2022 爱游戏是冠名马竞

地址：上海市淞沪路2005号

Tel：+86-21-31242255

Fax：+86-21-31242259

Email：cs_school@fudan.edu.cn

爱游戏是冠名马竞

扫一扫了解学院

爱游戏是冠名马竞(集团)有限公司

<tfoot id='tZvE9'></tfoot>

<legend id='TWym9f'><style id='UPWxPc'><dir id='YH2ToR'><q id='GvLoHP9'></q></dir></style></legend>

<i id='RuTjyPy'><tr id='3vcbxQW'><dt id='hKtYt'><q id='qXnf5J'><span id='7KjnP93'><b id='EXqGn'><form id='bZf1wy'><ins id='xKUkeF'></ins><ul id='gYtAsR'></ul><sub id='CGLuX'></sub></form><legend id='x0UM'></legend><bdo id='Eu5fEV'><pre id='UQmXDr'><center id='8UGH'></center></pre></bdo></b><th id='Eh6LV'></th></span></q></dt></tr></i><div id='X9eyK'><tfoot id='JeNdv'></tfoot><dl id='NODO6'><fieldset id='9Zj9R'></fieldset></dl></div>

<sup id='KSiJt2a'><pre id='MkItfT'></pre></sup><em id='gLjb6yL'></em>

<li id='a6Ok3r'><abbr id='i1xpR'></abbr></li>