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

IEEE Globecom Workshops

作者： Abbas Yazdinejad Reza M. Parizi Gautam Srivastava Ali Dehghantanha Kim-Kwang Raymond Choo Cyber Science Lab School of Computer Science University of Guelph Ontario Canada College of Computing and Software Engineering Kennesaw State University GA USA Department of Mathematics and Computer Science Brandon University Manitoba Canada Department of Information Systems and Cyber Security University of Texas at San Antonio TX USA

ISBN: (数字)9781728109602

ISBN: (纸本)9781728109619

In recent years, there has been rapid growth in developing smart cities. Nearly 70% of the Earthâ€™s surface is covered by water and a large proportion of underwater environments are still unknown and have not been explored. In this context, Internet of things (IoT) is one of the most important technologies used in smart cities. Due to the growth of IoT and its influence in all areas of human life, including the underwater environment, a new class of IoT, called Internet of underwater things (IoUT) has emerged. IoUT includes a network of underwater smart devices that are connected to each other and has applications in environmental monitoring, underwater exploration, disaster prevention and military. In autonomous interactions of underwater devices, objects must be authenticated and securely interconnected to avoid security risks by malicious nodes. Most authentication methods and security mechanisms are centralized and often require a trustful third party in communications, which may well increase the computation cost and energy consumption due to the subsequent overhead, especially for underwater communications. On the other hand, there are restrictions on devices in the underwater environment, the most important of which are energy constraints. In this paper, we propose a robust, transparent, and energy-efficient decentralized authentication mechanism for IoUT using blockchain technology. We show through results that the proposed method is suitable for underwater devices with limited memory, energy, and computational power. The proposed modelâ€™s decentralized authentication in a cluster network has a significant effect on reducing the energy consumption of the devices by 74.63% compared to classic authentication methods. Moreover, using the proposed method allows a savings of more than 41.9% in end-to-end delay and increases delivery rate by 21.6%.

关键词： Authentication Internet of Things Smart cities Energy consumption Cryptography

来源：评论

学校读者我要写书评

暂无评论

Self-Awareness for Autonomous systems

引用

PROCEEDINGS OF THE IEEE 2020年第7期108卷 971-975页

作者： Dutt, Nikil Regazzoni, Carlo S. Rinner, Bernhard Yao, Xin Nikil Dutt (Fellow IEEE) received the Ph.D. degree from the University of Illinois at Urbana–Champaign Champaign IL USA in 1989.""He is currently a Distinguished Professor of computer science (CS) cognitive sciences and electrical engineering and computer sciences (EECS) with the University of California at Irvine Irvine CA USA. He is a coauthor of seven books. His research interests include embedded systems electronic design automation (EDA) computer architecture distributed systems healthcare Internet of Things (IoT) and brain-inspired architectures and computing.""Dr. Dutt is a Fellow of ACM. He was a recipient of the IFIP Silver Core Award. He has received numerous best paper awards. He serves as the Steering Committee Chair of the IEEE/ACM Embedded Systems Week (ESWEEK). He is also on the steering organizing and program committees of several premier EDA and embedded system design conferences and workshops. He has served on the Editorial Boards for the IEEE Transactions on Very Large Scale Integration (VLSI) Systems and the ACM Transactions on Embedded Computing Systems and also previously served as the Editor-in-Chief (EiC) for the ACM Transactions on Design Automation of Electronic Systems. He served on the Advisory Boards of the IEEE Embedded Systems Letters the ACM Special Interest Group on Embedded Systems the ACM Special Interest Group on Design Automationt and the ACM Transactions on Embedded Computing Systems. Carlo S. Regazzoni (Senior Member IEEE) received the M.S. and Ph.D. degrees in electronic and telecommunications engineering from the University of Genoa Genoa Italy in 1987 and 1992 respectively.""He is currently a Full Professor of cognitive telecommunications systems with the Department of Electrical Electronics and Telecommunication Engineering and Naval Architecture (DITEN) University of Genoa and a Co-Ordinator of the Joint Doctorate on Interactive and Cognitive Environments (JDICE) international Ph.D. course started initially as EU Erasmus Mundus Project and

Autonomous systems are able to make decisions and potentially take actions without direct human intervention, which requires some knowledge about the system and its environment as well as goal-oriented reasoning. In computer systems, one can derive such behavior from the concept of a rational agent with autonomy (“control over its own actions”), reactivity (“react to events from the environment”), proactivity (“act on its own initiative”), and sociality (“interact with other agents”) as fundamental properties \n[1]\n. Autonomous systems will undoubtedly pervade into our everyday lives, and we will find them in a variety of domains and applications including robotics, transportation, health care, communications, and entertainment to name a few. \nThe articles in this month’s special issue cover concepts and fundamentals, architectures and techniques, and applications and case studies in the exciting area of self-awareness in autonomous systems.

