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

11th international conference on Health Information Science, HIS 2022

ISBN: (纸本)9783031206269

the proceedings contain 29 papers. the special focus in this conference is on Health Information Science. the topics include: Learning Optimal Treatment Strategies for Sepsis Using Offline Reinforcement Learning in Continuous Space;MHDML: construction of a Medical Lakehouse for Multi-source Heterogeneous Data;a Hybrid Medical Causal Inference Platform Based on Data Lake;data Exploration Optimization for Medical Big Data;improving Data Analytic Performance in Health Information System with Big Data Technology;holoCleanX: A Multi-source Heterogeneous Data Cleaning Solution Based on Lakehouse;the construction and Validation of an Automatic Crisis Balance analysis Model;Assessing the Utilisation of TELedentistry from Perspectives of Early Career Dental Practitioners - Development of the UTEL Questionnaire;genetic Algorithm for Patient Assignment Optimization in Cloud Healthcare System;detection of Obsessive-Compulsive Disorder in Australian Children and Adolescents Using Machine Learning Methods;research on the construction of Psychological Crisis Intervention Strategy Service System;towards a Perspective to Analyze Emergent systems in Health Domain;food Recommendation for Mental Health by Using Knowledge Graph Approach;medical Knowledge Graph construction Based on Traceable Conversion;automated Knowledge Graph construction for Healthcare Domain;Alcoholic EEG Data Classification Using Weighted Graph-Based Technique;Optical Coherence Tomography Classification Based on Transfer Learning and RA-Attention;intelligent Interpretation and Classification of Multivariate Medical Time Series Based on Convolutional Neural Networks;ECG Signals Classification Model Based on Frequency Domain Features Coupled with Least Square Support Vector Machine (LS-SVM);cluster analysis of Low-Dimensional Medical Concept Representations from Electronic Health Records;an Anomaly Detection Framework Based on Data Lake for Medical Multivariate Time Series;anomaly Detection on Health Data;an Intellig

关键词：

来源：评论

学校读者我要写书评

暂无评论

Smart Power systems for Smart Cities: Architectural Development and Economic Performance Assessment 11

Smart Power Systems for Smart Cities: Architectural Developm...

引用

11th IEEE Region 10 Humanitarian Technology conference, R10-HTC 2023

作者： Kabir, Shaharier Hoque, Md. Jawad-Al-Mursalin Adnan, Md Asif Shufian, Abu Rashid Mahin, Md Saidur Aman, Aman Ullah Raasetti, Muniroopesh American International University- Bangladesh Dept. of EEE Dhaka Bangladesh Military Institute of Science and Technology Dept. of EECE Dhaka Bangladesh Lamar University Dept. of EE Texas United States University of Bremen Dept. of CMM Bremen Germany

ISBN: (纸本)9798350326147

As the global community increasingly recognizes the importance of transitioning towards sustainable and environmentally conscious energy solutions, the quest for efficient and reliable on-grid systems becomes ever more important. To address this pressing need, this research delves into the investigation of a solar PV /hydrogen fuel-based power system, specifically designed for a smart city, to meet the energy demands of self-sustaining off-grid communities. the proposed solar PV /green hydrogen fuel-based power system stands as a promising solution, utilizing cutting-edge technologies to harness the energy potential of solar PV arrays and efficient green hydrogen fuel cells. through the analysis of key factors like energy generation capacity, system efficiency, and economic viability, we aim to uncover the practicality of its implementation in optimization tools. the findings highlight the system's reliability and sustainability, showcasing its capability to reduce greenhouse gas emissions and contribute to environmental preservation. And promising results present the innovative approach to meeting the energy needs of environmentally 'Smart Cities'. By integrating clean and renewable energy sources, this system paves the way towards achieving energy sustainability and nurturing a greener and more resilient future for on-grid independent communities. © 2023 IEEE.

关键词： Fuel cells

来源：评论

学校读者我要写书评

暂无评论

An analysis on the Use of Blockchain by Developers and Application Users 22

An Analysis on the Use of Blockchain by Developers and Appli...

引用

11th Euro-American conference on Telematics and Information systems, EATIS 2022

作者： Coutinho, Emanuel Ferreira Neto, Mauricio Moreira Abreu, Antonio Welligton Moreira, Leonardo O. Federal University of Ceara Quixadá Brazil Federal University of Ceara Fortaleza Brazil

ISBN: (纸本)9781450397391

