Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures: Label: en
Refined Fuzzy Profile Matching: Label: en
Dual Convolutional Neural Network Classifier with Pyramid Attention Network for Image-Based Kinship Verification: Label: en
Adding Semantics to Measurements: Label: en
EA-POT: An Explainable AI Assisted Blockchain Framework for HoneyPot IP Predictions: Label: en
Affine Iterations and Wrapping Effect: Label: en
Quantification of Time-Domain Truncation Errors for the Reinitialization of Fractional Integrators: Label: en
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns="http://www.w3.org/1998/Math/MathML"> <mml:msubsup> <mml:mi>B</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi>π</mml:mi> </mml:mrow> <mml:mi>R</mml:mi>: Label: en
On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators: Label: en
Inverses of Rational Functions: Label: en
The Inventory Control Problem for a Supply Chain With a Mixed Type of Demand Uncertainty: Label: en
Proving the Stability of the Rolling Navigation: Label: en
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer: Label: en
Improved Loop Execution Modeling in the Clang Static Analyzer: Label: en
Instantiation of Java Generics: Label: en
Visualisation of Jenkins Pipelines: Label: en
A Modern Look at GRIN, an Optimizing Functional Language Back End: Label: en
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm: Label: en
Type Inference of Simple Recursive Functions in Scala: Label: en
Report on the Differential Testing of Static Analyzers: Label: en
Towards a Generic Framework for Trustworthy Program Refactoring: Label: en
Semi Fragile Audio Crypto-Watermarking based on Sparse Sampling with Partially Decomposed Haar Matrix Structure: Label: en
Pixel Grouping of Digital Images for Reversible Data Hiding: Label: en
Graph Coloring based Heuristic for Crew Rostering: Label: en
Estimating the Dimension of the Subfield Subcodes of Hermitian Codes: Label: en
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem: Label: en
Camera Placement Optimization in Object Localization Systems: Label: en
Workflow processing using ERP Objects: Label: en
Derivable Partial Locking for Algebraic Data Types: Label: en
Improved QR Code Localization Using Boosted Cascade of Weak Classifiers: Label: en
On Closedness Conditions, Strong Separation, and Convex Duality: Label: en
Realizing Small Tournaments Through Few Permutations: Label: en
On Shuffe Ideals of General Algebras: Label: en
Distinguishing Experiments for Timed Nondeterministic Finite State Machines: Label: en
Minimization of Deterministic Top-down Tree Automata: Label: en
Statistical Analysis of DH1 Cryptosystem: Label: en
Regular Expressions for Muller Context-Free Languages: Label: en
On the Completeness of the Traced Monoidal Category Axioms in (Rel,+): Label: en
Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming: Label: en
Weighted Recognizability over Infinite Alphabets: Label: en
Synchronous Forest Substitution Grammars: Label: en
An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions: Label: en
An Algebraic Approach to Energy Problems I — ^*-Continuous Kleene ω-Algebras: Label: en
Initial Algebra for a System of Right-Linear Functors: Label: en
Variations of the Morse-Hedlund Theorem for k-Abelian Equivalence: Label: en
On DR Tree Automata, Unary Algebras and Syntactic Path Monoids: Label: en
Ambiguity, Nondeterminism and State Complexity of Finite Automata: Label: en
Varieties of Graphoids and Birkoff's Theorem for Graphs: Label: en
Commutative Positive Varieties of Languages: Label: en
Trace Simulation Semantics is not Finitely Based over BCCSP: Label: en