yusuke1997/dblp-id-title huggingface dataset:
BCNN: An Effective Multifocus Image fusion Method Based on the Hierarchical Bayesian and Convolutional Neural Networks
GMM Based Fault Signature Estimation of Electromechanical Machines for Small and Medium-Sized Enterprises in IoT Environment
A Temporal Logic for Programmable Logic Controllers
Size Optimization of Distributed Generation Resources in Microgrids with Considering Uncertainty Units Based on Scenario Tree
The use of models of incompletely specified Boolean functions in logical circuit synthesis based on VHDL descriptions
Features of the Computational Implementation of the Algorithm for Estimating the Lyapunov Exponents of Systems with Delay
An Approach for Detecting Anonymized Traffic: Orbot as Case Study
Graph Embedded Extreme Learning Machine Autoencoder with Multilayer Cyclic Structure
Laplace-Stieltjes transform of the distribution of the first moment of crossing the level a(a > 0) by a semi-Markovian random walk with positive drift and negative jumps
Detection of HMM Synthesized Speech by Wavelet Logarithmic Spectrum
Directed Digital Signature on Isogenies of Elliptic Curves
Geometric Estimates in Interpolation on an n-Dimensional Ball
The detection of Udpstorm attacks based on model checking linear temporal logic
A two-stage method for building classifiers
C program verification: Verification condition explanation and standard library
Environmental Sound Classification Based on Attention Feature Fusion and Improved Residual Network
Application of Systems Theory Laws for Investigating Information Security Problems
Erratum to: On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code
On mobile wireless tags
A generalized solution of an initial-boundary value problem arising in the mechanics of discrete-continuous systems
Russian-Language Thesauri: Automatic Construction and Application for Natural Language Processing Tasks
Adaptive Control System for Detecting Computer Attacks on Objects of Critical Information Infrastructure
Two-Wave Interactions in the Fermi-Pasta-Ulam Model
Mathematical Description of the Operation of a Step-Recovery-Diode-Based Pulse Generator Circuit
Pyramidal Sun Sensor: A Novel Sun Tracking System Solution for Single Axis Parabolic Trough Collector
Calculation of the parameters of Hidden Markov models used in the navigation systems of surface transportation for map matching: A review
Design of Transplanting Machinery Automation Based on Position-Velocity PID Double Closed-Loop Control Algorithm
Adaptive technology of the sampling of noise-corrupted signals
Analysis of trajectories in mobile networks based on data about the network proximity
Modeling and Control Research of Fractional-Order Memristor Based on Optimization Algorithm in Frequency Domain
Data protection in radio channels of local differential satellite navigation subsystems
The study of open-loop stochastic queuing networks with heterogeneous requests
Robust H2-PSS design based on LQG control optimized by genetic algorithms
Estimating the Average Temporal Benefit in Probabilistic Environmental-Economic Models
Benford's Law in the Detection of DoS Attacks on Industrial Systems
Using Security-through-Obscurity Principle in an Industrial Internet of Things
Justification of the Rational Composition of the Information Security System
Detection of Security Threats to Modern Websites
A method of video image enhancement
Researching the Performance of AutoML Platforms in Confidential Computing
Stabilization of Nonlinear Systems with Dynamic Chaos
Deep learning in pharmacy: The prediction of aqueous solubility based on deep belief network
CSASNet - A Crop Leaf Disease Identification Method Based on Improved ShuffleNetV2
Integration of semantic verifiers into Java language compilers
Identifying a potential insider using classification models
Composition of logical switching networks in neural structures
Software Identification by Standard Machine Learning Tools
Secure Proof of Ownership Using Merkle Tree for Deduplicated Storage
Application of the Karhunen-Loeve transformation in bio-radiolocation: Breath simulation
Linear procrustes transformation for letter recognition
Intelligent Constructing Efficient Statistical Decisions via Pivot-Based Elimination of Unknown (Nuisance) Parameters from Underlying Models
The Concept of Secure Distributed Ledger Technology in the Digital Environment of a Smart City
Fall Monitoring System Based on Wearable Device and Improved KNN
Adaptive Fuzzy Hierarchical Sliding Mode Control for Ball Segway
Method of increasing the output signal-to-noise ratio in passive multi-element antenna arrays
On Improving the Reliability and Information Security of Information Transmission Systems in Communication Channels of an Unmanned Vessel
Road Traffic Classification from Nighttime Videos Using the Multihead Self-Attention Vision Transformer Model and the SVM
Universal model of a ground vehicle for realization of integrated inertial-satellite navigation systems
Research and Experiment on UWB Path Loss Characteristics in Outdoor Near-Ground Environments
Probability-Theoretical Models of Physical Random Number Generators
A Model of Optimal Complexification of Measures Providing Information Security
On an Interrupted Bivariate Renewal Process and Its Applications
New Applications of Computational Intelligence for Constructing Predictive or Optimal Statistical Decisions under Parametric Uncertainty
Research of Theoretical Methods Precision of the Amplitude-Phase-Modulated Signal Spectrum Calculation
Necessary first and second order optimality conditions in a discrete optimal control problem
Asymptotic Expansions of Eigenvalues of the First Boundary-Value Problem for Singularly Perturbed Second-Order Differential Equation with Turning Points
Actual Vulnerabilities of Industrial Automation Protocols of an Open Platform Communications Series
Immunization of Complex Networks: Topology and Methods
Development of a Heuristic Mechanism for Detection of Malware Programs Based on Hidden Markov Models
Adaptive management algorithms for a fixed jitter buffer
Building a Data Store with the Dynamic Structure
M|M|N queueing system with controlled service mode and disaster
Distributed two-level cloud-based multimedia task scheduling
The modeling of counter machines by two-head finite automata
On Optimization and Parallelization of the Little Algorithm for Solving the Travelling Salesman Problem
Calculation of flicker noise power
A multi-lobe stereo phase portrait of a three-dimensional dynamic system and visualization of the control for objects with a multiplicity of stationary states
Elements of the theory and technique of multiplication-division operations in pseudoneural systems
The Use of Generative-Adversarial Networks to Counter Steganalysis
Features of the Algorithmic Implementation of Difference Analogs of the Delayed Logistic Equation
Using Neural Networks to Detect Internal Intruders in VANETs
Exponential tracking control of an electropneumatic servomotor
A modification of the knapsack problem taking into account the effect of the interaction between the items
Chattering-Free Adaptive Finite-Time Sliding Mode Control for Trajectory Tracking of MEMS Gyroscope
Designing and development of an imitation model of a multitenant database cluster
Diffusion chaos in the reaction-diffusion boundary problem in the dumbbell domain
Algorithm for Online Detection of Traffic Anomalies in High-Speed Enterprise Multiservice Communication Networks
Address sequences
Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy-Current Defectograms
Quality Fuzzy Predictive Control of Water in Drinking Water Systems
Formal Verification of Three-Valued Digital Waveforms
VTMine for Visio: A Graphical Tool for Modeling in Process Mining
Position Servo Control Method for Multi-Degree-of-Freedom Pneumatic Manipulators Based on Delayed Feedback
Estimation of the instantaneous signal parameters using a modified Prony's method
Elimination of the sliding mode breakdown in forced motion of controlled objects
Correlation filtration of statistically transformed signals
On one class of counter machines
Design and verification of protected systems with integrated devices based on expert knowledge
Detecting Defects in Multicomponent Software Using a Set of Universal Graph Representations of the Code
Infrared Polarization and Intensity Image Fusion Algorithm Based on the Feature Transfer
Identification of Anomalies in the Operation of Telecommunication Devices Based on Local Signal Spectra
Multi-Attention Mechanism Medical Image Segmentation Combined with Word Embedding Technology
Erratum to: A Novel Coal Mine Dust Measurement System and Experimental Analysis
Methodology of Effective Task Planning and Algorithm for Multivariate Computation of the Characteristics of a Quantum Rotation Sensor on a Hybrid Supercomputer Cluster
The laplace transform for the distribution of the lower bound functional in a semi-Markov walk process with a delay screen at zero
The investigation of possible errors in equivalencing models of mass service systems with heterogeneous requests
Verification of computing grids with special edge conditions by infinite Petri nets
Integrating Laplacian Eigenmaps Feature Space Conversion into Deep Neural Network for Equipment Condition Assessment
Application of numerical optimization methods to molecular docking on graphics processing units
Secure Turbo Codes Design Using Chaotic Interleaver Based on Generalized 2D Chaotic Map
Active Control of Vehicle Suspension System with Robust Control
Blockchain Technology as a Platform for Integrating Corporate Systems
On the Support Splitting Algorithm for Induced Codes
Assurance of Cyber Resistance of the Distributed Data Storage Systems Using the Blockchain Technology
Markov-modulated birth-death processes
Design and Implementation of Electromagnetic Spectrum Sensing Load Based on Software Radio
Development of a Neuro-Fuzzy Intelligent Network for Monitoring and Control of Microclimate Systems
LTL-Specification for Development and Verification of Control Programs
Parameter Identification of Induction Motor by Using Cooperative-Coevolution and a Nonlinear Estimator
Maintaining Cyber Sustainability in Industrial Systems Based on the Concept of Molecular-Genetic Control Systems
Design of absolutely robust control systems for multilinked plants on the basis of an uncertainty hyperobserver
Boosting RUL Prediction Using a Hybrid Deep CNN-BLSTM Architecture
Distributed MIMO System Design and Channel Capacity Analysis Based on Polar Orbit LEO Constellation
An Algorithm for Finding Feedback in a Problem with Constraints for One Class of Nonlinear Control Systems
The use of binary decision diagrams for the decomposition of programmable logic arrays
Formal model of cyber attacks on virtualization tools and a measure of hypervisor vulnerability
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic
C-QoSRP: Cluster Based QOS-Routing Protocol for VANET in Highway Environment
Regional Bullying Text Recognition Based on Two-Branch Parallel Neural Networks
Duplication of Boolean Complements for Synthesis of Fault-Tolerant Digital Devices and Systems
Application of Image Recognition Based on Grey Relational Analysis
A Weed Detection Algorithm Based on Improved YOLOv5S
Computer analysis of the aerodynamics and heat exchange of a cylinder in a viscous oscillating flow
1-Skeletons of the Spanning Tree Problems with Additional Constraints
Using Hybrid Discriminative-Generative Models for Binary Classification
Using risk-oriented approaches to solve information security problems
LSTM-Based Robust Voicing Decision Applied to DNN-Based Speech Synthesis
Cluster Analysis of a Collective of Algorithms of Multicore Neural Network Automata and Robots on Chip
Analysis of wavelet estimation of self-similar traffic parameters in the Simulink model
Providing Stable Operation of Self-Organizing Cyber-Physical System via Adaptive Topology Management Methods Using Blockchain-Like Directed Acyclic Graph
Improving the Feature Section Method Based on Genetic Algorithm to Increase the Efficiency of Detecting Phishing Websites
Generalized adaptive signature analysis
An anisotropic-tolerant and error control localization algorithm in wireless sensor network
Testing Pulse Timing Devices Using Arbitrary Function Generators
Formal Statement of the Problem of Morphing Executive Code in Software Operation
Multiclass Live Streaming Video Quality Classification Based on Convolutional Neural Networks
Laplace transform of the distribution of the semi-Markov walk process with a positive drift, negative jumps, and a delay screen at zero
An Adaptive Fast Sliding Mode Control for Trajectory Tracking of Robotic Manipulators
Optimal assignment of dynamic priorities in queuing systems with two types of customers
Performance Evaluation of Antivirus Systems for Computer Networks
Development of an adaptive routing mechanism in software-defined networks
Design of Printed log-Periodic Antennas for Long Range Communication within a Wireless Sensor Network for Sea Water Quality Monitoring
Text Model for the Automatic Scoring of Business Letter Writing
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage
Hybrid Method for the Detection of Evasion Attacks Aimed at Machine Learning Systems
Features in the design of optimal recognition systems
Systematization and security assessment of cyber-physical systems
Synthesis of computer programs that implement finite automata
Conservation of the law of phase modulation for UWB pulse signals in the first principal component
A translator with a security static analysis feature of an information flow for a simple programming language
Stabilization of nonlinear systems on the basis of the method of the Lyapunov function with the nonlinearity and disturbance estimation
Efficiency comparison of optimum and adaptive methods for multichannel signal filtering
Single-level schematic realization of basic operations of modular arithmetic in unitary codes
Agri-NER-Net: Glyph Fusion for Chinese Field Crop Diseases and Pests Named Entity Recognition Network
A Water-Level Measurement Method Using Sparse Representation
Integration of Computervision and Artificial Intelligence Subsystems with Robot Operating System Based Motion Planning for Industrial Robots
The task of building a trusted computing environment on the Intel hardware platform
DIAT-DSCNN-GRU-HARNet: A Lightweight DCNN for Video Based Classification of Human Activities
Electric Vehicle Battery Temperature Control Using Fuzzy Logic
Model of a Distributed Storage System for Crypto Wallet Private Keys
Attack Graph-Based Data Presentation for Use in Automated Security Analysis Systems
Vibration Control of a Two-Link Flexible Manipulator
NP-Completeness of the Eulerian Walk Problem for a Multiple Graph
Denoising ECG Signals by Using Extended Kalman Filter to Train Multi-Layer Perceptron Neural Network
State Estimation of Networked Control Systems over Digital Communication Channels
Analysis of Data Exchange Systems about Information Security Threats
Localizing Failures with Metadata
The synthesis of probability tests with a small number of kits
Time resolution of Josephson balanced comparators with shunt resistance
Production method of describing automated controllers in the analysis of continuous-discrete control systems
Performance analysis of trickles and TCP transport protocols under high-load network conditions
Computer Network Clustering Methods in Cybersecurity Problems
Speaker identification using multi-step clustering algorithm with transformation-based GMM
An Adaptive Indicator Optimization Ensemble Empirical Mode Decomposition Method and Its Application on the Denoising of BeiDou B1I Signal
The use of the correlation method in evaluating the accuracy characteristics of precision instruments
Airborne Chemical Detection Using IoT and Machine Learning in the Agricultural Area
Design of Real Time Target Tracking Method for Film and Television Video Based on Deep Learning under Visual Communication
Fire Risk Monitoring of Tamarix chinensis Forest Based on Infrared Remote Sensing Technology
Building an Adaptive System for Collecting and Preparing Data for Security Monitoring
Extraction and Analysis of Semantic Features of English Texts under Intelligent Algorithms
A text steganography method based on Markov chains
Signal processing in a precision event timer with interpolation based on phase measurement
Use of arbiter physical unclonable function to solve identification problem of digital devices
How to make a simple tool for verification of real-time systems
Planning of aggregation and normalization of data from the Internet of Things for processing on a multiprocessor cluster
A Forecasting Model Fuzzy Time Series Type 2 with Hedge Algebraic and Genetic Optimization Algorithm
A Novel Arabic Optical Character Recognition Approach Based on Levenshtein Distance
ELM_Kernel and Wavelet Packet Decomposition Based EEG Classification Algorithm
Methods of protecting self-organizing networks against attacks on traffic routing
Automation of planning and management of the transportation of production for food-processing industry enterprises
Thermodynamic approach to modeling multi-agent systems in cyberspace
Generalization of Typed Inclusion Dependencies with Null Values in Databases
An Approach to Building Cyber-Resistant Interactions in the Industrial Internet of Things
Neural Network Internal Model Control of VSC-MTDC
Complexity of verification of nondeterministic probabilistic multiagent systems
Interference suppression algorithm in reception of an incident electromagnetic wave by a multichannel antenna system
Functional reliability of a real-time redundant computational process in cluster architecture systems
Multilevel Model of Computer Attack Based on Attributive Metagraphs
Comparison of modular numbers based on the chinese remainder theorem with fractional values
Application of Machine Learning Methods to the Problem of Searching for a Region of Interest for Biometric Identification Based on the Pattern of Palm Veins
Algorithms for Indicating the Beginning of Accidents Based on the Estimate of the Density Distribution Function of the Noise of Technological Parameters
Realization of addition and multiplication operations in unitary codes
Analytical modelling and nonlinear strain feedback control of a flexible robot ARM
Comparative Analysis of Methods for Protection against Logical Inference
Indoor Localization Algorithm of Terminal Based on RSS Feature Extension and Spectral Regression Kernel Discriminant Analysis
Forming the Composition of Functions and Instructions of Microprocessor Devices for Access Control Systems
Local Dynamics of a Model of an Opto-Electronic Oscillator with Delay
Relaxation oscillations in a system with delays modeling the predator-prey problem
Computer Numerical Control-PCB Drilling Machine with Efficient Path Planning - Case Study 2
Digital technology and systems for generating and analyzing information from deep strata of the Earth for the purpose of interference monitoring of the technical state of major structures
Analysis of Approaches to Group Authentication in Large-Scale Industrial Systems
A New Technique of Intelligent Constructing Unbiased Prediction Limits on Future Order Statistics Coming from an Inverse Gaussian Distribution under Parametric Uncertainty
Performance Analysis of M2M Traffic in LTE Network Using Queuing Systems with Random Resource Requirements
On modified pearson distributions and their identification
Concept Drift Detection in Streaming Classification of Mobile Application Traffic
Research and Implementation of Intelligent Monitoring and Evaluation System for Farm Animals Breeding Environment
Methods of Multidimensional Aggregation of Time Series of Streaming Data for Cyber-Physical System Monitoring
Management of information security risks in a context of uncertainty
Poisson Flows with Alternating Intensity and Their Application
Synchronization of fuzzy linear automata
Algorithms for the Analysis of Queueing System M/G/1/∞ with Cut-Off of the Line
Analysis of the Information Security Threats in the Digital Production Networks
Model for Identifying Cyber Threats to Internet Information Resources
Generation of Synthetic Data for Honeypot Systems Using Deep Learning Methods
Spoofing Attack on Eigenfaces-Based Biometric Identification System
Methods Managing for Matching of Supply and Demand on the IT Specialists
Solution of the problem concerning a conditional extremum under fuzzy constraints
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function
Approximating bisimulation in one-counter nets
Optimal control of the elastic development drive of an oil pool
Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability
Application of convolutional neural networks for preventing information leakage in open internet resources
Mathematical Analysis of the Nanosecond Pulse Generator on Two SRD Diodes Used in UWB Radars
B.V. Gnedenko: The father of the Russian school of reliability theory
Tasks in Named Entity Recognition: Technologies and Tools
Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE
Speech and sensor in guiding an electric wheelchair
Multiparametric monitoring in assessing integral voter characteristics
Invariance of the stationary distribution of states of networks with multimode service, different types of requests, and discriminatory processor sharing
A Novel Hybrid Intrusion Detection Using Flow-Based Anomaly Detection and Cross-Layer Features in Wireless Sensor Network
Intelligent Synthesis of Cyber-Resilient Network Structures: Methods, Experiments, and Architecture Implementation
Data Rate Assessment on L2-L3 CPU Bus and Bus between CPU and RAM in Modern CPUs
An adaptive model of a distributed intrusion detection system
On the Application of the Calculus of Positively Constructed Formulas for the Study of Controlled Discrete-Event Systems
Study of the characteristics of random errors in measurements by MEMS inertial sensors
Advancing Driver Behavior Recognition: An Intelligent Approach Utilizing ResNet
Optimization of protection in automated data transmission and processing systems
Attribute annotations and their use in C program deductive verification
An Improved Path Planning Algorithm for Indoor Mobile Robots in Partially-Known Environments
On a class of high-level finite-state automata
Theoretical Design of Band Pass Filter Utilizing Long Period Fiber Grating Having Cladding Refractive Index Perturbation
Using a bounded model checker for test generation: How to kill two birds with one SMT solver
Optimization of the structure of multifunctional information systems according to the criterion of a required value of the efficiency ratio
Comparison of Four Methods of Checking the Integrity of Transmitted Message Blocks
Transformation of Functional Dataflow Parallel Programs into Imperative Programs
Research on User Behavior Prediction and Profiling Method Based on Trajectory Information
Ensemble System for Skin Cancer Detection Based on the Analysis of Heterogeneous Dermatological Data Using Multimodal Neural Networks
Intelligent Constructing Exact Statistical Prediction and Tolerance Limits on Future Random Quantities for Prognostics and Health Management of Complex Systems
An Improvement on LEACH-C Protocol (LEACH-CCMSN)
Computer simulation and experimental investigations of noise levels and spectra for railway transport
Extension of the Minimax method to minimize the energy consumption in real-time embedded systems
Synthesis of n -operand modulo-three adders
An adaptive technique for trajectory tracking control of a wheeled mobile robots without velocity measurements
Study on Applications of Reversible Information Hiding Algorithms Based on Discrete Cosine Transform Coefficient and Frequency Band Selection in JPEG Image Encryption
Mathematical Model of the Spread of Computer Attacks on Critical Information Infrastructure
Remote Complex Resistance Measurement
Matrix method of polynomial expansion of symmetric Boolean functions
Deductive verification of telecommunication systems written in C