检索结果-内蒙古大学图书馆

International Conference on Software Testing, Verification, and Validation, ICST

作者： Ciprian Păduraru Rareş Cristea Alin Stefanescu University of Bucharest and Institute for Logic and Data Science Bucharest Romania Research Institute of the University of Bucharest and Institute for Logic and Data Science Bucharest Romania

ISBN: (数字)9798350308181

ISBN: (纸本)9798350308198

Even though test automation has an increased presence in industry nowadays, there is still room for improvement, especially in the area of end-to-end testing. Most testing methods in the literature focus on techniques that do not test these applications as a typical end user would, i.e., starting from the user interface (UI) level. Our work, done in collaboration with UiPath company, a leader in Robotic Process Automation (RPA), proposes deep reinforcement learning methods that can test applications from end to end at the UI level. In the current implementation of our prototype, abstractions and separation of concerns are considered so that methods can be reused between applications and algorithms can be used with minimal user effort. The testing process that results after training the agents is similar to that of a human tester going through the functions of the application. Empirical evaluation of these agents shows that, on the one hand, they can almost perfectly mimic the behavior of human testers and, on the other hand, they can exceed the human performance level.

关键词： Training Software testing Intelligent automation Industries Prototypes Collaboration Companies

来源：评论

学校读者我要写书评

暂无评论

SimLex-999 for Dutch 30

SimLex-999 for Dutch

引用

Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024

作者： Brans, Lizzy Bloem, Jelke Human Computer Interaction Utrecht University Netherlands Institute for Logic Language and Computation University of Amsterdam Netherlands Data Science Centre University of Amsterdam Netherlands

ISBN: (纸本)9782493814104

Word embeddings revolutionised natural language processing by effectively representing words as dense vectors. Although many datasets exist to evaluate English embeddings, few cater to Dutch. We developed a Dutch variant of the SimLex-999 word similarity dataset by gathering similarity judgements from 235 native Dutch speakers. Subsequently, we evaluated two popular Dutch language models, Bertje and RobBERT, finding that Bertje showed superior alignment with human semantic similarity judgments compared to RobBERT. This study provides the first intrinsic Dutch word embedding evaluation dataset, which enables accurate assessment of these embeddings and fosters the development of effective Dutch language models. © 2024 ELRA Language Resource Association: CC BY-NC 4.0.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

Broadening the coverage of computational representations of metaphor through Dynamic Metaphor Theory 1

Broadening the coverage of computational representations of ...

引用

1st Workshop on Reference, Framing, and Perspective, RFP 2024

作者： Tan, Xiaojuan Bloem, Jelke Department of Language Literature and Communication Vrije Universiteit Amsterdam Netherlands Institute for Logic Language and Computation University of Amsterdam Netherlands Data Science Centre University of Amsterdam Netherlands

ISBN: (纸本)9782493814272

Current approaches to computational metaphor processing typically incorporate static representations of metaphor. We aim to show that this limits the coverage of such systems. We take insights from dynamic metaphor theory and discuss how existing computational models of metaphor might benefit from representing the dynamics of metaphor when applied to the analysis of conflicting discourse. We propose that a frame-based approach to metaphor representation based on the model of YinYang Dynamics of Metaphoricity (YYDM) would pave the way to more comprehensive modeling of metaphor. In particular, the metaphoricity cues of the YYDM model could be used to address the task of dynamic metaphor identification. Frame-based modeling of dynamic metaphor would facilitate the computational analysis of perspectives in conflicting discourse, with potential applications in analyzing political discourse. © 2024 ELRA Language Resource Association.

关键词： Computational methods

来源：评论

学校读者我要写书评

暂无评论

Synthesizing Accurate Relational data under Differential Privacy

Synthesizing Accurate Relational Data under Differential Pri...

引用

2024 IEEE International Conference on Big data, Bigdata 2024

