Programming and Computer Software

Article	Citations
Digital Twins, Internet of Things and Mobile Medicine: A Review of Current Platforms to Support Smart Healthcare	30
Normalization of a Periodic Hamiltonian System	15
Survey of Nvidia RTX Technology	14
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks	14
BSQ-rate: a New Approach for Video-codec Performance Comparison and Drawbacks of Current Solutions	13
Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach	11
Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing	11
Patterns Related to Microservice Architecture: a Multivocal Literature Review	10
Recent Trends in Underwater Wireless Sensor Networks (UWSNs) – A Systematic Literature Review	9
Progressive Backward Photon Mapping	7
Analysis of Correct Synchronization of Operating System Components	7
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems	7
Automated Creation of Cyber-Physical Museum Exhibits Using a Scientific Visualization System on a Chip	7
Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets	7
The Traffic Congestion Analysis Using Traffic Congestion Index and Artificial Neural Network in Main Streets of Electronic City (Case Study: Hamedan City)	7
Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series	7
Minimal Representations and Algebraic Relations for Single Nested Products	6
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series	6
Requirements and GitHub Issues: An Automated Approach for Quality Requirements Classification	6
Light Transport in Realistic Rendering: State-of-the-Art Simulation Methods	6
Visualization Component for the Aircraft Real-Time Operating System JetOS	6
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment	6
Procedures for Constructing Truncated Solutions of Linear Differential Equations with Infinite and Truncated Power Series in the Role of Coefficients	5
Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request	5
Automated Software Testing Technologies for Realistic Computer Graphics	5

Simplification of CAD Models by Automatic Recognition and Suppression of Blend Chains	5
Restoration of Lighting Parameters in Mixed Reality Systems Using Convolutional Neural Network Technology Based on RGBD Images	5
Analysis of Deep Neural Networks for Detection of Coronary Artery Stenosis	4
Information Flow Control in Software DB Units Based on Formal Verification	4
Explicit Multiobjective Evolutionary Algorithms for Flow Shop Scheduling with Missing Operations	4
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis	4
Computer Algebra in JULIA	4
ISO/IEC 29110 and Software Engineering Education: A Systematic Mapping Study	4
Fault Identification in Mobile Robot Groups Using Sliding Mode Observers	4
Algorithm for Constructing Modular Projections for Correcting Multiple Errors Based on a Redundant Residue Number System Using Maximum Likelihood Decoding	4
Binarization of the Swallow Swarm Optimization for Feature Selection	4
A Software System for Processing Images with Parallel Computing	4
Algorithms and Programs for Calculating the Roots of Polynomial of One or Two Variables	4
Analytical-Numerical Implementation of Polyvector Algebra in Julia	4
Computing Unimodular Matrices of Power Transformations	4
Noise Dependence on the Number of Rays in Bidirectional Stochastic Ray Tracing with Photon Maps	4
A Design Guide for Usable Web APIs	3
Performance Model of Graphics Pipeline for a One-Pass Rendering of 3D Dynamic Scenes	3
Approaches to User Interface Development	3
Some Aspects of Associative Memory Construction Based on a Hopfield Network	3
Adaptation Algorithm for Application Menus	3
Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood’s Machine using Computer Algebra	3
Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study	3
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm	3
Searching for Equilibrium States of Atwood’s Machine with Two Oscillating Bodies by Means of Computer Algebra	3
Symbolic Investigation of Eigenvectors for General Solution of a System of ODEs with a Symbolic Coefficient Matrix	3
Replication in Distributed Systems: Models, Methods, and Protocols	3
Heuristic Algorithms for Recognition of Some Cubic Hypersurfaces	3
A Modular Extension for a Computer Algebra System	3
Supercomputer Environment for Recursive Matrix Algorithms	3
Improving the Software Estimation Models Based on Functional Size through Validation of the Assumptions behind the Linear Regression and the Use of the Confidence Intervals When the Reference Database	3
Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides	3
Software Testing in the DevOps Context: A Systematic Mapping Study	3
Subwords-Only Alternatives to fastText for Morphologically Rich Languages	3
NOBRAINER: A Tool for Example-Based Transformation of C/C++ Code	3
Symbolic Methods for Studying the Equilibrium Orientations of a System of Two Connected Bodies in a Circular Orbit	3
Solving the Cauchy Problem for a Two-Dimensional Difference Equation at a Point Using Computer Algebra Methods	3
The Role of Personality in Motivation to use an Affective Feedback System	3
Highly Realistic Visualization of Caustics and Rough Surfaces	3
Differential Geometry and Mechanics: A Source for Computer Algebra Problems	2
Modification of the Marching Cubes Algorithm to Obtain a 3D Representation of a Planar Image	2
Algorithms for Checking Some Properties of n-Quasigroups	2
Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains	2
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets	2
Dynamic Program Analysis Tools in GCC and CLANG Compilers	2
Live Migration Schemes in Data Centers	2
Ontology-Driven Visual Analytics Software Development	2
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System	2
Scrumlity: An Agile Framework Based on Quality of User Stories	2
Survey of Methods for Automated Code-Reuse Exploit Generation	2

