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

International Scientific-Professional Conference on Information Technology (IT)

作者： Kamran Javidi Maria G. Martini Peter A. Kara Department of Computer Science Wireless Multimedia and Networking Research Group School of Computer Science and Mathematics Faculty of Engineering Computing and the Environment Kingston University Penrhyn Road Campus Kingston upon Thames London UK Department of Networked Systems and Services Faculty of Electrical Engineering and Informatics Budapest University of Technology and Economics Budapest Hungary

Light field visualization commonly provides a single content over the entire field of view. However, the angularly-selective nature of the technology enables the simultaneous visualization of different contents at different viewing angles. Yet segmenting the valid viewing area comes with content interference as well in forms of separation zones, resulting invalid viewing domains. In this paper, we introduce a study on the separation zone of split-domain light field visualization. We created a static-content-based scenario in which we split the valid viewing area into two distinct domains, with a separation zone in between them. This was achieved by merging two light field contents in the middle with an instantaneous switch. The resulting visualization on a light field display was captured by a DSLR camera from two viewing distances, and it was compared to the crosstalk effect caused by insufficient angular resolution.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A quality and popularity based ranking method for research datasets 2022

A quality and popularity based ranking method for research d...

引用

4th Asia Pacific Information Technology Conference, APIT 2022

作者： Koya, Kushwanth Chowdhury, Gobinda ISchool Department of Finance Accounting and Business Systems College of Business Technology and Engineering Sheffield Hallam University United Kingdom ISchool Department of Computer and Information Sciences Faculty of Science University of Strathclyde United Kingdom

ISBN: (纸本)9781450395571

Research outputs are the final products in the scientific research process and their quality is progressively being evaluated by various methods such as altmetrics, bibliometrics, impact factors and citation count etc. However, a significant component of scientific research involves creating/collecting/curating research datasets and globally, funding agencies and governments are mandating an open access policy on research datasets. Though repositories exist to store the datasets, there is no metricised guidance, indicating the quality of datasets for researchers wishing to reuse. We propose a novel method for ranking and visualising research datasets based on their quality and popularity, constructed through a normalised citation count since the year of origin, total cites and the impact factor of the journals which publish the articles citing the dataset. Additionally, we present the process flow for a proposed digital information system for the access of datasets according to their discipline and rank based on the variables. The proposed method is expected to assist researchers, globally, to choose the right datasets for their research, encourage researchers to share their datasets and promote interdisciplinary research. © 2022 ACM.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Two-Stage Robust Optimization Under Decision Dependent Uncertainty

引用

IEEE/CAA Journal of Automatica Sinica 2022年第7期9卷 1295-1306页

作者： Yunfan Zhang Feng Liu Yifan Su Yue Chen Zhaojian Wang João P.S.Catalão State Key Laboratory of Power System and Generation Equipment the Department of Electrical EngineeringTsinghua UniversityBeijing 100084China Department of Mechanical and Automation Engineering the Chinese University of Hong KongHong Kong SARChina Ministry of Education Key Laboratory of System Control and Information Processing the Department of AutomationShanghai Jiao Tong Universityand also with Shanghai Engineering Research Center of Intelligent Control and ManagementShanghai 200240China Faculty of Engineering of the University of Porto and Institute for Systems and Computer Engineering Technology and Science(INESC TEC)Porto 4200-465Portugal IEEE

In the conventional robust optimization(RO)context,the uncertainty is regarded as residing in a predetermined and fixed uncertainty *** many applications,however,uncertainties are affected by decisions,making the current RO framework *** paper investigates a class of two-stage RO problems that involve decision-dependent *** introduce a class of polyhedral uncertainty sets whose right-hand-side vector has a dependency on the here-and-now decisions and seek to derive the exact optimal wait-and-see decisions for the second-stage problem.A novel iterative algorithm based on the Benders dual decomposition is proposed where advanced optimality cuts and feasibility cuts are designed to incorporate the uncertainty-decision *** computational tractability,robust feasibility and optimality,and convergence performance of the proposed algorithm are guaranteed with theoretical *** motivating application examples that feature the decision-dependent uncertainties are ***,the proposed solution methodology is verified by conducting case studies on the pre-disaster highway investment problem.

