发布求助
文献互助 智能选刊 最新文献

Annales Mathematicae et Informaticae最新文献

筛选
英文 中文
Unbounding discrete oriented polytopes 无边界离散取向多面体
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2022.12.013
Mátyás Kiglics, Gábor Valasek, Csaba Bálint
{"title":"Unbounding discrete oriented polytopes","authors":"Mátyás Kiglics, Gábor Valasek, Csaba Bálint","doi":"10.33039/ami.2022.12.013","DOIUrl":"https://doi.org/10.33039/ami.2022.12.013","url":null,"abstract":". We propose an efficient algorithm to compute k-sided unbounding discrete oriented polytopes ( 𝑘 -UDOPs) in arbitrary dimensions. These convex polytopes are constructed for a fixed set of directions and a given center point. The interior of 𝑘 -UDOPs does not intersect the scene geometry. We discuss several types of general geometric queries on these constructs, such as intersection with rays, and provide an empirical investigation on the limit of these shapes as the number of sides increases. In the 2D case, we extend our construction to planar shapes enclosed by arbitrary parametric boundaries with known derivative bounds.","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79184725","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
A pseudonymization tool for Hungarian 匈牙利语的假名化工具
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2023.08.009
Péter Hatvani, L. Laki, Yang Zijian Győző
{"title":"A pseudonymization tool for Hungarian","authors":"Péter Hatvani, L. Laki, Yang Zijian Győző","doi":"10.33039/ami.2023.08.009","DOIUrl":"https://doi.org/10.33039/ami.2023.08.009","url":null,"abstract":". In today’s world, the volume of documents being generated is growing exponentially, making the protection of personal data an increasingly crucial task. Anonymization plays a vital role in various fields, but its implementation can be challenging. While advancements in natural language processing research have resulted in more accurate named entity recognition (NER) models, relying on an NER system to remove names from a text may compromise its fluency and coherence. In this paper, we introduce a novel approach to pseudonymization, specifically tailored for the Hungarian language, which addresses the challenges associated with maintaining text fluency and coherence. Our method employs a pipeline that integrates various NER models, morphological parsing, and generation modules. Instead of merely recognizing and removing named entities, as in conventional approaches, our pipeline utilizes a morphological generator to consistently replace names with alternative names throughout the document. This process ensures the preservation of both text coherence and anonymity. To assess the efficacy of our method, we conducted evaluations on multiple corpora, with results consistently indicating that our pipeline surpasses traditional approaches in performance. Our innovative approach paves the way for new pseudonymization possibilities across a diverse range of fields and applications.","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82352771","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
Static analysis for safe software upgrade 静态分析安全软件升级
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2023.08.010
Dániel Ferenczi, M. Tóth
{"title":"Static analysis for safe software upgrade","authors":"Dániel Ferenczi, M. Tóth","doi":"10.33039/ami.2023.08.010","DOIUrl":"https://doi.org/10.33039/ami.2023.08.010","url":null,"abstract":". Having applications accessible without downtime is no longer an exclusive requirement of mission-critical applications or traditional domains like communications. Running applications also require changes in the source code and upgrading live systems. Different approaches exist depending on the used technology. Systems implemented in Erlang can take the advantage of the underlying BEAM virtual machine and can be upgraded easily. However, source code has to be developed carefully once an upgrade is needed to not introduce run-time errors during the upgrade. We are developing a method to statically check the source code of Erlang applications for constructs that may lead to upgrading issues","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85675552","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
Enhancing Hungarian students’ English language skills on the basis of literary texts in the three-dimensional space 在三维空间的文学文本基础上提高匈牙利学生的英语语言能力
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2022.12.001
I. Boda, E. Tóth, László T. Nagy
{"title":"Enhancing Hungarian students’ English language skills on the basis of literary texts in the three-dimensional space","authors":"I. Boda, E. Tóth, László T. Nagy","doi":"10.33039/ami.2022.12.001","DOIUrl":"https://doi.org/10.33039/ami.2022.12.001","url":null,"abstract":". In our paper we introduce a bilingual language learning material developed in the framework of the so-called three dimensional virtual library model (3DVLM). This model inspired by the history and organization of the famous ancient Library of Alexandria forms the basis of the virtual library project which started about eight years ago as part of the Cognitive Infocommunications (CogInfoCom) research. The current version of the 3DVLM uses the excellent 3D features of the MaxWhere Seminar System which makes it suitable for both individual learning and classroom use. In the following, we would like to introduce first the basic framework of our development, then describe in detail the data structure and organization of the developed bilingual language learning material. The basic idea of the material is to present selected phrases and contexts from classical literary works in English and from their parallel translations in Hungarian in order to improve both the language skills and background knowledge of Hungarian language learners at an advanced level. We found that using web technology was especially useful for developing the language learning material and the developed hypertext structure formed a scale-free network of interconnected nodes.","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87036328","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
Generalized Middle-Square Method 广义中平方法
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2022.12.003
Viktória Padányi, T. Herendi
{"title":"Generalized Middle-Square Method","authors":"Viktória Padányi, T. Herendi","doi":"10.33039/ami.2022.12.003","DOIUrl":"https://doi.org/10.33039/ami.2022.12.003","url":null,"abstract":". In this paper, we generalize John von Neumann’s Middle-Square Method (MSM) to canonical number systems (CNS). Additionally, we present some observations and statistical tests of the sequences generated by the described generators","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82985338","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
The Fritz-John Condition System in Interval Branch and Bound method 区间分支定界法中的Fritz-John条件系统
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2023.08.005
Mihály Gencsi, B. G.-Tóth
{"title":"The Fritz-John Condition System in Interval Branch and Bound method","authors":"Mihály Gencsi, B. G.-Tóth","doi":"10.33039/ami.2023.08.005","DOIUrl":"https://doi.org/10.33039/ami.2023.08.005","url":null,"abstract":". The Interval Branch and Bound (IBB) method is a good choice when a rigorous solution is required. This method handles computational errors in the calculations. Few IBB implementations use the Fritz-John (FJ) optimality condition to eliminate non-optimal boxes in a constrained non-linear programming problem. Applying the FJ optimality condition implies solving an interval-valued system of equations. In the best case, the solution is an empty set if the interval box does not contain an optimizer point. Solving this system of equations is complicated or unsuccessful in many cases. This problem can be caused by the interval box being too wide, the defined system of equations containing unnecessary constraints, or the solver being unsuccessful. These unsuccessful attempts have a negative outcome and only increase the computation time. In this study, we propose some modifications to reduce the running time and computational requirements of the Interval Branch and Bound method.","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81772300","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
P4Query: Static analyser framework for P4 P4查询:用于P4的静态分析器框架
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2023.03.002
Dánel Lukács, Gabriella Tóth, M. Tejfel
{"title":"P4Query: Static analyser framework for P4","authors":"Dánel Lukács, Gabriella Tóth, M. Tejfel","doi":"10.33039/ami.2023.03.002","DOIUrl":"https://doi.org/10.33039/ami.2023.03.002","url":null,"abstract":"There are many important tasks in a conventional software development process which can be supported by different analysis techniques. P4 is a high level domain-specific language for describing the data plane layer of packet processing algorithms. It has several uncommon language elements and concepts that often make the analysis of P4 programs a laborious task. The paper presents P4Query, an analysis framework for the P4 language that enables the specification of different P4-related analysis methods in a generic and data-centric way. The framework uses an internal graph representation which contains the results of applied analysis methods too. In this way, the framework supports the rapid implementation of new analysis methods in a way where the results will be also easily reusable by other methods.","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77800219","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
Logical conditions in programming languages: review, discussion and generalization 程序设计语言中的逻辑条件:回顾、讨论和概括
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2023.04.002
B. Nagy, Khaled Abuhmaidan, M. Aldwairi
{"title":"Logical conditions in programming languages: review, discussion and generalization","authors":"B. Nagy, Khaled Abuhmaidan, M. Aldwairi","doi":"10.33039/ami.2023.04.002","DOIUrl":"https://doi.org/10.33039/ami.2023.04.002","url":null,"abstract":". Boolean logic is widely used in almost every discipline including linguistics, philosophy, mathematics, computer science and engineering. Boolean logic is characterized by the two possible truth values, and various logical connectives/operations allow us to make compound statements, conditions. Most of the programming languages, if not all, have some of the logic operations: conjunction, disjunction and negation. Actually, since the set of these three operations form a basis, any logical statement can be formed by them. However, on the one hand, there are smaller bases as well, i.e., one of the conjunction or disjunction is already superfluous. Moreover, there are bases with only one operation, e.g., by NAND. On the other hand, one may allow other operations helping the programmer/user to define the conditions of conditional statements and loops in a simpler manner. In this paper we","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87563922","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
Regeneration estimation in partially stable two class retrial queue 部分稳定两类重试队列的再生估计
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2022.12.008
R. Nekrasova
{"title":"Regeneration estimation in partially stable two class retrial queue","authors":"R. Nekrasova","doi":"10.33039/ami.2022.12.008","DOIUrl":"https://doi.org/10.33039/ami.2022.12.008","url":null,"abstract":". We consider two-class retrial queueing system with constant retrial rate fed by Poisson input and apply regenerative confidence estimation for mean number of customers in the stable orbit, while the other orbit in-timately grows. The simulation results illustrate that partially stable case providing accurate confidence estimation, even the stability conditions, related for the whole system, are violated","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84580476","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
Tree generating context-free grammars and regular tree grammars are equivalent 树形生成与上下文无关的语法和常规树形语法是等效的
IF 0.3
Annales Mathematicae et Informaticae Pub Date : 2023-01-01 DOI: 10.33039/ami.2022.12.007
Dávid Kószó
{"title":"Tree generating context-free grammars and regular tree grammars are equivalent","authors":"Dávid Kószó","doi":"10.33039/ami.2022.12.007","DOIUrl":"https://doi.org/10.33039/ami.2022.12.007","url":null,"abstract":". We show that it is decidable whether the language generated by a given context-free grammar over a tree alphabet is a tree language. Furthermore, if the answer to this question is “yes”, then we can even effectively construct a regular tree grammar which generates that tree language.","PeriodicalId":43454,"journal":{"name":"Annales Mathematicae et Informaticae","volume":null,"pages":null},"PeriodicalIF":0.3,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87986044","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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信