Skip to content
Home Search Guides Journals Learning Our Team Get the App
🌐 ENESFRPT
FRELIP Logo

FRELIP Discovery Search

Open Access Catalog for African Scholarship

  • Channels
Search for more channels:

Author: Stellenbosch University. Faculty of . Dept. of

  • Author: Coetzee, Abraham Liebrecht
  • Author: Fourie, Ryno
  • Author: Kruger, Rynhardt Pieter
  • Author: Marais, Laurette
  • Author: Smal, Eugene
  • Author: Venter, Wessel Johannes
  • Show items as search results
  • Explore related channels
  • Quick Look
    Generalized nondeterminism and the succinct representation of regular languages
  • Quick Look
    A survey of proof systems for CSP

Author: Babalola, Olusola Tope

  • Author: Coetzee, Abraham Liebrecht
  • Author: Fourie, Ryno
  • Author: Kruger, Rynhardt Pieter
  • Author: Marais, Laurette
  • Author: Smal, Eugene
  • Author: Venter, Wessel Johannes
  • Show items as search results
  • Explore related channels
  • Quick Look
    Automatic recognition and interpretation of finite state automata diagrams

Similar Items: Generalised acceptance conditions for symmetric difference nondeterministic finite automata

  • Similar Items: Automated brick sculpture construction
  • Similar Items: Generalized nondeterminism and the succinct representation of regular languages
  • Similar Items: A survey of proof systems for CSP
  • Similar Items: Virtual world accessibility : a multitool approach
  • Similar Items: Combining reverse debugging and live programming towards visual thinking in computer...
  • Similar Items: A parallel cellular automaton simulation framework using CUDA
  • Similar Items: Automatic recognition and interpretation of finite state automata diagrams
  • View Record
  • Explore related channels
  • Quick Look
    Towards cache optimization in finite automata implementations
  • Quick Look
    Constructing minimal acyclic deterministic finite automata
  • Quick Look
    Flexible finite automata-based algorithms for detecting microsatellites in DNA
  • Quick Look
    Formal concept analysis applied to pattern matching and automata
  • Quick Look
    Automatic recognition and interpretation of finite state automata diagrams
  • Quick Look
    An assessment of selected algorithms for generating failure deterministic finite automata
  • Quick Look
    Finite state automaton construction through regular expression hashing
  • Quick Look
    Cellular automata as an approximate method in structural analysis
  • Quick Look
    Minimization of symmetric difference finite automata
  • Quick Look
    Coverage directed algorithms for test suite construction from LR-automata
  • Quick Look
    Hardcoding finite automata
  • Quick Look
    Considerations towards the development of a forensic evidence management system
  • Quick Look
    Characterizing the complexity of tabular machine learning classification problems
  • Quick Look
    The Du Fort and Frankel finite difference scheme applied to and adapted for a class of finance problems
  • Quick Look
    Non-standard finite difference methods in dynamical systems
  • Quick Look
    Nash equilibria in generalised dining philosophers games
  • Quick Look
    Modelling of mass transfer in packing materials with cellular automata
  • Quick Look
    Random generation of finite automata over the domain of the regular languages
  • Quick Look
    Implementation of cell clustering in cellular automata
  • Quick Look
    A spatio-temporal framework for modelling informal settlement growth
  • Quick Look
    Bifurcation analysis and nonstandard finite difference schemes for Kermack and McKendrick type epidemiological models
  • Quick Look
    A framework for modelling the spatio-temporal competition and spread of invasive plant species
  • Quick Look
    Interest-Rate Option Pricing Accounting For Jumps At Deterministic Times
  • Quick Look
    Urban cellular automata and agent based models for the simulation of urban dynamics: a review of practive and applications

Similar Items: An embodied conversational agent with autistic behaviour

  • Similar Items: Automated brick sculpture construction
  • Similar Items: Generalized nondeterminism and the succinct representation of regular languages
  • Similar Items: A survey of proof systems for CSP
  • Similar Items: Virtual world accessibility : a multitool approach
  • Similar Items: Combining reverse debugging and live programming towards visual thinking in computer...
  • Similar Items: A parallel cellular automaton simulation framework using CUDA
  • Similar Items: Automatic recognition and interpretation of finite state automata diagrams
  • View Record
  • Explore related channels
  • Quick Look
    Augmenting the action space with conventions to improve multi-agent cooperation in Hanabi
  • Quick Look
    Formal specification and verification of safety interlock systems: A comparative case study
  • Quick Look
    A kernel to support computer-aided verification of embedded software
  • Quick Look
    Scaling multi-agent reinforcement learning to eleven aside simulated robot soccer
  • Quick Look
    Extended probabilistic symbolic execution
  • Quick Look
    Investigating the non-termination of affine loops
  • Quick Look
    Open-set recognition using extreme value theory
  • Quick Look
    Providing mechanical support for program development in a weakest precondition calculus
  • Quick Look
    Structure-from-motion for enclosed environments
  • Quick Look
    Kernel support for embedded reactive systems
  • Quick Look
    An algebraic framework for reasoning about security
  • Quick Look
    Optimal management of MPLS networks
  • Quick Look
    The use of temporal context in the generation of strings
  • Quick Look
    RoboCup formation modeling
  • Quick Look
    Inductive machine learning bias in knowledge-based neurocomputing
  • Quick Look
    On providing an efficient and reliable virtual block storage service
  • Quick Look
    Symbolic string execution
  • Quick Look
    Parallel likelihood calculations for phylogenetic trees
  • Quick Look
    A model checker for the LF system
  • Quick Look
    Ontology comprehension
  • Quick Look
    Automated brick sculpture construction
  • Quick Look
    A program slicer for LF
  • Quick Look
    Neural network ensembles
  • Quick Look
    Implementation of cell clustering in cellular automata

About FRELIP

Free eLibrary Portal (FRELIP) provides access to academic resources, research materials, and scholarly publications from African universities and global repositories.

Quick Links

  • FRELIP Home
  • About FRELIP
  • Our Team
  • Research Guides
  • Search Catalog
  • Learning Platform
  • Course Catalogue

Resources

Indexed Records: 140,000+
Disciplines: 18
Subjects: 155

FRELIP is the leading open-access discovery platform — born in Nigeria, built for African scholarship, serving the world.

© 2026 FRELIP - Free eLibrary Portal | frelip.org | Powered by VuFind

Follow FRELIP