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

International Conference on Advances in Biomedical engineering (ICABME)

作者： Aseel Elhawawsha Carla Zeine Roy Abi Zeid Daou Dominik Kalinowski Joseph Khattar Samer Telawi Josef Boercsoek Department of Computer Architecture and System Programming University of Kassel Kassel Germany Mechatronics Eng. Department Saculty of Engineering Université La Sagesse Beirut Lebanon

Road accidents have been known to be one of the leading death causes around the world for a long time. Thus, cars and all kinds of road vehicles form a huge source of danger, and they relate to multiple high risks. There are many factors that can contribute to road traffic accidents such as the health condition of the driver if a medical emergency event happened while driving, drowsiness, or mind-wandering. The proposed system can monitor the behavior of the driver while driving as well as his/her health status. Moreover, it analyzes the monitored data, alerts the driver in a timely manner, and assists him/her in adjusting the driving behavior. Different dangerous and risky situations which can be faced during driving can be captured and avoided by using such a system which leads at the end to increase road traffic safety and reduce vehicle collisions. Notifications are developed in cases of drowsiness, loss of focus, or other concerns that may emerge while driving. However, when the driver's ability to operate the vehicle safely is hampered by a health concern, the implemented system is only able at this stage to alarm the driver itself and the surrounding cars as a first level of alarms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lemma Functions for Frama-C: C Programs as Proofs

Lemma Functions for Frama-C: C Programs as Proofs

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.

关键词： Tools Manuals Contracts Linux Kernel Economics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Modelling the Decision Making Process on Legal Conducting the Surrogate Motherhood

Modelling the Decision Making Process on Legal Conducting th...

引用

IEEE International Conference on Dependable systems, Services and Technologies (DESSERT)

作者： Tetiana Hovorushchenko Alla Herts Yelyzaveta Hnatchuk Computer Engineering & System Programming Department Khmelnytskyi National University Khmelnytskyi Ukraine Civil Law and Legal Proceedings Department Ivan Franko National University of Lviv Lviv Ukraine

ISBN: (数字)9781728199573

ISBN: (纸本)9781728199580

Currently, there is a need in Ukraine for the design and development of multidisciplinary decision support systems (DSSs) for the medical and other related spheres - for example, the medical law sector, in particular, the DSS for the surrogacy's legal regulation field. This DSS will be able to protect doctors from potentially wrong decisions by taking into account all available information when making the decisions. For design such DSS, it's necessary to conduct the modelling of the decision-making process on surrogacy's legal conducting, that is the goal of this research. In this paper, there are the theoretical foundations of using the ontologies for the decision-making process on surrogacy's legal conducting, a model of base ontology with the necessary requirements and recommendations for conducting the surrogate motherhood, and ontology-based model of the decision-making process on surrogacy's legal conducting. The conducted modelling is a theoretical basis for the development of methods and design of DSS in the field of legal regulation of surrogate motherhood.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Smart Human Posture Monitoring Device Using a Wearable Vest 7

Design and Implementation of a Smart Human Posture Monitorin...

引用

7th International Conference on Advances in Biomedical engineering, ICABME 2023

作者： Daou, Roy Abi Zeid Geha, Elio Aoun, Youssef Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Biomedical Engineering Department Furn El Chebbak Beirut Lebanon Mart Learning Education and Research Center Chananir Lebanon Lebanese German University Faculty of Public Health Biomedical Technologies Department Jounieh Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Germany Universidad Politecnica de Madrid Lab of Bioinstrumentation and Nanomedicine Centro de Tecnologia Biomedica Spain

ISBN: (纸本)9798350325850