Implementation of Neural Machine Translation for Nahuatl as a Web Platform: A Focus on Text Translation	2
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study	2
Testing Equivalences of Time Petri Nets	2
Automation of C Program Deductive Verification without Using Loop Invariants	2
Algorithm for Solving the Cauchy Problem for a Two-Dimensional Difference Equation with Initial Data Defined in a “Strip”	2
Development of DSL Compilers for Specialized Processors	2
How COVID-19 Pandemic affects Software Developers’ Wellbeing, and the Necessity to strengthen Soft Skills	2
Hybrid Method for Gibbs-Ringing Artifact Suppression in Magnetic Resonance Images	2
A Survey of Programming Language Memory Models	2
Technology and Methods for Deferred Synthesis of 4K Stereo Clips for Complex Dynamic Virtual Scenes	2
Mu-Calculus Satisfiability with Arithmetic Constraints	2
Dedicative Verification of Reflex Programs	2
Model of Pseudo-Random Sequences Generated by Encryption and Compression Algorithms	2
Predicting COVID-19-Induced Lung Damage Based on Machine Learning Methods	2
3D Model Compression with Support of Parallel Processing on the GPU	2
Exhaustive Use of Information on an Equation with Truncated Coefficients	2
Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS	2
Improving the Analytic Hierarchy Process for Requirements Prioritization Using Evolutionary Computing	2
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning	2
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection	2
Symbolic-Analytic Methods for Studying Equilibrium Orientations of a Satellite on a Circular Orbit	2
Construction of Pseudo-Geometric Integrators	2
Developing Web Applications with Awareness of Data Quality Elements – DQAWA	2
The Method of Colored Graphs for Simplifying Expressions with Indices	2
Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation	2
Occlusion Culling Algorithm Based on Software Visibility Checks	2
Level Lines of a Polynomial on a Plane	1
Specifying Data Quality Requirements through Web Functionalities – MOSQAF	1
Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems	1
Algorithm for Computing the Truncation of the Discriminant of a Polynomial	1
Efficient Rendering for the Cockpit Display System Designed in Compliance with the ARINC 661 Standard	1
Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges	1
Autonomous Swarm of Low-Cost Commercial Unmanned Aerial Vehicles for Surveillance	1
Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group	1
Automotive Post-Collision Control Software System: Requirements and Verification	1
Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)	1
Parallel Solutions of Parametric Problems in Gas Dynamics Using DVM/DVMH Technology	1
Software Project Estimation Using Smooth Curve Methods and Variable Selection and Regularization Methods as an Alternative to Linear Regression Models when the Reference Database Presents a Wedge-shap	1
A Formal Model for Detecting Bugs by Symbolic Execution of Programs	1
Investigation of RISC-V	1
Asymptotic Expansions of Solutions to the Second Term of the Fourth Painlevé Hierarchy	1
Configurable Test System for RTOS	1
Using a Template Engine as a Computer Algebra Tool	1
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2	1
Usability Evaluation of BCI Software Applications: A systematic review of the literature	1
Decomposition of a Finite Quantum System into Subsystems: Symbolic–Numerical Approach	1
Computing the Connected Components of the Complement to the Amoeba of a Polynomial in Several Complex Variables	1
Automated Method for Optimum Scale Search when Using Trained Models for Histological Image Analysis	1
Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra	1
A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach	1
Interprocedural Static Analysis for Finding Bugs in Go Programs	1
Students’ Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling	1
Solving the Cauchy Problem for a Three-dimensional Difference Equation in a Parallelepiped	1
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems	1
A Survey of Network Traffic Classification Methods Using Machine Learning	1
A Microservice Deployment Guide	1
Towards Conversational Agents to support Informal Caregivers of People with Dementia: Challenges and Opportunities	1
Caustic Illuminance Calculation with DirectX Raytracing	1
Efficient Implementation of Fast Hough Transform Using CPCA Coprocessor	1
Designing Interfaces for Classes of a Neural Network Graph Model	1
Multiwindow Rendering on a Cockpit Display Using Hardware Acceleration	1
PhyloTraVis: A New Approach to Visualization of the Phylogenetic Tree	1
Algorithm for Constructing an Analogue of the Binet Formula	1
Generation of Graphs for the Identification of Various Types of Scientific Collaboration in an Academic Institution	1
Real-Time Analytics: Benefits, Limitations, and Tradeoffs	1
Video Analytics Using Detection on Sparse Frames	1
Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra	1
Functional Programming Library for C++	1
Segmentation Based on Propagation of Dynamically Changing Superpixels	1
Dynamic Simulation of Quantum Entanglement in Finite Quantum Mechanics: A Computer Algebra Approach	1
Refactoring the Monolith Workflow into Independent Micro-Workflows to Support Stream Processing	1
Controlling and Restoring the Integrity of Multi-Dimensional Data Arrays through Cryptocode Constructs	1
Database Management System Verification with Separation Logics	1
Constructing Onboard Switched Networks of Minimum Complexity	1
Visualization Technologies to Support Decision-Making in City Management	1
Searching for Taint Vulnerabilities with Svace Static Analysis Tool	1
Application of Computer Simulation to the Anonymization of Personal Data: State-of-the-Art and Key Points	1
Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials	1
A Fast Search Algorithm for SqueeSAR Distributed Scatterers in the Problem of Calculating Displacement Velocities	1
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System	1

A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization

1