yusuke1997/dblp-id-title huggingface dataset:
Heuristic Algorithms for Recognition of Some Cubic Hypersurfaces
A method for voxel visualization of 3D objects
A Model of Estimation and Optimization of Expenditures in Multilevel Fuzzy Environments
Interactive vizualization of constructive solid geometry scenes on graphic processors
Simulation of a quantum algorithm for phase estimation
Linear differential and difference systems: EGδ- and EGσ- eliminations
Invertible Darboux transformations of type I
Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)
Application of the trace assertion method to the specification, design, and verification of automaton programs
Membership problem for differential ideals generated by a composition of polynomials
High-Quality Algorithm for Bayer Pattern Interpolation
Application of Computer Algebra to Photometric Stereo with Two Light Sources
Computation of dominant real roots of polynomials
On the Implementation Time of Distributed Computing in Synchronous Mode with a Limited Number of Copies of a Software Resource
Parallel Approximation of Multidimensional Tensors Using GPUs
Query compilation in PostgreSQL by specialization of the DBMS source code
Comparative Efficiency Analysis of Hashing Algorithms for Use in zk-SNARK Circuits in Distributed Ledgers
A Survey of Programming Language Memory Models
Fast analysis of source code in C and C++
Using static symbolic execution to detect buffer overflows
Unified Processing of Events and Co-routines in Embedded Program
The research seminar on computer algebra in 2009-2010
Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem
Alternatives of profile-guided code optimizations for one-stage compilation
Controlling and Restoring the Integrity of Multi-Dimensional Data Arrays through Cryptocode Constructs
Estimating the Complexity of Objects in Images
Indefinite summation of rational functions with additional minimization of the summable part
Seamless design: Impedance mismatch revisited
Verification as a parameterized testing (experiments with the SCP4 supercompiler)
A Tertiary Study on Microservices: Research Trends and Recommendations
Computational programming technologies
Darboux transformations for factorable Laplace operators
Information systems for enhancing social experience in a conference context: A sensor based approach
Representation of Traffic Congestion: A Multicriteria Analysis Approach Based on Distances
Satisfiability of Dataflow Models of Distributed Programs
Multigrid effectiveness on modern computing architectures
From the Editor of the Special Issue
Ensuring Fault-Tolerance in Distributed Media
Construction of the Convex Hull of a Set for a Minimum Number of Iterations
Twenty Similarity Functions for Two Finite Sequences
On a general solution to the problem of equivalent transformations of program schemes
Automatic construction of systems of distributed components from nested Petri nets models
Systematic Literature Review of Project Management Maturity Models
Mapping the XML data model into the object model of the SYNTHESIS language
Optimization of Artificial Neural Networks using Wavelet Transforms
Analysis of entities in C and C++ programs and relations between them for program understanding
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems
On Integrability of Two- and Three-Dimensional Dynamical Systems with a Quadratic Right-Hand Side
Refactoring the Monolith Workflow into Independent Micro-Workflows to Support Stream Processing
Algorithm for Finding Singular Points of a General Algebraic Hypersurface
Merging Distinct Sources Databases to Improve Software Estimation Models
Bitcoin Transaction Analysis System
Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System
Calculation of first integrals of a two-dimensional ODE system near a degenerate stationary point by computer algebra tools
The Method of Colored Graphs for Simplifying Expressions with Indices
The Research Seminar on Computer Algebra in 2002-2003
Building the Software-Defined Data Center
Using virtualization to protect application address space inside untrusted environment
Construction of an Optimal Relational Schema for Storing XML Documents in an RDBMS without Using DTD/XML Schema
OS-Agnostic Identification of Processes and Threads in the Full System Emulation for Selective Instrumentation
The use of hardware virtualization in the context of information security
NoSQL Injection Attack Detection in Web Applications Using RESTful Service
Using information obtained in the course of program execution for improving the quality of data type reconstruction in decompilation
Applying text mining methods for data loss prevention
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm
Problems of instrumental support for the development of distributed embedded real-time systems
On deriving test suites for nondeterministic finite state machines with time-outs
A consistent generation of pipeline parallelism and distribution of operations and data among processors
Particular Solutions of Linear Differential and (q-) Difference Systems with Hypergeometric Right-hand Sides
Integrated environment for the analysis and design of distributed real-time embedded computing systems
Some generalizations of the concept of Gröbner bases for differential ideals
Grid-Oriented Computation: Integrated Library GridComp
An Extendable Essay on the Sage Computer Algebra System and an Editor for Creating Extendable Essays
Students' Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling
On a general solution to the problem of equivalent transformations of program schemes (II)
A Distributed Tracking Algorithm for Counting People in Video
Local improvements of lower bounds for valuations of solutions of linear difference systems with meromorphic coefficients
Computer modeling of hydrogen-like atoms in quantum mechanics with nonnegative distribution function
On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra
A Semi-Automatic Method of Collecting Samples for Learning a Face Identification Algorithm
A Model and Declarative Language for Specifying Binary Data Formats
Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic
Mixed optimization combinatorial method for constructing covering arrays
Human Event Recognition in Smart Classrooms Using Computer Vision: A Systematic Literature Review
Analyzing and Categorization Developer Intent on Twitch Live Chat
The UniTesK Approach to Designing Test Suites
Exploring Empirical-Theoretical Approaches for Conceptualizing and Specifying Cognitive Solutions in Complex Informally Structured Domains
Computational Problems of Multivariate Hypergeometric Theory
Methods and software tools to support combined binary code analysis
Axiomatization of the Evolution of XML Database Schema
UQL: A UML-based Query Language for Integrated Data
Scheme inclusion verification algorithm in algebraic model of programs with constants
Adaptive Variant of the Frank-Wolfe Algorithm for Convex Optimization Problems
Distribution of Operations and Data Arrays over Processors
Fast parallel grid warping-based image sharpening method
Visualization Facilities in Program Reengineering
Agent-Based Modelling of Dynamics of Interacting Unmanned Ground Vehicles Using FLAME GPU
New algorithms for deriving reduction formulas for hypergeometric series of multiple variables
Data schema evolution support in XML-relational database systems
Elimination of Negative Circuits in Certain Neural Network Structures to Achieve Stable Solutions
Construction of Pseudo-Geometric Integrators
Simulation of quantum error correction by means of QuantumCircuit package
Quadrature Formula for the Direct Value of the Double-Layer Potential
An algorithm for the decomposition of differential polynomials in the general case
Resonances and Periodic Motions of Atwood's Machine with Two Oscillating Weights
Invariant subspaces of matrix algebras and MAPLE procedures detecting their existence
Fifth International Conference "Perspectives of System Informatics"
A Certified Program for the Karatsuba Method to Multiply Polynomials
Time synchronization methods for wireless sensor networks: A survey
Algorithms for Planning on Computational Model with Redundancy and Uncertainty
Generation of correctness conditions for imperative programs
Configurable Test System for RTOS
Application of finite automatons for program testing
Multilevel static analysis for improving program quality
Enumerator-Arguments As a Language Tool for Defining Loops
Evaluating the rational generating function for the solution of the Cauchy problem for a two-dimensional difference equation with constant coefficients
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
On a generalization of regular expression
Applying Computer Algebra Systems to Study Chaundy-Bullard Identities for the Vector Partition Function with Weight
Is It Possible to Use ChatGPT to Perform Measurements Using the COSMIC Method?
On the 70th Anniversary of the Birth of Eduard Zinov'evich Lyubimskii
Erratum to: Methods of Spatial Indexing of Dynamic Scenes Based on Regular Octrees
Formal Semantics of Java Expressions and Statements
Static analyzer Svace for finding defects in a source program code
The inertia of matrices and quadratic forms, conditionally definite matrices, the separation of the roots of algebraic equations, and MAPLE procedures
Characteristics of Optical Text Recognition Programs
A program auto-parallelizer based on the component technology of optimizing compiler construction
Query processing in a DBMS for cluster systems
Electronic Publication Maintenance Systems
Manycore Parallel Simulations of Fishing Nets
On Online Algorithms for Bin, Strip, and Box Packing, and Their Worst-Case and Average-Case Analysis
Solving large systems of polynomial equations using REDUCE
p-Adic Representation of Subsets of a Bounded Number Set
Research on Methods for Traversing Two-Level BVH Trees on Graphics Processors
Transaction management in RDBMSs with XML support
Methods of spatial indexing of dynamic scenes based on regular octrees
Automation of broad sanity test generation
UML model transformation and its application to MDA technology
Effectiveness of involutive criteria in computation of polynomial Janet bases
Full anatomical labeling of magnetic resonance images of human brain by registration with multiple atlases
Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite
On an equivalence checking technique for algebraic models of programs
A Microservice Deployment Guide
Traversal of an Unknown Directed Graph by a Finite Robot
An approach to creating development environments for a wide class of programming languages
Modeling artificial biological cell in fine-grained structure
Fast Multiplication and Sparse Structures
Region analysis for deductive verification of C programs
3D Model Compression with Support of Parallel Processing on the GPU
Algorithmic optimization method for effort estimation
Some algorithms for analysis and synthesis of real-time multiprocessor computing systems
Improved algorithms for solving difference and q -difference equations
Automatic reconstruction of data types in the decompilation problem
Secure Messaging Application Development: Based on Post-Quantum Algorithms CSIDH, Falcon, and AES Symmetric Key Cryptosystem
Visualization Metaphors
On frequency analysis of sequential program code execution
Conversion of Point Cloud Data to 3D Models Using PointNet++ and Transformer
Systems of agents controlled by logical programs: Complexity of verification
An Image Hashing Algorithm Based on a Convolutional Neural Network
Checking several requirements at once by CEGAR
Building and Developing a Data Protection Service System Based on Postquantum Cryptography Solutions
Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
Approaches to Expedite Function Computation on Dense Grids
The use of coherent ray tracing for physically accurate rendering
A Method of Splitting Cochain Complexes for Computing Cohomology: Lie Algebra of Hamiltonian Vector Fields H(2|0)
Feature selection: Comparative Analysis of Binary Metaheuristics and Population Based Algorithm with Adaptive Memory
Economic model of scheduling and fair resource sharing in distributed computations
Supporting schedules of resource co-allocation for distributed computing in scalable systems
Locally Optimal Algorithms for Designing Schedules Based on Hopfield Networks
Involutive divisions: Slice and pair properties
Energy-efficient computing for a group of clusters
Means for Organization of Parallel Computations and Programming for Multiprocessors with Dynamic Architecture
Employing AVX vectorization to improve the performance of random number generators
A Method for Improving the Caching Strategy for Computing Systems with Shared Memory
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 Presents a Wedge-Shape Form
Termination of the F5 algorithm
Program Schemes with Constants
Parallelization of Algorithms and Codes of the Computational System "Potok-3"
NoSQL data management systems
Comparative trace semantics of time Petri nets
Standardization and testing of implementations of mathematical functions in floating point numbers
Adaptation Algorithm for Application Menus
Novel approach to development of direct volume rendering algorithms based on visualization quality assessment
Implementation of Geometric Algebra in Computer Algebra Systems
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic
Decidability of the Analysis Problem for Dataflow Models of Programs
Joint Super-resolution and Tissue Patch Classification for Whole Slide Histological Images
Comparison Prediction Models Using Time Series in COVID-19 Infection in Mexico
On Binary Solutions to a System of Linear Equations Modulo Three
Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars
The method of real-time implementation of tone mapping and bloom effect
Visualization Component for the Aircraft Real-Time Operating System JetOS
Thesaurus Implementation in Integrated System of Information Resources (ISIR)
The Research Workshop on Computer-Aided Programming in the Academic Year of 1998/99
Rabbit and Tortoise Optimization Algorithm with Mutual Information Based Adaptive Strategy for Network Intrusion Detection
Program auto parallelizer and vectorizer implemented on the basis of the universal translation library and LLVM technology
Conceptual and ontological modeling in information systems
Named Entity Recognition for Code Review Comments
Concurrent Programming Technologies and Techniques
Do Internal Software Metrics Have Relationship with Fault-Proneness and Change-Proneness?
A Priori and A Posteriori Error Estimates in Recovery of 3D Scenes by Factorization Algorithms
The use of error detection and compensation techniques for testing the integer class cBigNumber
Implementation of the FGLM Algorithm and Finding Roots of Polynomial Involutive Systems
An Algorithm for Partitioning a Set into Simple Parts
SLS: A numbering scheme for large XML documents
Synchronous incremental update of materialized views for PostgreSQL
Transaction control in real-time DBMSs
A UML-based modeling of web application controller
Environment modeling in a flight simulator
Investigation of the restricted problem of three bodies of variable masses using computer algebra
An approach to the development of debuggers that use semantics of constructs of parallel programs
Method for Semantic Image Segmentation Based on the Neural Network with Gabor Filters
Specifics of the Development of an On-Board Visualization System for Civil Aircrafts
Real-time Modeling of Dynamic Terrain Shadows based on Multilevel Ray Casting
Integration of verification methods for program systems
Query triggers for XML DBMS: Efficient implementation based on shadow mechanism
Constraint Programming for Automatic User Interface Construction
Study and Development of the DTD Generation System for XML Documents
On Calculation of Abelian Differentials
Vectorization of raster mechanical drawings on the base of ternary segmentation and soft computing
Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
Subwords-Only Alternatives to fastText for Morphologically Rich Languages
Method of adaptive controllable parallel execution of operations in object database management systems
Data-Oriented Scheduling with Dynamic-Clustering Fault-Tolerant Technique for Scientific Workflows in Clouds
Analysis of Deep Neural Networks for Detection of Coronary Artery Stenosis
Tensor computations in computer algebra systems
Outlier Detection Algorithms in Data Mining Systems
Computation of the Differential Dimension Polynomial When Changing Generators in the Dirac Equations
Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot
Synthesis of parallel recursive programs in structural functional models
Proving properties of functional programs by equality saturation
Simulation of hierarchical multiprocessor database systems
Evgenii Andreevich Zhogolev
Unifying behavioral equivalences of timed transition systems
Search of rational solutions to differential and difference systems by means of formal series
On the 75th Birthday of Vladimir Vasil'evich Lipaev
Video-Based Content Recognition of Bank Cards with Mobile Devices
Optimization of ProVerif Programs for AKE Protocols
Modification of the Marching Cubes Algorithm to Obtain a 3D Representation of a Planar Image
Construction of the Algorithm Graph by Autotracing Method
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System
A Design Guide for Usable Web APIs
About performance and intellectuality of supercomputer modeling
Construction of exact partial solutions of nonintegrable systems by means of formal Laurent and Puiseux series
Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges
Application of Genetic Algorithms and Systems of Generating Graphs for Creation of Modular Neural Networks
Symbolic Calculations in the Study of Secular Perturbations in the Many-Body Problem with Variable Masses
Hybrid Method for Gibbs-Ringing Artifact Suppression in Magnetic Resonance Images
Improving the Analytic Hierarchy Process for Requirements Prioritization Using Evolutionary Computing
Interaction semantics with refusals, divergence, and destruction
Constructing distributed multimedia virtual environment with multichannel visualization of media data on graphic accelerators
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis
Improved universal denominators
Involutive bases of ideals in the ring of polynomials
Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C
Interpretable program specification language
Cloud Data Storage and Private Information Retrieval Аlgorithms
Graphical Editors and Graphic Grammars
Distributive lattices of right divisors of linear ordinary differential operators
Discrete dynamical systems with symmetries: Computer analysis
Interprocedural Static Analysis for Finding Bugs in Go Programs
Translating Iterative Algorithms into Automaton Ones
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2
Simple Self-Reproduction Programs in a Cellular Space Based on the Parallel Substitution Algorithm
Static Memory Layout for Real-Time Operating Systems
Approaches to User Interface Development
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
Description of Paralocks Language Semantics in TLA+
On the complexity of existence of homing sequences for nondeterministic finite state machines
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks
A Modular Algorithm for Computing Cohomologies of Lie Algebras and Superalgebras
A lightweight method for virtual machine introspection
Analysis of Mobility Patterns for Public Transportation and Bus Stops Relocation
Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications
Visualization of Large Scenes with Deterministic Dynamics
BSQ-rate: a New Approach for Video-codec Performance Comparison and Drawbacks of Current Solutions
Pade Approximants, Symbolic Evaluations, and Computation of Solitons in Two-Field Antiferromagnet Model
Procedures for Constructing Truncated Solutions of Linear Differential Equations with Infinite and Truncated Power Series in the Role of Coefficients
A Modified Method for Task Scheduling in Linux Kernel Based on Determining the Intensity of Memory Access
Class Balancing Approaches to Improve for Software Defect Prediction Estimations: A Comparative Study
Computation of the Resonance Set of a Polynomial under Constraints on Its Coefficients
Segmentation of small objects in color images
Development of Algorithmic and Software Support for Symbolic Computations in Problems of Constructing Controlled Compartmental Models of Dynamic Systems
On fuzzy repetitions detection in documentation reuse
A model of the behavior of network objects in distributed computer systems
Representation of Algebraic Functions As Power and Fractional Power Series of Special Type
Towards verification of C# programs: A three-level approach
On the homogeneous Gröbner basis for tensors
Tools to Support Scientific Online Publishing
Video Analytics Using Detection on Sparse Frames
A computational technology for constructing the optimal shape of a power plant blade assembly taking into account structural constraints
Bidirectional Ray Tracing for the Integration of Illumination by the Quasi-Monte Carlo Method
Universal numerical algorithms and their software implementation
Learning the Regularization Operator for the Optical Flow Problem
Schedulability Analysis for Strictly Periodic Tasks in RTOS
QoSTRP: A Trusted Clustering Based Routing Protocol for Mobile Ad-Hoc Networks
Texterra: A framework for text analysis
Software Advances using n-agents Wireless Communication Integration for Optimization of Surrounding Recognition and Robotic Group Dead Reckoning
RuGECToR: Rule-Based Neural Network Model for Russian Language Grammatical Error Correction
Quantitative Evaluation of Thread-Local Garbage Collection Efficiency for Java
Automotive Post-Collision Control Software System: Requirements and Verification
Multithreaded testing of program interfaces
An algorithm for constructing Darboux transformations of type I for third-order hyperbolic operators of two variables
Guest Editorial Special Issue: "Emerging Trends in Advanced Computing and Next-Generation Technologies"
SPAM: An Enhanced Performance of Security and Privacy-Aware Model over Split Learning in Consumer Electronics
Constructing and visualizing three-dimensional sea bottom models to test AUV machine vision systems
Conjunctive Grammars and Systems of Language Equations
An Algorithm for Detecting Precipitation in Computer Processing of Video Images
Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite
Next-Generation Intermediate Representations for Binary Code Analysis
A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach
Problems of the development and quality control of large software systems
On exponential-logarithmic solutions of linear differential systems with power series coefficients
Formalization of test experiments
KIAM Astrodynamics Toolbox for Spacecraft Orbital Motion Design
Scrumlity: An Agile Framework Based on Quality of User Stories
Analytical-Numerical Implementation of Polyvector Algebra in Julia
Energy-saving compilation for mobile systems
Investigation of RISC-V