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

8th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2024

作者： Liagkou, V. Nastou, P.E. Spirakis, P. Stamatiou, Y.C. Computer Technology Institute and Press - "Diophantus" University of Patras Campus Patras26504 Greece Department of Computer Science University of Liverpool Liverpool United Kingdom Department of Business Administration University of Patras Patras26504 Greece Department of Informatics and Telecommunications University of Ioannina Koatakioi Arta47100 Greece Department of Mathematics Applied Mathematics and Mathematical Modeling Laboratory University of the Aegean Samos Greece

ISBN: (纸本)9783031769337

This paper explores the interplay between randomly generated structures, namely set families as well as second-order logic 0-1 laws, in security-related settings. The paper investigates how randomly generated structures can serve as powerful models for representing security properties of complex systems. By examining the 0-1 properties of these structures, conditions are stated which determine the presence or absence of specific security issues. The stated results provide a generic framework for studying insights into the probabilistic behavior of security attributes modeled by set families and mathematical logic with application potential in designing more robust systems. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Membership Inference Attacks for Face Images Against Fine-Tuned Latent Diffusion Models

arXiv

引用

arXiv 2025年

作者： Holme, Lauritz Christian Storgaard, Anton Mosquera Bigdeli, Siavash Arjomand Department of Applied Mathematics and Computer Science Technical University of Denmark Kongens Lyngby Denmark

The rise of generative image models leads to privacy concerns when it comes to the huge datasets used to train such models. This paper investigates the possibility of inferring if a set of face images was used for fine-tuning a Latent Diffusion Model (LDM). A Membership Inference Attack (MIA) method is presented for this task. Using generated auxiliary data for the training of the attack model leads to significantly better performance, and so does the use of watermarks. The guidance scale used for inference was found to have a significant influence. If a LDM is fine-tuned for long enough, the text prompt used for inference has no significant influence. The proposed MIA is found to be viable in a realistic black-box setup against LDMs fine-tuned on face-images. © 2025, CC BY-NC-ND.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis of a Queueing System Providing Service to Regular and Ad Hoc Clients 23rd

Analysis of a Queueing System Providing Service to Regula...

引用

23rd International Conference on Information Technologies and Mathematical Modelling, ITMM 2024

作者： Dudin, Sergei Dudin, Alexander Dudina, Olga Department of Applied Mathematics and Computer Science Belarusian State University Minsk 220030 Belarus

ISBN: (纸本)9783031883064

A multi-server queueing system is under study. Two kinds of requests are processed in the system. One kind of requests is generated by regular clients in exponentially distributed intervals of time. A whole sequence of requests can be generated by one regular client. Another kind of requests is generated by ad hoc clients. Each such client generates only one request. Regular and ad hoc client arrivals are defined by two independent Markov arrival processes. Service times for both kinds of requests are exponentially distributed, with the rate independent of the kind of request. A regular client resides in the system during an exponentially distributed time and departs from the system. All requests generated by this client when there are idle servers will obtain full service even the client has departed from the system. Ad hoc clients are less valuable for the system than the regular ones. Therefore, a request by a regular client is admitted to the system if there is at least one idle server at the moment of arrival. Ad hoc clients are admitted to the system only if the number of busy servers is less than a certain threshold value. The behaviour of this system is described by the four-dimensional continuous-time Markov chain with the state-inhomogeneous transition rates. Analysis of this chain is implemented, including demonstration of the feasibility of the proposed algorithms for computation of its stationary distribution. The problem of optimal choice of the number of servers and the threshold defining the policy of ad hoc clients admission is numerically solved. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： admission control MAP regular and ad hoc customers

来源：评论

学校读者我要写书评

暂无评论

Education 4.0: Considering the Development of Teachers’ Psychological Dispositions Towards the Use of ICT with Kindergarten Children 14th

Education 4.0: Considering the Development of Teachers’ P...

引用

14th International Conference on Methodologies and Intelligent Systems for Technology Enhanced Learning, mis4TEL 2024

作者： Peretti, Sara Caruso, Federica Pino, Maria Chiara Di Mascio, Tania Centre of Excellence DEWS University of L’Aquila L’Aquila Italy Department of Information Engineering Computer Science and Mathematics University of L’Aquila L’Aquila Italy Department of Biotechnological and Applied Clinical Sciences L’Aquila Italy

