The proceedings contain 25 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Klaim in the Making;formal Approaches...
ISBN:
(纸本)9783031737084
The proceedings contain 25 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Klaim in the Making;formal Approaches for modeling and Analysis of Business Process Collaborations;an Abstract Account of Up-to Techniques for Inductive Behavioural Relations;language Equivalence from Nondeterministic to Weighted Automata—and Back;a Process Algebraic View of In/Out Prisoners;towards a Formal Testing Theory for Quantum Processes;testing Quantum Processes;the ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops;towards a Probabilistic Programming Approach to Analyse Collective Adaptive systems;Can AI Help with the Formalization of Railway Cybersecurity Requirements?;white-Box Validation of Collective Adaptive systems by Statistical Model Checking and Process Mining;analysing Collective Adaptive systems by Proving Theorems;engineering Ethical-Aware Collective Adaptive systems;emerging Synchrony in Applauding Audiences: Formal Analysis and Specification;flocks of Birds: A Quantitative Evaluation;strategies in Spatio-Temporal Logics for Multi-agent systems;function-as-a-Service Allocation Policies Made Formal;asynchronous Multiparty Sessions with Internal Delegation: Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday;code-Centric Code Generation;attack Tree Generation via Process Mining;local Spaces in Soft Concurrent Constraint Programming Oriented to Security;Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING;preventing Out-of-Gas Exceptions by Typing.
The proceedings contain 25 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Klaim in the Making;formal Approaches...
ISBN:
(纸本)9783031753794
The proceedings contain 25 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Klaim in the Making;formal Approaches for modeling and Analysis of Business Process Collaborations;an Abstract Account of Up-to Techniques for Inductive Behavioural Relations;language Equivalence from Nondeterministic to Weighted Automata—and Back;a Process Algebraic View of In/Out Prisoners;towards a Formal Testing Theory for Quantum Processes;testing Quantum Processes;the ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops;towards a Probabilistic Programming Approach to Analyse Collective Adaptive systems;Can AI Help with the Formalization of Railway Cybersecurity Requirements?;white-Box Validation of Collective Adaptive systems by Statistical Model Checking and Process Mining;analysing Collective Adaptive systems by Proving Theorems;engineering Ethical-Aware Collective Adaptive systems;emerging Synchrony in Applauding Audiences: Formal Analysis and Specification;flocks of Birds: A Quantitative Evaluation;strategies in Spatio-Temporal Logics for Multi-agent systems;function-as-a-Service Allocation Policies Made Formal;asynchronous Multiparty Sessions with Internal Delegation: Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday;code-Centric Code Generation;attack Tree Generation via Process Mining;local Spaces in Soft Concurrent Constraint Programming Oriented to Security;Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING;preventing Out-of-Gas Exceptions by Typing.
In the absence of any observation system or low veracity of the data, it is possible to provide control over a limited time interval basing on a high-precision control object model used. The paper proposes to use a mu...
详细信息
The formal description of the assets and liabilities management (ALM) by a bank within regulatory requirements leads to an optimal control problem with phase constraints. The phase constraints arise from the restricti...
详细信息
The proceedings contain 25 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Klaim in the Making;formal Approaches...
ISBN:
(纸本)9783031751066
The proceedings contain 25 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Klaim in the Making;formal Approaches for modeling and Analysis of Business Process Collaborations;an Abstract Account of Up-to Techniques for Inductive Behavioural Relations;language Equivalence from Nondeterministic to Weighted Automata—and Back;a Process Algebraic View of In/Out Prisoners;towards a Formal Testing Theory for Quantum Processes;testing Quantum Processes;the ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops;towards a Probabilistic Programming Approach to Analyse Collective Adaptive systems;Can AI Help with the Formalization of Railway Cybersecurity Requirements?;white-Box Validation of Collective Adaptive systems by Statistical Model Checking and Process Mining;analysing Collective Adaptive systems by Proving Theorems;engineering Ethical-Aware Collective Adaptive systems;emerging Synchrony in Applauding Audiences: Formal Analysis and Specification;flocks of Birds: A Quantitative Evaluation;strategies in Spatio-Temporal Logics for Multi-agent systems;function-as-a-Service Allocation Policies Made Formal;asynchronous Multiparty Sessions with Internal Delegation: Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday;code-Centric Code Generation;attack Tree Generation via Process Mining;local Spaces in Soft Concurrent Constraint Programming Oriented to Security;Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING;preventing Out-of-Gas Exceptions by Typing.
Cross-regional Hydrogen Energy Storage System (HESS) effectively addresses the uneven spatial and temporal distribution of renewable energy sources by facilitating energy storage, transfer, and scheduling across regio...
详细信息
Due to the lack of effective mpox detection tools, the mpox virus continues to spread worldwide and has been once again declared a public health emergency of international concern by the World Health Organization. Lig...
详细信息
The proceedings contain 141 papers. The topics discussed include: 3090-class processor architectures and workload performance levels;a survey of performance applications of the teleprocessing network simulator(TPNS);a...
The proceedings contain 141 papers. The topics discussed include: 3090-class processor architectures and workload performance levels;a survey of performance applications of the teleprocessing network simulator(TPNS);accounting for workload variation in interval selection and analysis;from simple regression to analysis of variance and beyond – painlessly;modelling CICS systems: the performance impact of MRO implementations and data base considerations;tools and methods available for in-depth VM performance analysis;a capacity planning/queueing theory primer or how far can you go on the back/of/an/envelope;an introduction to program-to-program communication and peer-to-peer networking in an IBM SNA environment;methodology to develop a tool for monitoring CPU usage by applications running under VM;system performance management and capacity planning;a fully automatic analytic approach to budget-constrained system upgrade;and capacity budgets and financial budgets: relating them to each other through resource accounting.
The proceedings contain 37 papers. The special focus in this conference is on Russian Automation. The topics include: Mapping and Path Planning Methods for Highly Automated Vehicles in Agriculture;morphological Analys...
ISBN:
(纸本)9783031824937
The proceedings contain 37 papers. The special focus in this conference is on Russian Automation. The topics include: Mapping and Path Planning Methods for Highly Automated Vehicles in Agriculture;morphological Analysis and Synthesis Features of Technological Processes;a Modern Method of Wireless Control of Unguarded Railway Crossings;duties and Obligations of the Railway Staff Concerned When the Microprocessorized Contactless Controlling Gauge Device Signal Is Triggered;integration of Automated Management systems for Enterprises’ Transport and Technical Services;development of an Automation Module for Planning Trajectories for Painting Aircraft Fuselage Elements;identification of Metal Sheets in the Flow, Based on the Marking Imprint, Using Neural Networks;study of the Performance of Adaptive Sensor Networks for Collecting and Processing Thermoelectric Data;development and Research of a Cartographic Model for Municipal Planning as the Basis of an Intelligent Geoinformation System;BIM Visual Programming of Bionic Architecture Construction Using Dynamo and Revit;development of a Model and Algorithms for Trigger Control of Technological Processes of Resource Provision;system for Statistical Assessment of Means of Controlling Engineers’ Qualification for Information Support to Manage the Recruiting Process in Industry;smart Enumeration Technology;comparative Analysis of C-Band Conical Horn Antenna Sparse Structures Characteristics at Different Frequencies;software Implementation of Heuristic Methods of Optimization and Integration into a Cloud Service;computer System for modeling Fluid Flow Around Bodies and Its Potential in Industry;the Effect of Regular and Irregular Segmentations on Characteristics and Charge Distribution Densities of Microstrip Lines;reinforcement Learning with External Teacher for Building Energy Management.
Engaging in regular exercise is essential for maintaining health and preventing various chronic diseases. However, many individuals fail to meet the recommended levels of exercise due to barriers such as a lack of tim...
详细信息
ISBN:
(数字)9798331523114
ISBN:
(纸本)9798331523121
Engaging in regular exercise is essential for maintaining health and preventing various chronic diseases. However, many individuals fail to meet the recommended levels of exercise due to barriers such as a lack of time, motivation, or access to facilities. Consequently, developing personalized and effective interventions to encourage exercise presents a significant challenge. In this paper, we propose a novel Persian exercise recommender system based on ParsBERT, a state-of-the-art language model for Persian natural language processing. The proposed system aims to provide tailored and timely suggestions for exercise to users based on their preferences. It utilizes ParsBERT to understand users' natural language inputs and recommend suitable sports videos. Additionally, it leverages ParsBERT to learn from users' behaviors and preferences over time, adapting its recommendations accordingly. We evaluate our system using a dataset of 100 Persian-speaking users who interacted with the platform. We measure its effectiveness in terms of adherence to exercise recommendations. Furthermore, we compare it with several baseline systems that do not utilize ParsBERT. The results indicate that our system outperforms the baseline systems across all metrics, demonstrating the potential of using ParsBERT to develop intelligent and personalized exercise recommender systems for Persian speakers.
暂无评论