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

Composite risk modeling for automated threat mitigation in medical devices 4

Composite risk modeling for automated threat mitigation in m...

4th Modeling and Simulation in Medicine Symposium, MSM 2017, Part of the 2017 Spring Simulation Multi-Conference, SpringSim 2017

作者： Rao, Aakarsh Rozenblit, Jerzy Lysecky, Roman Sametinger, Johannes Dept. of Electrical and Computer Engineering University of Arizona TucsonAZ United States Dept. of Information Systems - Software Engineering Johannes Kepler University Linz Austria

ISBN: (纸本)9781510838253

Medical device security is a growing concern with increasing incorporation of complex software and hardware. Security threats exploiting vulnerabilities in medical devices may directly impact patient safety. Standardization and federal organizations are hence, actively involved in setting up new paradigms for guidance and regulation of security throughout the lifecycle. To protect medical devices against threats a risk-based framework that continually manages and assesses security risks along with their proactive addressing is highly recommended. In this paper, we model a multi-modal design approach for risk assessment in medical devices and propose an adaptive remediation scheme to mitigate security threats. Our multi-modal approach is integrated into the hardware-software development with a middleware for interaction between the modes. This provides an effective premarket risk management while the adaptive remediation scheme pro-actively mitigate risk during postmarket deployment. We model our approaches in detail and demonstrate them in a pacemaker design model and deployment scenario. ©2017 Society for Modeling & Simulation International (SCS).

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

Beyond Patches: Mining Interpretable Part-Prototypes for Explainable AI

arXiv

引用

arXiv 2025年

作者： Alehdaghi, Mahdi Bhattacharya, Rajarshi Shamsolmoali, Pourya Cruz, Rafael M.O. Heritier, Maguelonne Granger, Eric LIVIA ILLS Dept. of Systems Engineering École De Technologie Supérieure MontrealQC Canada Dept. of Computer Science University of York York United Kingdom Genetec Inc MontrealQC Canada

Deep learning has provided considerable advancements for multimedia systems, yet the interpretability of deep models remains a challenge. State-of-the-art post-hoc explainability methods, such as GradCAM, provide visual interpretation based on heatmaps but lack conceptual clarity. Prototype-based approaches, like ProtoPNet and PIPNet, offer a more structured explanation but rely on fixed patches, limiting their robustness and semantic consistency. To address these limitations, a part-prototypical concept mining network (PCMNet) is proposed that dynamically learns interpretable prototypes from meaningful regions. PCMNet clusters prototypes into concept groups, creating semantically grounded explanations without requiring additional annotations. Through a joint process of unsupervised part discovery and concept activation vector extraction, PCMNet effectively captures discriminative concepts and makes interpretable classification decisions. Our extensive experiments comparing PCMNet against state-of-the-art methods on multiple datasets show that it can provide a high level of interpretability, stability, and robustness under clean and occluded scenarios. © 2025, CC BY.

关键词： Interactive computer systems

来源：评论

学校读者我要写书评

暂无评论

A technique for using model checkers to teach formal specifications

A technique for using model checkers to teach formal specifi...

引用

21st Conference on software engineering Education and Training

作者： Salamah, Salamah Gates, Ann Q. Computer and Software Engineering Dept. Embry-Riddle Aeronautical University Computer Science Dept. University of Texas El Paso United States

ISBN: (纸本)9780769531441

The difficulty of writing, reading, and understanding formal specifications is one of the main obstacles in adopting formal verification techniques such as model checking and runtime verification. Introducing concepts in formal methods in an undergraduate program is essential for training a workforce that can develop and test high-assurance systems. This paper presents educational outcomes and outlines an instructive component that can be used in an undergraduate course to teach formal approaches and languages. The component uses a model checker and a specification tool to teach Linear Temporal Logic (LTL), a specification language that is widely used in a variety of verification tools. The paper also introduces a novel technique that analyzes LTL specifications by using the SPIN model checker to elucidate the behaviors accepted by the specifications.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Partially lexicalized parsing model utilizing rich features 8

Partially lexicalized parsing model utilizing rich features

引用

8th International Conference on Spoken Language Processing, ICSLP 2004

作者： Park, So-Young Kwak, Yong-Jae Lim, Joon-Ho Rim, Hae-Chang Kim, Soo-Hong Dept. of Computer Science Engineering Korea University Korea Republic of Dept. of Computer Software Engineering Sangmyung University Korea Republic of

