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

2024 IEEE Global Communications Conference, GLOBECOM 2024

作者： Elghazaly, Osama Nasser, Nidal El Ouadrhiri, Ahmed Ali, Asmaa Alfaisal University IoT Research Lab Riyadh Saudi Arabia Rockford University Department of Mathematics Computer Science and Physics RockfordIL United States Wastern University Electrical and Computer Engineering Department London Canada

ISBN: (纸本)9798350351255

Blockchain-based smart contracts, while transformative, pose privacy concerns due to Ethereum's transparency. To address this, we present Safe Smart Contracts (SafeSC), leveraging zk-SNARKs for privacy without compromising Ethereum's transparency. SafeSC's Python tool facilitates contract understanding and verification without accessing the source code. Our paper explores privacy preservation techniques, favoring Zero-Knowledge Proofs (ZKPs). SafeSC employs zk-SNARKs and Groth-16, achieving a delicate balance between transparency and privacy in smart contract development. The tool's design, covering architecture, assumptions, data flow, and zero-knowledge proof workflow, marks a step toward secure smart contract solutions. We advocate for continued exploration and refinement to enhance blockchain technologies. © 2024 IEEE.

关键词： Blockchain ChatGPT Ethereum Smart Contracts

来源：评论

学校读者我要写书评

暂无评论

Two-Stage Self-Supervised Contrastive Learning Aided Transformer for Real-Time Medical Image Segmentation

引用

IEEE Journal of Biomedical and Health Informatics 2023年 PP卷 1-10页

作者： Qayyum, Abdul Razzak, Imran Mazher, Moona Khan, Tariq Ding, Weiping Niederer, Steven National Heart and Lung Institute Imperial College London U.K School of Computer Science and Engineering University of New South Wales Sydney NSW Australia Department of Computer Engineering and Mathematics University Rovira i Virgili Tarragona Spain

The availability of large, high-quality annotated datasets in the medical domain poses a substantial challenge in segmentation tasks. To mitigate the reliance on annotated training data, self-supervised pre-training strategies have emerged, particularly employing contrastive learning methods on dense pixel-level representations. In this work, we proposed to capitalize on intrinsic anatomical similarities within medical image data and develop a semantic segmentation framework through a self-supervised fusion network, where the availability of annotated volumes is limited. In a unified training phase, we combine segmentation loss with contrastive loss, enhancing the distinction between significant anatomical regions that adhere to the available annotations. To further improve the segmentation performance, we introduce an efficient parallel transformer module that leverages Multiview multiscale feature fusion and depth-wise features. The proposed transformer architecture, based on multiple encoders, is trained in a self-supervised manner using contrastive loss. Initially, the transformer is trained using an unlabeled dataset. We then fine-tune one encoder using data from the first stage and another encoder using a small set of annotated segmentation masks. These encoder features are subsequently concatenated for the purpose of brain tumor segmentation. The multiencoder-based transformer model yields significantly better outcomes across three medical image segmentation tasks. We validated our proposed solution by fusing images across diverse medical image segmentation challenge datasets, demonstrating its efficacy by outperforming state-of-the-art methodologies. IEEE

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Wireless Resilience: A LoRa-Based Sensor Network and Mobile Application for Flood Victim Rescue System 9

Wireless Resilience: A LoRa-Based Sensor Network and Mobile ...

引用

9th IEEE International Conference on Computing, Engineering and Design, ICCED 2023

作者： Imran, Mohammad Syameer Daniel, Muhammad Attarbashi, Zainab S. Handayani, Dini Oktarina Dwi Iftikhar, Saman Al-Madani, Dania International Islamic University Malaysia Faculty of Information and Communication Technology Department of Computer Science Selangor Malaysia Arab Open University Faculty of Computer Studies Saudi Arabia

ISBN: (纸本)9798350370126

This project aims to help flash floods' victims and rescuers facilitate rescue efforts. By integrating Internet of Things (loT) and Global Positioning System (GPS) capabilities, flood victims can use a device (emergency box) that will be activated to send a signal to rescue workers and volunteers to come to the location and rescue them. The box is long lasting, can withstand winds and floats and has a bright light which allows rescuers to locate the victims even in dark or areas with no electricity. Rescuers use a device attached to a signal receiver that receives distress signals from flood victim's emergency boxes. Then the navigation system will allow rescuers to locate the distress signals. This project has the potential to help rescuers and civilians alike, as this opens new ways to rescue people trapped in flooding by allowing different parties to join the rescue mission easily. The system was evaluated by the success of the rescuer's device and the mobile application to send and receive respectively the distress signal from the flood's victim device with accurate location coordinates in different weather conditions, indoor and outdoor, and in both open areas and between buildings. This will be done by taking measures of the power needed for both devices, the covering range between both devices, and the accuracy of the location coordinates. © 2023 IEEE.