Chronic back pain can present a serious health concern, with symptoms that can significantly affect an individual's well-being, mobility, and overall quality of life over an extended period. While chronic back pain may manifest suddenly in some cases, it often develops gradually and persists for weeks, and in untreated cases, it can linger for years. Hence, the utilization of assistive devices such as wearable posture-monitoring vests can offer valuable assistance and guidance to users. This research paper is dedicated to the development of a system for detecting, diagnosing, and correcting poor posture, specifically leaning posture. The vest is designed to provide users with visual, auditory, and tactile cues to help them address this issue, thereby reducing the risk associated with leaning. Additionally, an integrated electrical box has been designed to consolidate all components directly onto the main board in a secure enclosure. This box also displays the daily count of instances where the user has leaned. This system is characterized by its electrical safety, portability, compactness, comfort, and affordability. A comprehensive analysis of the system's performance has been conducted with a meticulous evaluation of accuracy. Each component of the system has undergone successful testing, and the system as a whole is currently in the testing phase. The results of these tests have indicated a lack of faulty errors and have demonstrated outstanding accuracy and detection rates. Over 100 individuals of varying ages, genders, and BMI categories were involved in testing, with each person wearing the device for an average of six hours. The accuracy rate achieved was 98.85%, with an average of 54.35 instances of poor posture detected per participant. © 2023 IEEE.

关键词： Wearable technology

来源：评论

学校读者我要写书评

暂无评论

InfoShield: a security architecture for protecting information usage in memory

InfoShield: a security architecture for protecting informati...

引用

IEEE Symposium on High-Performance computer Architecture

作者： W. Shi J.B. Fryman G. Gu H.-H.S. Lee Y. Zhang J. Yang School of Electrical and Computer Engineering Georgia Tech College of Computing Georgia Institute of Technology Programming System Lab Corporate Technology Intel Corporation USA Department of Computer Science University of Pittsburgh USA Department of Computer Science and Engineering University of California Riverside USA

Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information can be encrypted when stored in non-volatile memory such as hard disks, for many e-commerce and network applications, sensitive information is often stored as plaintext in main memory. Documented and reported exploits facilitate an adversary stealing sensitive information from an application's memory. These exploits include illegitimate memory scan, information theft oriented buffer overflow, invalid pointer manipulation, integer overflow, password stealing Trojans and so forth. Today's computing system and its hardware cannot address these exploits effectively in a coherent way. This paper presents a unified and lightweight solution, called InfoShield that can strengthen application protection against theft of sensitive information such as passwords, encryption keys, and other private data with a minimal performance impact. Unlike prior whole memory encryption and information flow based efforts, InfoShield protects the usage of information. InfoShield ensures that sensitive data are used only as defined by application semantics, preventing misuse of information. Comparing with prior art, InfoShield handles a broader range of information theft scenarios in a unified framework with less overhead. Evaluation using popular network client-server applications shows that InfoShield is sound for practical use and incurs little performance loss because InfoShield only protects absolute, critical sensitive information. Based on the profiling results, only 0.3% of memory accesses and 0.2% of executed codes are affected by InfoShield.

关键词： Information security Protection Cryptography computer security IP networks Web and internet services Nonvolatile memory Hard disks Buffer overflow Hardware

来源：评论

学校读者我要写书评

暂无评论

Distributed system for Detecting the Malware in LAN

Distributed System for Detecting the Malware in LAN

引用

International Scientific and Technical Conference on computer Science and Information Technologies

作者： George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland

The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilevel. This allows you to use it autonomously. In addition, the feature of autonomous program modules of the system is the same organization, which allows the exchange of knowledge in the middle of the system, which, unlike the known systems, allows you to use the knowledge gained by separate parts of the system in other parts. The developed system allows to fill it with subsystems of detection of various types of malicious software in local area networks.

关键词： Architecture Distributed system Malware Local area networks

来源：评论

学校读者我要写书评

暂无评论

Design and testing tool for a safe monitoring system for neurodegenerative disorder patients

Design and testing tool for a safe monitoring system for neu...

引用

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

作者： Nashaat El Halabi Roger Achkar Roy Abi Zeid Daou Ali Hayek Josef Börcsök Department of Computer and Communications Engineering American University of Science and Technology Beirut Lebanon Department of Biomedical Technologies Faculty of Public Health Lebanese German University Sahel Alma Lebanon Department of Computer Architecture and System Programming University of Kassel Germany