In this paper, we propose a partially lexicalized parsing model utilizing rich features to improve the parsing ability and reduce the parsing cost. In order to disambiguate parse trees effectively, it employs several useful features such as a syntactic label feature, a content feature, a functional feature, and a size feature. Besides, it is partially lexicalized so as to reduce the parsing cost closely connected with lexical information. Moreover, it is designed to be suitable for representing word order variation and constituent ellipsis in Korean sentences. Experimental results show that the proposed parsing model using more features performs better although it less depends on lexical information.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

A model-driven framework for ETL process development

A model-driven framework for ETL process development

引用

14th ACM International Workshop on Data Warehousing and Online Analytical Processing, DOLAP'11

作者： El Akkaoui, Zineb Zimányi, Esteban Mazón, Jose-Norberto Trujillo, Juan Dept. of Computer and Decision Engineering Université Libre de Bruxelles Brussels Belgium Dept. of Software and Computing Systems University of Alicante Alicante Spain

ISBN: (纸本)9781450309639

ETL processes are the backbone component of a data warehouse, since they supply the data warehouse with the necessary integrated and reconciled data from heterogeneous and distributed data sources. However, the ETL process development, and particularly its design phase, is still perceived as a time-consuming task. This is mainly due to the fact that ETL processes are typically designed by considering a specific technology from the very beginning of the development process. Thus, it is difficult to share and reuse methodologies and best practices among projects implemented with different technologies. To the best of our knowledge, no attempt has been yet dedicated to harmonize the ETL process development by proposing a common and integrated development strategy. To overcome this drawback, in this paper, a framework for model-driven development of ETL processes is introduced. The benefit of our framework is twofold: (i) using vendor-independent models for a unified design of ETL processes, based on the expressive and well-known standard for modeling business processes, the Business Process Modeling Notation (BPMN), and (ii) automatically transforming these models into the required vendor-specific code to execute the ETL process into a concrete platform. © 2011 ACM.

关键词： Data warehouses

来源：评论

学校读者我要写书评

暂无评论

Three Levels of Agile Planning in a software Vendor Environment 32

Three Levels of Agile Planning in a Software Vendor Environm...

引用

32nd Australasian Conference on Information systems: Information systems for a Sustainable Future, Connectedness, and Social Good, ACIS 2021

作者： Lal, Ramesh Clear, Tony Dept. of Computer Science and Software Engineering Auckland University of Technology Auckland New Zealand Dept. of Computer Science and Software Engineering University of Technology Auckland New Zealand

There is a misconception that agile development requires minimal planning effort. In reality, an agile approach for market-driven software development requires highly disciplined, reliable, and accurate planning practices to swiftly plan and develop high-value innovations in a software vendor environment. This study investigated a highly successful international software vendor in Melbourne, Australia, to provide a case study on agile planning practices. Five planning practices were identified which underly successful agile software development for software vendors. These planning practices were driven by agile concepts such as adaptation, self-organizing, cross-functional collaboration, and empowerment/delegation. We constructed a conceptual framework for agile planning practices, the APP (Agile Planning Practices) Framework illustrating the three levels of agile planning. Copyright © 2021 authors.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Artificial Intelligence (AI) for Improving Performance at the Cutting Edge of Medical Imaging 5

Artificial Intelligence (AI) for Improving Performance at th...

引用

5th International IEEE Novel Intelligent and Leading Emerging Sciences Conference, NILES 2023

作者： Nour, Samar M. Faculty of Engineering Dept. Computer and Systems Engineering Cairo Egypt

ISBN: (纸本)9798350381030

Artificial intelligence (AI) has achieved great strides in recent years, with applications in a variety of areas of study, including healthcare. Consequently, the integration of artificial intelligence (AI) and medical imaging has ushered in a new era in healthcare diagnosis and therapy. Artificial intelligence (AI) has shown impressive potential in enhancing accuracy, efficiency, and diagnostic performance across a range of medical imaging modalities by using the power of deep learning (DL), machine learning (ML), and computer vision. In this paper, we are trying to investigate the connection between artificial intelligence (AI) and medical imaging, concentrating on how AI-driven strategies are improving performance at the cutting edge of medical imaging technologies through the proposed architecture model. Furthermore, the paper also explores the limitations and opportunities that result from incorporating artificial intelligence (AI) into the use of medical imaging. The potential for artificial intelligence (AI) to transform image-guided therapies and its implications for personalized medicine are investigated. © 2023 IEEE.

