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

47th International Symposium on Mathematical Foundations of computer Science, MFCS 2022

作者： Bilu, Yuri Luca, Florian Nieuwveld, Joris Ouaknine, Joël Purser, David Worrell, James Institut de Mathématiques de Bordeaux Université de Bordeaux CNRS Talence France School of Mathematics University of the Witwatersrand Johannesburg South Africa Research Group in Algebraic Structures & Applications King Abdulaziz University Saudi Arabia Centro de Ciencias Matemáticas UNAM Morelia Mexico Max Planck Institute for Software Systems Saarland Informatics Campus Germany University of Warsaw Warsaw Poland Department of Computer Science University of Oxford United Kingdom

ISBN: (纸本)9783959772563

The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros of a linear recurrence sequence is the union of a finite set and finitely many arithmetic progressions. The corresponding computational question, the Skolem Problem, asks to determine whether a given linear recurrence sequence has a zero term. Although the Skolem-Mahler-Lech Theorem is almost 90 years old, decidability of the Skolem Problem remains open. The main contribution of this paper is an algorithm to solve the Skolem Problem for simple linear recurrence sequences (those with simple characteristic roots). Whenever the algorithm terminates, it produces a stand-alone certificate that its output is correct - a set of zeros together with a collection of witnesses that no further zeros exist. We give a proof that the algorithm always terminates assuming two classical number-theoretic conjectures: the Skolem Conjecture (also known as the Exponential Local-Global Principle) and the p-adic Schanuel Conjecture. Preliminary experiments with an implementation of this algorithm within the tool Skolem point to the practical applicability of this method. © 2022 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

The Orbit Problem for Parametric Linear Dynamical systems 32

The Orbit Problem for Parametric Linear Dynamical Systems

引用

32nd International Conference on Concurrency Theory, CONCUR 2021

作者： Baier, Christel Jantsch, Simon Lefaucheux, Engel Ouaknine, Joël Whiteland, Markus A. Funke, Florian Karimov, Toghrul Luca, Florian Purser, David Worrell, James Technische Universität Dresden Germany Max Planck Institute for Software Systems Saarland Informatics Campus Saarbrücken Germany School of Mathematics Wits University Johannesburg South Africa Research Group in Algebraic Structures and Applications King Abdulaziz University Thuwal Saudi Arabia Department of Computer Science University of Oxford United Kingdom

ISBN: (纸本)9783959772037

We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or more parameters. More precisely, consider a d-dimensional square matrix M whose entries are algebraic functions in one or more real variables. Given initial and target vectors u, v ∈ Qd, the parametric point-to-point orbit problem asks whether there exist values of the parameters giving rise to a concrete matrix N ∈ Rd×d, and a positive integer n ∈ N, such that Nnu = v. We show decidability for the case in which M depends only upon a single parameter, and we exhibit a reduction from the well-known Skolem Problem for linear recurrence sequences, suggesting intractability in the case of two or more parameters. © 2021 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

Predictability performance enhancement for suspended sediment in rivers: Inspection of newly developed hybrid adaptive neuro-fuzzy system model

引用

International Journal of Sediment Research 2022年第3期37卷 383-398页

作者： Rana Muhammad Adnan Zaher Mundher Yaseen Salim Heddam Shamsuddin Shahid Aboalghasem Sadeghi-Niaraki Ozgur Kisi State Key Laboratory of Hydrology-Water Resources and Hydraulic Engineering Hohai University Department of Urban Planning Engineering Networks and Systems Institute of Architecture and Construction South Ural State University New Era and Development in Civil Engineering Research Group Scientific Research Center Al-Ayen University Faculty of Science Agronomy Department Hydraulics Division University School of Civil Engineering Faculty of Engineering Universiti Teknologi Malaysia (UTM) Geoinformation Tech.Center of Excellence Faculty of Geomatics Engineering K.N.Toosi University of Technology Department of Computer Science and Engineering Sejong University Civil Engineering Department Ilia State University

Reliable modeling of river sediments transport is important as it is a defining factor of the economic viability of dams, the durability of hydroelectric-equipment, river susceptibility to pollution, suitability for navigation, and potential for aesthetics and fish habitat. The capability of a new machine learning model, fuzzy c-means based neuro-fuzzy system calibrated using the hybrid particle swarm optimization-gravitational search algorithm（ANFIS-FCM-PSOGSA） in improving the estimation accuracy of river suspended sediment loads（SSLs） is investigated in the current study. The outcomes of the proposed method were compared with those obtained using the fuzzy c-means based neuro-fuzzy system calibrated using particle swarm optimization（ANFIS-FCM-PSO）, ANFIS-FCM, and sediment rating curve（SRC） models. Various input combinations involving lagged river flow（Q） and suspended sediment（S） values were used for model development. The effect of Q and S on the model's accuracy also was assessed by including the difference between lagged Q and S values as inputs. The model performance was assessed using the root mean square error（RMSE）, mean absolute error（MAE）, Nash-Sutcliffe Efficiency（NSE）, and coefficient of determination（R2） and several graphical comparison methods. The results showed that the proposed model enhanced the prediction performance of the ANFIS-FCM-PSO（or ANFIS-FCM） models by 8.14%（1.72%）, 14.7%（5.71%）, 12.5%（2.27%）, and 25.6%（1.86%）,in terms of the RMSE, MAE, NSE and R2, respectively. The current study established the potential of the proposed ANFIS-FCM-PSOGSA model for simulation of the cumulative sediment load. The modeling results revealed the potential effects of the river flow lags on the sediment transport quantification.