关键词： Special issues and sections Autonomous systems Self-aware Robot sensing systems Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Error-minimization approach to reduce protease bias 2

Error-minimization approach to reduce protease bias

引用

2nd International Conference on Biological Information and Biomedical engineering, BIBE 2018

作者： Chen, Chong Zheng, Haoran School of Computer Science and Technology University of Science and Technology of China Hefei China Anhui Key Laboratory of Software Engineering in Computing and Communication University of Science and Technology of China Hefei China Department of Systems Biology University of Science and Technology of China Hefei China

ISBN: (纸本)9783800747276

The main goal in proteomics is to describe the proteome in a comprehensive and accurate way, and enzymolysis is a key step in the process of large-scale proteomics experiments. For the same protein samples, using different proteases may introduce a strong bias into protein analysis results. This situation will make proteomics experiments irreproducible and will have a serious impact on the experimental results. To reduce this protease bias, we present EMQ (Error-Minimization-based Quantification for Protein), an approach based on error minimization. In contrast to the existing method, our model includes information on shared peptides, which are ubiquitous in mass spectrometric datasets. The abundance of shared peptides will be assigned to related proteins accurately, thereby determining the protein abundance. Based on this feature, we used the proposed model with several datasets, and compared its performance with the other. Finally, our model is shown to have better performance than other approach (average Pearson correlation of ~0.83 obtained by EMQ, while ~0.63 by other model). © VDE VERLAG GMBH - Berlin - Offenbach.

关键词： Peptides

来源：评论

学校读者我要写书评

暂无评论

Corrigendum to “Intelligent building control systems for thermal comfort and energy-efficiency: A systematic review of artificial intelligence-assisted techniques” [Renew Sustain Energy Rev 144 (2021) 11096]

引用

Renewable and Sustainable Energy Reviews 2021年 145卷

作者： Ghezlane Halhoul Merabet Mohamed Essaaidi Mohamed Ben Haddou Basheer Qolomany Junaid Qadir Muhammad Anan Ala Al-Fuqaha Mohamed Riduan Abid Driss Benhaddou Smart Systems Laboratory (SSL) ENSIAS Mohammed V University in Rabat 713 Morocco Department of Engineering Technology University of Houston TX 77204 USA MENTIS Consulting SA 13 rue de Congrès 1000 Brussels Belgium Department of Cyber Systems College of Business and Technology University of Nebraska at Kearney (UNK) Kearney NE 68849 USA Information Technology University Lahore 54000 Pakistan Software Engineering Department Alfaisal University-Riyadh Saudi Arabia Information and Computing Technology (ICT) Division College of Science and Engineering (CSE) Hamad Bin Khalifa University Doha Qatar Department of Computer Science Western Michigan University Kalamazoo MI 49008 USA School of Science and Engineering Alakhawayn University in Ifrane 1005 Morocco

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

10 quick tips for making your software outlive your job

arXiv

引用

arXiv 2025年

作者： Littauer, Richard Wilson, Greg Ainali, Jan AlOmar, Eman Abdullah Arabas, Sylwester Saibene, Yanina Bellini Bubendorfer, Kris Champion, Kaylea Dillon, Clare Helske, Jouni Huybrechts, Pieter Katz, Daniel S. Liao, Chang Lippert, David Liu, Fang Marshall, Pierre McCloy, Daniel R. McInerney, Ian Mkaouer, Mohamed Wiem Ojha, Priyanka Treude, Christoph White, Ethan P. CURIOSS SustainOSS GNOME Foundation Te Herenga Waka Victoria University of Wellington Te Whanganui-a-Tara Aotearoa Wellington New Zealand Third Bit TorontoON Canada Open By Default Italy Department of Systems and Enterprises Stevens Institute of Technology HobokenNJ United States AGH University of Krakow Poland rOpenSci LP Santa Rosa Argentina Te Herenga Waka Victoria University of Wellington Wellington New Zealand Computing and Software Systems University of Washington Bothell BothellWA United States CURIOSS Lero University of Galway Ireland INVEST Research Flagship Centre University of Turku Finland Brussels Belgium University of Illinois Urbana-ChampaignIL United States Pacific Northwest National Laboratory RichlandWA United States Open Source Program Office George Washington University WashingtonDC United States Georgia Institute of Technology GA United States Oxford University United Kingdom Institute for Learning & Brain Sciences University of Washington SeattleWA United States Department of Mechanical Engineering Imperial College London London United Kingdom Department of Computer Science University of Michigan-Flint FlintMI United States Singapore Management University Singapore Department of Wildlife Ecology and Conservation University of Florida GainesvilleFL United States