关键词： Medical imaging

来源：评论

学校读者我要写书评

暂无评论

An Intraoperative Glucose Control Benchmark for Formal Verification

引用

IFAC-PapersOnLine 2015年第27期48卷 211-217页

作者： Chen, Sanjian O'Kelly, Matthew Weimer, James Sokolsky, Oleg Lee, Insup Dept. of Computer and Information Science University of Pennsylvania Philadelphia United States Dept. of Electrical and Systems Engineering University of Pennsylvania Philadelphia United States

Diabetes associated complications are affecting an increasingly large population of hospitalized patients. Since glucose physiology is significantly impacted by patient-specific parameters, it is critical to verify that a clinical glucose control protocol is safe across a wide patient population. A safe protocol should not drive the glucose level into dangerous low (hypoglycemia) or high (hyperglycemia) ranges. Verification of glucose controllers is challenging due to the high-dimensional, non-linear glucose physiological models which contain both unobservable states and unmeasurable patient-specific parameters. This paper presents a hybrid system model of a closed-loop physiological system that includes an existing FDA-accepted high-fidelity physiological model tailored to intraoperative settings and a validated improvement to a clinical glucose control protocol for diabetic cardiac surgery patients. We propose the closed-loop model as a physiological system benchmark for verification and present our initial results on verifying the system using the SMT-based hybrid system verification tool dReach. © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Physiological models Cardiovascular surgery Closed loop control systems Controllers Formal verification Glucose Hybrid systems Medical applications Physiology Closed loop controllers Glucose control Glucose control protocols Hybrid system models Patient specific parameters Physiological systems Safety analysis System verifications

来源：评论

学校读者我要写书评

暂无评论

GridBank: A Grid Accounting Services Architecture (GASA) for distributed systems sharing and integration

GridBank: A Grid Accounting Services Architecture (GASA) for...

引用

International Parallel and Distributed Processing Symposium, IPDPS 2003

作者： Barmouta, Alexander Buyya, Rajkumar Dept. of Computer Science and Software Engineering University of Western Australia NedlandsWA6009 Australia Lab Dept. of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)0769519261

Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of resources distributed across multiple administrative domains, organizations and enterprises. To accomplish this, Grids need infrastructure that supports various services: security, uniform access, resource management, scheduling, application composition, computational economy, and accounting. Although several initiatives are engaged in the development of Grid technologies, Grid accounting issues are yet to be addressed. To overcome this limitation, we propose a new infrastructure called GridBank that provides services for accounting. The support of computational economy and accounting services can lead to a self-regulated accountability in Grid computing. This paper presents requirements of Grid accounting and different economic models within which it can operate and proposes a Grid Accounting Services Architecture to meet them. The paper highlights implementation issues with a detailed discussion on the format for various records/databases that the GridBank needs to maintain. It also presents protocols for interaction between the GridBank and various components within Grid computing environments. © 2003 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Decoding of EEG activity from object views: Active detection vs. passive visual tasks

Decoding of EEG activity from object views: Active detection...

引用

2012 International Conference on Brain Informatics, BI 2012

作者： Sasane, Sudhir Schwabe, Lars Universität Rostock Dept. of Computer Science and Electrical Engineering Adaptive and Regenerative Software Systems 18051 Rostock Germany

ISBN: (纸本)9783642351389

Brain-computing interfaces (BCIs), which sense brain activity via electroencephalography (EEG), have principled limitations as they measure only the collective activity of many neurons. As a consequence, EEG-based BCIs need to employ carefully designed paradigms to circumvent these limitations. We were motivated by recent findings from the decoding of visual perception from functional magnetic resonance imaging (fMRI) to test if visual stimuli could also be decoded from EEG activity. We designed an experimental study, where subjects visually inspected computer-generated views of objects in two tasks: an active detection task and a passive viewing task. The first task triggers a robust P300 EEG response, which we use for single trial decoding as well as a "yardstick" for the decoding of visually evoked responses. We find that decoding in the detection task works reliable (approx. 72%), given that it is performed on single trials. We also find, however, that visually evoked responses in the passive task can be decoded clearly above chance level (approx. 60%). Our results suggest new directions for improving EEG-based BCIs, which rely on visual stimulation, such as as P300- or SSVEP-based BCIs, by carefully designing the visual stimuli and exploiting the contribution of decoding responses in the visual system as compared to relying only on, for example, P300 responses. © 2012 Springer-Verlag.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：