Blockchain is an emerging technology that is being studied more and more in academia and applied in industry. Some of these characteristics are immutability, traceability, and security. Several areas can be benefiting from Blockchain, such as health, transport, and agriculture. With its diffusion, it is natural that the application development areas start to use it, involving different types of professionals. this paper aims to provide an overview of blockchain technology users' profiles and opinions, whether developers or application users. To meet this objective, an online questionnaire with demographic, technical and open questions was designed. Regarding to open questions, a qualitative analysis was performed, through Grounded theory. We identified as the main conclusions from our work: (i) security is a feature very well seen by users, (ii) there are difficulties in blockchain learning, and (iii) there are many tools for blockchain development, however, support is needed. © 2022 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Optimization of Long-run Average and Total Rewards 1

引用

27th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Quatmann, Tim Katoen, Joost-Pieter Rhein Westfal TH Aachen Aachen Germany

ISBN: (数字)9783030720162

ISBN: (纸本)9783030720155;9783030720162

this paper presents an efficient procedure for multi-objective model checking of long-run average reward (aka: mean pay-off) and total reward objectives as well as their combination. We consider this for Markov automata, a compositional model that captures both traditional Markov decision processes (MDPs) as well as a continuous-time variant thereof. the crux of our procedure is a generalization of Forejt et al.'s approach for total rewards on MDPs to arbitrary combinations of long-run and total reward objectives on Markov automata. Experiments with a prototypical implementation on top of the Storm model checker show encouraging results for both model types and indicate a substantial improved performance over existing multi-objective long-run MDP model checking based on linear programming.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Directed Reachability for Infinite-State systems 27th

Directed Reachability for Infinite-State Systems

引用

27th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Blondin, Michael Haase, Christoph Offtermatt, Philip Univ Sherbrooke Sherbrooke PQ Canada Univ Oxford Oxford England Max Planck Inst Software Syst Saarbrucken Germany UCL Dept Comp Sci London England

ISBN: (纸本)9783030720124;9783030720131

Numerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary time, which raises questions about the practical applicability of Petri nets as target models. In this paper, we introduce a novel approach for efficiently semi-deciding the reachability problem for Petri nets in practice. Our key insight is that computationally lightweight over-approximations of Petri nets can be used as distance oracles in classical graph exploration algorithms such as A* and greedy best-first search. We provide and evaluate a prototype implementation of our approach that outperforms existing state-of-the-art tools, sometimes by orders of magnitude, and which is also competitive with domain-specific tools on benchmarks coming from program synthesis and concurrent program analysis.

关键词： Petri nets reachability shortest paths model checking

来源：评论

学校读者我要写书评

暂无评论

tools for the construction and analysis of systems A special issue for TACAS 2018

引用

international JOURNAL ON SOFTWARE tools FOR TECHNOLOGY TRANSFER 2020年第6期22卷 685-687页

作者： Beyer, Dirk Huisman, Marieke Ludwig Maximilians Univ Munchen Oettingenstr 67 D-80538 Munich Germany Univ Twente POB 217 NL-7500 AE Enschede Netherlands

In order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. this special issue of Software tools for Technology Transfer presents various tool-supported techniques that can help with the construction and analysis of such reliable software and systems. the papers in this special issue are extended versions of selected conference papers from the proceedings of the 24th international conference on tools and algorithms for the construction and analysis of systems (TACAS 2018).

关键词： Safety analysis Quantitative analysis Deductive verification Statistical model checking Runtime analysis Refinement Reactive system Cyber-physical system Weak-memory model Hyperproperty

来源：评论

学校读者我要写书评

暂无评论

RADDLE: An Evaluation Benchmark and analysis Platform for Robust Task-oriented Dialog systems 59

RADDLE: An Evaluation Benchmark and Analysis Platform for Ro...

引用

Joint conference of 59th Annual Meeting of the Association-for-Computational-Linguistics (ACL) / 11th international Joint conference on Natural Language Processing (IJCNLP) / 6th Workshop on Representation Learning for NLP (RepL4NLP)

作者： Peng, Baolin Li, Chunyuan Zhang, Zhu Zhu, Chenguang Li, Jinchao Gao, Jianfeng Microsoft Res Redmond WA 98052 USA Iowa State Univ Ames IA USA

ISBN: (纸本)9781954085527

