Results for Logical Methods in Computer Science Showing 1 - 26 results of 26 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=Logical+Methods+in+Computer+Science&type=AllFields&lng=en 26 0 50 An investigation into food security among female-headed households in Kenya : a case of VOI division in Taita-Taveta county Wed, 01 Jul 2026 04:03:49 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F72743 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F72743 Thesis 2019 0 Qualification and certification of laser powder bed fusion for aerospace applications: a model-based production systems engineering approach. Wed, 10 Jun 2026 12:46:43 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F128795 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F128795 Gibbons, Duncan William Thesis 2023 Gibbons, Duncan William 0 Interpreting decision boundaries of deep neural networks Wed, 10 Jun 2026 12:45:46 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107202 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107202 Wessels, Zander Thesis 2019 Wessels, Zander 0 Providing mechanical support for program development in a weakest precondition calculus Wed, 10 Jun 2026 12:44:59 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79317 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79317 Ackerman, Charlotte Christene Thesis 2013 Ackerman, Charlotte Christene 0 Making a game of chess sound Wed, 10 Jun 2026 12:44:21 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100179 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100179 Du Toit, Elizabeth Catharina Thesis 2016 Du Toit, Elizabeth Catharina 0 Validation of a microkernel : a case study Wed, 10 Jun 2026 12:44:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51539 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51539 De Villiers, Pieter Jan Albertus Thesis 2012 De Villiers, Pieter Jan Albertus 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 Networks and multivariate statistics as applied to biological datasets and wine-related omics Wed, 10 Jun 2026 12:43:40 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F85630 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F85630 Jacobson, Daniel A. Thesis 2013 Jacobson, Daniel A. 0 Strategies for combining tree-based learners Wed, 10 Jun 2026 12:43:13 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107930 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107930 Meyer, Nicholas George Thesis 2020 Meyer, Nicholas George 0 Suboptimal LULU-estimators in measurements containing outliers Wed, 10 Jun 2026 12:41:50 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F85833 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F85833 Astl, Stefan Ludwig Thesis 2013 Astl, Stefan Ludwig 0 Quantum information processing with multipartite entangled quantum systems Wed, 10 Jun 2026 12:41:40 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F129369 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F129369 Alexander, Byron Joseph Thesis 2023 Alexander, Byron Joseph 0 Repairing classical ontologies using defeasible reasoning techniques Wed, 10 Jun 2026 12:41:30 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F110487 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F110487 Coetzer, Simone Thesis 2021 Coetzer, Simone 0 Application of neural networks in pavement management Wed, 10 Jun 2026 12:41:07 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51619 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51619 Bredenhann S. J. Thesis 2012 Bredenhann S. J. 0 A framework for cryptography algorithms on mobile devices Wed, 10 Jun 2026 12:40:05 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F28849 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F28849 Thesis 2013 0 Assessing interpretability in machine translation models for low-resource languages Wed, 10 Jun 2026 12:39:58 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F100236 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F100236 Thesis 2025 0 Renal allograft biopsies at Groote Schuur Hospital: a histopathologic descriptive study with molecular insights Wed, 10 Jun 2026 12:39:51 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F42407 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F42407 Lunn, Jarryd Thesis 2025 Lunn, Jarryd 0 Conversational mining via motif detection Wed, 10 Jun 2026 12:39:33 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F83223 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F83223 Thesis 2022 0 Genetic algorithm with temporal logic for automated markers Wed, 10 Jun 2026 12:37:55 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F103338 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F103338 Thesis 2025 0 A new dialect of SOFL-Syntax formal semantics and tool support Wed, 10 Jun 2026 12:37:07 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F71659 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F71659 Thesis 2019 0 A new dialect of SOFL-Syntax formal semantics and tool support Wed, 10 Jun 2026 12:36:34 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F72706 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F72706 Thesis 2019 0 An Empirical Investigation for Patterns of Belief Change in Human Reasoning Wed, 10 Jun 2026 12:36:09 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F37063 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F37063 Baker, Clayton Kevin Thesis 2023 Baker, Clayton Kevin 0 Creating and analysing an African pan-genome Wed, 10 Jun 2026 12:34:23 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F37209 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F37209 Bourn, Jessica Jean Thesis 2023 Bourn, Jessica Jean 0 Ontology verbalization in agglutinating Bantu languages: a study of Runyankore and its generalizability Wed, 10 Jun 2026 12:33:51 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F31480 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F31480 Byamugisha, Joan Thesis 2020 Byamugisha, Joan 0 Multi-objective optimisation under deep uncertainty Wed, 10 Jun 2026 12:33:37 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F28122 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F28122 Shavazipour, Babooshka Thesis 2018 Shavazipour, Babooshka 0 Enriching deontic logic with typicality Wed, 10 Jun 2026 12:32:51 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F32530 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F32530 Chingoma, Julian Thesis 2021 Chingoma, Julian 0 Implementation of adaptive neuro fuzzy inference system for malaria diagnosis. (A case study at Kwesimintsim Polyclinic) Wed, 10 Jun 2026 12:31:19 +0000 https://search.frelip.org/Record/oai:ir.knust.edu.gh:123456789%2F9326 https://search.frelip.org/Record/oai:ir.knust.edu.gh:123456789%2F9326 Appiah, Richard Thesis 2016 Appiah, Richard 0