关键词： Global positioning system

来源：评论

学校读者我要写书评

暂无评论

Exploring new optical solutions for nonlinear Hamiltonian amplitude equation via two integration schemes

引用

Physica Scripta 2023年第9期98卷 095218-095218页

作者： Tarla, Sibel Ali, Karmina K Yusuf, Abdullahi Department of Mathematics Faculty of Science Firat University Elazig Turkey Department of Mathematics Faculty of Science University of Zakho Zakho Iraq Department of Computer Science College of Science Knowledge University Erbil44001 Iraq Department of Computer Engineering Biruni University Istanbul Turkey Department of Computer Science and Mathematics Lebanese American University Beirut Lebanon

This research explores the Jacobi elliptic expansion function method and a modified version of the Sardar sub-equation method to discover new exact solutions for the nonlinear Hamiltonian amplitude equation. By applying these techniques, the study seeks to uncover previously unknown solutions for this equation, contributing to the understanding of its behavior and opening up new possibilities for its applications. The solutions obtained using these methods are represented by hyperbolic, trigonometric, and exponential functions, and they include optical dark-bright, periodic, singular, and bright solutions. The dynamic behaviors of these solutions are demonstrated by selecting appropriate values for physical parameters. By assigning values to these parameters, the study aims to showcase how the solutions of the nonlinear Hamiltonian amplitude equation behave under different conditions. This analysis provides insights into the system’s response and enables a deeper comprehension of its complex dynamics in various scenarios, contributing to the overall understanding of the equation’s behavior and potential real-world implications. Overall, these methods are effective in analyzing and obtaining analytic solutions for nonlinear partial differential equations. © 2023 IOP Publishing Ltd

关键词： Exponential functions

来源：评论

学校读者我要写书评

暂无评论

Metrizability of SO (3)-invariant connections: Riemann versus Finsler

arXiv

引用

arXiv 2024年

作者： Voicu, Nicoleta Elgendi, Salah Gomaa Department of Mathematics and Computer Science Transilvania University Brasov Romania Department of Mathematics Faculty of Science Islamic University of Madinah Saudi Arabia Department of Mathematics Faculty of Science Benha University Egypt

For a torsion-free affine connection on a given manifold, which does not necessarily arise as the Levi-Civita connection of any pseudo-Riemannian metric, it is still possible that it corresponds in a canonical way to a Finsler structure;this property is known as Finsler (or Berwald-Finsler) metrizability. In the present paper, we clarify, for 4-dimensional SO(3)-invariant, Berwald-Finsler metrizable connections, the issue of the existence of an affinely equivalent pseudo-Riemannian structure. In particular, we find all classes of SO (3)-invariant connections which are not Levi-Civita connections for any pseudo-Riemannian metric - hence, are non-metric in a conventional way - but can still be metrized by SO(3)-invariant Finsler functions. The implications for physics, together with some examples are briefly *** Codes 53B40, 83D05 © 2024, CC BY.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Real-Time Data-Driven Maintenance Logistics: A Public-Private Collaboration

Real-Time Data-Driven Maintenance Logistics: A Public-Privat...

引用

2024 Commit2Data, C2D 2024

作者： van Jaarsveld, Willem Bliek, Laurens de Weerdt, Mathijs Kapodistria, Stella Pronk, Verus Verleijsdonk, Peter Voorberg, Simon Akçay, Alp da Costa, Paulo Eshuis, Rik Kaymak, Uzay van Houtum, Geert-Jan Verwer, Sicco Zhang, Yingqian Department of Industrial Engineering and Innovation Sciences Eindhoven University of Technology Netherlands Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Netherlands Department of Mathematics and Computer Science Eindhoven University of Technology Netherlands Philips Research Laboratories Eindhoven Netherlands Department of Information Systems Supply Chain Management and Decision Analysis NEOMA Business School Rouen France Etsy Inc. Dublin Ireland Jheronimus Academy of Data Science Eindhoven University of Technology Netherlands