ISBN: (纸本)9783031855603

Since 2020, the COVID-19 pandemic has forced teachers to rapidly adopt Information and Communication Technology (ICT) tools for distance learning, transforming education into an all-digital environment. This shift posed significant challenges, especially for kindergarten teachers accustomed to traditional, face-to-face methods. These changes will have long-term impacts on education, influencing teachers’ attitudes and beliefs, which take time to stabilize and evaluate. The present paper addresses this by posing the question: In 2024, four years after the COVID-19 pandemic, what attitudes have kindergarten teachers developed towards ICT integration in the classroom? For this purpose, the standardized "Intrapersonal Technology Integration Scale" was chosen to assess the beliefs of Italian kindergarten teachers. The study includes 49 kindergarten teachers, all women. Data analysis showed that they have a strong interest in using ICT, indicating a need for ongoing support and training initiatives. However, teachers did not report feeling self-efficacy in using ICT with children in the classroom. This finding is crucial as it can influence their expectations and motivation towards integrating these technologies into daily teaching activities. In conclusion, this study highlights the critical importance of teachers’ attitudes in shaping future learning environments within the Education 4.0 era and provides suggestions to maximize ICT integration starting from early education to better meet the needs of future citizens. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Pose Estimation of Spacecraft Using Dual Transformers and Efficient Bayesian Hyperparameter Optimization

引用

International Journal of Advanced computer science and Applications 2025年第4期16卷 629-644页

作者： Raja, N. Kannaiya Ramesh, Janjhyam Venkata Naga El-Ebiary, Yousef A. Baker Muniyandy, Elangovan Reddy, N. Konda Kumar, Vanipenta Ravi Devarasetty, Prasad School of Computing Science and Engineering VIT Bhopal University Madhya Pradesh Bhopal466114 India Department of CSE Graphic Era Hill University Dehradun248002 India Department of CSE Graphic Era Deemed To Be University Uttarakhand Dehradun248002 India Faculty of Informatics and Computing UniSZA University Malaysia Department of Biosciences Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Chennai602 105 India Applied Science Research Center Applied Science Private University Amman Jordan Department of Engineering Mathematics K L University Greenfields Guntur Dist Andhra Pradesh Vaddeswaram522302 India Department of Mathematics Annamacharya University New Boyanapalli Rajampet India Department of Computer Science and Engineering DVR & Dr HS MIC College of Technology Andhra Pradesh Kanchikacherla India

Spacecraft pose estimation is an essential contribution to facilitating central space mission activities like autonomous navigation, rendezvous, docking, and on-orbit servicing. Nonetheless, methods like Convolutional Neural Networks (CNNs), Simultaneous Localization and Mapping (SLAM), and Particle Filtering suffer significant drawbacks when implemented in space. Such techniques tend to have high computational complexity, low domain generalization capacity for varied or unknown conditions (domain generalization problem), and accuracy loss with noise from the space environment causes such as fluctuating lighting, sensor limitations, and background interference. In order to overcome these challenges, this study suggests a new solution through the combination of a Dual-Channel Transformer Network with Bayesian Optimization methods. The innovation is at the center with the utilization of EfficientNet, augmented with squeeze-and-excitation attention modules, to extract feature-rich representations without sacrificing computational efficiency. The dual-channel architecture dissects satellite pose estimation into two dedicated streams—translational data prediction and orientation estimation via quaternion-based activation functions for rotational precision. Activation maps are transformed into transformer-compatible sequences via 1×1 convolutions, allowing successful learning in the transformer's encoder-decoder system. To maximize model performance, Bayesian Optimization with Gaussian Process Regression and the Upper Confidence Bound (UCB) acquisition function makes the optimal hyperparameter selection with fewer queries, conserving time and resources. This entire framework, used here in Python and verified with the SLAB Satellite Pose Estimation Challenge dataset, had an outstanding Mean IOU of 0.9610, reflecting higher accuracy compared to standard models. In total, this research sets a new standard for spacecraft pose estimation, by marrying the versatility of deep le

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