关键词： Benders decomposition decision-dependent uncertainty endogenous uncertainty robust optimization(RO)

来源：评论

学校读者我要写书评

暂无评论

Swallowing Assessment using High-Resolution Cervical Auscultations and Transformer-based Neural Networks

Swallowing Assessment using High-Resolution Cervical Auscult...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： Ayman Anwar Yassin Khalifa Erin Lucatorto James L. Coyle Ervin Sejdic Department of Electrical and Computer Engineering Faculty of Applied Science & Engineering University of Toronto Toronto Canada Center for Research Computing and Information Technology Analytics University of Pittsburgh Pittsburgh PA USA Systems and Biomedical Engineering Department Faculty of Engineering Cairo University Giza Egypt Department of Communication Science and Disorders School of Health and Rehabilitation Sciences University of Pittsburgh Pittsburgh PA USA Department of Electrical and Computer Engineering Faculty of Applied Science & Engineering University of Toronto and North York General Hospital Toronto Canada

ISBN: (数字)9798350371499

ISBN: (纸本)9798350371505

Swallowing assessment is a crucial task to reveal swallowing abnormalities. There are multiple modalities to analyze swallowing kinematics, such as videofluoroscopic swallow studies (VFSS), which is the gold standard method, and high-resolution cervical auscultation (HRCA), which is a noninvasive technique that uses a triaxial accelerometer attached to the patient’s neck. Deep learning models play an essential role in data driven analysis of swallowing landmarks using VFSS and/or HRCA as input data. Most of these models utilize convolutional and recurrent neural networks. Here, we investigate the ability of transformers to analyze swallowing kinematics; specifically upper esophageal sphincter opening and laryngeal vestibule closure using HRCA signals. We tested the model using an independent test dataset to assess the generalizability of the proposed network. The proposed network achieved an average detection accuracy higher than 90% and 85% for both segmentation tasks, which outperform the hybrid neural networks from the literature, and the model obtained high-performance measures for the independent dataset, showing the transformers’ ability to generalize on unseen data.

关键词： Accuracy Sensitivity Recurrent neural networks Convolution Kinematics Transformers Feature extraction Solids Data models Signal resolution

来源：评论

学校读者我要写书评

暂无评论

Case studies of development of verified programs with Dafny for accessibility assessment

arXiv

引用

arXiv 2023年

作者： Faria, João Pascoal Abreu, Rui Faculty of Engineering of the University of Porto Porto Portugal INESC TEC - Institute for Systems and Computer Engineering Technology and Science Porto Portugal INESC ID Lisbon Portugal

Formal verification techniques aim at formally proving the correctness of a computer program with respect to a formal specification, but the expertise and effort required for applying formal specification and verification techniques and scalability issues have limited their practical application. In recent years, the tremendous progress with SAT and SMT solvers enabled the construction of a new generation of tools that promise to make formal verification more accessible for software engineers, by automating most if not all of the verification process. The Dafny system is a prominent example of that trend. However, little evidence exists yet about its accessibility. To help fill this gap, we conducted a set of 10 case studies of developing verified implementations in Dafny of some real-world algorithms and data structures, to determine its accessibility for software engineers. We found that, on average, the amount of code written for specification and verification purposes is of the same order of magnitude as the traditional code written for implementation and testing purposes (ratio of 1.14) – an "overhead" that certainly pays off for high-integrity software. The performance of the Dafny verifier was impressive, with 2.4 proof obligations generated per line of code written, and 24 ms spent per proof obligation generated and verified, on average. However, we also found that the manual work needed in writing auxiliary verification code may be significant and difficult to predict and master. Hence, further automation and systematization of verification tasks are possible directions for future advances in the field. Copyright © 2023, The Authors. All rights reserved.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

