# Questions tagged [modelling]

Questions on how to represent real-world or non computer science problems with computer science tools.

97 questions
Filter by
Sorted by
Tagged with
33 views

### Trying to model HIV using cellular automaton but can't replicate the results of some paper

There is this paper in which HIV is modelled using cellular automaton. I am trying to replicate this work but I am not getting the same results as the authors. In this paper the authors describe the ...
• 1
34 views

### Is the pinhole camera model appropriate for modelling a real camera?

I am developing a computer vision system, using the pinhole camera model. Is this an appropriate model to use for a real camera? I know that lenses and such will distort the image, my main questions ...
36 views

### How to capture the update-delay of observable variable in a model?

I have a problem that I am trying to model, but I am unable to capture one particularity of the system that seems to be crucial. I will try to give an abstract description first and then the toy model ...
248 views

### Real-life applications of pure Mealy machines

I'm currently studying formal methods in software engineering related to state machines, specifically Mealy machines. This made me wonder how relevant Mealy machines really are for practical ...
• 161
1 vote
57 views

### Encoding "all-except" constraints in CNF

I am looking for an efficient CNF encoding of the following situation: I have sets of boolean literals $A = \{ a_1, \ldots, a_m \}$, $B = \{ b_1,\ldots, b_n \}$ and subsets $B_1, \ldots, B_m$, where ...
• 166
100 views

### System Identification vs Machine Learning for dynamic system modelling

So I found another discussion regarding this, but the answers did not fully separate the differenced between SID and ML. Hopefully a discussion here can shed some light on some larger differences both ...
• 121
82 views

### Least squares fit of a rational function

I am fitting different 2D geometric transformations by least-squares. For instance quadratic, $$\begin{cases}a'x^2+b'xy+c'y^2+d'x+e'y+f'=X\\a''x^2+b''xy+c''y^2+d''x+e''y+f''=Y\end{cases}$$ which is ...
1 vote
32 views

### A lower bound for the makespan of heterogenous fog nodes

Why there is a sigma in the denominator of equation (8) in the picture? suppose we have n tasks and m fog nodes.
• 25
26 views

### What is the best way to predict a continuous score based on image characteristics(pixels)?

I have a dataset with 9912 images, what is the best way to train them based on the pixels and features of the images to be able to predict a continuous target ranging from 1 to 100? The goal is to ...
• 1
1 vote
101 views

### How to model an inverse "token relationship" in Petri nets?

Suppose I have the following Petri net: I wonder whether it is possible to model an inverse relationship between $p2$ and $p3$. Basically what I want to achieve is to make either $t1$ or $t2$ ...
• 113
1 vote
14 views

### Best way to deal with strongly correlated variables in a prediction problem?

I am doing a prediction assignment as part of a machine learning course using loans data. I have just done some exploratory data analysis on my dataset of just over 9000 rows. There are 11 variables ...
20 views

### implementing a 802.15.4 math model based on a paper. How to verify it

I am implementing a mathematic model for predicting the congestion of 802.15.4 network based on the paper: Performance analysis of IEEE 802.15.4 non-beacon mode with the unslotted CSMA/CA Based on the ...
37 views

### Search algorithm for multidimensional space with custom topology

First, let's start with the description of the problem in dimension 1: Let $T_0$ be a space with $n$ nodes organized in a tree structure, with $m$ of those nodes defined as target nodes. In this space,...
• 101
1 vote
85 views

### Explanation of roofline model

I am currently studying the roofline model. Wikipedia [2] shows the following example graph: The diagonal line shows $\beta * I$. But I do not understand why this line does not go through the zero ...
32 views

### How to specify mutated types mathematically?

Say I have an object which I pass to a method, and the method returns that same object, just mutated. So it goes like this: ...
• 2,193
168 views

### How do you have a type typed "Type" when implementing a programming language?

I am working on the base of a language model, and am wondering how to represent the base type, which is a type Type. I have heard of an "infinite chain of ...
• 2,193
64 views

• 11
57 views

### How to simulate systems' unavailability?

I am simulating a system where the clients' unavailability is one big issue to the systems behavior. I gathered the real system logs to analyze the unavailability of the clients in the deployment ...
• 275
146 views

### CNF form of variable assignment problem

There are n variables $x_1$, $x_2$,..., $x_n$ and each one of them takes values from 1 to k (k>= n) and all are distinct. How can I represent this in the CNF form? (I tried the trivial way of trying ...
• 85
60 views

### An alternative to the object paradigm

I've been playing around with an alternative to the standard object-oriented paradigm for modeling data, and I would like to know if there is any research or already existing systems along the same ...
• 153
1 vote
435 views

### Scheduling N variable-time interdependent tasks across M workers

I have N tasks, each of them requires some time to complete. Time to complete is not the same for all tasks. Each task may depend on a number of other tasks (assume, that no dependency cycles are ...
• 111