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

Strategic Planning and Knowledge Management Approaches as input to remote area strategic plans: A Case study in Aru Islands Regency Maluku Province 8

Strategic Planning and Knowledge Management Approaches as in...

引用

8th International Conference on ICT for Smart Society, ICISS 2021

作者： Irena Gutandjala, Ilona Harso Supangkat, Suhono Lumban Gaol, Ford Rianti, Benny Bina Nusantara University BINUS Graduate Program-Computer Science Computer Science Department Jakarta11480 Indonesia Bandung Institute of Technology Smart City and Community Innovation Center School of Electrical and Informatics Engineering Bandung Indonesia Information Systems Department BINUS Online Learning Bina Nusantara University Jakarta11480 Indonesia

ISBN: (纸本)9781665416979

Knowledge is an important asset in an organization. Aru Islands District is one of the districts in Maluku Province. The Government of Aru Islands District Maluku has a vision and mission as outlined in the Regional Strategic Plan or commonly referred to as RENSTRA. This vision and mission are an activity that requires a policy direction that is planned and integrated with the strategic environment of all related aspects. The strategic plan is then realized with the implementation of the government with regional autonomy which is the modern governance in realizing quality public services, fast, easy, fair and unlimited for the welfare and progress of the region. In this research will be used a strategic approach as input from the analysis with knowledge management and assessment of the condition of Aru district. © 2021 IEEE.

关键词： Strategic planning

来源：评论

学校读者我要写书评

暂无评论

Analysis of variance of graph-clique mining for scalable proof of work 14th

Analysis of variance of graph-clique mining for scalable pro...

引用

14th International Conference on Information Security and Cryptology, Inscrypt 2018

作者： Anada, Hiroaki Matsushima, Tomohiro Su, Chunhua Meng, Weizhi Kawamoto, Junpei Bag, Samiran Sakurai, Kouichi Department of Information Security University of Nagasaki Nagasaki Japan Department of Informatics Graduate School and Faculty of Information Science and Electrical Engineering Kyushu University Fukuoka Japan Division of Computer Science University of Aizu Aizuwakamatsu Japan Department of Applied Mathematics and Computer Science Technical University of Denmark Kongens Lyngby Denmark School of Computing Science Newcastle University Newcastle upon Tyne United Kingdom

ISBN: (纸本)9783030142339

Recently, Bitcoin is becoming one of the most popular decentralized cryptographic currency technologies, and Bitcoin mining is a process of adding transaction records to Bitcoin’s public ledger of past transactions or blockchain. To obtain a bitcoin, the mining process involves compiling recent transactions into blocks and trying to solve a computationally difficult puzzle, e.g., proof of work puzzle. A proof of work allows miners the ability to quantify how much work a given proof contains. Basically, the required time for mining is decided in advance, but problems will occur if the value is large for dispersion. In this paper, we first accept that the required time between consecutive blocks follows the exponential distribution. That is, the variance is stable as long as the expected time is fixed. Then, we focus on the graph clique mining technique proposed by the literature, like Tromp (BITCOIN 2015) and Bag-Ruj-Sakurai (Inscrypt 2015), which is based on a computational difficulty problem of searching cliques of undirected graphs, where a clique is a subset of vertices. In particular, when the clique size is two, graph clique mining can be used to gain Bitcoins. The previous work also claimed that if the clique size is parameterized and increased, even if the expected time is fixed, the variance would not be stable. However, no qualitative or quantitative results were given to support their claim. Motivated by this issue, in this work, we propose a simple search algorithm for graph cliques mining, and perform a small scale evaluation on Bitcoin and Graph cliques’s solo mining to investigate the variance issue. © 2019, Springer Nature Switzerland AG.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Using equivalence classes for testing programs for safety instrumented systems

Using equivalence classes for testing programs for safety in...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Kézia de Vasconcelos Oliveira Angelo Perkusich Kyller Costa Gorgônio Leandro Dias da Silva Aldenor Falcão Martins Center of Electrical Engineering and Informatics Federal University of Campina Grande Campina Grande Paraiba Brazil Computing Institute Federal University of Alagoas Maceio Alagoas Brazil Graduate Program in Electrical Engineering Federal University of Campina Grande Campina Grande Paraiba Brazil

