Pages that link to "Item:Q5060051"
From MaRDI portal
The following pages link to Modeling and Analysis of Information Systems (Q5060051):
Displayed 50 items.
- On the Properties of Algebraic Geometric Codes as Copy Protection Codes (Q5060052) (← links)
- On a Segment Partition for Entropy Estimation (Q5060053) (← links)
- Branch and Bound Algorithm for the Traveling Salesman Problem is not a Direct Type Algorithm (Q5060054) (← links)
- Parallel Algorithm for Solving the Graph Isomorphism Problem (Q5060056) (← links)
- The Determination of Distances between Images by de Rham Currents Method (Q5060057) (← links)
- A Markov Model of Non-Mutually Exclusive Cyber Threats and its Applications for Selecting an Optimal Set of Information Security Remedies (Q5060060) (← links)
- Calculation of Derivatives in the Lp Spaces where 1 ≤ p ≤ ∞ (Q5060061) (← links)
- Method of the Joint Clustering in Network and Correlation Spaces (Q5060063) (← links)
- Research and Development of an Algorithm for the Response Time Estimation in Multiprocessor Systems Under the Interval Uncertainty of the Tasks Execution Times (Q5060066) (← links)
- On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions (Q5060067) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions (Q5060069) (← links)
- Features of the Algorithmic Implementation of Difference Analogues of the Logistic Equation with Delay (Q5060071) (← links)
- A Generalization of the Inference Rules for Join Dependencies in Databases (Q5060072) (← links)
- Deriving Homing Sequences for Finite State Machines with Timed Guards (Q5060074) (← links)
- On the Modeling of Sequential Reactive Systems by Means of Real Time Automata (Q5060075) (← links)
- Temporal Logic for Programmable Logic Controllers (Q5060076) (← links)
- On the Model Checking Problem for Some Extension of CTL* (Q5060078) (← links)
- The “One-fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ,λ)) Genetic Algorithm (Q5060081) (← links)
- On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions (Q5060082) (← links)
- On Residual Separability of Subgroups in Split Extensions (Q5239537) (← links)
- The Algorithm of Angular Superresolution Using the Cholesky Decomposition and its Implementation Based on Parallel Computing Technology (Q5866314) (← links)
- Numerical Modeling Tools and S-derivatives (Q5866316) (← links)
- LTL-Specification of Bounded Counter Machines (Q5866317) (← links)
- An Effective Algorithm for Collision Resolution in Security Policy Rules (Q5866320) (← links)
- Fault-Tolerance Distributed Control Plane for Software Defined Networks (Q5866322) (← links)
- Algorithm for Reducing the Number of Forwarding Rules Created by SDN Applications (Q5866323) (← links)
- On Analysis of Traffic Flow Demultiplexing Effectiveness (Q5866325) (← links)
- Backtracking Algorithms for Constructing the Hamiltonian Decomposition of a 4-regular Multigraph (Q5870844) (← links)
- NP-completeness of the Minimum Spanning Tree Problem of a Multiple Graph of Multiplicity k ≥ 3 (Q5870845) (← links)
- Automated Teaching System “Sets” (Research for Organizing the 1st Part of the Project) (Q5870847) (← links)
- LTL-Specification of Counter Machines (Q5870848) (← links)
- Computational Analysis of Quantitative Characteristics of some Residual Properties of Solvable Baumslag-Solitar Groups (Q5870849) (← links)
- Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations (Q5870852) (← links)
- On Properties of a Regular Simplex Inscribed into a Ball (Q5870853) (← links)
- Algorithm for Finding Feedback in a Problem with Constraints for One Class of Nonlinear Control Systems (Q5870854) (← links)
- A Simple Algorithm for Finding a Non-negative Basic Solution of a System of Linear Algebraic Equations (Q5870855) (← links)
- The Investigation of Nonlinear Polynomial Control Systems (Q5870857) (← links)
- Corrigendum to: V. V. Vasilchikov, “Parallel Algorithm for Solving the Graph Isomorphism Problem”, Modeling and analysis of information systems, vol. 27, no. 1, pp. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 (Q5870858) (← links)
- Corrigendum to: Y. V. Kosolapov, “On the Detection of Exploitation of Vulnerabilities Leading to the Execution of a Malicious Code”, Modeling and analysis of information systems, vol. 27, no. 2, pp. 138–151, 2020. DOI: https://doi.org/10.18255/1818- (Q5870859) (← links)
- Notes on Recent Achievements in Proving Stability using KeYmaeraX (Q5870861) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)
- A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs (Q5870863) (← links)
- A Recursive Inclusion Checker for Recursively Defined Subtypes (Q5870864) (← links)
- Solving Linear Programming Problems by Reducing to the Form with an Obvious Answer (Q5870865) (← links)
- An Algorithm for Estimating the Signal Frequency at the Output of a Channel with a Controlled Information Flow under Phase Noise Conditions (Q5870868) (← links)
- On Simplifying Expressions with Mixed Boolean-Arithmetic (Q6057724) (← links)
- Logic for reasoning about bugs in loops over data sequences (IFIL) (Q6062741) (← links)
- The Boltzmann distribution in the problem of rational choice by population of a patch under an imperfect information about its resources (Q6062742) (← links)
- On a geometric approach to the estimation of interpolation projectors (Q6062743) (← links)