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

International Conference on Electrical and Electronics Engineering

作者： Esra Mahsereci Karabulut Turgay Ibrikci Gaziantep University Computer Programming Department 27310 Sahinbey Gaziantep Turkey Cukurova University Electrical-Electronics Engineering Department 01330 Balcah Adana Turkey

ISBN: (纸本)9781467379120

Emphysema is a chronic lung disease that causes breathlessness. HRCT is the reliable way of visual demonstration of emphysema in patients. The fact that dangerous and widespread nature of the disease require immediate attention of a doctor with a good degree of specialized anatomical knowledge. This necessitates the development of computer-based automatic identification system. This study aims to investigate the deep learning solution for discriminating emphysema subtypes by using raw pixels of input HRCT images of lung. Convolutional Neural Network (CNN) is used as the deep learning method for experiments carried out in the Caffe deep learning framework. As a result, promising percentage of accuracy is obtained besides low processing time.

关键词： HRCT CNN Emphysema

来源：评论

学校读者我要写书评

暂无评论

Design of a multifunctional universal mask for patients

Design of a multifunctional universal mask for patients

引用

Middle East Conference on Biomedical Engineering (MECBME)

作者： Roy Abi Zeid Daou Rami Daccache Gerges Andary Ali Hayek Josef Börcsök Faculty of Public Health Lebanese German University Jounieh Lebanon Department of Computer Architecture and System Programming University of Kassel Kassel German

This paper aims to present a universal mask that enables all adult patients to use it. This mask has a universal size and head gear. It has many options; from among we list the embedded SpO2 and EEG electrode connections. This mask enables also the input of oxygen, nebulizer, air CPAP and medication. A mechanical switch is used to select between air CPAP and nebulizer.

关键词： Electroencephalography Switches Electrodes Standards Head Gears

来源：评论

学校读者我要写书评

暂无评论

Model-based Generation of Attack-Fault Trees

arXiv

引用

arXiv 2023年

作者： Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to model and model-check a holistic view on both safety and security. Manually creating a complete AFT for the whole system is, however, a daunting task. It needs to span multiple abstraction layers, e.g., abstract application architecture and data flow as well as system and library dependencies that are affected by various vulnerabilities. We present an AFT generation tool-chain that facilitates this task using partial Fault and Attack Trees that are either manually created or mined from vulnerability databases. We semi-automatically create two system models that provide the necessary information to automatically combine these partial Fault and Attack Trees into complete AFTs using graph transformation rules. © 2023, CC BY-NC-ND.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+})$ , into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive “failuresy” through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding $\text { TLA }^{+}$ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in $\text { TLA }^{+}$ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudi

关键词： computer science Open Access Model checking System recovery Software Safety Logic Reliability Proposals Software engineering

来源：评论

学校读者我要写书评

暂无评论

Calculation of Signal Information Delay in Intelligent Communication Networks 3

Calculation of Signal Information Delay in Intelligent Commu...

引用

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Kuchuk, Nina Mozhaiev, Mykhailo Kalinin, Yevhen Davydov, Viacheslav Mozhaev, Oleksandr Kuchuk, Heorhii National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Computer Technology and Telecommunications Researches Sector National Scientific Center «hon. Prof Bokarius Forensic Science Institute» Kharkiv Ukraine National University of Life and Environmental Sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine Kharkiv National University of Internal Affairs Department of Cyber Security and Data Technologies Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

An analysis of the signaling systems used in the Intelligent Communication Network has been carried out. The main probabilistic characteristics of signal information delay are determined. A method for calculating these characteristics for such error correction methods is proposed: basic error control method and preventive cyclical control method. The analysis of the delay of signal units from loading the signal network is carried out. Simple formulas are proposed for approximating the load applied to the signaling link. © 2022 IEEE.

关键词： Error correction

来源：评论

学校读者我要写书评

暂无评论

Leveraging Applications of Formal Methods, Verification, and Validation 1

引用

丛书名： Communications in computer and Information Science

1000年

作者： Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen

ISBN: (数字)9783642347818

ISBN: (纸本)9783642347801

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

关键词： Artificial Intelligence Data Mining and Knowledge Discovery Software Engineering Computation by Abstract Devices Information Storage and Retrieval Pattern Recognition