关键词： Suspended sediment load Adaptive neuro-fuzzy system Particle swarm optimization Gravitational search algorithm

来源：评论

学校读者我要写书评

暂无评论

On the robustness of EEG tensor completion methods

引用

Science China(Technological Sciences) 2021年第9期64卷 1828-1842页

作者： DUAN Feng JIA Hao ZHANG ZhiWen FENG Fan TAN Ying DAI YangYang CICHOCKI Andrzej YANG ZhengLu CAIAFA Cesar F. SUN Zhe SOLE-CASALS Jordi College of Artificial Intelligence Nankai UniversityTianjin 300350China Skolkowo Institute of Science and Technology Moscow 121205Russia College of Computer Science Hangzhou Dianzi UniversityHangzhou 310018China Department of Informatics Nicolaus Copernicus UniversityTorun 87-100Poland Systems Research Institute Polish Academy of SciencesWarsaw 01-447Poland College of Computer Science Nankai UniversityTianjin 300350China Instituto Argentino de Radioastronom´ıa IAR-CCT La Plata CONICET/CIC-PBA/UNLPVilla Elisa 1894Argentina Computational Engineering Applications Unit Head Office for Information Systems and CybersecurityRIKENWako-Shi 351-0106Japan Department of Psychiatry University of CambridgeCambridge CB28AHUK Data and Signal Processing Research Group University of Vic-Central University of CataloniaCatalonia 08500Spain

During the acquisition of electroencephalographic(EEG) signals, data may be missing or corrupted by noise and artifacts. To reconstruct the incomplete data, EEG signals are firstly converted into a three-order tensor(multi-dimensional data) of shape time × channel × trial. Then, the missing data can be efficiently recovered by applying a tensor completion method(TCM).However, there is not a unique way to organize channels and trials in a tensor, and different numbers of channels are available depending on the EEG setting used, which may affect the quality of the tensor completion results. The main goal of this paper is to evaluate the robustness of EEG completion methods with several designed parameters such as the ordering of channels and trials, the number of channels, and the amount of missing data. In this work, the results of completing missing data by several TCMs were compared. To emulate different scenarios of missing data, three different patterns of missing data were ***, the amount of missing data on completion effects was analyzed, including the time lengths of missing data and the number of channels or trials affected by missing data. Secondly, the numerical stability of the completion methods was analyzed by shuffling the indices along channels or trials in the EEG data tensor. Finally, the way that the number of electrodes of EEG tensors influences completion effects was assessed by changing the number of channels. Among all the applied TCMs, the simultaneous tensor decomposition and completion(STDC) method achieves the best performance in providing stable results when the amount of missing data or the electrode number of EEG tensors is changed. In other words, STDC proves to be an excellent choice of TCM, since permutations of trials or channels have almost no influence on the complete results. The STDC method can efficiently complete the missing EEG signals. The designed simulations can be regarded as a procedure to validate whether or

关键词： electroencephalogram corrupted data missing data tensor completion tensor decomposition

来源：评论

学校读者我要写书评

暂无评论

Towards robust monocular visual odometry for flying robots on planetary missions

arXiv

引用

arXiv 2021年

作者： Wudenka, Martin Müller, Marcus G. Demmel, Nikolaus Wedler, Armin Triebel, Rudolph Cremers, Daniel Stürzl, Wolfgang Institute of Robotics and Mechatronics German Aerospace Center DLR Computer Vision Group Department of Informatics Technical University of Munich Germany Autonomous Systems Lab ETH Zurich Switzerland