Loss of key personnel has always been a risk for research software projects. Key members of the team may have to step away due to illness or burnout, to care for a family member, from a loss of financial support, or because their career is going in a new direction. Today, though, political and financial changes are putting large numbers of researchers out of work simultaneously, potentially leaving large amounts of research software abandoned. This article presents ten tips to help researchers ensure that the software they have built will continue to be usable after they have left their present job—whether in the course of voluntary career moves or researcher mobility, but particularly in cases of involuntary departure due to political or institutional changes. © 2025, CC BY-SA.

关键词： Human engineering

来源：评论

学校读者我要写书评

暂无评论

Pain-Free Blood Glucose Monitoring Using Wearable Sensors: Recent Advancements and Future Prospects

引用

IEEE Reviews in Biomedical engineering 2018年 11卷 21-35页

作者： Siddiqui, Sarah Ali Zhang, Yuan Lloret, Jaime Song, Houbing Obradovic, Zoran Shandong Provincial Key Laboratory of Network Based Intelligent Computing University of Jinan Jinan250022 China Integrated Management Coastal Research Institute Universidad Politecnica de Valencia Valencia46022 Spain Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Daytona BeachFL32114 United States Department of Computer and Information Sciences Temple University PhiladelphiaPA19122 United States

Keeping track of blood glucose levels non-invasively is now possible due to diverse breakthroughs in wearable sensors technology coupled with advanced biomedical signal processing. However, each user might have different requirements and priorities when it comes to selecting a self-monitoring solution. After extensive research and careful selection, we have presented a comprehensive survey on noninvasive/pain-free blood glucose monitoring methods from the recent five years (2012-2016). Several techniques, from bioinformatics, computer science, chemical engineering, microwave technology, etc., are discussed in order to cover a wide variety of solutions available for different scales and preferences. We categorize the noninvasive techniques into nonsample- and sample-based techniques, which we further grouped into optical, nonoptical, intermittent, and continuous. The devices manufactured or being manufactured for noninvasive monitoring are also compared in this paper. These techniques are then analyzed based on certain constraints, which include time efficiency, comfort, cost, portability, power consumption, etc., a user might experience. Recalibration, time, and power efficiency are the biggest challenges that require further research in order to satisfy a large number of users. In order to solve these challenges, artificial intelligence (AI) has been employed by many researchers. AI-based estimation and decision models hold the future of noninvasive glucose monitoring in terms of accuracy, cost effectiveness, portability, efficiency, etc. The significance of this paper is twofold: first, to bridge the gap between IT and medical field;and second, to bridge the gap between end users and the solutions (hardware and software). © 2008-2011 IEEE.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

Foundation models and intelligent decision-making: Progress, challenges, and perspectives

引用

Innovation 2025年第6期6卷 100948页

作者： Huang, Jincai Xu, Yongjun Wang, Qi Wang, Qi [Cheems] Liang, Xingxing Wang, Fei Zhang, Zhao Wei, Wei Zhang, Boxuan Huang, Libo Chang, Jingru Ma, Liantao Ma, Ting Liang, Yuxuan Zhang, Jie Guo, Jian Jiang, Xuhui Fan, Xinxin An, Zhulin Li, Tingting Li, Xuefei Shao, Zezhi Qian, Tangwen Sun, Tao Diao, Boyu Yang, Chuanguang Yu, Chenqing Wu, Yiqing Li, Mengxian Zhang, Haifeng Zeng, Yongcheng Zhang, Zhicheng Zhu, Zhengqiu Lv, Yiqin Li, Aming Chen, Xu An, Bo Xiao, Wei Bai, Chenguang Mao, Yuxing Yin, Zhigang Gui, Sheng Su, Wentao Zhu, Yinghao Gao, Junyi He, Xinyu Li, Yizhou Jin, Guangyin Ao, Xiang Zhai, Xuehao Tan, Haoran Yun, Lijun Shi, Hongquan Li, Jun Fan, Changjun Huang, Kuihua Harrison, Ewen Leung, Victor C.M. Qiu, Sihang Dong, Yanjie Zheng, Xiaolong Wang, Gang Zheng, Yu Wang, Yuanzhuo Guo, Jiafeng Wang, Lizhe Cheng, Xueqi Wang, Yaonan Yang, Shanlin Fu, Mengyin Fei, Aiguo Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China Department of Automation Tsinghua University Beijing100084 China Huazhong University of Science and Technology Wuhan430074 China School of Automation Beijing Institute of Technology Beijing100081 China School of Information Science and Engineering Dalian Polytechnic University Dalian116034 China National Engineering Research Center for Software Engineering Peking University Beijing100871 China Department of Oral Implantology Peking University School and Hospital of Stomatology Beijing100081 China Guangzhou511453 China College of Information and Electrical Engineering China Agricultural University Beijing100083 China IDEA Research International Digital Economy Academy Shenzhen518057 China Institute of Automation Chinese Academy of Sciences Beijing100190 China The State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences Beijing100190 China College of Science National University of Defense Technology Changsha410073 China Center for Systems and Control College of Engineering Peking University Beijing100871 China Gaoling School of Artificial Intelligence Renmin University of China Beijing100872 China College of Systems Engineering National University of Defense Technology Changsha410073 China Laboratory for Big Data and Decision National University of Defense Technology Changsha410073 China College of Computing and Data Science Nanyang Technological University Singapore639798 Singapore School of Electrical Engineering Chongqing University Chongqing400044 China Department of Mathematics The University of Hong Kong Hong Kong SAR999077 China School of Food Science and Technology Dalian Polytechnic University Dalian116034 China Centre for Medical Informatics University of Edinburgh EdinburghEH16 4UX United Kingdom Department of Stomatology Peking Union Medical College Hospital Chinese Academ