作者： Kapenekakis, Antheas Dell'aglio, Daniele Vesteghem, Charles Poulsen, Laurids Bøgsted, Martin Garofalakis, Minos Hose, Katja Aalborg University Center for Clinical Data Science Aalborg Denmark Athena Research Center Athens Greece Aalborg University Department of Computer Science Aalborg Denmark Tu Wien Institute of Logic and Computation Vienna Austria

ISBN: (纸本)9798350362480

Medical data is sensitive personal data which, according to GDPR and HIPAA, necessitates regulations concerning their use. Anonymizing this data prior to research would allow for broader access, due to a lower sensitivity. Privacy-aware data synthesis has been proposed as a solution. However, current algorithms face difficulties in synthesizing medical data while maintaining privacy and utility. This is due to the structure of medical data which consists of multiple interlinked tables with high dimensional columns containing sequential aspects of the patient trajectory. The resulting number of correlations is intractable to model naively and, if relational correlations are not accounted for, the resulting data has poor utility (e.g., leads to invalid patient trajectories). In this paper, we present MARE, a relational synthesis algorithm which focuses on a set of core correlations found in relational data while pruning others. The resulting lower computational complexity allows MARE to produce accurate relational data. We showcase that MARE can synthesize multiple medical datasets, which contain sequential aspects, while maintaining utility in form of inter-table and inter-row correlations and privacy guarantees. © 2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

Towards quantifying politicization in foreign aid project reports 2

Towards quantifying politicization in foreign aid project re...

引用

2nd Workshop on Natural Language Processing for Political sciences, PoliticalNLP 2024

作者： Wang, Sidi Eggers, Gustav de Roode Torres Georgiadis, Alexia Đo, Tuan Anh Gontard, Léa Carlitz, Ruth Bloem, Jelke Data Science Centre University of Amsterdam Netherlands Computational Linguistics and Text Mining Lab Vrije Universiteit Amsterdam Netherlands Institute for Logic Language and Computation University of Amsterdam Netherlands Department of Political Science University of Amsterdam Netherlands

ISBN: (纸本)9782493814265

We aim to develop a metric of politicization by investigating whether this concept can be operationalized computationally using document embeddings. We are interested in measuring the extent to which foreign aid is politicized. Textual reports of foreign aid projects are often made available by donor governments, but these are large and unstructured. By embedding them in vector space, we can compute similarities between sets of known politicized keywords and the foreign aid reports. We present a pilot study where we apply this metric to USAID reports. © 2024 ELRA Language Resource Association.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

Intuitionistic Propositional logic in Lean

arXiv

引用

arXiv 2024年

作者： Trufas, Dafina LOS Faculty of Mathematics and Computer Science University of Bucharest Institute for Logic and Data Science Bucharest Romania

In this paper we present a formalization of Intuitionistic Propositional logic in the Lean proof assistant. Our approach focuses on verifying two completeness proofs for the studied logical system, as well as exploring the relation between the two analyzed semantical paradigms - Kripke and algebraic. In addition, we prove a large number of theorems and derived deduction rules. © 2024, CC BY.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

"Vorbeşti Româneşte?" A Recipe to Train Powerful Romanian LLMs with English Instructions

"Vorbeşti Româneşte?" A Recipe to Train Powerful Romanian...

引用

2024 Conference on Empirical Methods in Natural Language Processing, EMNLP 2024

作者： Masala, Mihai Ilie-Ablachim, Denis C. Dima, Alexandru Corlatescu, Dragos Zavelca, Miruna Olaru, Ovio Terian, Simina Terian, Andrei Leordeanu, Marius Velicu, Horia Popescu, Marius Dascalu, Mihai Rebedea, Traian Institute for Logic and Data Science Bucharest Romania National University of Science and Technology POLITEHNICA Bucharest Romania Simion Stoilow Institute of Mathematics of The Romanian Academy Bucharest Romania University of Bucharest Romania BRD Groupe Societe Generale Romania Lucian Blaga University Sibiu Romania NVIDIA United States

