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

arXiv 2021年

作者： Lyu, Bo Wang, Shengbo Wen, Shiping Shi, Kaibo Yang, Yin Zeng, Lingfang Huang, Tingwen Zhejiang Lab Hangzhou311121 China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu611731 China Australian AI Institute Faculty of Engineering and Information Technology University of Technology SydneyNSW2007 Australia School of Information Science and Engineering Chengdu University Chengdu611040 China College of Science and Engineering Hamad Bin Khalifa University Doha5855 Qatar Science Program Texas A & M University at Qatar Doha23874 Qatar

The sparse representation of graphs has shown great potential for accelerating the computation of graph applications (e.g., Social Networks, Knowledge Graphs) on traditional computing architectures (CPU, GPU, or TPU). But the exploration of large-scale sparse graph computing on processing-in-memory (PIM) platforms (typically with memristive crossbars) is still in its infancy. To implement the computation or storage of large-scale or batch graphs on memristive crossbars, a natural assumption is that a large-scale crossbar is demanded, but with low utilization. Some recent works question this assumption, to avoid the waste of storage and computational resource, the fixed-size or progressively scheduled "block partition" schemes are proposed. However, these methods are coarse-grained or static, and are not effectively sparsity-aware. This work proposes the dynamic sparsity-aware mapping scheme generating method that models the problem with a sequential decision-making model, and optimizes it by reinforcement learning (RL) algorithm (REINFORCE). Our generating model (LSTM, combined with the dynamic-fill scheme) generates remarkable mapping performance on a small-scale graph/matrix data (complete mapping costs 43% area of the original matrix) and two large-scale matrix data (costing 22.5% area on qh882 and 17.1% area on qh1484). Our method may be extended to sparse graph computing on other PIM architectures, not limited to the memristive device-based platforms. Copyright © 2021, The Authors. All rights reserved.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

Multi-label classification via adaptive resonance theory-based clustering

arXiv

引用

arXiv 2021年

作者： Masuyama, Naoki Nojima, Yusuke Loo, Chu Kiong Ishibuchi, Hisao Graduate School of Engineering Osaka Prefecture University 1-1 Gakuen-cho Naka-ku Sakai-Shi Osaka599-8531 Japan Faculty of Computer Science and Information Technology University of Malaya Kuala Lumpur50603 Malaysia Guangdong Provincial Key Laboratory of Brain-inspired Intelligent Computation Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen518055 China

—This paper proposes a multi-label classification algorithm capable of continual learning by applying an Adaptive Resonance Theory (ART)-based clustering algorithm and the Bayesian approach for label probability computation. The ART-based clustering algorithm adaptively and continually generates prototype nodes corresponding to given data, and the generated nodes are used as classifiers. The label probability computation independently counts the number of label appearances for each class and calculates the Bayesian probabilities. Thus, the label probability computation can cope with an increase in the number of labels. Experimental results with synthetic and real-world multi-label datasets show that the proposed algorithm has competitive classification performance to other well-known algorithms while realizing continual learning. © 2021, CC BY-NC-ND.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Distributed Intelligence Empowered Data Aggregation and Distribution for Multi-robot Cooperative Communication

Distributed Intelligence Empowered Data Aggregation and Dist...

引用

IEEE Conference on computer Communications Workshops, INFOCOM Wksps

作者： Li Ding Biao Han Xiaoyan Wang Peng Li Baosheng Wang School of Computer National University of Defense Technology Changsha China Graduate School of Science and Engineering Ibaraki University Ibaraki Japan School of Computer University of Aizu Fukushima Japan

ISBN: (数字)9781728186955

ISBN: (纸本)9781728186962

In multi-robot cooperative communication, the principal operations of distributed intelligence is to collect and distribute data on a specific node. However, most data link layer protocols support single-hop communications. Adding a network layer routing protocol can perform multi-hop communication but will generate invalid routes and extra costs. In this paper, we present a data link layer ad hoc protocol for multi-robot cooperative communication, called Robot Cluster Wireless Link(RCWL). RCWL can be deployed on the Linux-kernel system based embedded devices. It allows the central node, which is called the master node, to aggregate data from slave nodes for performance prediction and decision optimization. Besides, it ensures the data distribution capability of the master node. Furthermore, the protocol supports multi-hop data transmission and is self-adaptive to the changes in the network topology.

关键词： Synchronization Protocols Robot kinematics Peer-to-peer computing IEEE 802.11 Standard Voting

来源：评论

学校读者我要写书评

暂无评论

Adipose Mesenchymal Stem Cell Metabolites Oral Gel Enhance Pro-Angiogenic Factors Expression, Angiogenesis, and Clinical Outcome of Oral Ulcer Rat Model

引用

European Journal of Dentistry 2023年第1期18卷 117-123页