Intelligent decision-making (IDM) is a cornerstone of artificial intelligence (AI) designed to automate or augment decision processes. Modern IDM paradigms integrate advanced frameworks to enable intelligent agents to make effective and adaptive choices and decompose complex tasks into manageable steps, such as AI agents and high-level reinforcement learning. Recent advances in multimodal foundation-based approaches unify diverse input modalities—such as vision, language, and sensory data—into a cohesive decision-making process. Foundation models (FMs) have become pivotal in science and industry, transforming decision-making and research capabilities. Their large-scale, multimodal data-processing abilities foster adaptability and interdisciplinary breakthroughs across fields such as healthcare, life sciences, and education. This survey examines IDM's evolution, advanced paradigms with FMs and their transformative impact on decision-making across diverse scientific and industrial domains, highlighting the challenges and opportunities in building efficient, adaptive, and ethical decision systems. © 2025 The Authors

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Correction to: Type 2 Diabetes with Artificial Intelligence Machine Learning: Methods and Evaluation

引用

Archives of Computational Methods in engineering 2021年第7期28卷 5039-5039页

作者： Ismail, Leila Materwala, Huned Tayefi, Maryam Ngo, Phuong Karduck, Achim P. Intelligent Distributed Computing and Systems Research Laboratory Department of Computer Science and Software Engineering College of Information Technology United Arab Emirates University Al Ain Abu Dhabi United Arab Emirates National Water and Energy Center United Arab Emirates University Al Ain Abu Dhabi United Arab Emirates Norwegian Centre for E-Health Research Tromsø Norway Faculty of Informatics Furtwangen University Furtwangen Germany

来源：评论

学校读者我要写书评

暂无评论

AI-skin: Skin disease recognition based on self-learning and wide data collection through a closed loop framework

arXiv

引用

arXiv 2019年

作者： Chen, Min Zhou, Ping Wu, Di Hu, Long Hassan, Mohammad Mehedi Alamri, Atif School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China School of Data and Computer Science Sun Yat-sen University Guangzhou China Guangdong Province Key Laboratory of Big Data Analysis and Processing Guangzhou China Chair of Pervasive and Mobile Computing Information Systems Department College of Computer and Information Sciences King Saud University Riyadh11543 Saudi Arabia Chair of Pervasive and Mobile Computing Software Engineering Department CCIS King Saud University Riyadh11543 Saudi Arabia

There are a lot of hidden dangers in the change of human skin conditions, such as the sunburn caused by long-time exposure to ultraviolet radiation, which not only has aesthetic impact causing psychological depression and lack of selfconfidence, but also may even be life-threatening due to skin canceration. Current skin disease researches adopt the auto-classification system for improving the accuracy rate of skin disease classification. However, the excessive dependence on the image sample database is unable to provide individualized diagnosis service for different population groups. To overcome this problem, a medical AI framework based on data width evolution and self-learning is put forward in this paper to provide skin disease medical service meeting the requirement of real time, extendibility and individualization. First, the wide collection of data in the close-loop information flow of user and remote medical data center is discussed. Next, a data set filter algorithm based on information entropy is given, to lighten the load of edge node and meanwhile improve the learning ability of remote cloud analysis model. In addition, the framework provides an external algorithm load module, which can be compatible with the application requirements according to the model selected. Three kinds of deep learning model, i.e. LeNet-5, AlexNet and VGG16, are loaded and compared, which have verified the universality of the algorithm load module. The experiment platform for the proposed real-time, individualized and extensible skin disease recognition system is built. And the system's computation and communication delay under the interaction scenario between tester and remote data center are analyzed. It is demonstrated that the system we put forward is reliable and effective. Copyright © 2019, The Authors. All rights reserved.

关键词： Data acquisition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：