奥斯特洛夫斯萌

LV1
发表了文章

Agda中的证明相关范畴理论(CS LO)

范畴理论在现代数学中的普遍性和普遍性,使其成为形式化的一个频繁而有用的目标。然而,由于各种各样的原因,形式化是相当具有挑战性的。Agda目前(即2020年)没有...

奥斯特洛夫斯萌
发表了文章

Agda中的证明相关范畴理论(CS LO)

范畴理论在现代数学中的普遍性和普遍性,使其成为形式化的一个频繁而有用的目标。然而,由于各种各样的原因,形式化是相当具有挑战性的。Agda目前(即2020年)没有...

奥斯特洛夫斯萌
发表了文章

克服神经网络灾难性遗忘的自然方法(CS LG)

不久前,人们发现了一种成功克服神经网络灾难性遗忘的方法。虽然我们知道,针对特定任务,可以用这种方法将预先训练好的神经网络应用于该特定任务,并且通过这种方法来保存...

奥斯特洛夫斯萌
发表了文章

深度强化学习安全性的概率保证(CS AI)

深度强化学习已经成功地应用于许多控制任务中,但是由于安全考虑,其在安全性格外重要场景中的应用受到了限制。对这些控制器进行大量的测试是很有挑战性的,特别是当它们在...

奥斯特洛夫斯萌
发表了文章

估计谣言验证模型预测的不确定性(CS CL)

无法正确地解决网上流传的谣言可能会产生有害的现实后果。我们提出了一种方法,将模型和预测的数据不确定性合并到自然语言处理模型中,用于自动谣言验证。结果表明这些估计...

奥斯特洛夫斯萌
发表了文章

Twitter上关于COVID-19错误信息的探索性研究(CS SI)

尽管许多正确和有用的信息通过Twitter等渠道传播,但它也成为传播COVID-19错误信息的温床。应对这一仍在持续的信息危机,需要科学的监督,以及危机管理从业...

奥斯特洛夫斯萌
发表了文章

伯克利大学计算机科学的大规模教学观(CS CY)

在过去的十年中,全国各地的计算机科学(CS)的本科招生人数呈爆炸式增长,因为计算机技能在许多领域中已被证明越来越重要。在这种前所未有的学生需求推动下,加州大学伯...

奥斯特洛夫斯萌
发表了文章

Windows和Android平台上的勒索软件(CS CY)

恶意软件的扩散性和复杂性急剧增加,并不断演变。最近勒索软件不分青红皂白地对用户进行迫害,因此急切需要有效的侦测技术来防止其进一步损害。于是,勒索软件引起了网络空...

奥斯特洛夫斯萌
发表了文章

用纵向健康数据来分析患者的相似度(CS LG)

长期以来,医疗保健专业人员一直希望利用计算机强大的处理能力来发现电子健康记录中隐藏的新事实和医学知识。庞大的医疗档案中包含了时间流信息,包括病人的就诊记录、检查...

奥斯特洛夫斯萌
发表了文章

避免护理机器人对痴呆症患者的不当治疗(CS RO)

“最残忍和最令人发指的罪行”一词被用来描述历史上那些本应有责任保护和帮助患者的人,对脆弱的患者实施的一些不良护理。我们相信历史在不断重演,因为越来越多像人类一样...

奥斯特洛夫斯萌
发表了文章

打断别人会有好结果吗?插播广告对消费者支付意愿的影响(CS CY)

我们展示了一项研究的结果,该研究旨在衡量插播广告对消费者购买该广告品牌的产品意愿的影响。在一项对照实验中,研究人员让受试者玩一款电脑游戏,并在途中插播了一些广告...

奥斯特洛夫斯萌
发表了文章

街头营销:距离和情境如何推动优惠券的使用(CS CY)

目的:2009年,美国优惠券发行量创下3670亿张的新纪录。然而,尽管优惠券分配数量在上升,但其使用率率仍低于1%。这篇论文旨在展示识别环境变量(如距离、天气、...

奥斯特洛夫斯萌
发表了文章

一个用于Android隐私政策文档结构分析的语料库(CS CY)

随着移动设备的日益普及和移动应用的广泛应用,隐私问题逐渐受到关注。隐私政策作为一种表明法律条款的适当媒介,如GDPR,被认为是约束服务提供商和用户之间的法律协议...

奥斯特洛夫斯萌
发表了文章

在飓风灾害中检测感知到的情绪(CS CL)

自然灾害(如飓风)每年影响数百万人,造成广泛的破坏。人们最近通过社交媒体网站(如Twitter)与更大的社区分享他们的情感和感受。因此,这些平台已经成为理解和感...

奥斯特洛夫斯萌
发表了文章

大型研究类大学计算机科学的性别多样性(CS CY)

随着计算机科学(CS)工作的增加,对计算机科学毕业生的需求比以往任何时候都大。与此同时,全国大多数计算机系的女学生比例只有25%到30%,这意味着我们没能吸引大...

奥斯特洛夫斯萌
发表了文章

在COVID-19爆发期间,Twitter上低可信度信息的流行(CS CY)

随着这种新型冠状病毒在世界范围内传播,人们关于它的错误信息过分传播的担忧也在增加。在这里,我们评估了疫情爆发期间Twitter上低可信度信息链接的流行程度,以及...

奥斯特洛夫斯萌
发表了文章

在COVID-19中平衡个人隐私和公共安全:韩国和法国的案例(CS CY)

对于不同国家如何应对《京都议定书》,一直存在激烈的争论。为保障公共安全,韩国以个人隐私为代价积极使用个人信息,而法国则以公共安全为代价鼓励自愿合作。在这篇文章中...

奥斯特洛夫斯萌
发表了文章

观察到的移动行为数据揭示了社会距离惯性(CS CY)

研究小组利用一个完整的数据集,包括匿名的位置数据、COVID-19病例数据和人口普查信息,来研究COVID-19对人类流动性的影响。研究发现,与社会距离相关的统...

奥斯特洛夫斯萌
发表了文章

局部状态空间分析以协助减少部分订单(CS SE)

本文提出了一种更有效的模型检验并行系统的部分降阶方法。该方法利用组合可达性分析,为并发系统中的所有进程生成过近似的局部状态转移模型,并从中提取独立关系和其他有用...

奥斯特洛夫斯萌
发表了文章

使用决策图简洁地表示用于显式模型检查的状态空间(CS SE)

在显式模型期间检查可以访问的大量状态空间是可伸缩性的主要瓶颈。本文提出了用决策图简洁、高效地表示非常大的状态空间的方法。这对于异步系统是可能的,因为由一个转换连...

奥斯特洛夫斯萌

个人简介

个人成就

扫码关注云+社区

领取腾讯云代金券