ISBN: (纸本)9783959773515

The project "Real-time data-driven maintenance logistics" was initiated with the purpose of bringing innovations in data-driven decision making to maintenance logistics, by bringing problem owners in the form of three innovative companies together with researchers at two leading knowledge institutions. This paper reviews innovations in three related areas: How the innovations were inspired by practice, how they materialized, and how the results impact practice. © Willem van Jaarsveld, Alp Akçay, Laurens Bliek, Paulo da Costa, Mathijs de Weerdt, Rik Eshuis, Stella Kapodistria, Uzay Kaymak, Verus Pronk, Geert-Jan van Houtum, Peter Verleijsdonk, Sicco Verwer, Simon Voorberg, and Yingqian Zhang.

关键词： Scheduled maintenance

来源：评论

学校读者我要写书评

暂无评论

A Comparison Study of Prominent International University Ranking Systems: Exploring the Potential of Yemeni Universities for Rankings

A Comparison Study of Prominent International University Ran...

引用

Emerging Technologies for Dependable Internet of Things (ICETI), International Conference on

作者： Salah Al-Hagree Ahmed Abdullah Al-Shalabi Maher Al-Sanabani Nashwan Ahmed Al-Majma Fuaad Hasan Abdulrazzak Ghaleb Al-Gaphari Redwan Al-Dilami Ala'a Alawdi Computer Science Department Faculty of Computer and Information Technology Sana'a University Yemen Computer Science Department Faculty of Sciences Ibb University Yemen Computer Science Aljazeera University Yemen Computer Science Department Faculty of Computer and Information Technology Sana'a University Sana'a Yemen Computer Science Department Faculty of Computer and Information Technology Thamar University Yemen Faculty of Computing and IT University of Science and Technology Sana'a Yemen

ISBN: (数字)9798331533557

ISBN: (纸本)9798331533564

Specifically targeting Yemeni universities, the focus lies on their potential to enter these rankings and enhance their positions such as Quacquarelli Symonds (QS) World University Ranking (QS), Academic Ranking of World Universities (ARWU), Webometrics Ranking, Times Higher Education (THE) World University Ranking, and SCImago Institutions (SIR) Rankings. Its objective is to encourage Yemeni universities to prioritize the criteria outlined in these rankings and view them as a means to access other international rankings. The research tackles the challenge of comprehending the criteria and application process required for Yemeni universities to participate in these rankings, as well as the rankings they have achieved. The study underscores the importance of this research by providing Yemeni university administrators with valuable insights into the criteria used for international rankings and the rankings obtained by Yemeni universities. This understanding can facilitate efforts to enhance the quality of higher education within these institutions. The findings of the study reveal that there are two Yemeni universities listed in the QS. The University of science and Technology, ranks 151-170, while Thamar University, ranks 171-200 for 2023. While in 2024, the University of science and Technology ranked first locally and the University of Aden ranked second. This paper investigates the participation of Yemeni universities in global ranking systems such as ARWU, THE, QS, and SIR, with the aim of enhancing their international standing. It highlights the challenges and opportunities for Yemeni universities to meet ranking criteria, offering insights that can help improve the quality of higher education.

关键词： Surveys Leadership Education Focusing Benchmark testing Boosting International collaboration Stakeholders Internet of Things Interviews

来源：评论

学校读者我要写书评

暂无评论

Computational Time Complexity for k-Sum Problem Amalgamated with Quantum Search

Computational Time Complexity for k-Sum Problem Amalgamated ...

引用

2023 International Conference on Artificial Intelligence and Applications, ICAIA 2023 and Alliance Technology Conference, ATCON-1 2023

作者： Dutta, Anurag Harshith, John Lakshmanan, K. Ramamoorthy, A. Government College of Engineering & Textile Technology Department of Computer Science & Engineering Serampore India Vellore Institute of Technology Department of Computer Science & Engineering Vellore India Kuwait American School of Education Department of Mathematics Salmiya Kuwait Velammal Engineering College Department of Mathematics Chennai India

ISBN: (纸本)9781665456272

