首页 > 最新文献

Proceedings of the 9th Balkan Conference on Informatics最新文献

英文 中文
Web-based VR Environment for Simulation and Visualization of Construction Manipulator Motion 基于web的施工机械臂运动仿真与可视化VR环境
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351562
B. Tudjarov, Rosen P. Mitrev
The paper presents a case study of visualization and animation of results of inverse kinematics simulation of a redundant construction manipulator, represented as a mechanical system with four degrees of freedom. The boom consists of four rigid links, interconnected by rotational joints. The rotation of the links is described by relative joint angles and their values, together with the links lengths, determine the manipulator working range. For a prescribed vertical straight-line trajectory, the inverse kinematics task at the velocity level is solved by the use of weighted pseudoinverse matrix. To compensate the deviations from the desired trajectory, the inverse kinematics equation is modified by adding terms, proportional to the difference between the current and the desired position of the boom end point. By the use of the contemporary Web technologies a VR environment for simulation and visualization of the obtained results is developed. It consists of a started under Common Gateway Interface Matlab executable file placed on a server, a Web page with input form, an X3D model of the manipulator. The functionality of the application on the user side is provided by a JavaScript file. The produced VR environment is easy reused and shared with other users and thus considerably facilitates the design, investigation and e-learning of such type of system.
本文以四自由度机械系统的冗余施工机械臂为例,对其逆运动学仿真结果的可视化和动画化进行了研究。吊杆由四个刚性连杆组成,通过旋转接头相互连接。通过相对关节角及其值来描述各连杆的转动,并结合连杆长度来确定机械手的工作范围。对于给定的垂直直线轨迹,采用加权伪逆矩阵求解速度级的运动学逆问题。为了补偿与期望轨迹的偏差,通过添加与臂架终点当前位置和期望位置之间的差成比例的项来修改逆运动学方程。利用现代Web技术,开发了一个虚拟现实环境,用于仿真和可视化所获得的结果。它由放置在服务器上的通用网关接口下启动的Matlab可执行文件、带有输入表单的Web页面、机械手的X3D模型组成。应用程序在用户端的功能是由JavaScript文件提供的。生成的虚拟现实环境易于重用和与其他用户共享,从而大大方便了此类系统的设计,调查和电子学习。
{"title":"Web-based VR Environment for Simulation and Visualization of Construction Manipulator Motion","authors":"B. Tudjarov, Rosen P. Mitrev","doi":"10.1145/3351556.3351562","DOIUrl":"https://doi.org/10.1145/3351556.3351562","url":null,"abstract":"The paper presents a case study of visualization and animation of results of inverse kinematics simulation of a redundant construction manipulator, represented as a mechanical system with four degrees of freedom. The boom consists of four rigid links, interconnected by rotational joints. The rotation of the links is described by relative joint angles and their values, together with the links lengths, determine the manipulator working range. For a prescribed vertical straight-line trajectory, the inverse kinematics task at the velocity level is solved by the use of weighted pseudoinverse matrix. To compensate the deviations from the desired trajectory, the inverse kinematics equation is modified by adding terms, proportional to the difference between the current and the desired position of the boom end point. By the use of the contemporary Web technologies a VR environment for simulation and visualization of the obtained results is developed. It consists of a started under Common Gateway Interface Matlab executable file placed on a server, a Web page with input form, an X3D model of the manipulator. The functionality of the application on the user side is provided by a JavaScript file. The produced VR environment is easy reused and shared with other users and thus considerably facilitates the design, investigation and e-learning of such type of system.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125445749","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Framework for Predicting Community Behavior in Evolving Social Networks 进化社会网络中预测社区行为的框架
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351583
Georgia Koloniari, Georgios Evangelidis, Nikolaos Sachpenderis, Ioannis Milonas
The goal of this paper is to propose a complete framework for addressing the problem of predicting communities behavior in evolving social networks. The framework encompasses all steps required for community detection, analysis and behavior prediction. Our approach is based on modeling community evolution by multidimensional time series that describe the changes of each community's properties, both structural and content-based, through time. The prediction framework is based on rule discovery upon the multidimensional time series, so that based on patterns that appear in the evolution of a community's property so far, future behavior can be predicted. Finally, exploiting the similarity between the behavior of a network's communities, their multidimensional time series will be used for community clustering. Thus, rule discovery can also incorporate global rules that appear in clusters of communities as well as on the network level, so as to discover global behavior patterns that characterize all the communities of a network.
本文的目标是提出一个完整的框架来解决在不断发展的社会网络中预测社区行为的问题。该框架包含了社区检测、分析和行为预测所需的所有步骤。我们的方法是基于多维时间序列来建模社区的演变,这些时间序列描述了每个社区的属性随时间的变化,包括结构和基于内容的变化。该预测框架基于对多维时间序列的规则发现,因此可以根据迄今为止社区属性演变中出现的模式来预测未来的行为。最后,利用网络社区行为之间的相似性,将其多维时间序列用于社区聚类。因此,规则发现还可以结合出现在社区集群和网络级别上的全局规则,从而发现表征网络中所有社区的全局行为模式。
{"title":"A Framework for Predicting Community Behavior in Evolving Social Networks","authors":"Georgia Koloniari, Georgios Evangelidis, Nikolaos Sachpenderis, Ioannis Milonas","doi":"10.1145/3351556.3351583","DOIUrl":"https://doi.org/10.1145/3351556.3351583","url":null,"abstract":"The goal of this paper is to propose a complete framework for addressing the problem of predicting communities behavior in evolving social networks. The framework encompasses all steps required for community detection, analysis and behavior prediction. Our approach is based on modeling community evolution by multidimensional time series that describe the changes of each community's properties, both structural and content-based, through time. The prediction framework is based on rule discovery upon the multidimensional time series, so that based on patterns that appear in the evolution of a community's property so far, future behavior can be predicted. Finally, exploiting the similarity between the behavior of a network's communities, their multidimensional time series will be used for community clustering. Thus, rule discovery can also incorporate global rules that appear in clusters of communities as well as on the network level, so as to discover global behavior patterns that characterize all the communities of a network.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129026671","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Can a robot be an efficient mediator in promoting dyadic activities among children with Autism Spectrum Disorders and children of Typical Development? 机器人能否成为促进自闭症谱系障碍儿童和典型发育儿童二元活动的有效中介?
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351592
Sofia Pliasa, Nikolaos Fachantidis
Studies have provided evidence that interventions with Socially Assistive Robots (SARs), can help children with Autism Spectrum Disorder (ASD) to develop social skills. This study will outline features of SAR that respond to the heterogeneity of the ASD, thus promote interesting activities in safe environments for children with ASD to feel secure and motivated to participate. Subsequently a research will be presented, that was held with the aim to verify whether a robot can facilitate dyadic activities among children with ASD and TD, more effectively than a human mediator does.
研究提供的证据表明,社会辅助机器人(sar)的干预可以帮助患有自闭症谱系障碍(ASD)的儿童发展社交技能。本研究将概述SAR响应ASD异质性的特征,从而促进ASD儿童在安全环境中进行有趣的活动,使其感到安全并有动力参与。随后将进行一项研究,旨在验证机器人是否能比人类调解人更有效地促进ASD和TD儿童之间的双元活动。
{"title":"Can a robot be an efficient mediator in promoting dyadic activities among children with Autism Spectrum Disorders and children of Typical Development?","authors":"Sofia Pliasa, Nikolaos Fachantidis","doi":"10.1145/3351556.3351592","DOIUrl":"https://doi.org/10.1145/3351556.3351592","url":null,"abstract":"Studies have provided evidence that interventions with Socially Assistive Robots (SARs), can help children with Autism Spectrum Disorder (ASD) to develop social skills. This study will outline features of SAR that respond to the heterogeneity of the ASD, thus promote interesting activities in safe environments for children with ASD to feel secure and motivated to participate. Subsequently a research will be presented, that was held with the aim to verify whether a robot can facilitate dyadic activities among children with ASD and TD, more effectively than a human mediator does.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116382234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
An Empirical Study of Wireless Security in City Environment 城市环境下无线安全的实证研究
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351563
H. Valchanov, J. Edikyan, V. Aleksieva
In nowadays, many users use wireless networks, which are usually based on the IEEE 802.11 standard (Wi-Fi). Because of broadcast technology used, they are easily susceptible to security attacks. It is very important to study the risks and potential vulnerabilities of Wi-Fi networks to recommend users how to improve their security. This paper presents a research of the security of wireless networks in city of Varna, Bulgaria, and methodology based on war-driving technique. The obtained results are summarized and compared with those from previous research. The recommendations for users are formulated.
目前,许多用户使用的是基于IEEE 802.11标准(Wi-Fi)的无线网络。由于使用广播技术,它们很容易受到安全攻击。研究Wi-Fi网络的风险和潜在漏洞,为用户推荐如何提高其安全性是非常重要的。本文对保加利亚瓦尔纳市无线网络的安全性进行了研究,并提出了基于战争驱动技术的方法。对所得结果进行了总结,并与前人的研究结果进行了比较。为用户制定了建议。
{"title":"An Empirical Study of Wireless Security in City Environment","authors":"H. Valchanov, J. Edikyan, V. Aleksieva","doi":"10.1145/3351556.3351563","DOIUrl":"https://doi.org/10.1145/3351556.3351563","url":null,"abstract":"In nowadays, many users use wireless networks, which are usually based on the IEEE 802.11 standard (Wi-Fi). Because of broadcast technology used, they are easily susceptible to security attacks. It is very important to study the risks and potential vulnerabilities of Wi-Fi networks to recommend users how to improve their security. This paper presents a research of the security of wireless networks in city of Varna, Bulgaria, and methodology based on war-driving technique. The obtained results are summarized and compared with those from previous research. The recommendations for users are formulated.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127436117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Applied Computing for Portfolio Optimization in Bulgarian Stock Exchange 保加利亚证券交易所投资组合优化的应用计算
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351566
K. Stoilova, T. Stoilov, Miroslav Vladimirov
The modern portfolio theory applies many computations, needed for assessment of investment policies of financial assets. The optimal portfolio decisions are based on quantitative evaluations, following numerical models and formal relations. Thus, applied computing supports the financial decisions. Without informatics tools and computational environment, such kind of portfolio optimizations is impossible to perform. This paper makes and application of applied computing for the case of estimation and assessing three types of portfolios. They are based on advanced chapters of modern portfolio theory and portfolio optimization. It is provided comparisons between investment policies, which have been developed by mean-variance model and Black-Litterman model with classical and modified formalization of expert views. The applied computations have been performed in MATLAB environment with real data of the Bulgarian Stock Exchange.
现代投资组合理论运用了大量的计算方法来评估金融资产的投资策略。最优投资组合决策基于定量评价,遵循数值模型和形式关系。因此,应用计算支持财务决策。没有信息学工具和计算环境,这样的投资组合优化是不可能实现的。本文对三种类型的投资组合进行了评估和评估,并给出了应用计算的实例。它们以现代投资组合理论和投资组合优化的高级章节为基础。比较了均值-方差模型和Black-Litterman模型在专家观点经典形式化和修正形式化下的投资政策。利用保加利亚证券交易所的实际数据,在MATLAB环境下进行了应用计算。
{"title":"Applied Computing for Portfolio Optimization in Bulgarian Stock Exchange","authors":"K. Stoilova, T. Stoilov, Miroslav Vladimirov","doi":"10.1145/3351556.3351566","DOIUrl":"https://doi.org/10.1145/3351556.3351566","url":null,"abstract":"The modern portfolio theory applies many computations, needed for assessment of investment policies of financial assets. The optimal portfolio decisions are based on quantitative evaluations, following numerical models and formal relations. Thus, applied computing supports the financial decisions. Without informatics tools and computational environment, such kind of portfolio optimizations is impossible to perform. This paper makes and application of applied computing for the case of estimation and assessing three types of portfolios. They are based on advanced chapters of modern portfolio theory and portfolio optimization. It is provided comparisons between investment policies, which have been developed by mean-variance model and Black-Litterman model with classical and modified formalization of expert views. The applied computations have been performed in MATLAB environment with real data of the Bulgarian Stock Exchange.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123482581","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Effect of Parallelism on Data Reduction 并行性对数据约简的影响
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351584
Pavlos Ponos, Stefanos Ougiaroglou, Georgios Evangelidis
In this paper, we investigate the effect of parallelism on two data reduction algorithms that use k-Means clustering in order to find homogeneous clusters in the training set. By homogeneous, we refer to clusters where all instances belong to the same class label. Our approach divides the training set into subsets and applies the data reduction algorithm on each separate subset in parallel. Then, the reduced subsets are merged back to the final reduced set. In our experimental study, we split the datasets into 8, 16, 32 and 64 subsets. The results obtained reveal that parallelism can achieve very low preprocessing costs. Also, when the number of subsets is high, in some datasets the accuracy of k-NN classification is almost equal (if not better) to the one achieved when using the standard execution of the reduction algorithms, with a small loss in the reduction rate.
在本文中,我们研究了并行性对两种数据约简算法的影响,这两种算法使用k-Means聚类来寻找训练集中的同构聚类。通过同构,我们指的是所有实例属于相同类标签的集群。我们的方法将训练集分成多个子集,并在每个单独的子集上并行应用数据约简算法。然后,将这些约简子集合并回最终约简集。在我们的实验研究中,我们将数据集分为8、16、32和64个子集。结果表明,并行化可以实现非常低的预处理成本。此外,当子集数量很高时,在一些数据集中,k-NN分类的精度几乎等于(如果不是更好的话)使用约简算法的标准执行时所获得的精度,而约简率的损失很小。
{"title":"The Effect of Parallelism on Data Reduction","authors":"Pavlos Ponos, Stefanos Ougiaroglou, Georgios Evangelidis","doi":"10.1145/3351556.3351584","DOIUrl":"https://doi.org/10.1145/3351556.3351584","url":null,"abstract":"In this paper, we investigate the effect of parallelism on two data reduction algorithms that use k-Means clustering in order to find homogeneous clusters in the training set. By homogeneous, we refer to clusters where all instances belong to the same class label. Our approach divides the training set into subsets and applies the data reduction algorithm on each separate subset in parallel. Then, the reduced subsets are merged back to the final reduced set. In our experimental study, we split the datasets into 8, 16, 32 and 64 subsets. The results obtained reveal that parallelism can achieve very low preprocessing costs. Also, when the number of subsets is high, in some datasets the accuracy of k-NN classification is almost equal (if not better) to the one achieved when using the standard execution of the reduction algorithms, with a small loss in the reduction rate.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"14 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125990979","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Detecting C++ Lifetime Errors with Symbolic Execution 用符号执行检测c++生命周期错误
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351585
R. Kovács, G. Horváth, Z. Porkoláb
One of the reasons why it is so hard to statically analyze C++ source code is because of its Standard Template Library (STL). The STL is a monstrous collection of complex code base whose semantics is hard for static analyzers to understand. Unfortunately, many of the most serious memory management bugs in C++ are connected to the lifetimes of STL containers. This paper describes a method of adding knowledge of STL ownership semantics to a static analysis engine. It was implemented in an open-source symbolic execution framework widely used in the industry, and produced new and serious lifetime-related error reports in popular open-source projects.
静态分析c++源代码如此困难的原因之一是它的标准模板库(STL)。STL是一个复杂代码库的巨大集合,其语义对于静态分析器来说很难理解。不幸的是,c++中许多最严重的内存管理错误都与STL容器的生命周期有关。本文描述了一种向静态分析引擎中添加STL所有权语义知识的方法。它是在业界广泛使用的开源符号执行框架中实现的,并且在流行的开源项目中产生了新的和严重的与生命周期相关的错误报告。
{"title":"Detecting C++ Lifetime Errors with Symbolic Execution","authors":"R. Kovács, G. Horváth, Z. Porkoláb","doi":"10.1145/3351556.3351585","DOIUrl":"https://doi.org/10.1145/3351556.3351585","url":null,"abstract":"One of the reasons why it is so hard to statically analyze C++ source code is because of its Standard Template Library (STL). The STL is a monstrous collection of complex code base whose semantics is hard for static analyzers to understand. Unfortunately, many of the most serious memory management bugs in C++ are connected to the lifetimes of STL containers. This paper describes a method of adding knowledge of STL ownership semantics to a static analysis engine. It was implemented in an open-source symbolic execution framework widely used in the industry, and produced new and serious lifetime-related error reports in popular open-source projects.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123001285","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Trends Review of the Contemporary Security Problems in the Cyberspace 当代网络空间安全问题趋势述评
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351560
V. Yosifova, R. Trifonov, Antoniya Tasheva, Ognian Nakov
The information security problems include a wide range of possible threats that affect almost every aspect of human life. This article makes a survey about the trends of the latest problems in cybersecurity reviewing the security reports issued by some major information security companies. These problems are not static, nor equally distributed. Some of them have more significant impact than others in a specific time but at the next period the situation is changed. The purpose of this paper is to summarize the existing trends in the cyberspace security and to point out the future research tasks in the area.
信息安全问题包括范围广泛的可能的威胁,几乎影响到人类生活的每一个方面。本文通过查阅各大信息安全公司发布的安全报告,对网络安全领域最新问题的发展趋势进行了调查。这些问题不是静态的,也不是平均分布的。其中一些在特定的时间内比其他的影响更大,但在下一个时期,情况就改变了。本文的目的是总结网络空间安全的现有趋势,并指出该领域未来的研究任务。
{"title":"Trends Review of the Contemporary Security Problems in the Cyberspace","authors":"V. Yosifova, R. Trifonov, Antoniya Tasheva, Ognian Nakov","doi":"10.1145/3351556.3351560","DOIUrl":"https://doi.org/10.1145/3351556.3351560","url":null,"abstract":"The information security problems include a wide range of possible threats that affect almost every aspect of human life. This article makes a survey about the trends of the latest problems in cybersecurity reviewing the security reports issued by some major information security companies. These problems are not static, nor equally distributed. Some of them have more significant impact than others in a specific time but at the next period the situation is changed. The purpose of this paper is to summarize the existing trends in the cyberspace security and to point out the future research tasks in the area.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115269563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Voice Assistants and Artificial Intelligence in Education 语音助手和人工智能在教育中的应用
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351588
G. Terzopoulos, M. Satratzemi
In recent years, Artificial Intelligence (AI) has shown significant progress and its potential is growing. An application area of AI is Natural Language Processing (NLP). Voice assistants incorporate AI using cloud computing and can communicate with the users in natural language. Voice assistants are easy to use and thus there are millions of devices that incorporates them in households nowadays. Most common devices with voice assistants are smart speakers and they have just started to be used in schools and universities. The purpose of this paper is to study the capabilities of voice assistants in the classroom and to present findings from previous studies.
近年来,人工智能(AI)取得了重大进展,其潜力正在增长。人工智能的一个应用领域是自然语言处理(NLP)。语音助手结合了使用云计算的人工智能,可以用自然语言与用户交流。语音助手很容易使用,因此现在有数百万的设备在家庭中集成了语音助手。最常见的语音助手设备是智能扬声器,它们刚刚开始在学校和大学中使用。本文的目的是研究语音助手在课堂上的能力,并介绍以往研究的结果。
{"title":"Voice Assistants and Artificial Intelligence in Education","authors":"G. Terzopoulos, M. Satratzemi","doi":"10.1145/3351556.3351588","DOIUrl":"https://doi.org/10.1145/3351556.3351588","url":null,"abstract":"In recent years, Artificial Intelligence (AI) has shown significant progress and its potential is growing. An application area of AI is Natural Language Processing (NLP). Voice assistants incorporate AI using cloud computing and can communicate with the users in natural language. Voice assistants are easy to use and thus there are millions of devices that incorporates them in households nowadays. Most common devices with voice assistants are smart speakers and they have just started to be used in schools and universities. The purpose of this paper is to study the capabilities of voice assistants in the classroom and to present findings from previous studies.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125326294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 36
Categorization of C++ Classes for Static Lifetime Analysis 用于静态生命周期分析的c++类分类
Pub Date : 2019-09-26 DOI: 10.1145/3351556.3351559
G. Horváth, Norbert Pataki
While C++ is a powerful language, it has many subtle ways to introduce object lifetime-related errors. According to Microsoft, 70% of their security patches are fixing memory issues. Thus, it is crucial to develop safety measures to counteract these problems. Static analysis is an essential approach to detect runtime errors by analyzing the source code without executing it. One of the reasons why is it so easy to make mistakes using C++ is that the language provides a rich taxonomy of object lifetime-related concepts such as containers, values, iterators, raw pointers, lvalue and rvalue references, smart pointers, etc. The behavior of user-defined types depends on their category. Classical static analysis approaches treat user-defined types as black boxes and do not reason about their correctness. In this paper, we argue for an approach that infers the category of user-defined types and leverages this information during analysis. To achieve this goal we first analyze user-defined classes to predict their ownership semantics. Then we use this information to generalize existing static analysis methods. We evaluated the proposed method on large open source projects.
虽然c++是一门功能强大的语言,但它有许多微妙的方式来引入与对象生命周期相关的错误。据微软称,他们70%的安全补丁都是用来修复内存问题的。因此,制定安全措施来应对这些问题至关重要。静态分析是通过分析源代码而不执行它来检测运行时错误的基本方法。使用c++很容易出错的原因之一是,c++语言提供了丰富的对象生命周期相关概念分类,如容器、值、迭代器、原始指针、左值和右值引用、智能指针等。用户定义类型的行为取决于它们的类别。经典的静态分析方法将用户定义的类型视为黑盒,不会对其正确性进行推理。在本文中,我们论证了一种推断用户定义类型的类别并在分析期间利用该信息的方法。为了实现这个目标,我们首先分析用户定义的类来预测它们的所有权语义。然后利用这些信息来推广现有的静态分析方法。我们在大型开源项目中评估了所提出的方法。
{"title":"Categorization of C++ Classes for Static Lifetime Analysis","authors":"G. Horváth, Norbert Pataki","doi":"10.1145/3351556.3351559","DOIUrl":"https://doi.org/10.1145/3351556.3351559","url":null,"abstract":"While C++ is a powerful language, it has many subtle ways to introduce object lifetime-related errors. According to Microsoft, 70% of their security patches are fixing memory issues. Thus, it is crucial to develop safety measures to counteract these problems. Static analysis is an essential approach to detect runtime errors by analyzing the source code without executing it. One of the reasons why is it so easy to make mistakes using C++ is that the language provides a rich taxonomy of object lifetime-related concepts such as containers, values, iterators, raw pointers, lvalue and rvalue references, smart pointers, etc. The behavior of user-defined types depends on their category. Classical static analysis approaches treat user-defined types as black boxes and do not reason about their correctness. In this paper, we argue for an approach that infers the category of user-defined types and leverages this information during analysis. To achieve this goal we first analyze user-defined classes to predict their ownership semantics. Then we use this information to generalize existing static analysis methods. We evaluated the proposed method on large open source projects.","PeriodicalId":126836,"journal":{"name":"Proceedings of the 9th Balkan Conference on Informatics","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114456869","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
Proceedings of the 9th Balkan Conference on Informatics
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1