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

Sci. Ann. Comput. Sci.最新文献

筛选
英文 中文
Which Arithmetical Data Types Admit Fracterm Flattening? 哪些算术数据类型允许分形项平坦化?
Sci. Ann. Comput. Sci. Pub Date : 2022-06-22 DOI: 10.7561/SACS.2022.1.87
J. Bergstra, J. V. Tucker
{"title":"Which Arithmetical Data Types Admit Fracterm Flattening?","authors":"J. Bergstra, J. V. Tucker","doi":"10.7561/SACS.2022.1.87","DOIUrl":"https://doi.org/10.7561/SACS.2022.1.87","url":null,"abstract":"The formal theory of division in arithmetical algebras reconstructs fractions as syntactic objects called fracterms. Basic to calculation, is the simplification of fracterms to fracterms with one division operator, a process called fracterm attening. We consider the equational axioms of a calculus for calculating with fracterms to determine what is necessary and sufficient for the fracterm calculus to allow fracterm flattening. For computation, arithmetical algebras require operators to be total for which there are several semantical methods. It is shown under what constraints up to isomorphism, the unique total and minimal enlargement of a field Q(div) of rational numbers equipped with a partial division operator div has fracterm attening.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129211210","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
Reflections on a Scientific Journal 对一份科学期刊的反思
Sci. Ann. Comput. Sci. Pub Date : 2022-06-22 DOI: 10.7561/SACS.2022.1.1
Gabriel Ciobanu
{"title":"Reflections on a Scientific Journal","authors":"Gabriel Ciobanu","doi":"10.7561/SACS.2022.1.1","DOIUrl":"https://doi.org/10.7561/SACS.2022.1.1","url":null,"abstract":"These reflections are distilled from my experience as the editor-in-chief of the journal ‘Scientific Annals of Computer Science’.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131687592","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 Survey of Testing for Instruction Sequence Theory 指令序列理论测试研究综述
Sci. Ann. Comput. Sci. Pub Date : 2022-06-22 DOI: 10.7561/SACS.2022.1.5
J. Bergstra
{"title":"A Survey of Testing for Instruction Sequence Theory","authors":"J. Bergstra","doi":"10.7561/SACS.2022.1.5","DOIUrl":"https://doi.org/10.7561/SACS.2022.1.5","url":null,"abstract":"Using the conceptual analysis of instruction sequence faults, failures, and defects as developed by the author in [10] and [12], a survey of testing is developed as an extension of a theory of instruction sequences. An attempt is made to develop a consistent terminology regarding instruction sequence testing while taking into account the literature on software testing at large.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134244791","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
On Quantum-MV Algebras - Part I: The Orthomodular Algebras 量子- mv代数-第一部分:正模代数
Sci. Ann. Comput. Sci. Pub Date : 2021-12-20 DOI: 10.7561/SACS.2021.2.163
A. Iorgulescu
{"title":"On Quantum-MV Algebras - Part I: The Orthomodular Algebras","authors":"A. Iorgulescu","doi":"10.7561/SACS.2021.2.163","DOIUrl":"https://doi.org/10.7561/SACS.2021.2.163","url":null,"abstract":"We prove that almost all the properties of quantum-MV algebras are verified by orthomodular algebras, the new algebras introduced in a previous paper. We put a special insight on transitive antisymmetric orthomodular (taOM) algebras, generalizations of MV algebras. We make the connection with IMTL and NM algebras. In memoriam Dragos. Vaida (1933 – 2020)","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114719870","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}
引用次数: 5
Maximizing the Number of Visible Labels on a Rotating Map 最大化旋转地图上可见标签的数量
Sci. Ann. Comput. Sci. Pub Date : 2021-12-20 DOI: 10.7561/SACS.2021.2.293
A. Rudi
{"title":"Maximizing the Number of Visible Labels on a Rotating Map","authors":"A. Rudi","doi":"10.7561/SACS.2021.2.293","DOIUrl":"https://doi.org/10.7561/SACS.2021.2.293","url":null,"abstract":"For a map that can be rotated, we consider the following problem. There are a number of feature points on the map, each having a geometric object as a label. The goal is to find the largest subset of these labels such that when the map is rotated and the labels remain vertical, no two labels in the subset intersect. We show that, even if the labels are vertical bars of zero width, this problem remains NP-hard, and present a polynomial approximation scheme for solving it. We also introduce a new variant of the problem for vertical labels of zero width, in which any label that does not appear in the output must be coalesced with a label that does. Coalescing a subset of the labels means to choose a representative among them and set its label height to the sum of the individual label heights.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"296 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123462425","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
Topological Characterization of the Third Type of Triangular Hex-derived Networks 第三类三角形六边形衍生网络的拓扑表征
Sci. Ann. Comput. Sci. Pub Date : 2021-12-20 DOI: 10.7561/SACS.2021.2.145
Shibsankar Das, S. Rai
{"title":"Topological Characterization of the Third Type of Triangular Hex-derived Networks","authors":"Shibsankar Das, S. Rai","doi":"10.7561/SACS.2021.2.145","DOIUrl":"https://doi.org/10.7561/SACS.2021.2.145","url":null,"abstract":"A topological index is a numerical quantity that defines a chemical descriptor to report several physical, biological and chemical properties of a chemical structure. In recent literature, various degree-based topological indices of a molecular structure are easily calculated by deriving a M-polynomial of that structure. In this paper, we first determine the expression of a M-polynomial of the triangular Hex-derived network of type three of dimension n and then obtain the corresponding degree-based topological indices from the closed form of M-polynomial. In addition, we use Maple software to represent the M-polynomial and the concerned degree-based topological indices pictorially for different dimensions.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128247933","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}
引用次数: 4
Applying MDE to ROS Systems: A Comparative Analysis MDE在ROS系统中的应用:比较分析
Sci. Ann. Comput. Sci. Pub Date : 2021-08-09 DOI: 10.7561/SACS.2021.1.111
Mickaël Trezzy, I. Ober, Iulian Ober, R. Oliveira
{"title":"Applying MDE to ROS Systems: A Comparative Analysis","authors":"Mickaël Trezzy, I. Ober, Iulian Ober, R. Oliveira","doi":"10.7561/SACS.2021.1.111","DOIUrl":"https://doi.org/10.7561/SACS.2021.1.111","url":null,"abstract":"The Robot Operating System (ROS) is one of the most used software framework to develop robot applications. Although it is possible to reuse packages and code from other ROS projects, ROS applications remain low level and reasoning at a higher level of abstraction is not possible. Using Model-Driven Engineering (MDE) in the context of ROS applications would allow to increase the accessibility of ROS, leverage the reusability of packages and supply validation of the software earlier in the design, using formal methods. For instance, formal verification methods would improve the overall dependability of robotic systems. Our view is that we should increase the abstraction of the systems through models using MDE methodology in order to enable the use of formal methods on ROS applications. In this paper we do a first step toward this and propose a comparative study of existing modeling alternatives aiming to help roboticists to smoothly adopt MDE. This study compares the use of modeling in ROS systems in three different ways: by means of direct UML modeling, a ROS UML profile and a ROS Domain-Specific Language. That allows us to pick the solution that better fits our needs.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130343922","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
Imperative process algebra with abstraction 具有抽象的命令式过程代数
Sci. Ann. Comput. Sci. Pub Date : 2021-03-14 DOI: 10.7561/SACS.2022.1.137
K. Middelburg
{"title":"Imperative process algebra with abstraction","authors":"K. Middelburg","doi":"10.7561/SACS.2022.1.137","DOIUrl":"https://doi.org/10.7561/SACS.2022.1.137","url":null,"abstract":"This paper introduces an imperative process algebra based on ACP (Algebra of Communicating Processes). Like other imperative process algebras, this process algebra deals with processes of the kind that arises from the execution of imperative programs. It distinguishes itself from already existing imperative process algebras among other things by supporting abstraction from actions that are considered not to be visible. The support of abstraction of this kind opens interesting application possibilities of the process algebra. This paper goes briefly into the possibility of information-flow security analysis of the kind that is concerned with the leakage of confidential data. For the presented axiomatization, soundness and semi-completeness results with respect to a notion of branching bisimulation equivalence are established.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"257 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114086319","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}
引用次数: 5
A Translation of Weighted LTL Formulas to Weighted B{" u}chi Automata over {(omega)}-valuation Monoids 加权LTL公式到{}{(omega)} -估值一元群上加权B uchi自动机的转换
Sci. Ann. Comput. Sci. Pub Date : 2020-11-10 DOI: 10.7561/SACS.2021.2.223
Eleni Mandrali
{"title":"A Translation of Weighted LTL Formulas to Weighted B{\" u}chi Automata over {(omega)}-valuation Monoids","authors":"Eleni Mandrali","doi":"10.7561/SACS.2021.2.223","DOIUrl":"https://doi.org/10.7561/SACS.2021.2.223","url":null,"abstract":"In this paper we introduce a weighted LTL over product omega-valuation monoids that satisfy specific properties. We also introduce weighted generalized Buchi automata with epsilon-transitions, as well as weighted Buchi automata with epsilon-transitions over product omega-valuation monoids and prove that these two models are expressively equivalent and also equivalent to weighted Buchi automata already introduced in the literature. We prove that every formula of a syntactic fragment of our logic can be effectively translated to a weighted generalized Buchi automaton with epsilon-transitions. For generalized product omega-valuation monoids that satisfy specific properties we define a weighted LTL, weighted generalized Buchi automata with epsilon-transitions, and weighted Buchi automata with epsilon-transitions, and we prove the aforementioned results for generalized product omega-valuation monoids as well. The translation of weighted LTL formulas to weighted generalized Buchi automata with epsilon-transitions is now obtained for a restricted syntactical fragment of the logic.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127571039","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
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation 求和项、求和项、求和组、和及求和的元算法
Sci. Ann. Comput. Sci. Pub Date : 2020-09-18 DOI: 10.7561/sacs.2020.2.167
J. Bergstra
{"title":"Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation","authors":"J. Bergstra","doi":"10.7561/sacs.2020.2.167","DOIUrl":"https://doi.org/10.7561/sacs.2020.2.167","url":null,"abstract":"Sumterms are introduced as syntactic entities, and sumtuples are introduced as semantic entities. Equipped with these concepts a new description is obtained of the notion of a sum as (the name for) a role which can be played by a number. Sumterm splitting operators are introduced and it is argued that without further precautions the presence of these operators gives rise to instance of the so-called sum splitting paradox. A survey of solutions to the sum splitting paradox is given.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"205 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131909315","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学术官方微信