In the future, extraterrestrial expeditions will not only be conducted by rovers but also by flying robots. The technical demonstration drone Ingenuity, that just landed on Mars, will mark the beginning of a new era of exploration unhindered by terrain traversability. Robust self-localization is crucial for that. Cameras that are lightweight, cheap and information-rich sensors are already used to estimate the ego-motion of vehicles. However, methods proven to work in man-made environments cannot simply be deployed on other planets. The highly repetitive textures present in the wastelands of Mars pose a huge challenge to descriptor matching based approaches. In this paper, we present an advanced robust monocular odometry algorithm that uses efficient optical flow tracking to obtain feature correspondences between images and a refined keyframe selection criterion. In contrast to most other approaches, our framework can also handle rotation-only motions that are particularly challenging for monocular odometry systems. Furthermore, we present a novel approach to estimate the current risk of scale drift based on a principal component analysis of the relative translation information matrix. This way we obtain an implicit measure of uncertainty. We evaluate the validity of our approach on all sequences of a challenging real-world dataset captured in a Mars-like environment and show that it outperforms state-of-the-art approaches. The source code is publicly available at: https://***/DLR-RM/granite. Copyright © 2021, The Authors. All rights reserved.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

Ide4icds: A Model-Driven Proposal to Improve the Digitization of Clinical Practice Guideline

SSRN

引用

SSRN 2023年

作者： Parra-Calderón, Carlos García-García, Julián Alberto Ramos-Cueli, Juan Manuel Alvarez-Romero, Celia Román-Villarán, Esther Martínez-García, Alicia Escalona, María José Computer Languages and Systems Department Escuela Técnica Superior de Ingeniería Informática Avda. Reina Mercedes s/n. Seville41012 Spain Group of Research and Innovation in Biomedical Informatics Biomedical Engineering and Health Economy Institute of Biomedicine of Seville Avda. Manuel Siurot s/n. Seville41013 Spain Soltel Group Calle Leonardo da Vinci 13 Seville41092 Spain

Clinical practice guidelines (CPGs) are a formalization of specific clinical knowledge that states the best evidence-based clinical practices for treating pathologies. This formalization makes it possible to improve healthcare quality by reducing variability. However, CPGs are handicapped because they are usually expressed as text. This gives rise to a certain level of ambiguity, subjective interpretation of the actions to be performed, and variability in clinical practice by different health professionals facing the same circumstances. The inherent complexity of CPGs is also a challenge for software engineers designing, developing, and maintaining software systems and clinical expert systems to manage them. This challenge stems from the need to evolve CPGs and design software systems capable of allowing their evolution agilely, effectively, and flexibly. This paper proposes a theoretical model-driven framework (called IDE4ICDS;Integrated Development Environment for Improving Clinical Decision Support based on Clinical Guidelines) for improving CPG management and it presents the design of the expert systems that support it to be applied in practical environments. For this purpose, this paper follows the design science research methodology to achieve the stated objective. A pilot project in a real health context in Spain was also executed to evaluate the feasibility of our proposal. When applied in a real pilot project, it could be seen that our framework and our platform allowed us to speed up the design and development of clinical decision support tools thanks to the systematization and automation of models and code. We also observed a decrease in clinical practice variability and an improvement in patient safety. © 2023, The Authors. All rights reserved.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

IRS Channel Estimation in Cell-free MIMO Network: A Coalition Formation Guided Federated Learning Approach

IRS Channel Estimation in Cell-free MIMO Network: A Coalitio...

引用

IEEE Conference on Wireless Communications and Networking

作者： Haoxuan Liu Nan Qi Xiaojie Li Alexandros A. A. Boulogeorgos Theodoros A. Tsiftsis Ming Xiao Juha Röning Nanjing University of Aeronautics and Astronautics Nanjing China National Mobile Communications Research Laboratory Southeast University Nanjing China Department of Electrical and Computer Engineering University of Western Macedonia Kozani Greece Department of Informatics and Telecommunications University of Thessaly Lamia Greece Department of Electrical and Electronic Engineering University of Nottingham Ningbo China Ningbo China School of Electrical Engineering of KTH Royal Institute of Technology Stockholm Sweden Biomimetics and Intelligent Systems Group University of Oulu Finland

ISBN: (数字)9798350368369

ISBN: (纸本)9798350368376

The downlink channel estimation is currently a critical bottleneck for IRS-assisted cell-free multiple input multiple output communication. Conventionally, most studies have employed deep learning methods to estimate the high-dimensional, complex cascaded channels generated by IRS, necessitating data collection from all users for centralized model training, which results in excessively large overheads, and data privacy problems. To tackle this challenge, a federated learning (FL)-based channel estimation framework incorporates coalition formation to guide the formation of FL user groups. We propose a coalition formation-enabled federated learning framework for channel estimation, utilizing a deep reinforcement learning (DRL) approach to intelligently group users into multiple coalitions, thereby improving channel estimation accuracy. Moreover, considering that nodes with similar distances to the base station and similar received signal power have a strong likelihood that they experience similar channel fading, we designed a transfer learning method that incorporates both received reference signal power and distance similarity metrics. The transfer learning technique is designed to accelerate the convergence of DRL-federated learning process. Simulations reveal that the proposed algorithms significantly reduce communication overhead for local users and improve data privacy while maintaining commendable channel estimation accuracy.

