yusuke1997/dblp-id-title huggingface dataset:
Machine Learning Methods for Detecting and Monitoring Extremist Information on the Internet
Possibilities of Optimal Execution of Parallel Programs Containing Simple and Iterated Loops on Heterogeneous Parallel Computational Systems with Distributed Memory
Debugging and Monitoring Distributed Heterogeneous Systems
A Method to Order Point Clouds for Visualization on the Ray Tracing Pipeline
Discrete relations on abstract simplicial complexes
In memory of Engeny Vasil'evich Pankratiev (December 29, 1944-January 23, 2008)
ECMA-335 static formal semantics
Detection of Network Attacks in a Heterogeneous Industrial Network Based on Machine Learning
Algorithm for Solving the Cauchy Problem for a Two-Dimensional Difference Equation with Initial Data Defined in a "Strip"
Computer Algebra Tools for Geometrization of Maxwell's Equations
Generation of test data for verification of caching mechanisms and address translation in microprocessors
Model of distributed computing system operation with time
On an Algorithmic Optimization in Computation of Involutive Bases
A package to work with linear partial differential operators
An Approach to the Verification of Symmetric Parameterized Distributed Systems
Algorithm for Constructing Modular Projections for Correcting Multiple Errors Based on a Redundant Residue Number System Using Maximum Likelihood Decoding
On mathematica program for "Poor Man's Integrator" implementing Risch-Norman algorithm
Functional Active Monitoring System FLAME
CGWO: An Improved Grey Wolf Optimization Technique for Test Case Prioritization
On the synthesis of adaptive tests for nondeterministic finite state machines
Pattern-based environment modeling for static verification of Linux kernel modules
The Query Language to XML Documents Connected by XLink Links
Secure cloud computing based on threshold homomorphic encryption
Exact linearization of nonlinear ordinary autonomous differential equations
Informatics in schools: Problems of content
Computing Level Lines of a Polynomial on the Plane
On checking existence of infinitely differentiable solutions of partial differential equations with boundary conditions
The use of artificial neural networks for classification of signal sources in cognitive radio systems
Formalization of semantics of systems with unreliable agents by means of nets of active resources
Parallel integration
On the jubilee of Rimma Ivanovna Podlovchenko's birth
Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal
Development of Algorithms and Software for Modeling Controlled Dynamic Systems Using Symbolic Computations and Stochastic Methods
On Program Schemes with Commuting and Monotone Operators
Active Learning and Transfer Learning for Document Segmentation
Heuristics in Programming of Nondeterministic Games
High-level memory model with low-level pointer cast support for Jessie intermediate language
An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language
Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients
Perfect Sets of Paths in the Full Graph of SDN Switches
OCL-Based Automated Validation Method for UML Specifications
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
Model-100: Specification language for interacting processes
A definite summation of hypergeometric terms of special kind
A Survey of Software Dynamic Analysis Methods
Automated Construction of Identification Procedures for Objects Belonging to Several Classes
Graphic Language for Describing Constraints on Diagrams of UML Classes
Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp-1(z) to the Neighborhood of the Point z = 1 in the Logarithmic Case
Prototype of a Verified Program Code Execution System
Automaton semigroup models of programs
Typed Unknown Values: A Step towards Solving the Problem of Missing Data Representation in Relational Databases
BARSIC: A Programming System for Physicists
Test Generation from Event System Abstractions to Cover Their States and Transitions
Two-Stage Method for Grouping News with Similar Topics
On the Relationship between Foundations of Programming and Mathematics
Implementation of Neural Machine Translation for Nahuatl as a Web Platform: A Focus on Text Translation
On a class of algebraic models of programs of practical interest
Formal methods for verification of websites macrostructure integrity
Designing of High-Performance Digital Filters using the Balanced Residue Number System Moduli Set
The language dynamic-real and its application for verification of SDL-specified distributed systems
Data Definition in the Programming Language MARKIZ
A language and programming environment for high-performance parallel computing on heterogeneous networks
Solution of the Inverse Problem for the Two-Dimensional Discrete Schrödinger Equation Using REDUCE
On the jubilee of Lev Nikolaevich Korolev's birth
The use of vector instructions of a processor architecture for emulating the vector instructions of another processor architecture
Digital libraries as a new class of information systems (from the editors of the special issue)
Dynamically Changing User Interfaces: Software Solutions Based on Automatically Collected User Information
Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy
Automated Test Generation and Static Analysis
Application of if-conversion to verification and optimization of workflows
Runtime Verification of Operating Systems Based on Abstract Models
Hypergeometric pattern matching summation in maple
Efficient Implementation of OpenGL SC for Avionics Embedded Systems
Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators
Ahead-of-time compilation of JavaScript programs
Execution and optimization techniques for approximate queries in heterogeneous systems
Component architecture of model-based testing environment
Implementation of an Algorithm for Finding Analyticity Conditions for a Solution of a Difference Equation
Symmetric cellular automata
Cohomologies of restricted Lie algebras of Hamiltonian vector fields: Computer analysis
Influence of Unequilateral Apertures of Digital Filters Laplacian "Trunced Pyramid" and "Double Pyramid" on the Accuracy of Television Measuring Systems
Mathematical Graphical Object Representation1
Software Testing in the DevOps Context: A Systematic Mapping Study
Exploring the Frontier of Software Engineering Education with Chatbots
A symbolic-numerical algorithm for the computation of matrix elements in the parametric eigenvalue problem
A Regression Model for Analysis of User Engagement on Facebook Fan Page for Scientific Dissemination Content
Generation of Graphs for the Identification of Various Types of Scientific Collaboration in an Academic Institution
Computational Aspects of the Horn-Kapranov Parametrization
Mapping loop nests to multipipelined architecture
Adaptive terrain triangulation using the representation of quad trees by vertex textures and wavelet estimation of vertex significance
A Design Science Approach to Modeling the V Gene Annotation Process
Normalization of a Periodic Hamiltonian System
Study of defects in a program code in Python
Modern technologies aimed at the development of large programs for solving computational problems on computers with various architectures
Text Retrieval Systems for the Web
Database Management System Verification with Separation Logics
Iterative development of parallel programs in the ParJava environment
On the bottom summation
On a universal model for the organization of database access
Static Analysis of Corpus of Source Codes of Python Applications
Application of computer algebra for the reconstruction of surfaces from their photometric stereo images
Construction of generalized Gauss-Jacobi quadratures by means of computer algebra methods
Stance Detection Based on Ensembles of Classifiers
Dynamic Detection of Use-After-Free Bugs
Scheduling algorithms for real-time computing systems admitting simulation models
Laplace transformations as the only degenerate Darboux transformations of first order
Formalization of a test experiment-II
A Metrics Suite for Measuring Indirect Coupling Complexity
Improved Kolchin-Ritt Algorithm
Complementarity in Finite Quantum Mechanics and Computer-Aided Computations of Complementary Observables
Mu-Calculus Satisfiability with Arithmetic Constraints
Syntax error recovery in graphical languages
Model of Pseudo-Random Sequences Generated by Encryption and Compression Algorithms
Agreement between conformance and composition
Algorithm for construction of volume forms on toric varieties starting from a convex integer polytope
Automated Assessment of the Progress and "Health" of Projects Based on the OMG Essence Standard
Recent Trends in Underwater Wireless Sensor Networks (UWSNs) - A Systematic Literature Review
Software pipelining of loops by the method of modulo scheduling
On the 100th Anniversary of the Birth of Academician Sergei Alekseevich Lebedev
Bounded monotone recursion and multihead automata
How to solve linear differential equations: An outline
Statistics of the Distribution of Families of Periodic Solutions to Hill's Problem
Satellite Unknowns in Irreducible Differential Systems
A method of Earth terrain tessellation on the GPU for space simulators
Extensible environment for test program generation for microprocessors
Searching for Equilibrium States of Atwood's Machine with Two Oscillating Bodies by Means of Computer Algebra
Design of a Tool to Promote Teacher Training in the Inclusive Classroom in Care for Children with Hearing Disabilities Mediated by ICT
Theoretical Basis of Mathematical Apparatus for Parallel Computing Implementation in Computer-Aided Design Systems
A Method for Parallelizing Algorithms by Vector Scheduling Functions
Synthesis of Neural Network-Based Approximators with Heterogeneous Architecture
Formal Verification of Blockchain Based Tender Systems
Mind maps merging in collaborative work
Synthesis and Initialization of Adaptive Neuro-Fuzzy Control Based on the SDRE Technique for a Two-Link Manipulator
Models in performance testing
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets
Graphical inheritance notation for state-based classes
Method to Extract Isosurfaces on the GPU by Means of Programmable Tessellation
Discomfort of Visual Perception in Virtual and Mixed Reality Systems
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study
Development of the value numbering method
Estimation of dynamical characteristics of a parallel program on a model
Integration of a Degenerate System of ODEs
Application of Computer Algebra to the Reconstruction of Surface from Its Photometric Images
Solution spaces of H -systems and the Ore-Sato theorem (extended abstract)
Preliminary coarse image registration by using straight lines found on them for constructing super resolution mosaics and 3D scene recovery
On the minimal time required for execution of distributed concurrent processes in synchronous modes
Modeling Function Domain for Curves Constructed Based on a Linear Combination of Basis Bernstein Polynomials
Preface to the Special Issue of the Journal
Web platforms for scientific research
On the Jubilee of Nikolai Petrovich Brusentsov's Birth
Generation of Positive and Negative Tests for Parsers
Noise Dependence on the Number of Rays in Bidirectional Stochastic Ray Tracing with Photon Maps
The Alex language for circuit description
Mining User-Object Interaction Data for Student Modeling in Intelligent Learning Environments
How COVID-19 Pandemic affects Software Developers' Wellbeing, and the Necessity to strengthen Soft Skills
A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization
Game-theoretic simulation checking tool
Composition methods for constructing characteristic formulas for dense-time models
Solving the Cauchy Problem for a Three-dimensional Difference Equation in a Parallelepiped
Digital Twins, Internet of Things and Mobile Medicine: A Review of Current Platforms to Support Smart Healthcare
View to view transformations in domain specific modeling
An Extension of Fortran for High Performance Parallel Computing
Methods for automatic term recognition in domain-specific text collections: A survey
Ensuring Interoperable IoT Device-to-Cloud Communication between AWS and Azure Infrastructures
Decentralized Conditional Gradient Method on Time-Varying Graphs
Construction of a Minimum Complexity Onboard Switched Network with Time Synchronization
Dedicative Verification of Reflex Programs
A Methodology of Verification and Testing of Large Software Systems
Symbolic solution of nonhomogeneous linear ordinary differential equations in terms of power series
CORBA and MPI code coupling
Optimality conditions for pseudoconvex minimization over convex sets defined by tangentially convex constraints
Burer's key assumption for semidefinite and doubly nonnegative relaxations
Checking weak optimality of the solution to linear programming with interval right-hand side
Online batch scheduling with kind release times and incompatible families to minimize makespan
Single-level reformulations of a specific non-smooth bilevel programming problem and their applications
A cutting plane approach to combinatorial bandwidth packing problem with queuing delays
Scheduling jobs with equal processing times on a single machine: minimizing maximum lateness and makespan
A unified local convergence analysis of inexact constrained Levenberg-Marquardt methods
NPROS: A Not So Pure Random Orthogonal search algorithm - A suite of random optimization algorithms driven by reinforcement learning
Optimization framework for process scheduling of operation-dependent automobile assembly lines
Structure learning of Bayesian Networks using global optimization with applications in data classification
Correction to: Linear formulations and valid inequalities for a classic location problem with congestion: a robust optimization application
Acceleration strategies for the weight constrained shortest path problem with replenishment
A class of hybrid methods for quasi-variational inequalities
Interior-point algorithm for symmetric cone horizontal linear complementarity problems based on a new class of algebraically equivalent transformations
Improved exploitation of higher order smoothness in derivative-free optimization
Linear and conic reformulations for the maximum capture location problem under multinomial logit choice
A polynomial-time algorithm of finding a minimum k-path vertex cover and a maximum k-path packing in some graphs
Almost sure convergence of the forward-backward-forward splitting algorithm
Notes on the difference of two monotone operators
Finding the Maximum Multi Improvement on neighborhood exploration
Computing approximate Nash equilibria for integer programming games
Projected shrinkage algorithm for box-constrained ℓ 1 -minimization
Necessary optimality conditions for countably infinite Lipschitz problems with equality constraint mappings
On Benson's scalarization in multiobjective optimization
On the ℋ-free extension complexity of the TSP
A general backwards calculus of variations via duality
Approximation algorithms for the multiprocessor scheduling with submodular penalties
Conveyor operations in distribution centers: modeling and optimization
Improved lower bound on the dimension of the EU council's voting rules
Local error bounds for the generalized polynomial complementarity problem
Bees Algorithm for constrained fuzzy multi-objective two-sided assembly line balancing problem
Farkas' lemma for separable sublinear inequalities without qualifications
RLT insights into lift-and-project closures
Variable sample size method for equality constrained optimization problems
Uniqueness of integer solution of linear equations
A polynomial-time algorithm for finding critical nodes in bipartite permutation graphs
Maximum cost scheduling of jobs with mixed variable processing times and $$k$$ -partite precedence constraints
Sufficiency of linear transformations on Euclidean Jordan algebras
Weak and strong convergence of an inertial proximal method for solving Ky Fan minimax inequalities
Identification of the thermal conductivity coefficient in two dimension case
Adaptive inexact fast augmented Lagrangian methods for constrained convex optimization
A derivative-free optimization approach for the autotuning of a Forex trading strategy
A fresh geometrical look at the general S-procedure
Constraint relaxation, cost-sensitive learning and bagging for imbalanced classification problems with outliers
Further on set-valued equilibrium problems in the pseudo-monotone case and applications to Browder variational inclusions
Bilevel invex equilibrium problems with applications
A note on the hierarchical multi-switch multi-echelon vehicle routing problem
Hadamard well-posedness for a set-valued optimization problem
A derivative-free approach for a simulation-based optimization problem in healthcare
An optimisation approach to constructing an exchange-traded fund
The effect of velocity sparsity on the performance of cardinality constrained particle swarm optimization
A note on strong duality in convex semidefinite optimization: necessary and sufficient conditions
Inverse integer programming
A multi-population hybrid biased random key genetic algorithm for hop-constrained trees in nonlinear cost flow networks
Special issue on vehicle routing and scheduling: recent trends and advances
Stochastic variational formulation for a general random time-dependent economic equilibrium problem
Vehicle routing problem considering equity of demand satisfaction
The Nelder-Mead simplex algorithm with perturbed centroid for high-dimensional function optimization
Branch-and-bound-and-memorize for the blocking permutation flowshop problem
k-sparse vector recovery via Truncated ℓ 1-ℓ 2 local minimization
Quasi-relative interiors for graphs of convex set-valued mappings
On evolution of an information dynamic system and its generating operator
A least-squares approach for discretizable distance geometry problems with inexact distances
Optimality conditions for homogeneous polynomial optimization on the unit sphere
Strengthened MIP formulations for the liver region redesign models of Akshat et al
A characterization of weighted simple games based on pseudoweightings
An approach for solving competitive location problems with variable demand using multicore systems
An iterative method for split variational inclusion problem and fixed point problem for a nonexpansive mapping
Openness results for parametric set-valued mappings in Asplund spaces
Optimal control of implicit control systems and its applications to differential complementarity problems
A feasible direction method for image restoration
A best possible online algorithm for parallel batch scheduling with delivery times and limited restart
A modulus-based nonsmooth Newton's method for solving horizontal linear complementarity problems
Nesterov's smoothing technique and minimizing differences of convex functions for hierarchical clustering
Generalized Nash equilibrium and dynamics of popularity of online contents
Two-person game with nash equilibrium in optimal control problems
Monotonic grey box direct search optimization
Optimization of discrete broadcast under uncertainty using conditional value-at-risk
Optimization on fractal sets
Optimal inventory policy for a dynamic stochastic inventory problem with order revision
Exact relaxations of non-convex variational problems
On refinement strategies for solving ${\textsc {MINLP}\mathrm{s}}$ by piecewise linear relaxations: a generalized red refinement
A smoothing Newton method for symmetric cone complementarity problems
Approximation and optimization of Darboux type differential inclusions with set-valued boundary conditions
A simplified treatment of Ramana's exact dual for semidefinite programming
Wireless networking, dominating and packing
(Non) convergence results for the differential evolution method
Gain-optimized spectral distortions for pronunciation training
Compromise allocation in multivariate stratified sample surveys under two stage randomized response model
Deterministic global derivative-free optimization of black-box problems with bounded Hessian
Largest small polygons: a sequential convex optimization approach
An improved mixed-integer programming model for the double row layout of facilities
An approach to calmness of linear inequality systems from Farkas lemma
Interior-point algorithm for sufficient LCPs based on the technique of algebraically equivalent transformation
A note on convex relaxations for the inverse eigenvalue problem
Solving a home energy management problem by Simulated Annealing
Sparse regression over clusters: SparClur
Preface of the special issue: the 6th International Conference on Optimization and Control with Applications (6th OCA)
The budgeted maximin share allocation problem
On a facility location problem with applications to tele-diagnostic
Two-phase simplex method for linear semidefinite optimization
Optimal road maintenance investment in traffic networks with random demands
Improved utilization for joint HCCA-EDCA access in IEEE 802.11e WLANs
New complexity analysis of a full-Newton step feasible interior-point algorithm for P ∗ (κ)-LCP
New formulation for the high multiplicity asymmetric traveling salesman problem with application to the Chesapeake problem
On strong optimality of interval linear programming
A strict complementarity approach to error bound and sensitivity of solution of conic programs
Convex envelopes for fixed rank approximation
A path-based double projection method for solving the asymmetric traffic network equilibrium problem
Classical linear vector optimization duality revisited
A reinforcement learning approach to convoy scheduling on a contested transportation network
Solving the minimum toll revenue problem in real transportation networks
Sliced AETG: a memory-efficient variant of the AETG covering array generation algorithm
Packing unequal circles into a strip of minimal length with a jump algorithm
Fair machine learning through constrained stochastic optimization and an ε-constraint method
A breakpoint search approach for convex resource allocation problems with bounded variables
Branch-cut-and-price for the vehicle routing problem with simultaneous pickup and delivery
An algorithm for clusterwise linear regression based on smoothing techniques
Approximating two-stage chance-constrained programs with classical probability bounds
Directional vs. Shephard's distance functions
Characterizations of the solution set for non-essentially quasiconvex programming
Dynamic lot-sizing problem with demand time windows and container-based transportation cost
Heuristic solutions for the vehicle routing problem with time windows and synchronized visits
A filled function which has the same local minimizer of the objective function
Clustering and maximum likelihood search for efficient statistical classification with medium-sized databases
Optimality conditions and duality on approximate solutions in vector optimization with arcwise connectivity
Combined partial regularization and descent method for a generalized primal-dual system
Second-order characterizations of quasiconvexity and pseudoconvexity for differentiable functions with Lipschitzian derivatives
Positive definite and Gram tensor complementarity problems
Parametric network utility maximization problem
Convergence analysis of block majorize-minimize subspace approach
COTS selection using fuzzy interactive approach
Second-order differentiability of probability functions
Finding a maximum k-club using the k-clique formulation and canonical hypercube cuts
Saddle points and gap functions for weak generalized Ky Fan inequalities
An approximation algorithm for multi-agent scheduling on two uniform parallel machines
A covering traveling salesman problem with profit in the last mile delivery
A generalized eigenvalues classifier with embedded feature selection