The reliability on Safety Instrumented Systems (SIS) is critical for the safe operation of many industrial applications. In particular, SIS play an important role in oil and gas processing plants. SIS are responsible not only for the continuous operation of the plant, it also keeps the plant in a safe state, avoiding damages to the environment and minimizing risks to employees. Therefore, the correct behavior of such systems is an important goal to achieve when building industrial plants. Verification and testing of SIS programs is a very hard task to accomplish. This happens mainly for two reasons. First, testing the real system is very expensive and sometimes it may take a huge amount of time, weeks or even months. Second, those systems deal with a huge number of variables. It is not always possible for a human tester to check if all of them are correct when performing tests. Providing an automatic and formal testing approach for such systems is an important contribution for the development of such systems. In this work we introduce a new method for generating test cases for SIS programs running on programable Logic Controller (PLC). As we did on previous work, ISA 5.2 diagrams are used as specification of the systems, but now we are using a hardware-in-the-loop technique, and the target artifact is a software running on a PLC. To avoid the execution of redundant tests, we introduced a new test case generation algorithm that is based on equivalence classes. Finally, we discussed a study case in which our method is used to detect error, that were introduced on purpose, on a simple system.

关键词： Automata Testing Safety Valves Input variables Computational modeling Instruments

来源：评论

学校读者我要写书评

暂无评论

Multi-task Learning Graph Neural Networks for Cancer Prognosis Prediction with Genomic Data

Multi-task Learning Graph Neural Networks for Cancer Prognos...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： Tsung-Wei Lin Sofia Ormazabal Arriagada Che Lin Graduate Institute of Communication Engineering National Taiwan University (NTU) Taiwan International Graduate Program AIoT NTU Research Center for Information Technology Innovation Academia Sinica Department of Electrical Engineering NTU Center for Advanced Computing and Imaging in Biomedicine NTU Smart Medicine and Health Informatics Program NTU

ISBN: (数字)9798350371499

ISBN: (纸本)9798350371505

Providing robust prognosis predictions for cancers with limited data samples remains a challenge for precision oncology. In this study, we propose a novel approach that combines multi-task learning (MTL) and graph neural networks (GNNs) to address this issue. By representing gene-gene interactions as a graph network, our approach leverages multi-task learning to effectively capture the relationships of genes relevant to the oncogenesis and progression of breast, lung, and colon cancer. We demonstrate that our approach improves the cancer prognosis prediction for cancers with fewer samples, such as colon adenocarcinoma, by leveraging the shared gene-gene interactions across different cancer types, obtaining increases in the area under the precision-recall curve (AUPRC) of 24%. Our work contributes to the field of smart healthcare by demonstrating the potential of MTL and GNNs for enhancing cancer prognosis prediction, even with limited data samples.

关键词： Lungs Genomics Medical services Colorectal cancer Breast Multitasking Oncology Graph neural networks Prognostics and health management Cancer

来源：评论

学校读者我要写书评

暂无评论

Goal-oriented inference of environment from redundant observations

arXiv

引用

arXiv 2023年

作者： Takahashi, Kazuki Fukai, Tomoki Sakai, Yutaka Takekawa, Takashi Informatics Program Graduate School of Engineering Kogakuin University of Technology and Engineering Japan Neural Coding and Brain Computing Unit Okinawa Institute of Science and Technology Japan Brain Science Institute Tamagawa University Japan

