Results for "Verification" Showing 1 - 40 results of 40 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Verification%22&type=Subject&lng=en 40 0 50 Automated parameter extraction for Single Flux Quantum integrated circuits with LVS Wed, 10 Jun 2026 12:47:09 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F96992 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F96992 Roberts, Rebecca Mimi Catherina Thesis 2015 Roberts, Rebecca Mimi Catherina 0 Writer-independent handwritten signature verification Wed, 10 Jun 2026 12:46:59 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F98042 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F98042 Swanepoel, Jacques Philip Thesis 2015 Swanepoel, Jacques Philip 0 A Physical Design verification framework for superconducting electronics Wed, 10 Jun 2026 12:46:20 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107100 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107100 Van Staden, Ruben Thesis 2019 Van Staden, Ruben 0 Probabalistic load modelling of electrical demand of residential water heating Wed, 10 Jun 2026 12:46:13 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F20071 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F20071 Urban, Graeme John Thesis 2012 Urban, Graeme John 0 Impact assessment of energy-efficient lighting interventions Wed, 10 Jun 2026 12:46:13 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2651 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2651 Jakoef, Adiel Thesis 2009 Jakoef, Adiel 0 A survey of proof systems for CSP Wed, 10 Jun 2026 12:45:58 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F65505 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F65505 Van Zijl, Lynette Thesis 2012 Van Zijl, Lynette 0 A kernel to support computer-aided verification of embedded software Wed, 10 Jun 2026 12:45:40 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2479 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2479 Grobler, Leon D. Thesis 2006 Grobler, Leon D. 0 Simulation and verifcation software for superconducting electronic Circuits Wed, 10 Jun 2026 12:45:33 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F106048 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F106048 Delport, Johannes Arnoldus Thesis 2019 Delport, Johannes Arnoldus 0 Distributed binary decision diagrams Wed, 10 Jun 2026 12:45:32 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F5411 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F5411 Fasan, Mary Oluwasola Thesis 2010 Fasan, Mary Oluwasola 0 Off-line signature verification using ensembles of local Radon transform-based HMMs Wed, 10 Jun 2026 12:45:13 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F6903 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F6903 Panton, Mark Stuart Thesis 2011 Panton, Mark Stuart 0 Off-line signature verification using classifier ensembles and flexible grid features Wed, 10 Jun 2026 12:44:59 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F3218 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F3218 Swanepoel, Jacques Philip Thesis 2009 Swanepoel, Jacques Philip 0 Investigating the non-termination of affine loops Wed, 10 Jun 2026 12:44:55 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F80052 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F80052 Durant, Kevin Thesis 2013 Durant, Kevin 0 Concrete and symbolic linearisability checking of non-blocking concurrent data structures Wed, 10 Jun 2026 12:44:45 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F123925 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F123925 Du Toit, Nicole Cathryn Thesis 2021 Du Toit, Nicole Cathryn 0 A comparison of two different model checking techniques Wed, 10 Jun 2026 12:44:41 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F53235 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F53235 Bull, J. J. D Thesis 2012 Bull, J. J. D 0 Automated program generation : bridging the gap between model and implementation Wed, 10 Jun 2026 12:44:30 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19584 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19584 Bezuidenhout, Johannes Abraham Thesis 2012 Bezuidenhout, Johannes Abraham 0 Reducing the state explosion problem during model checking Wed, 10 Jun 2026 12:44:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F69386 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F69386 Barnard, Dieter Cornelius Thesis 2012 Barnard, Dieter Cornelius 0 Design and evaluation of a formula cache for SMT-based bounded model checking tools Wed, 10 Jun 2026 12:43:43 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F103809 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F103809 Breytenbach, Jean Anré Thesis 2018 Breytenbach, Jean Anré 0 A model checker for the LF system Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 Gerber, Erick D. B. Thesis 2012 Gerber, Erick D. B. 0 An algebraic framework for reasoning about security Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79869 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79869 Rajaona, Solofomampionona Fortunat Thesis 2013 Rajaona, Solofomampionona Fortunat 0 An algebraic framework for reasoning about privacy Wed, 10 Jun 2026 12:42:24 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F106607 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F106607 Rajaona, Solofomampionona Forunat Thesis 2019 Rajaona, Solofomampionona Forunat 0 Reducing communication in distributed model checking Wed, 10 Jun 2026 12:41:54 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2176 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2176 Fourie, Jean Francois Thesis 2009 Fourie, Jean Francois 0 Hidden Markov models for on-line signature verification Wed, 10 Jun 2026 12:41:42 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52876 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52876 Wessels, Tiaan Thesis 2012 Wessels, Tiaan 0 A language to support verification of embedded software Wed, 10 Jun 2026 12:41:18 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49823 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49823 Swart, Riaan Thesis 2012 Swart, Riaan 0 An LTL verification system based on automata theory Wed, 10 Jun 2026 12:41:16 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51128 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51128 Inggs, Cornelia Petronella Thesis 2012 Inggs, Cornelia Petronella 0 Phoneme duration modelling for speaker verification Wed, 10 Jun 2026 12:40:15 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F25869 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F25869 Thesis 2013 0 Improvements to longitudinal clean development mechanism sampling designs for lighting retrofit projects Wed, 10 Jun 2026 12:40:14 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F42443 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F42443 Thesis 2014 0 A comparative study of listening and reading comprehension in children of different age-groups Wed, 10 Jun 2026 12:40:03 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F29123 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F29123 Thesis 2013 0 Verifying parentage and gender of domestic dog conceptuses using microsatellites Wed, 10 Jun 2026 12:39:54 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F30501 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F30501 Thesis 2013 0 A model for compound purposes and reasons as a privacy enhancing technology in a relational database Wed, 10 Jun 2026 12:39:40 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F26818 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F26818 Thesis 2013 0 A multi-model ensemble system for short-range weather prediction in South Africa Wed, 10 Jun 2026 12:39:22 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F27018 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F27018 Thesis 2013 0 The eligibility and legal protection of female athletes with differences of sex development Wed, 10 Jun 2026 12:38:35 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F88699 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F88699 Thesis 2022 0 Isaiah 7:14 - Identity and function within the bookend structure of proto-Isaiah Wed, 10 Jun 2026 12:37:52 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F23265 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F23265 Thesis 2013 0 Self-healing Web service composition with HTN planners Wed, 10 Jun 2026 12:37:37 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F24493 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F24493 Thesis 2013 0 Development of a screening algorithm for the cervical cancer prevention programme in Botswana Wed, 10 Jun 2026 12:37:24 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F93187 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F93187 Thesis 2023 0 Genetic verification of multiple paternity in two free-ranging isolated populations of African wild dogs (Lycaon pictus) Wed, 10 Jun 2026 12:36:55 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F24318 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F24318 Thesis 2013 0 CFD Modelling and Mathematical Optimisation of a Continuous Caster Submerged Entry Nozzle Wed, 10 Jun 2026 12:36:39 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F26212 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F26212 Thesis 2013 0 A Bayesian approach to energy monitoring optimization Wed, 10 Jun 2026 12:36:36 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F63791 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F63791 Thesis 2018 0 Energy audit methodology for belt conveyors Wed, 10 Jun 2026 12:36:08 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F23918 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F23918 Thesis 2013 0 Design and Implementation of UVM-based Verification Framework for Deep Learning Accelerators Wed, 10 Jun 2026 12:35:55 +0000 https://search.frelip.org/Record/oai:fount.aucegypt.edu:etds-3427 https://search.frelip.org/Record/oai:fount.aucegypt.edu:etds-3427 Aboudeif, Randa Ahmed Hussein Thesis 2025 Aboudeif, Randa Ahmed Hussein 0 When and Why Do Arabs Verify? Predicting Online News Verification Intention during the 2023 Gaza War Wed, 10 Jun 2026 12:35:54 +0000 https://search.frelip.org/Record/oai:fount.aucegypt.edu:etds-3293 https://search.frelip.org/Record/oai:fount.aucegypt.edu:etds-3293 Elhosary, Menna Thesis 2024 Elhosary, Menna 0