For task-oriented dialog systems to be maximally useful, it must be able to process conversations in a way that is (1) generalizable with a small number of training examples for new task domains, and (2) robust to user input in various styles, modalities, or domains. In pursuit of these goals, we introduce the RADDLE(1) benchmark 2, a collection of corpora and tools for evaluating the performance of models across a diverse set of domains. By including tasks with limited training data, RADDLE is designed to favor and encourage models with a strong generalization ability. RADDLE also includes a diagnostic checklist that facilitates detailed robustness analysis in aspects such as language variations, speech errors, unseen entities, and out-of-domain utterances. We evaluate recent state-of-the-art systems based on pre-training and fine-tuning, and find that grounded pre-training on heterogeneous dialog corpora performs better than training a separate model per domain. Adversarial training is also proposed to improve model robustness against noisy inputs. Overall, existing models are less than satisfactory in robustness evaluation, which suggests opportunities for future improvement.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

CPALockator: thread-Modular analysis with Projections (Competition Contribution) 27th

CPALockator: Thread-Modular Analysis with Projections (Compe...

引用

27th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Andrianov, Pavel Mutilin, Vadim Khoroshilov, Alexey RAS Ivannikov Inst Syst Programming Moscow Russia Lomonosov Moscow State Univ Moscow Russia Moscow Inst Phys & Technol Moscow Russia Higher Sch Econ Moscow Russia

ISBN: (纸本)9783030720124;9783030720131

Our submission to SV-COMP'21 is based on the software verification framework CPAchecker and implements the extension to the thread-modular approach. It considers every thread separately, but in a special environment which models thread interactions. the environment is expressed by projections of normal transitions in each thread. A projection contains a description of possible effects over shared data and synchronization primitives, as well as conditions of its application. Adjusting the precision of the projections, one can find a balance between the speed and the precision of the whole analysis. Implementation on the top of the CPAchecker framework allows combining our approach with existing algorithms and analyses. Evaluation on the sv-benchmarks confirms the scalability and soundness of the approach.

关键词： Multithreading Projection thread-modular approach

来源：评论

学校读者我要写书评

暂无评论

Quiz tools in algorithms Courses: Applying Educational Gamification Design Principles and Encouraging Students' Interaction 8th

Quiz Tools in Algorithms Courses: Applying Educational Gamif...

引用

8th international conference on Learning and Collaboration Technologies (LCT)

作者： Brezolin, Carmen Scorsatto de Quadros, Larissa Silveira, Milene Selbach Inst Fed Riograndense Campus Passo Fundo Passo Fundo RS Brazil Pontificia Univ Catolica Rio Grande do Sul Porto Alegre RS Brazil

ISBN: (纸本)9783030779429;9783030779436

One of the main obstacles faced by students initiating their academic life in the courses of the computing field is the difficulty to comprehend the concepts related to the construction of algorithms. To promote interaction of students with these concepts, their peers and with the teacher, one of the methodological resources used is gamification. To investigate the potential use of this resource, specifically in relation to quiz tools and their contributions to the teaching and learning process in this scenario, the following methodological steps were taken: (a) analysis of gamified quiz tools in relation to principles of educational gamification design;(b) selection of one of the analyzed tools;(c) use of the selected tool in class;and (d) discussion about its potential and questions related to the design of this kind of tool for use in this context. For the analysis of the potential use of gamification and the chosen tool, a practice of exploratory nature was made, in a classroom environment with a total of 31 students, in the first semester of a course of Computer Science. Highlighting only the question of potential use in the scenario in question, gamification motivated the class and constituted challenges for both the professor and the students, insofar as establishing flexibility, creativity and partnership among professor and students.

关键词： Gamification Gamified tool construction of algorithms

来源：评论

学校读者我要写书评

暂无评论

An Integrated Transmission and Distribution Grid Model for the Cybersecurity analysis of an EV Ecosystem

An Integrated Transmission and Distribution Grid Model for t...

引用

international Smart Grid Workshop and Certificate Program (ISGWCP)

作者： Danial Jafarigiv Rawad Zgheib Minh Au Ribal Atallah Marthe Kassouf System Resilience R&D Department Hydro-Québec Research Institute Varennes Canada

this paper presents a virtualization environment that is composed of a transmission network simulator, a distribution network simulator, and an Electric Vehicles (EV) ecosystem emulator. the coupling and synchronization of these three components are ensured so that the environment can simulate different applications in a context of an energy transition of the grid characterized by transportation electrification. the performance of this environment will be evaluated through some tests that highlight its advantages and show its importance in improving the grid modeling. Potential applications of our virtualisation tools include the simulation and study of cyberattacks that impact the transmission and/or the distribution systems through compromising, for instance, the operations of the EV charging infrastructure, third party systems in the EV ecosystem, or other power grid components.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：