Skip to content
<title>Channels - Algorithms for Game Metrics :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Algorithms for Game Metrics
Search for more channels:
Similar Items: Algorithms for Game Metrics
Channel Options
View Record
Explore related channels
Quick Look
Game Refinement Relations and Metrics
Quick Look
Algorithms for Omega-Regular Games with Imperfect Information
Quick Look
Applications of Metric Coinduction
Quick Look
Coalgebraic Behavioral Metrics
Quick Look
Expressiveness of Metric modalities for continuous time
Quick Look
On the Expressiveness and Monitoring of Metric Temporal Logic
Quick Look
Approximation systems for functions in topological and in metric spaces
Quick Look
Effective zero-dimensionality for computable metric spaces
Quick Look
Extending set functors to generalised metric spaces
Quick Look
Every metric space is separable in function realizability
Quick Look
On the Metric Temporal Logic for Continuous Stochastic Processes
Quick Look
Computational Models of Certain Hyperspaces of Quasi-metric Spaces
Quick Look
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Quick Look
Modelling Populations of Interaction Networks via Distance Metrics
Quick Look
On the decidability and complexity of Metric Temporal Logic over finite words
Quick Look
Co-c.e. spheres and cells in computable metric spaces
Quick Look
Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
Quick Look
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
Quick Look
PyMetric: A Geometry Informed Array Mathematics Package
Quick Look
Online Monitoring of Metric Temporal Logic using Sequential Networks
Quick Look
The syntactic side of autonomous categories enriched over generalised metric spaces
Quick Look
Efficient Explainable Metric for Semantic Communication of Images Using Image Captioning
Quick Look
Automated Selection of Sit-to-Stand Inertial Signals Using Similarity Metrics
Quick Look
Diabetes Prediction using Machine Learning Algorithms with Performance metrics and Holdout method on Egyptian dataset
Load more items
View Record
Prev
Explore related channels
Next