The agent learns to organize decision behavior to achieve a behavioral goal, such as reward maximization, and reinforcement learning is often used for this optimization. Learning an optimal behavioral strategy is difficult under the uncertainty that events necessary for learning are only partially observable, called as Partially Observable Markov Decision Process (POMDP). However, the real-world environment also gives many events irrelevant to reward delivery and an optimal behavioral strategy. The conventional methods in POMDP, which attempt to infer transition rules among the entire observations, including irrelevant states, are ineffective in such an environment. Supposing Redundantly Observable Markov Decision Process (ROMDP), here we propose a method for goal-oriented reinforcement learning to efficiently learn state transition rules among reward-related"core states" from redundant observations. Starting with a small number of initial core states, our model gradually adds new core states to the transition diagram until it achieves an optimal behavioral strategy consistent with the Bellman equation. We demonstrate that the resultant inference model outperforms the conventional method for POMDP. We emphasize that our model only containing the core states has high explainability. Furthermore, the proposed method suits online learning as it suppresses memory consumption and improves learning speed. Copyright © 2023, The Authors. All rights reserved.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Development of Buffer Zone into Living Lab-Garuda Smart City Framework: Systematic Review 10

Development of Buffer Zone into Living Lab-Garuda Smart City...

引用

10th International Conference on ICT for Smart Society, ICISS 2023

作者： Emmanuel, Gunadi Supangkat, Suhono Harso Gaol, Ford Lumban Ranti, Benny Bina Nusantara University Doctor of Computer Science Jakarta Indonesia Univ. Katolik Musi Charitas Fakultas Sains Dan Teknologi Palembang Indonesia School of Electrical Engineering and Informatics Institut Teknologi Bandung Bandung Indonesia Bina Nusantara University Binus Graduate Program-Doctor of Computer Science Computer Science Department Jakarta Indonesia

ISBN: (纸本)9798350339543

The phenomenon of urbanization in Indonesia is inevitable. The new residential and economic centers in suburban areas is also a problem in city development. The gradual planning and development of smart cities in a living lab require consideration of the right location for a living lab. This study wants to show that suburban areas as city buffer zones can become living laboratories for smart city development. The diversity of situations in cities and regencies across Indonesia, the potential for resources, and the problems faced are the challenges of developing a living lab-Garuda Smart City Framework. This research uses the method of reviewing the literature of research publications for the last five years (2019-2023) to obtain information on Smart City development in Indonesia. We collected selected articles from databases in Google Scholar, IEEE, and Scopus using the Publish and Perish 8. The search keywords used were garuda AND Smart city AND Framework. The findings show the potential and dynamics of buffer zones to become appropriate living laboratories. Smart city regional planning can more holistically involve neighborhoods and address urban issues. © 2023 IEEE.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

A Unified Framework for Human Centered Design of a Substance Use, Abuse, and Recovery Support System

A Unified Framework for Human Centered Design of a Substance...

引用

AHFE Virtual Conference on Human Factors and Ergonomics in Healthcare and Medical Devices, and the International Conference on Human Factors in Aging and Special Needs, 2020

作者： schooley, Benjamin Feldman, Sue Tipper, Bradley Health Information Technology Program College of Engineering and Computing University of South Carolina 550 Assembly Street ColumbiaSC29208 United States Graduate Programs in Health Informatics Department of Health Services Administration School of Health Professions University of Alabama - Birmingham 1716 9th Ave South SHPB #590K BirminghamAL35294 United States

ISBN: (纸本)9783030508371

This research explores the analysis, design, and testing of a software application to support opioid peer specialists working to assist substance users, abusers, those in recovery, and their families. The paper presents a framework integrating best practice approaches from Design Science Research, Community Based Participatory Research, and human centered and user experience design principles for the purpose of: 1) guiding community based, goal-directed software design, and 2) building and evaluating a substance use, abuse, and recovery software application. Focus group findings from 33 participants suggest that using the framework enables alignment between human centered system requirements;personal, family, and community-based program goal achievement;and local/state population health directives. End user feedback indicates that the software application design addresses specific human interaction needs for the complex high-stakes context of opioid use, abuse, and recovery. © 2020, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

How Good is ChatGPT in Giving Adaptive Guidance Using Knowledge Graphs in E-Learning Environments?

arXiv

引用

arXiv 2024年

作者： Ocheja, Patrick Flanagan, Brendan Dai, Yiling Ogata, Hiroaki University of Nigeria Nsukka Nigeria Graduate School of Information Science and Electrical Engineering Kyushu University Japan Academic Center for Computing and Media Studies Kyoto University Japan Learning and Educational Technologies Research Unit Academic Center for Computing and Media Studies Graduate School of Informatics at Kyoto University Japan