作者： Satutya Wicaksono Alexander Patera Nugraha Jola Rahmahani Fedik Abdul Rantam Suryo Kuncorojakti Helen Susilowati Wibi Riawan Ira Arundina Pudji Lestari Resgita Nadila Masya Meircurius Dwi Condro Surboyo Diah Savitri Ernawati Master Program in Immunology Postgraduate School Universitas Airlangga Surabaya Indonesia Department of Orthodontics Faculty of Dental Medicine Universitas Airlangga Surabaya Indonesia Division of Veterinary Microbiology Department of Veterinary Science Faculty of Veterinary Medicine Universitas Airlangga Surabaya Indonesia Division of Veterinary Anatomy Department of Veterinary Science Faculty of Veterinary Medicine Universitas Airlangga Surabaya Indonesia Research Center for Vaccine Technology and Development Institute of Tropical Disease Universitas Airlangga Surabaya Indonesia Department of Biomolecular Biochemistry Universitas Brawijaya Malang Indonesia Department of Oral Biology Faculty of Dental Medicine Universitas Airlangga Surabaya Indonesia Department of Public Health and Preventive Medicine Faculty of Medicine Universitas Airlangga Surabaya Indonesia Graduate Program in Dental Health Science Faculty of Dental Medicine Universitas Airlangga Surabaya Indonesia Department of Oral Medicine Faculty of Dental Medicine Universitas Airlangga Surabaya Indonesia

来源：评论

学校读者我要写书评

暂无评论

On weight-one solvable configurations of the Lights Out puzzle

引用

Involve 2019年第4期12卷 713-720页

作者： Hayata, Yuki Yamagishi, Masakazu Field of Mathematics and Mathematical Science Department of Computer Science and Engineering Graduate School of Engineering Nagoya Institute of Technology Nagoya Japan Department of Mathematics Nagoya Institute of Technology Nagoya Japan

关键词： Cartesian product Lights Out linear code path graph

来源：评论

学校读者我要写书评

暂无评论

Sport Field Reservation Based on Mobile Application

Sport Field Reservation Based on Mobile Application

引用

International Conference on ICT For Smart Society (ICISS)

作者： Tonto Claudinus Made Prayoga Wicaksana Nicolas Kornelius Sitorus Marsa Ariqi Gustiandza Tanty Oktavia Ford Lumban Gaol Takaaki Hosoda School of Computer Science Bina Nusantara University Jakarta Indonesia School of Information Systems Bina Nusantara University Jakarta Indonesia Binus Graduate Program - Doctor of Computer Science Bina Nusantara University Jakarta Indonesia Advanced Institute of Industrial Technology Tokyo Japan

ISBN: (数字)9781665404228

ISBN: (纸本)9781665404235

This paper presents the sports apps based on a mobile application that has a function to help the provider or the owner of the sports field and sports vendor to promote their business in the apps. Due to the popularity and convenience that mobile applications had and high interest from many people in having a healthy life, it is a great opportunity to combine both of them. Therefore, this study focusses to build mobile sports application using object-oriented analysis and design method, that could meet the demand of lots of peoples that wants to do a sport especially a ball sport. Otherwise, the application can help and support the community and public, especially for ball sports fans, to make reservations for the sports field easier without having to come to the location and also meet their sporting needs.

关键词： Sports Mobile applications Business Schedules computer science Real-time systems IEEE merchandise

来源：评论

学校读者我要写书评

暂无评论

Publisher Correction: A non-canonical BZR/BES transcription factor regulates the development of haploid reproductive organs in Marchantia polymorpha

引用

Nature plants 2024年第5期10卷 828页

作者： Tomoyuki Furuya Natsumi Saegusa Shohei Yamaoka Yuki Tomoita Naoki Minamino Masaki Niwa Keisuke Inoue Chiaki Yamamoto Kazuki Motomura Shunji Shimadzu Ryuichi Nishihama Kimitsune Ishizaki Takashi Ueda Hidehiro Fukaki Takayuki Kohchi Hiroo Fukuda Masahiro Kasahara Takashi Araki Yuki Kondo College of Life Sciences Ritsumeikan University Kusatsu Japan. furu@fc.ritsumei.ac.jp. Graduate School of Science Kobe University Kobe Japan. furu@fc.ritsumei.ac.jp. Graduate School of Science The University of Tokyo Tokyo Japan. furu@fc.ritsumei.ac.jp. Graduate School of Biostudies Kyoto University Kyoto Japan. Division of Cellular Dynamics National Institute for Basic Biology Okazaki Japan. Graduate School of Science and Technology Kumamoto University Kumamoto Japan. GRA&GREEN Inc. Nagoya Japan. College of Life Sciences Ritsumeikan University Kusatsu Japan. Japanese Science and Technology Agency PRESTO Kawaguchi Japan. Graduate School of Science Kobe University Kobe Japan. Graduate School of Science The University of Tokyo Tokyo Japan. Faculty of Science and Technology Tokyo University of Science Noda Japan. Basic Biology Program Graduate Institute for Advanced Studies SOKENDAI Okazaki Japan. Faculty of Bioenvironmental Science Kyoto University of Advanced Science Kameoka Japan. Akita Prefectural University Akita Japan. Graduate School of Science Kobe University Kobe Japan. kondo.yuki.sci@osaka-u.ac.jp. Graduate School of Science The University of Tokyo Tokyo Japan. kondo.yuki.sci@osaka-u.ac.jp. Department of Biological Sciences Graduate School of Science Osaka University Toyonaka Japan. kondo.yuki.sci@osaka-u.ac.jp.