An Evaluation Method for Embedded Software Dependability Using QEMU-Based Fault Injection Framework

An Evaluation Method for Embedded Software Dependability Usi...

引用

International Conference on System Reliability and science (ICSRS)

作者： Haytham Metawie Mona Safar M. Watheq El-Kharashi Department of Computer and Systems Engineering Faculty of Engineering Ain Shams University Cairo Egypt Faculty of Computer Science Misr International University Cairo Egypt

Software dependability reflects the degree of the user’s trust in the system. Fault Injection (FI) is a superior method of evaluating a system’s dependability. An artificial fault is inserted into various locations throughout the system, with the intent of monitoring its propagation and observing the system’s behaviour in the presence of the fault. FI using Quick EMUlator (QEMU) allows for the injection of faults during the early stages of design and implementation without the need for a physical prototype of the target system. Additionally, it allows for sufficient controllability and observability as well as accurate results. As a result, we propose a QEMU-based fault injection framework to evaluate the dependability of embedded software for peripheral devices. The work proposed in this paper concentrates on emulating the ARM environment and the PrimeCell UART PL011 device. The framework is used to inject permanent stuck-at, intermittent bit-flip, and transient fault models into the UART peripheral. All experimental results and discussion are mentioned in Section IV.

关键词： Prototypes Controllability Safety Reliability Transient analysis Observability Monitoring

来源：评论

学校读者我要写书评

暂无评论

Implementation of Malaria Detection Using MobileNetV2 Pretrained Model for Improved Deep Learning Based Diagnostics

Implementation of Malaria Detection Using MobileNetV2 Pretra...

引用

International Conference on Computing, engineering, and Design (ICCED)

作者： Rahmat Hidayat Achmad Solichin Adhitia Erfina Sudin Saepudin Muhamad Muslih Mohd Zainuri Saringat Master of Computer Science Budi Luhur University Jakarta Indonesia Information Systems Study Program Nusa Putra University Sukabumi Indonesia Department of Software Engineering Faculty of Computer Science and Information Technology Tun Hussein Onn Malaysia University

ISBN: (数字)9798331529376

ISBN: (纸本)9798331529383

The Plasmodium parasite, which causes malaria, is an acute fever illness that infects people when a female Anopheles mosquito bites them. It is predicted that malaria would claim 619,000 lives in 2021, with 96% of those deaths occurring in the African continent. We can achieve this by using a microscope to examine thick and thin blood smears. The proficiency of a microscope examiner is crucial for doing microscopic examinations. Consider how time-consuming, ineffective, and costly it would be to examine thousands of malaria cases. Consequently, Creating an automated method for detecting malaria parasites is the aim of this study. We employ a MobileNetV2 pretrained model with CNN technology. Because it has been trained on dozens or even millions of data points, this pretrained model is incredibly light but dependable. There are two main benefits of automatic malaria parasite detection: firstly, it can offer a more accurate diagnosis, particularly in locations with limited resources; secondly, it lowers diagnostic expenses. The optimizer utilizes Adam Weight, the criteria uses NLLLoss, and the model is trained using 32 for batch_size. In the fourteenth epoch, we obtained the maximum accuracy score of 96.26% based on the training data. The outcomes of the predictions demonstrate how excellent this score is. EfficienceNet, DenseNet, AlexNet, and other pretrained models are among the alternatives that scientists are advised to try training with.

关键词： Training Adaptation models Accuracy Costs Malaria Microscopy Data visualization Training data Cost function Data models

来源：评论

学校读者我要写书评

暂无评论

Light-EvoOPT: A Lightweight Evolutionary Optimization Framework for Ultra-Large-Scale Mixed Integer Linear Programs

引用

IEEE Transactions on Evolutionary Computation 2025年

