research
∙
09/05/2023
Breaking Barriers to Creative Expression: Co-Designing and Implementing an Accessible Text-to-Image Interface
Text-to-image generation models have grown in popularity due to their ab...
share
research
∙
04/13/2023
Application of the Bell polynomials for the solution of some differential-algebraic equations
The differential transform method is used to find numerical approximatio...
research
∙
06/07/2022
WIDESim: A toolkit for simulating resource management techniques of scientific Workflows In Distributed Environments with graph topology
This paper presents a toolkit for simulating resource management of scie...
research
∙
04/14/2022
Stateless and Rule-Based Verification For Compliance Checking Applications
Underlying computational model has an important role in any computation....
research
∙
04/10/2021
Assessing and Supplying the Health of Videos Games via Formal Semantics
Video games, just like any other media have both explicit and implicit m...
research
∙
03/20/2021
SELM: Software Engineering of Machine Learning Models
One of the pillars of any machine learning model is its concepts. Using ...
research
∙
03/08/2021
Langar: An Approach to Evaluate Reo Programming Language
Reo is a formal coordination language. In order to assess and evaluate i...
research
∙
12/17/2020
A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities
Smart Cities, with their problems and challenges, is an emerging smart p...
research
∙
09/20/2020
Phishing Detection Using Machine Learning Techniques
The Internet has become an indispensable part of our life, However, It a...
research
∙
07/11/2020
KARB Solution: Compliance to Quality by Rule Based Benchmarking
Instead of proofs or logical evaluations, compliance assessment could be...
research
∙
09/12/2019
A Deep Learning-Based Approach for Measuring the Domain Similarity of Persian Texts
In this paper, we propose a novel approach for measuring the degree of s...
research
∙
08/24/2019
