- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Research Articles (Computer Science)
- →
- Browsing Research Articles (Computer Science) by Type
JavaScript is disabled for your browser. Some features of this site may not work without it.
Please note that UPSpace will be unavailable from Friday, 2 May at 18:00 (South African Time) until Sunday, 4 May at 20:00 due to scheduled system upgrades. We apologise for any inconvenience this may cause and appreciate your understanding.
Browsing Research Articles (Computer Science) by Type "Preprint Article"
Now showing items 1-12 of 12
-
(Elsevier, 2022-06)Barchan morphometric data have been used as proxies of meteorological and topographical data in environments where this data is lacking (such as other planetary bodies), gaining insights into barchan dune field dynamics ...
-
(Elsevier, 2010-07)With the re-emergence of parallel computation for technical applications in these days also the classical concept of systolic arrays is becoming important again. However, for the sake of their operational safety, the ...
-
(Springer, 2020-08)Constructions of science that slowly change over time are deemed to be the basis of the reliability with which scientific knowledge is regarded. A potential paradigm shift based on big data is looming – many researchers ...
-
Digital forensics supported by machine learning for the detection of online sexual predatory chats (Elsevier, 2021-03)Chat-logs are informative digital footprints available on Social Media Platforms (SMPs). With the rise of cybercrimes targeting children, chat-logs can be used to discover and flag harmful behaviour for the attention of ...
-
(Ergon Verlag, 2014)No abstract available.
-
Model checking safety and liveness via k-induction and witness refinement with constraint generation (Elsevier, 2020-12)In this article, we revise our constraint-based abstraction refinement technique for checking temporal logic properties of concurrent software systems. Our technique employs predicate abstraction and SAT-based three-valued ...
-
(Elsevier, 2020-02)Please read abstract in the article.
-
(Elsevier, 2011-01)The Particle Swarm Optimisation (PSO) algorithm consists of a population (or swarm) of particles that are “flown” through an n-dimensional space in search of a global best solution to an optimisation problem. PSO operates ...
-
(Springer, 2011-05)On the basis of an earlier contribution to the philosophy of computer science [Ede2007] this essay discusses to what extent the ‘paradigms’ of computer science from [Ede2007] are also applicable to software engineering, ...
-
(Elsevier, 2019-04)We present a technique for verifying concurrent software systems via SAT-based three-valued bounded model checking. It is based on a direct transfer of the system to be analysed and a temporal logic property into a ...
-
(Wiley-Blackwell, 2014-09)Ontologies are widely used in different disciplines as a technique for representing and reasoning about domain knowledge. However, despite the widespread ontology-related research activities and applications in different ...
-
(Elsevier, 2022-01)In most applications, anomaly detection operates in an unsupervised mode by looking for outliers hoping that they are anomalies. Unfortunately, most anomaly detectors do not come with explanations about which features make ...
Now showing items 1-12 of 12