ISBN: (纸本)9798891761681

In recent years, Large Language Models (LLMs) have achieved almost human-like performance on various tasks. While some LLMs have been trained on multilingual data, most of the training data is in English;hence, their performance in English greatly exceeds other languages. To our knowledge, we are the first to collect and translate a large collection of texts, instructions, and benchmarks and train, evaluate, and release open-source LLMs tailored for Romanian. We evaluate our methods on four different categories, including academic benchmarks, MT-Bench (manually translated), and a professionally built historical, cultural, and social benchmark adapted to Romanian. We argue for the usefulness and high performance of RoLLMs by obtaining state-of-the-art results across the board. We publicly release all resources (i.e., data, training and evaluation code, models) to support and encourage research on Romanian LLMs while concurrently creating a generalizable recipe, adequate for other low or less-resourced languages. © 2024 Association for Computational Linguistics.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

Energy-Efficient Trajectory Planning with B-Splines and the Schoenberg Quasi-Interpolant 63

Energy-Efficient Trajectory Planning with B-Splines and the ...

引用

63rd IEEE Conference on Decision and Control, CDC 2024

作者： Marguet, Vincent Stoican, Florin Prodan, Ionela Univ. Grenoble Alpes Grenoble Inp Institute of Engineering and Management Univ. Grenoble Alpes. Lcis ValenceF-26000 France Politehnica University of Bucharest Acse Faculty of Automatic Control and Computers Bucharest Romania Institute for Logic and Data Science Bucharest Romania

ISBN: (纸本)9798350316339

Few studies address the challenge of minimizing energy consumption during trajectory generation, particularly in the context of multicopter dynamics, characterized by strong non-linearity. This paper introduces a novel approach by formulating energy consumption as a function of B-splines control points, enabling comprehensive optimization of total energy expenditure throughout the trajectory. To mitigate the complexity of representation, we leverage the Schoenberg quasi-interpolant, which not only facilitates the solution of the optimization problem but also effectively reduces computational overhead. The approach is validated through two distinct scenarios: a conventional trajectory used in precision agriculture, and a scenario involving more aggressive maneuvers. © 2024 IEEE.

关键词： Trajectories

来源：评论

学校读者我要写书评

暂无评论

OpenBSD formal driver verification with SeL4

arXiv

引用

arXiv 2023年

作者： Nicolae, Adriana Irofti, Paul Leuştean, Ioana LOS-CS-FMI University of Bucharest Romania Institute for Logic and Data Science Romania

The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel’s code results from its important role in the entire operating system. One of the basic features of an operating system is that it abstracts the handling of devices. This abstraction is represented by device drivers - the software that manages the hardware. A proper verification of the software component could ensure that the device would work properly unless there is a hardware failure. In this paper, we choose to model the behavior of a device driver and build the proof that the code implementation matches the expected behavior. The proof was written in Isabelle/HOL, the code translation from C to Isabelle was done automatically by the use of the C-to-Isabelle Parser and AutoCorres tools. We choose Isabelle theorem prover because its efficiency was already shown through the verification of seL4 microkernel. Copyright © 2023, The Authors. All rights reserved.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Pinky: A Modern Malware-oriented Dynamic Information Retrieval Tool

arXiv

引用

arXiv 2023年

作者： Irofti, Paul LOS-CS-FMI University of Bucharest Romania Institute for Logic and Data Science Romania

We present here a reverse engineering tool that can be used for information retrieval and anti-malware techniques. Our main contribution is the design and implementation of an instrumentation framework aimed at providing insight on the emulation process. Sample emulation is achieved via translation of the binary code to an intermediate representation followed by compilation and execution. The design makes this a versatile tool that can be used for multiple task such as information retrieval, reverse engineering, debugging, and integration with anti-malware products. Copyright © 2023, The Authors. All rights reserved.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：