yusuke1997/dblp-id-title huggingface dataset:
Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps
Asymptotics of sums of hypergeometric terms
Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing
Verification of Finite Iterations over Tuples of Data Structures
Path Querying with Conjunctive Grammars by Matrix Multiplication
Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs
Automatic Code Generation of User-centered Serious Games: A Decade in Review
A Software System for Processing Images with Parallel Computing
Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets
Photorealistic Rendering of Images Formed by Augmented Reality Optical Systems
Jitter minimization in scheduling computations in real-time systems
Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 1: Problem Statement
Minimal Basis of the Syzygy Module of Leading Terms
Replication in Distributed Systems: Models, Methods, and Protocols
Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language
Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study
Involutive divisions and monomial orderings
360-Degree Video Based on Regular Dodecahedron: Technology and Methods of Implementation in Virtual Environment Systems
Classification of Non-functional Requirements Using Convolutional Neural Networks
Representation of segment Voronoi diagram by Bezier curves
Algebraic Semantics of an Imperative Programming Language
Automated atlas-based segmentation of NISSL-stained mouse brain sections using supervised learning
Strongly Cyclic Vectors
An Algorithm for Scheduling Exchanges over a Bus with Centralized Control and an Analysis of Its Efficiency
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution
Scalable and accurate detection of code clones
Computer Algebra and Computing Special Functions
Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform
Testing Equivalences of Time Petri Nets
LP structures on type lattices and some refactoring problems
Simulation and rendering algorithms for optically complex materials by the example of fabric
Modeling, specification, and verification of automaton programs
Intermediate Representation of Programs with Type Specification Based on Pattern Matching
An Operational Approach to the Semantics of Classes: Application to Type Checking
Finite Decimal Fractions As Entries of Nonsingular Matrices
Computer-Aided Analysis of Transformation Formulas for Appel and Horn Functions
Min_c: Heterogeneous concentration policy for energy-aware scheduling of jobs with resource contention
Linear Discriminant Analysis Based Genetic Algorithm with Generalized Regression Neural Network - A Hybrid Expert System for Diagnosis of Diabetes
Automated Software Testing Technologies for Realistic Computer Graphics
A Fast Algorithm for Classifying Seismic Events Using Distributed Computations in Apache Spark Framework
Neural Network Method for Detecting Blur in Histological Images
An algorithm for constructing toric compactifications
The Thirtieth Anniversary of the Data Bank Task Group
Fuzzy classifier design using harmonic search methods
Scalability of heterogeneous parallel systems
Software for improving the energy efficiency of a computer cluster
Minimal Representations and Algebraic Relations for Single Nested Products
Algorithms for Solving an Algebraic Equation
Automation of data normalization for implementing master data management systems
Partitions of the set of selected unknowns in linear differential-algebraic systems
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment
Efficiency Analysis of a Simulation Model of Cloud Computing in the Case of Multiple Server Failures
Distance calculation on strings
Searching for Laurent Solutions of Truncated Systems of Linear Differential Equations with the Use of EG-Eliminations
Retraction Note: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network
Communication-oriented representation of mathematical objects
Application of Parallel Programming Methods for Simulating Flow Diversion Technologies on Hybrid Architecture Computers
Parallelization of Implementations of Purely Sequential Algorithms
Modeling Multitape Minsky and Turing Machines by Three-Tape Minsky Machines
NOBRAINER: A Tool for Example-Based Transformation of C/C++ Code
Obstacles to factorization of partial differential operators into several factors
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series
Involutive method for computing Gröbner bases over \mathbb F 2 \mathbb{F}_2
Explicit Multiobjective Evolutionary Algorithms for Flow Shop Scheduling with Missing Operations
The Problem of Schedule Construction in the Joint Design of Hardware and Software
Formal logical language to set requirements for secure code execution
Analyzing the Influence of Hyperparameters on the Efficiency of an OCR Model for Pre-Reform Handwritten Texts
Supporting Vector Textures in a GPU Photorealistic Rendering System
On the rational summation problem
Extraction of Data from Mass Media Web Sites
Survey of Architectures of Parallel Database Systems
Path Querying on Acyclic Graphs Using Boolean Grammars
Performance analysis of concurrent systems in algebra dtsiPBC
DVM-Approach to the Automation of the Development of Parallel Programs for Clusters
Normal forms and integrability of ODE systems
Involutive divisions and monomial orderings: Part II
The Improvement of Segmentation of Lung Pathologies and Pleural Effusion on CT-scans of Patients with Covid-19
Computation of Janet Bases for Toric Ideals
Information on the International Conference "Perspectives of System Informatics"
CASR: Analysis of Core Dump Files in Linux and Error Reporting
Double up-conversion of video frame rate based on bidirectional motion compensation
Static Analysis Method for Detecting Buffer Overflow Vulnerabilities
The Traffic Congestion Analysis Using Traffic Congestion Index and Artificial Neural Network in Main Streets of Electronic City (Case Study: Hamedan City)
Cunningham numbers in modular arithmetic
Investigation of a real algebraic surface
Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization
Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System
Correction of Numerical Integration as an Optimal Control Problem
Algorithms for Checking Some Properties of n-Quasigroups
Erratum to: "Testing of Systems for Illumination Simulation and Synthesis of Realistic Images"
Architecture of a semantic data integration system based on a semantically complete model and a semantically complete query language
Prospects for virtualization of high-performance x64 systems
Using Deep Reinforcement Learning for Selecting Network Traffic Features in Intrusion Detection Systems
Human Recognition by Appearance and Gait
Curve-Based Security Schemes for Automating the Encryption and Signing of Digital Documents in Organizational Environments
A Universal Algorithm for Discretizing Bichromatic Two-Dimensional Graphic Codes
Up-to-Date International Standards of the Fortran Programming Language
Implementation of Analytic Projective Geometry for Computer Graphics
Information Announcement on Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics, " 27-30 June 2006, Novosibirsk, Akademgorodok, Russia
Construction of Partial Laurent Solutions to Truncated Differential Systems
Using Dynamic Memory Reallocation in GInv
Detection of Brain Cells in Optical Microscopy Based on Textural Features with Machine Learning Methods
Methods for integration of heterogeneous information resources in molecular biology in the digital library GeneExpress
Symbolic method of verification of definite iterations over altered data structures
The use of contract specifications for representing requirements and for functional testing of hardware models
Experimental Study of Algorithms for Minimization of Binary Decision Diagrams Using Algebraic Representations of Cofactors
Construction of nonlocal linear vibration models using a computer algebra system
PhyloTraVis: A New Approach to Visualization of the Phylogenetic Tree
Using a Template Engine as a Computer Algebra Tool
Architectural refactoring of corporate program systems
Developing a software system for automata-based code generation
CUDA-Based Method to Boost Target Performance Evaluation of Space Systems for Automatic Mobile Object Identification and Localization
Method of Geometry Reconstruction from a Set of RGB Images Using Differentiable Rendering and Visual Hull
Projection Method for Deconvolution-Based CT Brain Perfusion
Constructing Compartmental Models of Dynamic Systems Using a Software Package for Symbolic Computation in Julia
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets
Symbolic Computation of a Homological Equation of an Arbitrary Order and Reduction of Hamiltonian System to Its Normal Form
Analysis of equivalence relations of event structures with continuous time
Evolution of the UniTESK test development technology
Occlusion Culling Algorithm Based on Software Visibility Checks
Constructive Quantum Mechanics and Calculations with Finite Groups
Canonical Forms of XML Schemas
Checking existence of solutions of partial differential equations in the fields of Laurent series
A Taxonomic View of the Fundamental Concepts of Quantum Computing-A Software Engineering Perspective
Methods for Information Diffusion Analysis
A mathematical model of the OLAP cubes
Development of a test suite for the verification of implementations of the IPsec v2 security protocol
The grid: Analysis of basic principles and ways of application
Projecting transition systems: Overcoming state explosion in concurrent system verification
Mathematical Modeling of Turbulent Mixing in Gas Systems with a Chevron Contact Boundary using NUT3D, BIC3D, EGAK, and MIMOSA Numerical Codes
A Package of Procedures and Functions for Construction and Inversion of Analytic Mappings with Unit Jacobian
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection
An efficient mulithreading algorithm for the simulation of global illumination
Database Migration from ORACLE to PostgreSQL
Symbolic-Analytic Methods for Studying Equilibrium Orientations of a Satellite on a Circular Orbit
Cross-Lingual Plagiarism Detection: Two Are Better Than One
On the problem of increasing efficiency of Reed-Solomon-code-based algorithms for creating checkpoints for calculation applications
SafeComp: Protocol for Certifying Cloud Computations Integrity
Object-Oriented Programming in Modern Fortran
Parallel computations on a graph
Generation of Images with Handwritten Text in Russian
On constructivity of involutive divisions
Trees and linked lists with variable ordering relations (RTR structures)
Some symbolic computation algorithms in cosmic dynamics problems
Adaptive Method for Selecting Basis Functions in Kolmogorov-Arnold Networks for Magnetic Resonance Image Enhancement
Refined Description of the C[] Language
Segmentation Based on Propagation of Dynamically Changing Superpixels
Package of Procedures for Inverting Matrices Whose Entries are Linear Difference Operators
Software Model Checking for Memory Consistency Verification
The scientific research Seminar on Computer Algebra in 1998-1999
Application of Monadic Calculations in Solving Numerical Problems
Enumeration of finite monomial orderings and combinatorics of universal Gröbner bases
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case
Metrics of Efficiency and Performance when Using Evolutionary Algorithm on Desktop Grids
Detecting Near Duplicates in Software Documentation
Canonical Representation of Polynomial Expressions with Indices
An object-oriented architecture for applications of scientific visualization and mathematical modeling
An algorithm of automatic workflow optimization
Organizing message transmission in AFDX networks
Multidimensional data analysis and visualization for time-dependent CFD problems
Recognition Algorithms for Structured Documents with Variable Content
Improving the performance of reverse debugging
Highly Realistic Visualization of Caustics and Rough Surfaces
Symbolic Computation of an Arbitrary-Order Resonance Condition in a Hamiltonian System
On the Calculation of the Number of Real Roots of a System of Nonalgebraic Equations Using Computer Algebra
On Linear Cellular Automata
Ontology-Driven Visual Analytics Software Development
On testing the existence of universal denominators for partial differential and difference equations
Influence of Belbin's Role Theory on Database Design: Experimenting with Software Engineering Students
Guest Editorial Special Issue "Recent Trends on Advanced Computing: The Converging Technologies"
Light Transport in Realistic Rendering: State-of-the-Art Simulation Methods
Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms
Analysis of Behavior-Driven Development: A Thematic Synthesis
A Model and Method for Detecting Information Campaigns
Influence of regular system interrupts on performance of parallel stencil computations
A unified approach to adapt scientific visualization systems to third-party solvers
Evaluation of Text Retrieval Systems
Toward Constructing a Modular Model of Distributed Intelligence
Metadata in computer systems
The research seminar on computer algebra in 2005-2006
Implementation of the hierarchy of atomic literal types in an object system based of RDBMS
Word sense disambiguation methods
Multigroup Classification of Firing Pin Impressions with the Use of a Fully Connected Neural Network
Evolutionary Model of Optimization of Modular Associative Memory for Dataflow Machines Based on Genetic Algorithm
Automation of C Program Deductive Verification without Using Loop Invariants
Evaluation of expression templates in C++14
TRIZformatics: A metasubject uniting computer and intelligence technologies of information processing (Response to information society challenge)
Models of Active Environment of Self-Organization of Fault-Tolerant Multimicrocontroller
The Fibonacci-Padovan sequence and MacWilliams transform matrices
Probabilistic generalization of formal concepts
A combined toolset for the verification of real-time distributed systems
A Formal Model for Detecting Bugs by Symbolic Execution of Programs
Exploratory Search for Scientific Articles
Spectral ray tracing in problems of photorealistic imagery construction
Node Failure Aware Broadcasting Mechanism in Mobile Adhoc Network Environment
About Methods for Extracting Algorithms from Binary Code
On solving large systems of polynomial equations appearing in discrete differential geometry
Pixel clustering for color image segmentation
Logical Time in Distributed Software Systems
A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing
Approximation of Color Images Based on the Clusterization of the Color Palette and Smoothing Boundaries by Splines and Arcs
Entity-Level Classification of Adverse Drug Reaction: A Comparative Analysis of Neural Network Models
Complete open-state testing of limitedly nondeterministic systems
Associated types and constraint propagation for generic programming in Scala
Use of Statechart Diagrams for Modeling of Hypertext
MathPartner computer algebra
Efficient Implementation of Fast Hough Transform Using CPCA Coprocessor
Autonomous Swarm of Low-Cost Commercial Unmanned Aerial Vehicles for Surveillance
The Research Workshop on Computer-Aided Programming in 1999-2000 and 2000-2001 Academic Years
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning
Automated Method for Optimum Scale Search when Using Trained Models for Histological Image Analysis
Ideals of differential operators and transformations of linear partial differential equations
Word Embeddings and Machine Learning Classifiers Applications for Automatic Detection of Suicide Tendencies in Social Media
Object-Oriented Approach to Script Support in Optical CAD Systems
Using Scientific Visualization Systems to Automate Monitoring of Data Generated by Lightweight Programmable Electronic Devices
Symbolic Algorithm for Finding Zeros of a System of Holomorphic Functions
A diffusion method for image filtering and sharpening
Estimating the AGE of Birch Bark Manuscripts using Computational Paleography
Partial differential equations with finite-dimensional solution manifolds
Gradient-Free Algorithms for Solving Stochastic Saddle Optimization Problems with the Polyak-Łojasiewicz Condition
Study of a Non-Markovian Stack Management Model in a Two-Level Memory
Simulation of operational semantics of machine instructions
The current state of art in program obfuscations: definitions of obfuscation security
Architecture for Groupware Oriented to Collaborative Medical Activities in the Rehabilitation of Strokes
The research seminar on computer Algebra in 2008-2009
An Algorithm for Nonparametric Decomposition of Differential Polynomials
Augmenting the Training Set of Histological Images with Adversarial Examples
A. V. Zamulin
Hardware Implementation of Code Converters Designed to Reduce the Length of Binary Encoded Words
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream
A Diffusion Filtering Method for Image Processing
To the Development of Open Source Software for the Reconstruction of CAD Models
Overcoming Instability in Evaluation of Generalized Hypergeometric Integrals in the Case of Crowding of Singular Points
Loss Function for Training Models of Segmentation of Document Images
Measuring similarity between Karel programs using character and word n-grams
Graph-Based Software Framework for Implementation of Complex Computational Methods
Deep Learning Applications for Intrusion Detection in Network Traffic
On the Goursat classification problem
Reconstruction of Optical Properties of Real Scene Objects from Images by Taking into Account Secondary Illumination and Selecting the Most Important Points
An algorithm for the visualization of stereo images simultaneously captured with different exposures
Admissible Ordering on Monomials is Well-Founded: A Constructive Proof
The use of group and algebraic properties of tensor expressions in an object-oriented CA system
Graphics Shader Testing for On-Board Visualization System of Civil Aircraft
Computer Algebra Calculations in Supersymmetric Electrodynamics
A Method of Cumulative Sums in the Problem of Detection of Traffic Changes in Computer Networks
Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior
Backward compatibility of software interfaces: Steps towards automatic verification
Studies in the theory of algebraic models of programs with procedures
Parallelization of an Algorithm for Computation of Involutive Janet Bases
From the editors of the special issue
Methods for justifying arithmetic hypotheses and computer algebra
Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request
Denominators of rational solutions of linear difference systems of an arbitrary order
Improved phase unwrapping algorithm based on NVIDIA CUDA
An Algorithm for Constructing the Resultant of Two Entire Functions
On the identification of electronic documents and collections
Simplified photon mapping for real-time caustics rendering
Differential equation systems with selected part of the unknowns
Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation
Program schemata technique for propositional program logics: A 30-year history
Counting Near-Perfect Matchings on C m × C n Tori of Odd Order in the Maple System
Primitive Elements of Free Non-associative Algebras over Finite Fields
Using Multilevel Hash Tables to Speed up Rendering
Computation of the Fundamental Units of Number Rings Using a Generalized Continued Fraction
Application of Computer Simulation to the Anonymization of Personal Data: Synthesis-Based Anonymization Model and Algorithm
Design and Implementation of Port-Mapped IO Management Subsystem and Kernel Interface for True Microkernels on IA-32 Processors
Change of generators in differential modules
Local search gradient algorithm based on functional voxel modeling
Creating and Animating Personalized Head Models from Digital Photographs and Video
Towards deductive verification of C programs with shared data
A model of dynamical concurrent program execution
Boundedness problems for Minsky counter machines
Differential Geometry and Mechanics: A Source for Computer Algebra Problems
Patterns Related to Microservice Architecture: a Multivocal Literature Review
Multi-Party Coordination in the Context of MOWS
Characterizable Radical Differential Ideals and Some Properties of Characteristic Sets
Dynamic Program Analysis Tools in GCC and CLANG Compilers
On the 60th birthday of Viktor Petrovich Ivannikov
Implementation features a university data portal using the Semantic Web technology
Implementation of the conformation of MSC and SDL diagrams in the REAL technology
An ASM-based Formal Model of a Java Program
Role of involutive criteria in computing Boolean Gröbner bases
The Scientific Research Seminar on Computer Algebra in 2001-2002
On a computer algebra technology
Approach to Blank Node Processing in Incremental Data Visualization by the Example of Ontodia
Features of the deterministic replay in the case of a minimum device set
Automatic Image Style Transfer using an Augmented Style Set
Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3-6, 2001, Novosibirsk, Akademgorodok
On Accelerated Coordinate Descent Methods for Searching Equilibria in Two-Stage Transportation Equilibrium Traffic Flow Distribution Model
Simulation of malicious activity in wide area networks
Evaluating Elementary Functions with Guaranteed Precision
Numerical Investigation of Breather-Type Solutions by Using REDUCE
A formal model of a system for automated program parallelization
Parameterization of a Set Determined by the Generalized Discriminant of a Polynomial
Methods of resource management in problem-oriented computing environment
Application of compiler transformations against software vulnerabilities exploitation
Support Facilities for Development of Parallel Computational Algorithms
Symbolic Investigation of Eigenvectors for General Solution of a System of ODEs with a Symbolic Coefficient Matrix
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
On Computing the Resultant of a Polynomial and an Entire Function
Complete system of equivalent transformations for two-tape automata with disjoint loops
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems
Refinement of the Coherent Point Drift Registration Results by the Example of Cephalometry Problems
Employing information technologies based on .NET XNA framework for developing a virtual physical laboratory with elements of 3D computer modeling
Supercompilation for Martin-Lof's type theory
Requirements and GitHub Issues: An Automated Approach for Quality Requirements Classification
The research seminar on computer algebra in 2003-2004
Some Aspects of Associative Memory Construction Based on a Hopfield Network
Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series
On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing
On selection of nonmultiplicative prolongations in computation of Janet bases
Interactive Calculation of Light Refraction and Caustics Using a Graphics Processor
Regular Memory Structures and Operation Domains of Intelligent Systems