Essays about: "generation of decision"

Showing result 1 - 5 of 127 essays containing the words generation of decision.

  1. 1. Formalizing Constructive Quantifier Elimination in Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Jeremy Pope; [2018-04-04]
    Keywords : Agda; decidability; semantics; successor; constructive;

    Abstract : In this thesis a constructive formalization of quantifier elimination is presented,based on a classical formalization by Tobias Nipkow [16]. The formalization is implementedand verified in the programming language/proof assistant Agda [1]. READ MORE

  2. 2. Data for Machine Learning : Data generation and simulation of a logistics operation for machine learning

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Erik Hedman; [2018]
    Keywords : ;

    Abstract : In the logistics business, a priority is to deliver packages at the right time in the right place. Mistakescan happen in any task that a human makes a decision. In this project, a simulation is developed of alogistics operation, used to generate data for machine learning algorithms. This project is one part ofa bigger project. READ MORE

  3. 3. The Nordic Electricity Market: An Empirical Analysis of Security through Trade

    University essay from Handelshögskolan i Stockholm/Institutionen för nationalekonomi

    Author : Malte Joost Truelsen; [2018]
    Keywords : Electricity; Security; International trade; Hydro power; Scandinavia;

    Abstract : With the expansion of renewable energies, policy makers face the decision of investing into back-up generation capacity or into an expansion of the transmission capacity. As electricity is a homogeneous good, it is unique in the way that it is likely to be subject of two-way trade, within a time period, as short as a day. READ MORE

  4. 4. A qualitative study of Chinese women’s fertility desire in light of the recent two-child policy

    University essay from Lunds universitet/Sociologi; Lunds universitet/Socialhögskolan; Lunds universitet/Sociologiska institutionen

    Author : Yanlin Zhang; [2018]
    Keywords : fertility desire; sex preference; generation relations; motherhood; two-child policy; Social Sciences;

    Abstract : The study found that during the period prior to the release of the two-child policy, the decision of whether to have a second child or not had become less affected by the family planning policy. Some wealthy people, or those who were eager to have a second child had already had a second child despite the policy, even at the expense of risking a fine. READ MORE

  5. 5. A COMPARATIVE STUDY OF DEEP-LEARNING APPROACHES FOR ACTIVITY RECOGNITION USING SENSOR DATA IN SMART OFFICE ENVIRONMENTS

    University essay from Malmö universitet/Teknik och samhälle

    Author : Alexander Johansson; Oscar Sandberg; [2018]
    Keywords : Deep learning; Human activity recognition; IoT technology; CNN; RNN; LSTM; DNN; Decision tree; Tensorflow;

    Abstract : Syftet med studien är att jämföra tre deep learning nätverk med varandra för att ta reda på vilket nätverk som kan producera den högsta uppmätta noggrannheten. Noggrannheten mäts genom att nätverken försöker förutspå antalet personer som vistas i rummet där observation äger rum. READ MORE