The k - Sum Problem, which is a generic member of the family of which 2 - Sum and 3 - Sum problems are the youngest siblings is one of the most interesting problems in the domain of Optimization Techniques. Many researchers have shown that the k - Sum problem can be solved in no less than the order of nk-1. On the other side, many researchers have tried and have successfully minimized its Computational Complexity, though quite negligibly. But since any subtle method doesn't exist to minimize its Computational Complexity by a major pie, the Query - 'Can k - Sum problem be solved in O(nk-1-) for some > 0 ' have been added in the list of UPCS (Unsolved Problems in computer science). In this article, we will effort to analyse the Complexity of Computing the k - Sum problem, by exemplifying minimal bounds of Quantum Search, Ω (sqrt[2] 2 n log 2(log 2 n)) as stated by Buhrman. Now, one assumption that this minimal bound holds is that the element to be searched will be composed in some ordered manner. To extrude that, we will extend our work by making use of Grover's Search, with Computational Complexity of the order, O([2]n), which is not known to make use of any prerequisite. © 2023 IEEE.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

IoT Based Systems and Services: Recent Security Concerns and Feasible Solutions 1

IoT Based Systems and Services: Recent Security Concerns and...

引用

1st IEEE Karachi Section Humanitarian Technology Conference, Khi-HTC 2024

作者： Attaullah, Hafiz Muhammad Memon, Shahzad Erkan, Ozlem Feyza Khawar, Ruba Mohammad Ali Jinnah University Department of Computer Science Karachi Pakistan Beykoz University Faculty of Engineering and Architecture Department of Computer Engineering Istanbul Turkey NED University of Engineering and Technology Faculty of Information Sciences and Humanities Karachi Pakistan

ISBN: (纸本)9798350373042

The term Internet of Things (IoT) is used to refer as embedded devices or objects with internet access, allowing them to communicate globally, interacting with people and networks. IoT security issues are directly related to the widespread use of its systems. This paper examines the security technologies employed in IoT and their respective features and applications. Additionally, it addresses the various security concerns associated with IoT-based systems and services, highlighting their occurrence within the three-layer framework of IoT. These days, as IoT introduces advanced application architectures that minimizes human intervention by integrating businesses in some way to address digital computer processes by communicating within a given network. Moreover, it will be discussed the key technologies associated with Advanced Encryption Standards (AES) and the changes brought in market value and usage of services that has been taken place b since the IoT incorporated. © 2024 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Advancing Flotation Process Optimization Through Real-Time Machine Vision Monitoring: A Convolutional Neural Network Approach 15

Advancing Flotation Process Optimization Through Real-Time M...

引用

15th International Conference on Knowledge Discovery and Information Retrieval, KDIR 2023 as part of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2023

作者： Bendaouia, Ahmed Abdelwahed, El Hassan Qassimi, Sara Boussetta, Abdelmalek Benzakour, Intissar Amar, Oumkeltoum Bourzeix, François Jabbahi, Khalil Hasidi, Oussama Computer Science Department Faculty of Sciences Semlalia Cadi Ayyad University Marrakech Morocco Rabat Morocco R&D and Engineering Center Reminex Managem Group Marrakech Morocco Computer Science Department Faculty of Science and Technology Cadi Ayyad University Marrakech Morocco

ISBN: (纸本)9789897586712

The mining industry's continuous pursuit of sustainable practices and enhanced operational efficiency has led to an increasing interest in leveraging innovative technologies for process monitoring and optimization. This study focuses on the implementation of Convolutional Neural Networks (CNN) for real-time monitoring of differential flotation circuits in the mining sector. Froth flotation, a widely used technique for mineral separation, necessitates precise control and monitoring to achieve maximum recovery of valuable minerals and separate them from gangue. The research delves into the significance of froth surface visual properties and their correlation with flotation froth quality. By capitalizing on CNN's ability to identify valid, hidden, novel, potentially useful and meaningful information from image data, this study showcases how it surpasses traditional techniques for the flotation monitoring. The paper provides an in-depth exploration of the dataset collected from various stages of the Zinc flotation banks, labeled with elemental grade values of Zinc (Zn), Iron (Fe), Copper (Cu), and Lead (Pb). CNNs' implementation in a regression problematic allows for real-time monitoring of mineral concentrate grades, enabling precise assessments of flotation performance. The successful application of CNNs in the Zinc flotation circuit opens up new possibilities for improved process control and optimization in mineral processing. By continuously monitoring froth characteristics, engineers and operators can make informed decisions, leading to enhanced mineral recovery and reduced waste. Copyright © 2023 by SCITEPRESS - science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：