来源：评论

学校读者我要写书评

暂无评论

Classified emotion as implicit recommendation system feedback

Classified emotion as implicit recommendation system feedbac...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Andrii Kuliahin Heorhii Kuchuk Department of Computer Systems Networks and Cybersecurity National Aerospace University “Kharkiv Aviation Institute” Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine

the paper proposes the use of 3D convolutional neural network for recognizing user emotions on videos in a recommender system. The data approach aims to use the recognized emotion as important implicit feedback and improve the recommendation result. This is expected to significantly improve the performance of the recommender system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Dunkl-gamma type operators including appell polynomials

arXiv

引用

arXiv 2019年

作者： Taşdelen, Fatma Söylemez, Dilek Aktaş, Rabia Ankara University Faculty of Science Department of Mathematics Tandoǧan Ankara06100 Turkey Ankara University Department of Computer Programming Elmadag Vocational School Ankara Turkey

The aim of the present paper is to introduce Dunkl-Gamma type operators in terms of Appell polynomials and to investigate approximating properties of these *** 41A25, 41A36, Secondary 33C45 Copyright © 2019, The ... 详细信息

关键词： Polynomials

来源：评论

学校读者我要写书评

暂无评论

Promoter recognition with machine learning algorithms keREM, RULSE-3 and ANN

Promoter recognition with machine learning algorithms keREM,...

引用

IEEE International Symposium on Innovations in Intelligent Systems and Applications (INISTA)

作者： Günay Karli Ahmet Nayir Faculty of Engineering and Information Technology International Burch University Sarajevo Bosnia and Herzegovina Department of Computer Programming Fatih University Istanbul Turkey

Data mining has become an important and active area of research because of theoretical challenges and practical applications associated with the problem of discovering interesting and previously unknown knowledge from very large real world database. These databases contain potential gold mine of valuable information, but it is beyond human ability to analyze massive amount of data and elicit meaningful patterns by using conventional techniques. In this study, DNA sequence was analyzed to locate promoter which is a regulatory region of DNA located upstream of a gene, providing a control point for regulated gene transcription. In this study, some supervised learning algorithms such as artificial neural network (ANN), RULES-3 and newly developed keREM rule induction algorithm were used to analyse to DNA sequence. In the experiments different option of keREM, RULES-3 and ANN were used, and according to the empirical comparisons, the algorithms appeared to be comparable to well-known algorithms in terms of the accuracy of the extracted rule in classifying unseen data.

关键词： Artificial neural networks DNA Classification algorithms Machine learning algorithms Neurons Algorithm design and analysis Biological neural networks

来源：评论

学校读者我要写书评

暂无评论

Monitoring System for Prediction and Detection of Epilepsy Seizure

Monitoring System for Prediction and Detection of Epilepsy S...

引用

International Conference on Advances in Computational Tools for Engineering Applications, ACTEA

作者： Nashaat el Halabi Roy Abi Zeid Daou Roger Achkar Ali Hayek Josef Börcsök Department of Computer and Communications Engineering American University of Science and Technology Beirut Lebanon MART Learning Education and Research Center Chananir Lebanon Department of Computer Architecture and System Programming University of Kassel Germany

Epilepsy is a neurological disorder associated with abnormal electrical activity in the brain, which causes seizures. The occurrence of seizure is not predictable; the duration between seizures, as well as the symptoms, varies from patient to another. Since the seizures are not predictable, and most of epileptic patients suffer from physical risky symptoms during the seizure, such patients are not able to perform daily work activities. The objective of this project is to design and implement a monitoring system for epileptic patients; the system should continuously check some vital signs, analyze the measurements, and decide whether the patient is nearly to have a seizure or not. Whenever a seizure is predicted, the system initiates an alarm. In addition, a notification should be sent to the health care responsible, as well as one preferred contact. By implementing the monitoring system, people who suffer from epilepsy will have more chance to work and live a normal life. Thus, this paper presents the concept of the overall system and shows results of the implemented systems: EEG, ECG and Fall Detection system. Results have shown that the fall detection accuracy reached 99.89% whereas the accuracy of the prediction using the ANN was about 97.34%.

关键词： Electroencephalography Epilepsy Feature extraction Tools Monitoring Artificial neural networks Support vector machines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：