yusuke1997/dblp-id-title huggingface dataset:
Configurable toolset for static verification of operating systems kernel modules
Computation of Cohomologies of Lie Superalgebras: Algorithm and Implementation
Searching for Taint Vulnerabilities with Svace Static Analysis Tool
Survey of Methods for Automated Code-Reuse Exploit Generation
Indefinite integration as term rewriting: Integrals containing tangent
Exhaustive Use of Information on an Equation with Truncated Coefficients
Practical approach to the fast Monte-Carlo ray-tracing
Simplification of CAD Models by Automatic Recognition and Suppression of Blend Chains
Decomposition of Methods and Parallelization of Algorithms for Solving Aerodynamics and Physical Gas Dynamics Problems: Computer System Potok-3
Temporal databases: From theory to applications
Semantics of Untyped Functional Programs
The Scientific Research Seminar on Computer Algebra in 2000-2001
Interprocedural taint analysis for LLVM-bitcode
Computing the Connected Components of the Complement to the Amoeba of a Polynomial in Several Complex Variables
Automated Creation of Cyber-Physical Museum Exhibits Using a Scientific Visualization System on a Chip
From the Editor of the Special Issue on Parallel Computations
Application of Fuzzy DEMATEL Approach in Analyzing Mobile App Issues
Technology and Methods for Deferred Synthesis of 4K Stereo Clips for Complex Dynamic Virtual Scenes
Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 2: Algorithms and Experimental Verification
A method for supporting runtime environments simultaneously served by multiple memory managers for operating systems based on second-generation microkernel
Improving a Model for NFR Estimation Using Band Classification and Selection with KNN
Restoration of Lighting Parameters in Mixed Reality Systems Using Convolutional Neural Network Technology Based on RGBD Images
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-shape Form
The problem of equivalent transformations for homogeneous multitape automata
Semat - Three Year Vision
Algorithm for Computing the Truncation of the Discriminant of a Polynomial
Deep Learning Based Efficient Channel Allocation Algorithm for Next Generation Cellular Networks
Adaptive IIR Filter Based on Penalized Spline
A software instruction prefetching method in architectures with static scheduling
Numerical Simulation of Particulate Matter Transport in the Atmospheric Urban Boundary Layer Using the Lagrangian Approach: Physical Problems and Parallel Implementation
On the Recovery of Motion of Dynamic Objects from Stereo Images
Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data
Algorithm for checking triviality of "mixed" ideals in the ring of differential polynomials
Grid-Oriented Computation: Modified Bessel Functions nu(z) and nu(z)
On Representation of Simulation Time in Functional Programming Style
AMI/IoT Data Model for Public Lighting in México Using Lz4 Compression, IPFS and Blockchain
Illumination Modeling and Generation of Realistic Images Using Internet Technologies
Parallel computation of Janet and Gröbner bases over rational numbers
RaceHunter Dynamic Data Race Detector
Thematic Search Algorithms in Scientometric Systems
Effective Lower Bounds on the Matrix Rank and Their Applications
Guest Editorial Special Issue "Software Engineering"
Scientific data integration system in the linked open data space
Binarization of the Swallow Swarm Optimization for Feature Selection
Hybrid Model for Efficient Anomaly Detection in Short-timescale GWAC Light Curves and Similar Datasets
On the q-Analogue of Zeilberger's Algorithm to Rational Functions
DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network
A Method for Aircraft Labeling in Aerial and Satellite Images Based on Continuous Morphological Models
On Normalization of Relations in Relational Databases
Comparing Two Learning Curves Approaches to Predict the Product Delivery Rate in a Software Factory Contract
Projective Geometric Algebra in Plane and Its Implementation in the Library Ganja.js
A Hybrid Approach to Enhancing the Reliability of Software
On the use of Buchberger criteria in G2V algorithm for calculating Gröbner bases
Lattices of right divisors of linear ordinary differential operators
Involutive Divisions. Graphs
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides
A Simple Way to Improve Road Safety by Avoiding Dangerous Sections of the Route
Access Control Analysis in Heterogeneous Big Data Management Systems
Multiwindow Rendering on a Cockpit Display Using Hardware Acceleration
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
Antipattern Practice for Essence Practice Library
Systematization of information resources collections in digital libraries
Visualization Technologies to Support Decision-Making in City Management
Scene Text Detection Using HRNet and Spatial Attention Mechanism
The Role of Personality in Motivation to use an Affective Feedback System
Reconstruction of opaque inclusions in objects with high refractive index
A Survey of Network Traffic Classification Methods Using Machine Learning
Assessment of a Flexible Architecture for Distributed Control*
Adaptive Methods for Variational Inequalities with Relatively Smooth and Reletively Strongly Monotone Operators
Extracting adaptive features for gender classification of human face images
Higher-level supercompilation as a metasystem transition
Towards Verification of C Programs. C-Light Language and Its Formal Semantics
Analytical Review of Confidential Artificial Intelligence: Methods and Algorithms for Deployment in Cloud Computing
Methods and tools for translation of graphical diagrams
Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem
The research seminar on computer algebra in 2007-2008
Recursive Cell Rotation Method
Ensuring portability of software
Software Performance Optimization for Classification and Linking of Administrative Documents
Symbolic-Numerical Implementation of the Galerkin Method for Approximate Solution of the Waveguide Diffraction Problem
Symbolic Studies of Maxwell's Equations in Space-Time Algebra Formalism
Crash Processing for Selection of Unique Defects
Methodology and Tools for Designing Binary Neural Networks
Partial algorithms for satellite unknowns determination
Applications of Computer Algebra in the Study of the Two-Planet Problem of Three Bodies with Variable Masses
Algorithms and Software Increasing the Efficiency of Processing Multidimensional Heterogeneous Data
On basic semantics of untyped functional programs
Automatic text summarization using latent semantic analysis
Solving the Cauchy Problem for a Two-Dimensional Difference Equation at a Point Using Computer Algebra Methods
Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS
A symbolic-numerical method for solving the differential equation describing the states of polarizable particle in Coulomb potential
Level Lines of a Polynomial on a Plane
Investigation of the Influence of Constant Torque on Equilibrium Orientations of a Satellite Moving in a Circular Orbit with the Use of Computer Algebra Methods
Dynamic Simulation of Quantum Entanglement in Finite Quantum Mechanics: A Computer Algebra Approach
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
The research seminar on computer algebra in 2006-2007
Multiobject Visualization of Vast Forests in Virtual Environment Systems
Symbolic-numerical solution of systems of linear ordinary differential equations with required accuracy
Object-oriented description of graph data structures
Optimal grouping algorithm of identically distributed systems
A Nonlocal Image Denoising Algorithm Using the Structural Similarity Metric
Test Generation for Compilers and Other Formal Text Processors
A Deferred Rendering Method of a Set of Dynamic Point Light Sources in Voxelized Scenes in Real Time
Fine-Grained Address Space Layout Randomization on Program Load
An extension of the light meshes method for three-dimensional scenes with semitransparent surfaces
Logical and set calculations in the framework of geometrical informatics paradigm
Graphs Resemblance based Software Birthmarks through Data Mining for Piracy Control
Polynomial Relations for Bounds on the Exponents in Solutions to Operator Equations
Data Repository in Framework for Computation Pipelining: Model, Architecture, the Implementation Performance Estimates
On the Euler-Imshenetskii-Darboux transformation of linear second-order equations
Monads for the formalization of a pattern matching procedure
'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies
Basis Selection in Solving Linear Functional Equations
Synthesizing structures of real-time computer systems using genetic algorithms
Neuron-Like Approach to Speech Recognition
Supporting the Architectural Knowledge Condensation in a Co-Localized Agile Environment for Small Entities Using an Ontology
Fuzzy Measure on p-Adic Balls Defined on a Finite Number Set
Plagiarism Detection in Armenian Texts Using Intrinsic Stylometric Analysis
Framework for Development and Execution of Scientific WorkFlows: Designing Service-Oriented Applications
Debugging Smart Contract's Business Logic Using Symbolic Model Checking
Symbolic Methods for Studying the Equilibrium Orientations of a System of Two Connected Bodies in a Circular Orbit
The Jubilee of Svyatoslav Sergeevich Lavrov
New algorithms in the theory of hypergeometric series and Burchnall-Chaundy expansions
Hamiltonian normalization in the restricted many-body problem by computer algebra methods
Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator
On one problem of construction of energy-saving schedules
HeNLM-LA: a locally adaptive non-local means algorithm based on hermite functions expansion
Visualization Methods and Algorithms for Graph Representation of Functional Programs
Multiple reference octrees for a GPU photon mapping and irradiance caching
Using linux device drivers for static verification tools benchmarking
How to Prevent Fake Cycles in DFG Models Discovered from Event Logs?
Progressive Backward Photon Mapping
High-Speed Convolution Core Architecture for Privacy-Preserving Neural Networks
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language
The parametric solution of underdetermined linear ODEs
Symbolic computation in studying stability of solutions of linear differential equations with periodic coefficients
Method for Checking the Regularity of a Singular Point of a System of Linear Differential Equations with Meromorphic Coefficients
Encapsulation of partitioned parallelism into open-source database management systems
Data representation model for in-depth analysis of network traffic
Specifying Data Quality Requirements through Web Functionalities - MOSQAF
Some algorithms for calculating unitary matrices for quantum circuits
Regular solutions of linear differential systems with power series coefficients
DocLine: A method for software product lines documentation development
Targeted data generation for application testing on databases
Developing Web Applications with Awareness of Data Quality Elements - DQAWA
Generation of difference schemes for the burgers equation by constructing Gröbner bases
A survey of methods for the extraction of information from Web resources
Fault Identification in Mobile Robot Groups Using Sliding Mode Observers
Ant Algorithms: Theory and Applications
Live Migration Schemes in Data Centers
Digital Libraries: Ongoing Development (From the Editor of the Special Issue)
Effective support of databases with ontological dependencies: Relational languages instead of description logics
On Effective Scheduling in Computing Clusters
Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials
Scaling down discrete-event simulation models
Discretization of quasilinear evolution equations by computer algebra methods
Algorithms for the analysis and visualization of high dynamic range images based on human perception
An Effective Tone Mapping Operator for High Dynamic Range Images
Calculation of power expansion solutions of N. Kowalewski modified ODE system by power geometry algorithms
Implementation of parallel programs interpreter in the development environment ParJava
Examples of Computation of Generators of a Differential Ideal by Its Characteristic Set
Controlled execution with explicit model
Automatic construction and enrichment of informal ontologies: A survey
Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness
Asymptotic Expansions of Solutions to the Second Term of the Fourth Painlevé Hierarchy
Systems of generators for ideals of algebra of convergent differential series
Computing Unimodular Matrices of Power Transformations
Social network technologies for semantic linking of information objects in scientific digital library
Optimal schema hierarchies in searching semistructured databases by conjunctive regular path queries
Svyatoslav Sergeevich Lavrov: In Memory of an Outstanding Scientist and Wonderful Man
Investigation of center manifolds of three-dimensional systems using computer algebra
Memory-compact Metropolis light transport on GPUs
Informatics and teaching it at school
Development of Multi-Platform Steganographic Software Based on Random-LSB
Ultrasound image texture analysis for liver fibrosis stage diagnostics
Rational solutions of linear difference equations: Universal denominators and denominator bounds
Tenth Anniversary of ACM SIGMOD Moscow Chapter
Interactive Near Duplicate Search in Software Documentation
Performance Model of Graphics Pipeline for a One-Pass Rendering of 3D Dynamic Scenes
Optimization of Neural Network Training for Image Recognition Based on Trigonometric Polynomial Approximation
Minimization problem for schemes of program with commutative blocks
The Scientific Research Seminar on Computer Algebra in 1999-2000
Implementing associations among classes in an environment of active databases
Metaclasses in UML and in Programming Languages
Construction of speculative optimization algorithms
Debugging DVM Programs
The Use of Functional Programming Library for Parallel Computing on CUDA
Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra
Invariant Coordinate Subspaces of Normal Form of a System of Ordinary Differential Equations
Skills Required for Quantum Computing: A Comprehensive Review of Recent Studies
Tools for Capturing and Processing High-Speed Network Traffic
Reconstruction of structure and texture of city building facades
Mapping Parallel Computations to Distributed Systems Based on RapidIO Technology
Survey of modern technologies of simulation-based verification of hardware
Compact representation of polynomials for algorithms for computing Gröbner and involutive bases
Computer Algebra in JULIA
On Solving the Problem of 7-Piece Chess Endgames
On rational solutions of linear partial differential or difference equations
Parameterization of the discriminant set of a polynomial
Modified Error Detection and Localization in the Residue Number System
Using abstract models for the generation of test data with a complex structure
On complementary principles of object-oriented constraint programming
Theorem Prover for Intuitionistic Logic Based on the Inverse Method
Evolutionary Algorithms for Optimizing Cost and QoS on Cloud-based Content Distribution Networks
Domain-Driven Design in Microservices-Based Systems Development: A Systematic Literature Review and Thematic Analysis
An approach to implementation of aspect-oriented programming for C
Effective Code Generation for Processor Architectures with Explicit Parallelism
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
Symbolic and numerical analysis of the restricted five body problem using computer algebra
Active Learning and Crowdsourcing: A Survey of Optimization Methods for Data Labeling
Convergence of Computer Graphics and Machine Vision (From the Editor of the Special Issue)
PosDB: An Architecture Overview
Inverse problem for the two-dimensional discrete Schrödinger equation in a square
MEG-Eliminations
On the Representation of Results of Binary Code Reverse Engineering
Automatic Inference of Synchronous Regular Invariants
Biased solution of integral illumination equation via irradiance caching and path tracing on GPUs
Efficient Rendering for the Cockpit Display System Designed in Compliance with the ARINC 661 Standard
Decentralized Data Storages: Technologies of Construction
SLAP - Simple Linear Attack against Perceptron (SLAP)
Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation
Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities
Optimization Method for Cell Image Registration
Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields
Method for Enhancing High-Resolution Image Inpainting with Two-Stage Approach
Multiple data structuring
Fuzzy decision algorithm
On the path to building a community of programs
3D SLAM from stereoimages
Optimization of the NPTL thread library in Linux for hard real-time systems
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Usability Evaluation of BCI Software Applications: A systematic review of the literature
Elements for Automatic Identification of Fallacies in Mexican Election Campaign Political Speeches
Requirements Validation in the Information System Software Development Lifecycle: A Software Quality in Use Evaluation
A Machine Learning Framework for Feature Selection in Heart Disease Classification Using Improved Particle Swarm Optimization with Support Vector Machine Classifier
Positional Characteristics for Efficient Number Comparison over the Homomorphic Encryption
Designing personalized digital libraries over websites with semistructured data
Types of Attacks against Federated Neural Networks and Protection Methods
Calculating Similarity of Javadoc Comments
Verification of Compliance for Multilevel Models in Individual Trace Semantics
X - and Y -invariants of partial differential operators in the plane
BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
Model-based testing of internet e-mail protocols
Diagram Technique for Hypergeometric Series of Several Variables
Adaptive Scientific Visualization Tools for a Smart Paleontological Museum
Component approach for construction of optimizing compilers
Baget real-time operating system family (features, comparison, and future development)
Investigation of Difference Schemes for Two-Dimensional Navier-Stokes Equations by Using Computer Algebra Algorithms
A Comparison of Algorithms for the Normalization and Quantization of Polynomial Hamiltonians
Robust Algebraic Connectivity
Construction of Programs for Real-Time Processing and Analysis of Measuring Information
Quality of Service Enhancement in Wireless Sensor Network Using Flower Pollination Algorithm
Cross-Lingual Transfer Learning in Drug-Related Information Extraction from User-Generated Texts
Knowledge visualization based on semantic networks
Investigation of the Double Pendulum System by the Normal Form Method in MATHEMATICA
Enhancing Image Recognition with Pre-Defined Convolutional Layers Based on PDEs
Detection of parallel executable steps for programs with arrays
Detection and 3D Reconstruction of Buildings from Aerial Images
Construction of the weight polynomial for autocorrelation of q -ary words
A Modular Extension for a Computer Algebra System
Performance Evaluation of a Hybrid Computer Cluster Built on IBM POWER8 Microprocessors
Qualitative investigation of a gene model using computer algebra algorithms
Algorithm for Constructing an Analogue of the Binet Formula
Automatic synthesis of action programs for intelligent robots
Test Sequence Construction Using Minimum Information on the Tested System
A Method for Generation of Synthetic 2D and 3D Cryo-EM Images
Implementation of the XML linking language XLink by functional methods
Obtaining Affine Transformations to Improve Locality of Loop Nests
Estimation of the people position in the world coordinate system for video surveillance
Measuring the Execution Time of Fragmented Programs
Bug localization by constructing reduced traces
Igor Vasil'evich Pottosin (February 21, 1933-December 15, 2001)
Generalized Reduction in Rings of Differential Polynomials
Decomposition of a Finite Quantum System into Subsystems: Symbolic-Numerical Approach
Conflict resolution in multi-agent systems with typed relations for ontology population
Estimation of the execution time in real-time systems
Approaches to Improving the Efficiency of Data Centers
Experience of improving the blast static verification tool
A CUSUM method to detect and counteract intrusions
Survey of Nvidia RTX Technology
A new double sorting-based node splitting algorithm for R-tree
The Use of Computer Vision for Localization of Vertebrae on Midsagittal Computed Tomography Slices
Satisfying DO-178C Structural Coverage Objectives
Algorithms for integrating PostgreSQL with the semantic web
Application of the 9P Protocol in Organizing a High-Speed Shared Memory Buffer for Intermediate Computations (RAMPL)
Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica
Generalized Computational Experiment and Verification Problems
On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain
Automated construction of software configuration tables for real-time systems in avionics
A method of test-suite reduction for regression integration testing
Photorealistic volume scattering model in the bidirectional stochastic ray tracing problem
Graphic Representation Method and Neural Network Recognition of Time-Frequency Vectors of Speech Information
An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge's Condition
Symbolic additive decomposition of rational functions
Study of Surface Representation Methods Based on Signed Distance Functions
Infrastructure of Supercomputing Technologies
Background optimization in full system binary translation
Approximation of a quantum algorithm for order finding
Solution of parallel computation problem based on "space-time" concept
Port-Hamiltonian Systems: Structure Recognition and Applications
A survey of methods for constructing covering arrays
A Concept of a Universal Server for the Client-Server Architecture
SharpChecker: Static analysis tool for C# programs
Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood's Machine using Computer Algebra
Level of Detail for Precomputed Procedural Textures
XML Applications Development in Scheme
Mechanical proof of planimetric theorems of rational type
Application of Computer Simulation to the Anonymization of Personal Data: State-of-the-Art and Key Points
Program constructor of cellular self-reproducing structures
On an undecidable problem related to difference equations with parameters
Construction of a model of a continuous light source specified by a fixed set of rays
Automation of the construction of models of normal program behavior
Formal Solutions of Linear Ordinary Differential Equations Containing m-Hypergeometric Series
Experience of teaching programming in the lyceum of information technologies
Applying Time Series for Background User Identification Based on Their Text Data Analysis
Parallel Solutions of Parametric Problems in Gas Dynamics Using DVM/DVMH Technology
Inclusion problem in algebraic models of programs with constants
Modeling and optimization of functioning of the information web portal