关键词： Training Data privacy Accuracy Federated learning Transfer learning Channel estimation Deep reinforcement learning Data models Surface treatment Convergence

来源：评论

学校读者我要写书评

暂无评论

WiMate: Location-independent Material Identification Based on Commercial WiFi Devices

WiMate: Location-independent Material Identification Based o...

引用

2021 IEEE Global Communications Conference (GLOBECOM)

作者： Yu Gu Yanan Zhu Jie Li Yusheng Ji School of Computer and Information Hefei University of Technology Hefei China Shanghai Jiao Tong University Shanghai China Information Systems Architecture Research Division National Institute of Informatics Tokyo Japan

ISBN: (纸本)9781728181059

Material identification is playing an increasingly important role in our daily lives such as public security checks. X-ray-based technologies are highly radioactive because they rely on specialized devices to transmit high-frequency signals. Ultrasound-based technologies are cumbersome due to their large size. RF-based approaches necessitate the use of RFID which is usually expensive to be used in home and office environments. To this end, WiFi-based material identification approach has emerged recently as a low-cost yet effective alternative. In this paper, we propose WiMate, a noncontact material identification system leveraging only off-the-shelf WiFi devices. The key enabler of WiMate is a novel theoretical model we build to characterize how the electromagnetic wave decays when penetrating different materials. Our model identifies a unique feature for each material that only depends on the material itself. Consequently, we can leverage this feature coupling with the machine learning techniques for robust and accurate material identification. We prototype WiMate using low-cost commodity WiFi devices and evaluate its performance in real-world. The empirical study shows that WiMate can identify six different materials, i.e., board, paperboard, nickel, wood chip, iron and titanium, with an average accuracy of 96.20%.

关键词： Performance evaluation Ultrasonic imaging Prototypes Titanium Physical layer Nickel Object recognition

来源：评论

学校读者我要写书评

暂无评论

Color Models for Skin Lesion Classification from Dermatoscopic Images 8th

Color Models for Skin Lesion Classification from Dermatoscop...

引用

8th International Workshop on Combinations of Intelligent Methods and Applications, CIMA 2018 held in conjunction with the 30th IEEE International Conference on Tools with Artificial Intelligence, IEEE ICTAI 2018

作者： Mporas, Iosif Perikos, Isidoros Paraskevas, Michael Communications and Intelligent Systems Group School of Engineering and Computer Science University of Hertfordshire Hatfield United Kingdom Computer Engineering and Informatics Department University of Patras Patras Greece Computer Technology Institute and Press ‘Diophantus’ Patras Greece Electrical and Computer Engineering Department University of Peloponnese Patras Greece

ISBN: (纸本)9789811519178

In this paper, we present an architecture for classification of pigmented skin lesions from dermatoscopic images. The architecture is using image preprocessing for natural hair removal and image segmentation for extraction of the skin lesion area followed by computation of statistical values of colors as features. The color-based features were extracted from several well-known and widely used color models. Several classification algorithms were evaluated with the best performing classification algorithm being the AdaBoost with random forest classifier with classification accuracy equal to 73.08% when using RGB-based features only and 74.26% when combining RGB, HSV, and YIQ color model-based features. © 2020, Springer Nature Singapore Pte Ltd.

关键词： Image classification

来源：评论

学校读者我要写书评

暂无评论

Real-time Vital Signs Monitoring Based on COTS WiFi Devices

Real-time Vital Signs Monitoring Based on COTS WiFi Devices

引用

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

作者： Yu Gu Xiang Zhang Huan Yan Zhi Liu Yusheng Ji School of Computer and Information Hefei University of Technology Hefei China The University of Electro-Communications Tokyo Japan Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan

ISBN: (纸本)9781665429825

Real-time vital signs (breathing and heartbeat) monitoring is essential for patient care and sleep disease prevention. Current solutions are mostly based on wearable sensors or cameras, the former affects the quality of sleep, while the latter is not conducive to privacy protection, and the cost of these methods is usually expensive. In this paper, we propose Wital, a real-time vital signs monitoring system based on the low-cost and widespread COTS WiFi device. Most of the existing WiFi-based vital signs monitoring solutions utilize the line of sight (LOS) WiFi signals to achieve powerful performance. However, in our daily environments, NLOS sensing is more common. In this article, we first model the relationship between the energy ratio of LOS/NLOS signals and the ability to monitor vital signs based on the Ricean-K theory and theoretically prove that blocking LOS signals in NLOS sensing is more beneficial. We have also established a real-time vital signs monitoring system to verify our method, and the experimental results prove the effectiveness of our method.

关键词： Performance evaluation Privacy Heart beat Tracking Prototypes Real-time systems Biomedical monitoring

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：