Essays about: "Boolean model"

Showing result 1 - 5 of 12 essays containing the words Boolean model.

  1. 1. Forecasting post COVID-19 : How to improve forecasting models’ performance when training data has been aected by exceptional events like COVID-19 pandemic?

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Lina Shrebati; [2023]
    Keywords : Time Series; Forecasting; COVID-19; Data processing; Optimal transport; Tidsserier; Prognoser; COVID-19; Databehandling; Optimal transport;

    Abstract : Almost every company around the world were aected by the COVID-19 crisis and the government measures that were taken to slow the spread of the virus. The impact the crisis had on the economy caused the appearance of anomalies in the data collected by companies : such as abnormal trend, seasonality etc. READ MORE

  3. 2. Prototyping an mcSAT-based SMTsolver in Rust

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Dennis Örnberg; [2022]
    Keywords : ;

    Abstract : Satisfiability modulo theories, or SMT, is the decision problem of determining whether a set of formulas is satisfiable or not, given one or more background theories. The model-constructing satisfiability calculus, or mcSAT, is a framework used for solving SMT problems. READ MORE

  4. 3. Application of formal verification and validation on modern multi-functional signalling system

    University essay from KTH/Transportplanering

    Author : Shamsul Arefin; [2022]
    Keywords : ;

    Abstract : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. READ MORE

  5. 4. The MiniZinc-SAT Compiler

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Hendrik Bierlee; [2021]
    Keywords : ;

    Abstract : Combinatorial (optimization) problems occur in nature and society. Constraint modeling languages such as MiniZinc allow the user to declaratively specify such problems in terms of its decision variables and constraints. Subsequently, the MiniZinc model can be compiled into an equivalent (Boolean) SAT formula to be solved by a SAT solver. READ MORE

  6. 5. Optimal Time-Varying Cash Allocation

    University essay from KTH/Matematisk statistik

    Author : David Olanders; [2020]
    Keywords : Statistics; Applied Mathematics; Optimization; Cash Allocation; Network Theory; Mixed Integer Linear Program; Transaction Costs; Branch-and-Cut; Statistik; tillämpad matematik; optimering; kapitalallokering; nätverksteori; Mixed Integer Linear Program; transaktionskostnader; Branch-and-Cut;

    Abstract : A payment is the most fundamental aspect of a trade that involves funds. In recent years, the development of new payment services has accelerated significantly as the world has moved further into the digital era. This transition has led to an increased demand of digital payment solutions that can handle trades across the world. READ MORE