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

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

筛选
英文 中文
On Nirmala Indices of Some Hex-derived Networks of Type Three and Their Subdivision Networks 论第三类六角衍生网络的尼玛拉指数及其细分网络
Sci. Ann. Comput. Sci. Pub Date : 2023-12-20 DOI: 10.7561/SACS.2023.2.193
S. Rai, Shibsankar Das
{"title":"On Nirmala Indices of Some Hex-derived Networks of Type Three and Their Subdivision Networks","authors":"S. Rai, Shibsankar Das","doi":"10.7561/SACS.2023.2.193","DOIUrl":"https://doi.org/10.7561/SACS.2023.2.193","url":null,"abstract":"Several degree-based topological indices have a vital role in the inspection of the chemical properties of various chemical networks. Hex-derived networks, made up of hexagonal mesh networks, have wide applications in the fields of technology, pharmacy and physical sciences. In this research work, we focus on different hex-derived networks of the third type of dimension n and their subdivisions. The Nirmala indices (such as the Nirmala index, the first inverse Nirmala index and the second inverse Nirmala index) are newly introduced degree-based topological indices. Here, we compute the values of these Nirmala indices for the above networks under consideration by operating their standard mathematical formulas and the M-polynomial based method. In addition, we plot the Nirmala indices of the networks and their subdivisions in different dimensions for the purpose of comparative studies among them. The results acquired are helpful in demonstrating the structural properties of considered hex-derived networks and their subdivisions. Also, it may influence the researchers for comparative based studies of the structure and their subdivisions in the sense of the Nirmala indices.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"82 1","pages":"193-242"},"PeriodicalIF":0.0,"publicationDate":"2023-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139170529","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
Describing weighted safety with weighted LTL over product omega-valuation monoids 用产品ω-评价单体上的加权LTL描述加权安全
Sci. Ann. Comput. Sci. Pub Date : 2023-12-20 DOI: 10.7561/SACS.2023.2.93
Eleni Mandrali
{"title":"Describing weighted safety with weighted LTL over product omega-valuation monoids","authors":"Eleni Mandrali","doi":"10.7561/SACS.2023.2.93","DOIUrl":"https://doi.org/10.7561/SACS.2023.2.93","url":null,"abstract":"We define the notion of k-safe infinitary series over idempotent ordered totally generalized product omega-valuation monoids that satisfy specific properties. For each element k of the underlying structure (different from the neutral elements of the additive, and the multiplicative operation) we determine two syntactic fragments of the weighted LTL with the property that the semantics of the formulas in these fragments are k-safe infinitary series. For specific idempotent ordered totally generalized product omega-valuation monoids we provide algorithms that given a weighted Buchi automaton and a weighted LTL formula in these fragments, decide whether the behavior of the automaton coincides with the semantics of the formula.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"100 11","pages":"93-157"},"PeriodicalIF":0.0,"publicationDate":"2023-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138954224","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 Teacher of Great Strengths 一个有伟大力量的老师
Sci. Ann. Comput. Sci. Pub Date : 2023-05-29 DOI: 10.7561/sacs.2023.1.1
Gabriel Ciobanu
{"title":"A Teacher of Great Strengths","authors":"Gabriel Ciobanu","doi":"10.7561/sacs.2023.1.1","DOIUrl":"https://doi.org/10.7561/sacs.2023.1.1","url":null,"abstract":"The research on formal languages and their algebraic relationships were among the topics that brought visibility to Romania in the field of computer science in the 1970’s. Alexandru Ioan Cuza University of Iași was known by its researchers and teachers in these topics.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124165650","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
Shrinkage Estimators for the Intercept in Linear and Uplift Regression 线性和隆起回归中截距的收缩估计
Sci. Ann. Comput. Sci. Pub Date : 2023-05-29 DOI: 10.7561/sacs.2023.1.35
S. Jaroszewicz, Krzysztof Rudas
{"title":"Shrinkage Estimators for the Intercept in Linear and Uplift Regression","authors":"S. Jaroszewicz, Krzysztof Rudas","doi":"10.7561/sacs.2023.1.35","DOIUrl":"https://doi.org/10.7561/sacs.2023.1.35","url":null,"abstract":"Shrinkage estimators modify classical statistical estimators by scaling them towards zero in order to decrease their prediction error. We propose shrinkage estimators for linear regression models which explicitly take into account the presence of the intercept term, shrinking it independently from other coefficients. This is different from current shrinkage estimators, which treat the intercept just as an ordinary regression coefficient. We demonstrate that the proposed approach brings systematic improvements in prediction accuracy if the true intercept term differs in magnitude from other coefficients, which is often the case in practice. We then generalize the approach to uplift regression which aims to predict the causal effect of a specific action on an individual with given characteristics. In this case the proposed estimators improve prediction accuracy over previously proposed shrinkage estimators and achieve impressive performance gains over original models.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"365 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115471839","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
Maximal Existential and Universal Width 最大存在和普遍宽度
Sci. Ann. Comput. Sci. Pub Date : 2023-05-29 DOI: 10.7561/sacs.2023.1.53
Casey Keeler, K. Salomaa
{"title":"Maximal Existential and Universal Width","authors":"Casey Keeler, K. Salomaa","doi":"10.7561/sacs.2023.1.53","DOIUrl":"https://doi.org/10.7561/sacs.2023.1.53","url":null,"abstract":"The tree width of an alternating finite automaton (AFA) measures the parallelism in all computations of the AFA on a given input. The maximal existential (respectively, universal) width of an AFA A on string w measures the maximal number of existential choices (respectively, of parallel universal branches) in one computation of A on w. We give polynomial time algorithms deciding finiteness of an AFA’s tree width and maximal universal width. Also we give a polynomial time algorithm that for an AFA A with finite maximal universal width decides whether or not the maximal existential width of A is finite. Finiteness of maximal existential width is decidable in the general case but the algorithm uses exponential time. Additionally, we establish necessary and sufficient conditions for an AFA to have exponential tree width growth rate, as well as sufficient conditions for an AFA to have exponential maximal existential width or exponential maximal universal width.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129018619","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 Study on Centralizing Monoids with Majority Operation Witnesses 具有多数操作证人的集中一元群研究
Sci. Ann. Comput. Sci. Pub Date : 2023-05-29 DOI: 10.7561/sacs.2023.1.79
Hajime Machida
{"title":"A Study on Centralizing Monoids with Majority Operation Witnesses","authors":"Hajime Machida","doi":"10.7561/sacs.2023.1.79","DOIUrl":"https://doi.org/10.7561/sacs.2023.1.79","url":null,"abstract":"A centralizing monoid M is a set of unary operations which commute with some set F of operations. Here, F is called a witness of M . On a 3-element set, a centralizing monoid is maximal if and only if it has a constant operation or a majority minimal operation as its witness. In this paper, we take one such majority operation, which corresponds to a maximal centralizing monoid, on a 3-element set and obtain its generalization, called mb , on a k-element set for any k >= 3. We explicitly describe the centralizing monoid M(mb ) with mb as its witness and then prove that it is not maximal if k > 3, contrary to the case for k = 3.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132528079","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
Semidegenerate Congruence-modular Algebras Admitting a Reticulation 承认网状的半退化同余模代数
Sci. Ann. Comput. Sci. Pub Date : 2023-05-29 DOI: 10.7561/sacs.2023.1.5
G. Georgescu
{"title":"Semidegenerate Congruence-modular Algebras Admitting a Reticulation","authors":"G. Georgescu","doi":"10.7561/sacs.2023.1.5","DOIUrl":"https://doi.org/10.7561/sacs.2023.1.5","url":null,"abstract":"The reticulation L(R) of a commutative ring R was introduced by Joyal in 1975, then the theory was developed by Simmons in a remarkable paper published in 1980. L(R) is a bounded distributive algebra whose main property is that the Zariski prime spectrum Spec(R) of R and the Stone prime spectrum SpecId (L(R)) of L(R) are homeomorphic. The construction of the lattice L(R) was generalized by Belluce for each unital ring R and the reticulation was defined by axioms. In a recent paper we generalized the Belluce construction for algebras in a semidegenerate congruence-modular variety V. For any algebra A ∈ V we defined a bounded distributive lattice L(A), but in general the prime spectrum Spec(A) of A is not homeomorphic with the prime spectrum SpecId (L(A)). We introduced the quasi-commutative algebras in the variety V (as a generalization of Belluce’s quasi-commutative rings) and proved that for any algebra A ∈ V, the spectra Spec(A) and SpecId (L(A)) are homeomorphic. In this paper we define the reticulation A ∈ V by four axioms and prove that any two reticulations of A are isomorphic lattices. By using the uniqueness of reticulation and other results from the mentioned paper, we obtain a characterization theorem for the algebras A ∈ V that admit a reticulation: A is quasi-commutative if and only if A admits a reticulation. This result is a universal algebra generalization of the following Belluce theorem: a ring R is quasi-commutative if and only if R admits a reticulation. Another subject treated in this paper is the spectral closure of the prime spectrum Spec(A) of an algebra A ∈ V, a notion that generalizes the Belluce spectral closure of the prime spectrum of a ring.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131165500","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
An Enhanced Fluid Registration for Image Multi-Frame Super Resolution 图像多帧超分辨率的增强流体配准
Sci. Ann. Comput. Sci. Pub Date : 2022-12-07 DOI: 10.7561/SACS.2022.2.255
A. Laghrib, A. Hadri, M. Hakim
{"title":"An Enhanced Fluid Registration for Image Multi-Frame Super Resolution","authors":"A. Laghrib, A. Hadri, M. Hakim","doi":"10.7561/SACS.2022.2.255","DOIUrl":"https://doi.org/10.7561/SACS.2022.2.255","url":null,"abstract":"The main idea of multi-frame super resolution (SR) algorithms is to recover a single high-resolution image from a sequence of low resolution ones of the same object. The success of the SR approaches is often related to a well registration and restoration steps. Therefore, we propose a new approach based on fluid image registration and we use a second order partial differential equation (PDE) to treat both the registration and restoration steps that guarantees the success of SR algorithms. Since the registration step is usually a variational ill-posed model, a mathematical study is needed to check the existence of the solution to the regularized problem. Thus, we prove the existence and uniqueness of the well posed fluid image registration and assure also the existence of the used second order PDE in the restoration step. The results show that the proposed method is competitive with the existing methods.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"424 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123048822","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
New Editorial Team for SACS after 16 Years 16年后SACS的新编辑团队
Sci. Ann. Comput. Sci. Pub Date : 2022-12-07 DOI: 10.7561/SACS.2022.2.181
Bogdan Aman, Gabriel Ciobanu
{"title":"New Editorial Team for SACS after 16 Years","authors":"Bogdan Aman, Gabriel Ciobanu","doi":"10.7561/SACS.2022.2.181","DOIUrl":"https://doi.org/10.7561/SACS.2022.2.181","url":null,"abstract":"It is our great pleasure to inform you that SACS has from July 2022 a new editorial team.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123289743","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
Four Notions of Fault for Program Specifications 程序规范中故障的四种概念
Sci. Ann. Comput. Sci. Pub Date : 2022-12-07 DOI: 10.7561/SACS.2022.2.183
J. Bergstra
{"title":"Four Notions of Fault for Program Specifications","authors":"J. Bergstra","doi":"10.7561/SACS.2022.2.183","DOIUrl":"https://doi.org/10.7561/SACS.2022.2.183","url":null,"abstract":"Four notions of fault are proposed for program specifications each inspired by notions of fault for programs: symptomatic failure resolution fault, Laski fault, MFJ fault and regression test justification of change fault (RTJoC fault). Examples are provided in terms of the PGA style theory of instruction sequences. Each of the notions of fault is based on the contrast between technical specification and requirements specification. The latter contrast is discussed in detail.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133509575","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学术官方微信