AI-Powered Healthcare with Advanced Graph Convolutional Neural Networks and SVM for Diagnosis 3

AI-Powered Healthcare with Advanced Graph Convolutional Neur...

引用

3rd International Conference on Integrated Circuits and Communication Systems, ICICACS 2025

作者： Mahendran, A. Nalla, Sridhar Babu Trivedi, Lalit Mohan Mohankumar, S. Williams, D.R. Mohan Renuka, Manne Sona College of Arts and Science Department of Computer Science Salem India Sr University Department of Computer Science and Engineering Hyderabad India Moradabad Institute of Technology Department of Ash Mathematics Moradabad India Erode Sengunthar Engineering College Department of Computer Science and Engineering Perundurai India College of Computing and Information Sciences University of Technology and Applied Science-Sohar Department of Information Technology Sohar Oman Vidya Jyothi Institute of Technology Department of Electronics and Communication Engineering Hyderabad India

ISBN: (纸本)9798331508456

Medical treatment costs are rising for many reasons. These include an increasing world population, an aging population, greater healthcare needs, more diseases, and inflation. With AI's emergence in navigation, voice recognition, image lesion segmentation, ride-sharing, and smartphone personal assistants, the healthcare industry has quickly adopted it. Initial preprocessing includes standardization, missing values, and discarding anomalies. Next, the model is trained using the obtained features. Spearman correlation, a rank-based nonparametric statistic, can quantify monotonic correlation strength and direction. Even with missing values, the Graph Convolutional Network (GCN) performs well in model training. The suggested model outperformed state-of-the-art alternatives with 93.48% accuracy. It outperformed TransLSTM and GraphSAGE on complex datasets. This research stresses the system's ability to improve healthcare forecast accuracy through preprocessing, feature extraction, and GCN model training. Results show that AI can improve healthcare analytics despite lacking data. © 2025 IEEE.

关键词： Patient treatment

来源：评论

学校读者我要写书评

暂无评论

Enhancing the Swanepoel method: precise envelope detection of thin-film transmission spectra

引用

Optics Express 2025年第6期33卷 13376-13400页

作者： Ballester, Manuel Marquez, Almudena P. Lopez-Tapia, Santiago Fernandez, Susana Bass, John Minkov, Dorian Wuersch, Christoph Willomitzer, Florian Marquez, Emilio Katsaggelos, Aggelos K. Computer Science Department Northwestern University EvanstonIL60208 United States Department of Mathematics Faculty of Science University of Cadiz Puerto Real11510 Spain Department of Electrical and Computer Engineering Northwestern University EvanstonIL60208 United States CIEMAT Avenida Complutense 40 Madrid28040 Spain Wyant College of Optical Sciences University of Arizona TucsonAZ85721 United States Sofia1000 Bulgaria Institute for Computational Engineering ICE OST Eastern Switzerland University of Applied Sciences Switzerland Department of Condensed-matter Physics Faculty of Science University of Cadiz Puerto Real11510 Spain

The Swanepoel method is a widely used optical technique for characterizing thin films through normal-incidence transmission measurements. A critical step in this approach involves extracting the upper and lower envelopes of the measured oscillatory spectrum. By analyzing the transmission spectrum and its corresponding envelopes, the Swanepoel procedure enables precise determination of the film refractive index and extinction coefficient. However, even minor inaccuracies in envelope construction can propagate significant errors into the final characterization results. To address this challenge, we present what we believe to be a novel physics-informed optimization algorithm for envelope detection. Our mathematical model reformulates the envelope detection problem as a global optimization task that enforces the physical properties of the Swanepoel envelopes. Extensive validation on fifty randomly generated transmission spectra demonstrates unprecedented accuracy: the method achieves root-mean-square errors (RMSE) below 0.10% for the upper envelope and 0.06% for the lower envelope (more than doubling the accuracy of current state-of-the-art approaches). Furthermore, the proposed model has been assessed with two experimental transmission spectra, demonstrating its robustness and accuracy with real noisy data. We have developed an open-source Python software package (see text below). This software includes not only our innovative envelope construction algorithm but also additional envelope drawing algorithms for comparison and an efficient implementation of the Swanepoel method, enabling complete optical characterization of thin films. © 2025 Optica Publishing Group under the terms of the Optica Open Access Publishing Agreement.