This paper aims to develop a sensor based monitoring and analyzing system for Neuro-Degenerative Disorder patients (NDD); this may consist on SpO2 sensor, Electrophysiological sensors, NIBP, Motion Capture sensors and Eye Monitoring sensor, taking into consideration an acceptable cost for the whole system. Recorded data will be sent to an embedded decision making unit where detection, analysis, classification, prediction and action control will occur. The sensors and the decision making unit will be implemented in a comfortable jacket that doesn't affect the patients' movements and that can be used by several patients with reduced sensor placement alterations. The decision that can be made is creating a stimulus to avoid falling in case of sudden stop while moving, initiating an alarm, sending a notification to a mobile phone application, and/or telemedicine monitoring features. Artificial Neural Networks will be used to classify and predict the abnormal cases where action should be taken, and since the sensors will be continuously recording, it is possible to achieve continuous learning for the ANN as a first phase. Initial models will be defined by testing normal behaviors and some known abnormal behaviors or symptoms related to the electrical activity and other characteristics of the heart, oxygen saturation level, eye activity and body motion.

关键词： Alzheimer's disease Parkinson's disease Monitoring Artificial neural networks Decision making Biomedical monitoring

来源：评论

学校读者我要写书评

暂无评论

Lemma functions for frama-C: C programs as proofs

arXiv

引用

arXiv 2018年

作者： Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Analysing the Impact of COVID-19 outbreak and Economic Policy Uncertainty on Stock Markets in Major Affected Economies 6

Analysing the Impact of COVID-19 outbreak and Economic Polic...

引用

6th Smart Cities Symposium, SCS 2022

作者： Matuka, Adelajda Asafo, Shuffield Seyram Eweke, Gamaliel O. Mishra, Pradeep Ray, Soumik Abotaleb, Mostafa Makarovskikh, Tatiana Alhussan, Amel Ali Abdelhamid, Abdelaziz A. El-Kenawy, El-Sayed M. Dutta, P.K. Chowdhury, Subrata University of Macerata Department of Economics and Law Italy Niger Delta University Department of Banking & Finance Nigeria J.N.K.V.V. College of Agriculture M.P. Powarkheda India Centurion University of Technology and Management Odisha Paralakhemundi India Department of System Programming South Ural State University Chelyabinsk454080 Russia Department of Computer Sciences College of Computer and Information Sciences Princess Nourah Bint Abdulrahman University Saudi Arabia Department of Computer Science Faculty of Computer and Information Sciences Ain Shams University Egypt Department of Communications and Electronics Delta Higher Institute of Engineering and Technolog Egypt School of Engineering and Technology Amity University West Bengal Kolkata India AP Chittoor India

ISBN: (纸本)9781839538544

The covid-19 pandemic and Economic Policy Uncertainty resulting from the shutdown of production, withdrawal of investments, enforcement of lockdowns and quarantines globally, have been directly affecting stock markets worldwide. This study is thus an attempt to analyse the impact of the COVID-19 pandemic on stock market behaviour in major affected economies. Moreover, the time frame was extended by using current data which investigate the impact of the virus during the boom and the blast phase in the country's most hit by the pandemic crisis such as China, Italy, UK and US. The frequency of the data is daily, and it dates from 3 January 2020 up to 10 February 2021. The considered time framework will give a deep insight into how stock markets behave in the case of an exogenous shock. The Dickey-Fuller Augmented Unit Root Test indicates that all the variables are stationary at first difference, which is one of the main conditions to have robust result, and the ARCH-LM test for the heteroskedasticity of the residuals, which show that all the probability values are significant, rejecting the null hypothesis of no ARCH effect. Based on the results of GARCH (1,1), we conclude that the change in stock markets volatility is positive and significant in China, Italy, UK and USA. This suggests that the impacts of COVID-19 outbreak and economic policy uncertainty on Stock Markets are a significant and Homogeneous across the studied countries, and the shock on FTSE Italia All Share has the longest time to vanish which makes it the riskiest to invest during this period, while the shock on SP500 USA has the shortest time to disappear meaning that it is safest Stock Market in this study. These findings have significant implications for policymakers, institutional and individual investors and Financial Markets analysts. © 2022 IET Conference Proceedings. All rights reserved.

关键词： Investments

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：