E-learning environments are increasingly harnessing large language models (LLMs) like GPT-3.5 and GPT-4 for tailored educational support. This study introduces an approach that integrates dynamic knowledge graphs with LLMs to offer nuanced student assistance. By evaluating past and ongoing student interactions, the system identifies and appends the most salient learning context to prompts directed at the LLM. Central to this method is the knowledge graph's role in assessing a student's comprehension of topic prerequisites. Depending on the categorized understanding (good, average, or poor), the LLM adjusts its guidance, offering advanced assistance, foundational reviews, or in-depth prerequisite explanations, respectively. Preliminary findings suggest students could benefit from this tiered support, achieving enhanced comprehension and improved task outcomes. However, several issues related to potential errors arising from LLMs were identified, which can potentially mislead students. This highlights the need for human intervention to mitigate these risks. This research aims to advance AI-driven personalized learning while acknowledging the limitations and potential pitfalls, thus guiding future research in technology and data-driven education. © 2024, CC BY.

关键词： Knowledge graph

来源：评论

学校读者我要写书评

暂无评论

Improvement of convergence characteristic in nonlinear transient eddy-current analyses using the error correction of time integration based on the time-periodic FEM and the EEC method

引用

IEEJ Transactions on Power and Energy 2009年第6期129卷 7+791-798页

作者： Takahashi, Yasuhito Tokumasu, Tadashi Fujita, Masafumi Wakao, Shinji Iwashita, Takeshi Kanazawa, Masanori Graduate School of Informatics Kyoto University Yoshida-Honmachi Sakyo-ku Kyoto 606-8501 Japan Toshiba Corporation Power Systems Company 2-4 Suehiro-cho Tsurumi-ku Yokohama 230-0045 Japan Dept. of Electrical Engineering and Bioscience Waseda University 3-4-1 Ohkubo Shinjuku-ku Tokyo 169-8555 Japan Academic Center for Computing Media Studies Kyoto University Yoshida-Honmachi Sakyo-ku Kyoto 606-8501 Japan

This paper proposes novel techniques for the improvement of the convergence characteristic of step-by-step time integrations in nonlinear transient eddy-current analyses. The proposed methods, which are based on the time-periodic finite-element method and the explicit error correction method, can extract poorly-converged error components corresponding to large time constants of an analyzed system. The correction of the extracted error components accelerates the convergence of transient calculation efficiently. Furthermore, we extend the performance of the proposed methods in nonlinear problems. Some numerical results that verify the effectiveness of the proposed methods are also presented. © 2009 The Institute of electrical Engineers of Japan.

关键词： Nonlinear analysis

来源：评论

学校读者我要写书评

暂无评论

Dynamic timeout power policy for network interfaces

Dynamic timeout power policy for network interfaces

引用

IEEE International Conference on Consumer Electronics - Berlin (ICCE-Berlin)

作者： Bruna M. J. C. Vilar Fabiano De M Silva Saulo O. D. Luiz J. J. Silva Hyggo Almeida Angelo Perkusich Post-Graduate Program in Electrical Engineering - PPgEE COPELE Embedded Systems and Pervasive Computing Laboratory Universidade Federal de Campina Grande Campina Grande PB BR Center of Electrical Engineering and Informatics Federal University of Campina Grande Campina Grande Brazil Embedded Systems and Pervasive Computing Laboratory Federal University of Campina Grande

Network interfaces are present in a variety of battery powered computer systems, such as notebooks, ultrabooks, tablets and mobile phones. Considering that the battery life is still a constraint, there are opportunities for power management by reducing the power consumption of idle network interfaces. In this work, a dynamic timeout power policy for network interfaces is presented, incorporating workload estimation and a problem optimization at runtime, thus providing power savings and suitable performance.

关键词： Heuristic algorithms Network interfaces Power demand Optimization Mobile handsets Internet Stochastic processes

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：