A brief review of existing medical dosage guidelines for Graves' disease is conducted. This motivates to derive a recommendation strategy and a performance assessment via limit cycle stability analysis. For this p...
详细信息
A brief review of existing medical dosage guidelines for Graves' disease is conducted. This motivates to derive a recommendation strategy and a performance assessment via limit cycle stability analysis. For this purpose, an existing mathematical treatment model is simplified by incorporating medical aspects. From an application point of view, this is related to suboptimal treatments which can be approximated by a proportional controller in combination with a time-discretization of the closed-loop model for incorporating the effect of regular appointments with a physician. The presented results highlight critical aspects to be considered during treatment. Copyright (c) 2025 The Authors. This is an open access article under the CC BY-NC-ND license (https://***/licenses/by-nc-nd/4.0/)
Power components, such as electric poles and insulators, play a critical role in ensuring the stability and functionality of UAV (unmanned aerial vehicle) electrical systems. The detection of these components allows f...
详细信息
We present a third version of the PraK system designed around an effective text-image and image-image search model. The system integrates sub-image search options for localized context search for CLIP and image color/...
详细信息
Large language models (LLMs) based on transformer architecture have revolutionized natural language processing (NLP), demonstrating excellent capabilities in understanding and generating human-like text. In Software E...
详细信息
ISBN:
(纸本)9783031808883;9783031808890
Large language models (LLMs) based on transformer architecture have revolutionized natural language processing (NLP), demonstrating excellent capabilities in understanding and generating human-like text. In Software Engineering, LLMs have been applied in code generation, documentation, and report writing tasks, to support the developer and reduce the amount of manual work. In Software Testing, one of the cornerstones of Software Engineering, LLMs have been explored for generating test code, test inputs, automating the oracle process or generating test scenarios. However, their application to high-level testing stages such as system testing, in which a deep knowledge of the business and the technological stack is needed, remains largely unexplored. This paper presents an exploratory study about how LLMs can support system test development. Given that LLM performance depends on input data quality, the study focuses on how to query general purpose LLMs to first obtain test scenarios and then derive test cases from them. The study evaluates two popular LLMs (GPT-4o and GPT-4o-mini), using as a benchmark a European project demonstrator. The study compares two different prompt strategies and employs well-established prompt patterns, showing promising results as well as room for improvement in the application of LLMs to support system testing.
The proceedings contain 105 papers. The special focus in this conference is on Numerical Computations: Theory and Algorithms. The topics include: Resource Allocation via Bayesian Optimization: an Efficient A...
ISBN:
(纸本)9783031812408
The proceedings contain 105 papers. The special focus in this conference is on Numerical Computations: Theory and Algorithms. The topics include: Resource Allocation via Bayesian Optimization: an Efficient Alternative to Semi-Bandit Feedback;multi-Objective and Multiple Information Source Optimization for Fair & Green Machine Learning;extended Optimal Control Problem for Practical application;explainable Process Deviance Discovery with Data-Efficient Deep Learning;line Search Stochastic Gradient Algorithm with A-priori Rule for Monitoring the Control of the Variance;a Machine Learning Approach to Speed up the Solution of the Distributor’s Pallet Loading Problem;combined First- and Second-Order Directions for Deep Neural Networks Training;constrained Global Optimization by Smoothing;the Unreasonable Effectiveness of Optimal Transport Distance in the Design of Multi-Objective Evolutionary Optimization Algorithms;an Improved Modified Jaya Optimization Algorithm: application to the Solution of Nonlinear Equation systems;GPU Acceleration of the Enhanced Jaya Optimization Algorithm for Solving Large systems of Nonlinear Equations;effective Resistance Based Community Detection in Complex Networks;a Comparison of Formulations for Aircraft Deconfliction;optimal Recombination Problem in Genetic Programming for Boolean Functions;heuristics with Local Improvements for Two-Processor Scheduling Problem with Energy Constraint and Parallelization;numerical Analysis of Optimal Control of Assets and Liabilities by a Bank;optimal Control for Stochastic Multi-agent systems With the Use of Parallel Hybrid Genetic Algorithm;DC Optimization in Adversarial Sparse Support Vector Machine;A First-Order Optimality Condition in Nonsmooth Generalized Semi-infinite Programming (GSIP);miniaturisation of Binary Classifiers Through Sparse Neural Networks;Price Forecasting for Bitcoin: Linear Regression and SVM Approaches;inside the Box: 0–1 Linear Programming Under Interval Uncertainty;machine Learn
This paper expands upon an existing Virtual Reality (VR) application designed for the research of Human-Robot Collaboration (HRC) by incorporating a voice-based natural communication backchannel. The core of this VR a...
详细信息
The proceedings contain 105 papers. The special focus in this conference is on Numerical Computations: Theory and Algorithms. The topics include: Resource Allocation via Bayesian Optimization: an Efficient A...
ISBN:
(纸本)9783031812460
The proceedings contain 105 papers. The special focus in this conference is on Numerical Computations: Theory and Algorithms. The topics include: Resource Allocation via Bayesian Optimization: an Efficient Alternative to Semi-Bandit Feedback;multi-Objective and Multiple Information Source Optimization for Fair & Green Machine Learning;extended Optimal Control Problem for Practical application;explainable Process Deviance Discovery with Data-Efficient Deep Learning;line Search Stochastic Gradient Algorithm with A-priori Rule for Monitoring the Control of the Variance;a Machine Learning Approach to Speed up the Solution of the Distributor’s Pallet Loading Problem;combined First- and Second-Order Directions for Deep Neural Networks Training;constrained Global Optimization by Smoothing;the Unreasonable Effectiveness of Optimal Transport Distance in the Design of Multi-Objective Evolutionary Optimization Algorithms;an Improved Modified Jaya Optimization Algorithm: application to the Solution of Nonlinear Equation systems;GPU Acceleration of the Enhanced Jaya Optimization Algorithm for Solving Large systems of Nonlinear Equations;effective Resistance Based Community Detection in Complex Networks;a Comparison of Formulations for Aircraft Deconfliction;optimal Recombination Problem in Genetic Programming for Boolean Functions;heuristics with Local Improvements for Two-Processor Scheduling Problem with Energy Constraint and Parallelization;numerical Analysis of Optimal Control of Assets and Liabilities by a Bank;optimal Control for Stochastic Multi-agent systems With the Use of Parallel Hybrid Genetic Algorithm;DC Optimization in Adversarial Sparse Support Vector Machine;A First-Order Optimality Condition in Nonsmooth Generalized Semi-infinite Programming (GSIP);miniaturisation of Binary Classifiers Through Sparse Neural Networks;Price Forecasting for Bitcoin: Linear Regression and SVM Approaches;inside the Box: 0–1 Linear Programming Under Interval Uncertainty;machine Learn
In view of the low accuracy and false alarm rate of traditional security protection means in monitoring and positioning of personnel and objects in intelligent security systems, this paper introduced electronic fence ...
详细信息
The proceedings contain 105 papers. The special focus in this conference is on Numerical Computations: Theory and Algorithms. The topics include: Resource Allocation via Bayesian Optimization: an Efficient A...
ISBN:
(纸本)9783031812439
The proceedings contain 105 papers. The special focus in this conference is on Numerical Computations: Theory and Algorithms. The topics include: Resource Allocation via Bayesian Optimization: an Efficient Alternative to Semi-Bandit Feedback;multi-Objective and Multiple Information Source Optimization for Fair & Green Machine Learning;extended Optimal Control Problem for Practical application;explainable Process Deviance Discovery with Data-Efficient Deep Learning;line Search Stochastic Gradient Algorithm with A-priori Rule for Monitoring the Control of the Variance;a Machine Learning Approach to Speed up the Solution of the Distributor’s Pallet Loading Problem;combined First- and Second-Order Directions for Deep Neural Networks Training;constrained Global Optimization by Smoothing;the Unreasonable Effectiveness of Optimal Transport Distance in the Design of Multi-Objective Evolutionary Optimization Algorithms;an Improved Modified Jaya Optimization Algorithm: application to the Solution of Nonlinear Equation systems;GPU Acceleration of the Enhanced Jaya Optimization Algorithm for Solving Large systems of Nonlinear Equations;effective Resistance Based Community Detection in Complex Networks;a Comparison of Formulations for Aircraft Deconfliction;optimal Recombination Problem in Genetic Programming for Boolean Functions;heuristics with Local Improvements for Two-Processor Scheduling Problem with Energy Constraint and Parallelization;numerical Analysis of Optimal Control of Assets and Liabilities by a Bank;optimal Control for Stochastic Multi-agent systems With the Use of Parallel Hybrid Genetic Algorithm;DC Optimization in Adversarial Sparse Support Vector Machine;A First-Order Optimality Condition in Nonsmooth Generalized Semi-infinite Programming (GSIP);miniaturisation of Binary Classifiers Through Sparse Neural Networks;Price Forecasting for Bitcoin: Linear Regression and SVM Approaches;inside the Box: 0–1 Linear Programming Under Interval Uncertainty;machine Learn
To scientifically evaluate the effectiveness of blended teaching, an evaluation index system was constructed using mathematical and statistical methods. The systemsystematically analyzed the coverage of teaching cont...
详细信息
暂无评论