In the analysis and control of complex systems such as hybrid or switched systems, the computation of sets satisfying given properties is paramount. Let us mention for instance safety analysis, model predictive
This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation, WALCOM 2023, which took place in Hsinchu, Taiwan, in March 2023. The 30 full papers presented together with 2 invited papers were carefully reviewed and selected from 75 submissions...
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 ...
The reason why evolutionary algorithms may help combat reward tampering is that they are able to find a diverse collection of different solutions to a problem within a single run, aiding the search for desirable solutions. Four different evolutionary algorithms were deployed in tasks illustrating the...
The lump solutions, the interaction between lump wave and solitary wave solutions and kink-solitary wave solutions are derived with symbolic computation based on a logarithmic derivative transform which is derived by the help of Hirota's simple method. The shallow water waves in this equation are ...
Specially, due to the heterogeneity of UE battery capacities and residual energy, the residual energy of UEs should be taken into consideration in order to achieve better QoE. Therefore, we develop a residual energy-based computation efficiency (RECE) optimization scheme to m...
Louis P. ParkerEngineering Mechanics, KTH Royal Institute of Technology, Stockholm, SwedenAnders Svensson MarcialDepartment of Clinical Science, Intervention and Technology, Karolinska Institute, Stockholm, SwedenTorkel BrismarDepartment of Clinical Science, Intervention and Technology, Karolinska Institute, ...
Finally, a contrastive loss function is used to train the model in an unsupervised manner. We also propose an improved experiment and three related metrics and conduct extensive experiments to evaluate the performance of the proposed framework. The results validate the efficacy of the pro...
At present, the recognition of characters for image processing is based on the technology of image recognition, which can provide a more flexible user experience. However, the dilemma of contactless design lies in the processing and calculation of images, which should reduce the inconvenience caused...
Computation of Turing Bifurcation Normal Form for n-Component Reaction-Diffusion Systemsdoi:10.1145/3625560Normal formTuring bifurcationpattern formationreaction diffusionEdgardo Villar-SepúlvedaAlan ChampneysACM Transactions on Mathematical Software