Essays about: "theoretical computer science"
Showing result 11 - 15 of 39 essays containing the words theoretical computer science.
-
11. Solving Temporal CSPs via Enumeration and SAT Compilation
University essay from Linköpings universitet/Institutionen för datavetenskapAbstract : The constraint satisfaction problem (CSP) is a powerful framework used in theoretical computer science for formulating a multitude of problems. The CSP over a constraint language Γ (CSP(Γ)) is the decision problem of verifying whether a set of constraints based on the relations in Γ admits a satisfying assignment or not. READ MORE
-
12. Verifying Temporal Properties Using Deductive Verifiers
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. READ MORE
-
13. Hardness of showing hardness of the minimum circuit size problem
University essay from KTH/Teoretisk datalogi, TCSAbstract : The problem of finding the smallest size of a circuit that computes a given boolean function, usually referred to as the minimum circuit size problem (MCSP), has been studied for many years but it is still unknown whether or not the problem is NP-hard. With this in mind we study properties of potential reductions to this problem. READ MORE
-
14. Electrification of a diesel-hydraulic off-road machine
University essay from KTH/Maskinkonstruktion (Inst.)Abstract : This report is for the Master of Science thesis project undertaken for KTH Royal Institute of Technology in collaboration with the Forestry Research Institute of Sweden (Skogforsk) for the Forestry Master Thesis School. The aim of this project was to theoretically explore the possibility of replacing the hydraulic driveline with an electric series driveline and to understand the differences between using one or the other so that it can be convincingly concluded if a Diesel-electric driveline in Forestry forwarders is a worthwhile endeavour or not. READ MORE
-
15. The knowledge base of machine learning, across data analytics teams in a matrix organization. : An exploratory case study on machine learning
University essay from Karlstads universitet/HandelshögskolanAbstract : Machine learning is a field within the broader concept of artificial intelligence and addresses the questions of how to build systems which learn from experience. The field is one of the oldest disciplines in computer science but has had many recent advancements due to the large amounts of data being generated. READ MORE