关键词： Mean square error

来源：评论

学校读者我要写书评

暂无评论

Tandem Retrial Queueing System with Markovian Arrival Process and Common Orbit 27th

Tandem Retrial Queueing System with Markovian Arrival Proce...

引用

27th International Conference on Distributed computer and Communication Networks, DCCN 2024

作者： Klimenok, V.I. Vishnevsky, Vladimir Department of Applied Mathematics and Computer Science Belarusian State University Minsk220030 Belarus V. A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences 65 Profsoyuznaya Street Moscow117997 Russia

ISBN: (纸本)9783031808524

In the current paper, a retrial tandem queueing system consisting of two stations in series is investigated. Each station is represented by a single server and a limited size buffer. Customers arrive at the first station according to a Markovian Arrival Process (MAP). The service time at the first and the second server has a Phase type (PH) distribution. The novelty of the model under consideration is the presence of a common orbit for blocked customers both at the first and second stations. Unlike other few studies of retrial tandem systems with a common orbit, our model is more general and we obtain analytical results using matrix-analytic technique. We derive the sufficient conditions for existence and absence of the stationary regime in the system, calculate the steady-state distribution of the number of customers in the orbit and at the stations and derive formulas for the most significant performance measures. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Queueing networks

来源：评论

学校读者我要写书评

暂无评论

Wildcat: Educational RISC-V Microprocessors

arXiv

引用

arXiv 2025年

作者： Schoeberl, Martin Department of Applied Mathematics and Computer Science Technical University of Denmark Kgs. Lyngby Denmark

In computer architecture courses, we usually teach RISC processors using a five-stage pipeline, neglecting alternative organizations. This design choice, rooted in the 1980s technology, may not be optimal today, and it is certainly not the easiest pipeline for education. This paper examines more straightforward pipeline organizations for RISC processors that are suitable for educational purposes and for implementing embedded processors in FPGAs and ASICs. We analyze resource costs and maximum clock frequency of various designs implemented in an FPGA, using clock frequency as a performance proxy. Additionally, we validate these results with ASIC designs synthesized using the open-source SkyWater130 process. Contradictory to common wisdom, a longer pipeline (up to 5 stages) does not necessarily always increase the maximum clock frequency. In two FPGA and one ASIC implementation, we discovered that a four- or five-stage pipeline leads to a slower clock frequency than a three-stage implementation. The reason is that the width of the forwarding multiplexer in the execution stage increases with longer pipelines, which is on the critical path. We also argue that a 3-stage pipeline organization is more adequate for teaching a pipeline organization of a microprocessor. © 2025, CC BY.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

A Novel Interpretation of the Radon Transform’s Ray- and Pixel-Driven Discretizations under Balanced Resolutions

arXiv

引用

arXiv 2025年

作者： Huber, Richard Technical University of Denmark Department of Applied Mathematics and Computer Science Kgs Lyngby2800 Denmark

Tomographic investigations are a central tool in medical applications, allowing doctors to image the interior of patients. The corresponding measurement process is commonly modeled by the Radon transform. In practice, the solution of the tomographic problem requires discretization of the Radon transform and its adjoint (called the backprojection). There are various discretization schemes;often structured around three discretization parameters: spatial-, detector-, and angular resolutions. The most widespread approach uses the ray-driven Radon transform and the pixel-driven backprojection in a balanced resolution setting, i.e., the spatial resolution roughly equals the detector resolution. The use of these particular discretization approaches is based on anecdotal reports of their approximation performance, but there is little rigorous analysis of these methods’ approximation errors. This paper presents a novel interpretation of ray-driven and pixel-driven methods as convolutional discretizations, illustrating that from an abstract perspective these methods are similar. Moreover, we announce statements concerning the convergence of the ray-driven Radon transform and the pixel-driven backprojection under balanced resolutions. Our considerations are supported by numerical experiments highlighting aspects of the discussed *** Codes 44A12, 65R10, 94A08 © 2025, CC BY.

关键词： computerized tomography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：