来源：评论

学校读者我要写书评

暂无评论

Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values

Analysis of Structural Liveness and Boundedness in Weighted ...

引用

science and Information Conference, SAI 2020

作者： Harie, Yojiro Wasaki, Katsumi Interdisciplinary Graduate School of Science and Technology Shinshu University 4-17-1 Wakasato Nagano380-8553 Japan Division of Electrical and Computer Engineering Faculty of Engineering Shinshu University 4-17-1 Wakasato Nagano380-8553 Japan

ISBN: (纸本)9783030522421

A Petri net is a mathematical method that can be used to represent and analyze discrete event systems. Although research on structural liveness and safety in ordinary free-choice (FC) nets has been reported, analysis methods for weighted Petri nets have not yet been developed. In this study, we propose a method for determining the structural liveness and safety of strongly connected FC nets. The flow rate of tokens for strongly connected marked graphs is defined as the. In addition, the circuit flow value of a strongly connected FC net is obtained by calculating the superposition of the circuit flow value. © 2020, Springer Nature Switzerland AG.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

引用

Communications of the ACM 2025年第6期68卷

作者： Yu-Fang Chen Kai-Min Chung Ondřej Lengál Jyun-Ao Lin Wei-Lun Tsai Di-De Yen Academia Sinica Institute of Information Science Taipei Taiwan Brno University of Technology Faculty of Information Technology Brno Czech Republic National Taipei University of Technology Taipei Taiwan National Taiwan University Graduate Institute of Electronics Engineering Taipei Taiwan Liverpool University School of Electrical Engineering Electronics and Computer Science Liverpool England United Kingdom

As quantum computing hardware advances, the demand for scalable, precise, and fully automated verification techniques for quantum circuits grows. This paper introduces a novel automata-based framework tailored for the verification of quantum circuits. In our approach, the problem is framed as a triple {P}C{S} and the question is whether, given a set P of quantum states on the input of a circuit C, the set of quantum states on the output is equal to (or included in) a set S. Our framework leverages tree automata to compactly represent sets of quantum states and we develop transformers to implement the semantics of quantum gates over this representation. We implemented the proposed approach in a prototype tool and evaluated its performance against various benchmarks from the literature. The evaluation shows that our approach is quite scalable, for example, we managed to verify a large circuit with 40 qubits and 141,527 gates, or catch bugs injected into a circuit with 320 qubits and 1,758 gates, where all tools we compared with failed. Additionally, our work bridges quantum program verification and automata, opening new possibilities to exploit the richness of automata theory in quantum computing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Technical debt and agile software development practices and processes: An industry practitioner survey

arXiv

引用

arXiv 2021年

作者： Holvitie, Johannes Licorish, Sherlock A. Spínola, Rodrigo O. Hyrynsalmi, Sami MacDonell, Stephen G. Mendes, Thiago S. Buchan, Jim Leppänen, Ville Turku Centre for Computer Science Software Development Laboratory Turku Finland University of Turku Department of Information Technology Turku Finland University of Otago Department of Information Science Otago Dunedin New Zealand Salvador University Graduate Program in Systems and Computer Bahia Salvador Brazil Federal University of Bahia Fraunhofer Project Center for Software and System Engineering Salvador Brazil Tampere University of Technology Pori Campus Pori Finland Federal Institute of Bahia Information Technology Department Bahia Santo Amaro Brazil Auckland University of Technology School of Engineering Computer and Mathematical Sciences Auckland New Zealand

Context: Contemporary software development is typically conducted in dynamic, resource-scarce environments that are prone to the accumulation of technical debt. While this general phenomenon is acknowledged, what remains unknown is how technical debt specifically manifests in and affects software processes, and how the software development techniques employed accommodate or mitigate the presence of this debt. Objectives: We sought to draw on practitioner insights and experiences in order to classify the effects of agile method use on technical debt management, given the popularity and perceived success of agile methods. We explore the breadth of practitioners' knowledge about technical debt;how technical debt is manifested across the software process;and the perceived effects of common agile software development practices and processes on technical debt. In doing so, we address a research gap in technical debt knowledge and provide novel and actionable managerial recommendations. Method: We designed, tested and executed a multi-national survey questionnaire to address our objectives, receiving 184 responses from practitioners in Brazil, Finland, and New Zealand. Results: Our findings indicate that: 1) Practitioners are aware of technical debt, although, there was under utilization of the concept, 2) Technical debt commonly resides in legacy systems, however, concrete instances of technical debt are hard to conceptualize which makes it problematic to manage, 3) Queried agile practices and processes help to reduce technical debt;in particular, techniques that verify and maintain the structure and clarity of implemented artifacts (e.g., Coding standards and Refactoring) positively affect technical debt management. Conclusions: The fact that technical debt instances tend to have characteristics in common means that a systematic approach to its management is feasible. However, notwithstanding the positive effects of some agile practices on technical debt management, comp

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：