A Semantic Framework to Support AI System Accountability and Audit

The Semantic Web - 18th International Conference, ESWC 2021, Proceedings Springer Science and Business Media Deutschland GmbH ISBN: 9783030773847 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ISSN (Print): 0302-9743 ISSN (Electronic): 1611-3349 Volume: 12731 LNCSPostprintPostprin

Search and test algorithms for Triple Product Property triples

In 2003 COHN and UMANS introduced a group-theoretic approach to fast matrix multiplication. This involves finding large subsets of a group $G$ satisfying the Triple Product Property (TPP) as a means to bound the exponent $\omega$ of matrix multiplication. We present two new characterizations of the TPP, which are useful for theoretical considerations and for TPP test algorithms. With this we describe all known TPP tests and implement them in GAP algorithms. We also compare their runtime. Furthermore we show that the search for subgroup TPP triples of nontrivial size in a nonabelian group can be restricted to the set of all nonnormal subgroups of that group. Finally we describe brute-force search algorithms for maximal subgroup and subset TPP triples. In addition we present the results of the subset brute-force search for all groups of order less than 25 and selected results of the subgroup brute-force search for 2-groups, $SL(n,q)$ and $PSL(2,q)$.Comment: 14 pages, 2 figures, 4 tables; ISSN (Online) 1869-6104, ISSN (Print) 1867-114

中国会计学会对外学术交流专业委员会学术年会暨China Journal of Accounting Studies 2018年第二次学术研讨会

China Journal of Accounting Studies (简称CJAS)是中国会计学会主办、国际学术出版集团泰勒与弗朗西斯出版集团旗下Routledge出版社出版的英文学术期刊(季刊),面向国内和国外同时发行,期刊刊号为:ISSN (online) 2169-7221,ISSN (print) 2169-7213,中文刊名为《中国会计研究》,杂志网址为:http://www.tandfonline.com/loi/rcja20。CJAS主要刊发中国主题会计理论和实践的原创性研究成果、中国学者的全球主题最前沿会计理论

Modeling and Control of a UPFC System Using Pole-Placement and Hinf Robust Control Techniques

This is an open access article distributed under Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International license (CC BY-NC-ND 4.0) https://creativecommons.org/licenses/by-nc-nd/4.0/FACTS (Flexible AC Transmission Systems) technology has now been accepted as a potential solution to the stability problem and load flow. The Unified Power Flow Controller (UPFC) is considered to be the most powerful and versatile among all FACTS devices. This paper presents the modeling and control of a UPFC system using pole-placement and H robust control techniques. A simulation study using Matlab/Simulink is presented to compare the performance of these control strategies and their robustness with respect to variations is the system parameters such as the inductance of the transmission line.Peer reviewe