作者： Ye, Huigen Xu, Hua Coello, Carlos A. Coello Tsinghua University State Key Laboratory of Intelligent Technology and Systems Department of Computer Science and Technology Beijing100084 China Department of Computer Science D.F México07300 Mexico Tecnologico de Monterrey Faculty of Excellence The School of Engineering and Sciences N.L Monterrey Mexico

Machine Learning (ML)-based optimization frameworks emerge as a promising technique for solving large-scale Mixed Integer Linear Programs (MILPs), as they can capture the mapping between problem structures and optimal solutions to expedite their solution process. However, existing solution frameworks often suffer from high model computation costs, incomplete problem reduction, and reliance on large-scale solvers, leading to performance bottlenecks in ultra-large-scale problems with complex constraints. To address these issues, this paper proposes Light-EvoOPT, a Lightweight Evolutionary Optimization Framework for Ultra-Large-Scale Mixed Integer Linear Programs, which can be divided into four stages: (1) Problem Formulation for problem division to reduce model computational costs, (2) Model-based Initial Solution Prediction for predicting and constructing the initial solution using a small-scale training dataset, (3) Problem Reduction for both variable and constraint reduction, and (4) Evolutionary Optimization for current solution improvement employing a lightweight optimizer. Experiments on four benchmark datasets with tens of millions of variables and constraints and a real-world problem show that the proposed framework based on the sole use of a lightweight optimizer, trained on only one-thousandth of the scale of ultra-large-scale problems, is able to outperform state-of-the-art ML-based frameworks and advanced solvers (e.g. Gurobi) within a specified computational time, validating the feasibility and effectiveness of our proposed ML-based evolutionary optimization framework for ultra-large-scale MILPs. © 2025 IEEE. All rights reserved.

关键词： Mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Speech-Gesture GAN: Gesture Generation for Robots and Embodied Agents

Speech-Gesture GAN: Gesture Generation for Robots and Embodi...

引用

IEEE International Workshop on Robot and Human Communication (ROMAN)

作者： Carson Yu Liu Gelareh Mohammadi Yang Song Wafa Johal Faculty of Engineering School of Computer Science and Engineering University of New South Wales Sydney NSW Australia Faculty of Engineering and Information Technology School of Computing Information Systems University of Melbourne Melbourne VIC Australia

Embodied agents, in the form of virtual agents or social robots, are rapidly becoming more widespread. In human-human interactions, humans use nonverbal behaviours to convey their attitudes, feelings, and intentions. Therefore, this capability is also required for embodied agents in order to enhance the quality and effectiveness of their interactions with humans. In this paper, we propose a novel framework that can generate sequences of joint angles from the speech text and speech audio utterances. Based on a conditional Generative Adversarial Network (GAN), our proposed neural network model learns the relationships between the co-speech gestures and both semantic and acoustic features from the speech input. In order to train our neural network model, we employ a public dataset containing co-speech gestures with corresponding speech audio utterances, which were captured from a single male native English speaker. The results from both objective and subjective evaluations demonstrate the efficacy of our gesture-generation framework for Robots and Embodied Agents.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Low-Rank Reduced Biquaternion Tensor Ring Decomposition and Tensor Completion

arXiv

引用

arXiv 2025年

作者： Luo, Hui Liu, Xin Liu, Wei Zhang, Yang School of Computer Science and Engineering Faculty of Innovation Engineering Macau University of Science and Technology China Macau Institute of Systems Engineering Faculty of Innovation Engineering Macau University of Science and Technology China School of Artificial Intelligence Sun Yat-sen University The Guangdong Key Laboratory of Big Data Analysis and Processing Guangzhou China Department of Mathematics University of Manitoba MB Canada

We define the reduced biquaternion tensor ring (RBTR) decomposition and provide a detailed exposition of the corresponding algorithm RBTR-SVD. Leveraging RBTR decomposition, we propose a novel low-rank tensor completion algorithm RBTR-TV integrating RBTR ranks with total variation (TV) regularization to optimize the process. Numerical experiments on color image and video completion tasks indicate the advantages of our method. © 2025, CC BY.

关键词： Tensors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：