Questions tagged [modelling]

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

Filter by
Sorted by
Tagged with
0 votes
0 answers
32 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 ...
Max's user avatar
  • 1
0 votes
0 answers
21 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 ...
Iron filings's user avatar
0 votes
0 answers
34 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 ...
a_confused_engineer's user avatar
0 votes
0 answers
144 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 ...
programonkey's user avatar
1 vote
1 answer
50 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 ...
Markus's user avatar
  • 166
2 votes
1 answer
57 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 ...
bullfighter's user avatar
2 votes
0 answers
78 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 ...
user avatar
1 vote
1 answer
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.
learner's user avatar
  • 25
0 votes
0 answers
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 ...
nuno's user avatar
  • 1
1 vote
1 answer
94 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$ ...
user3475602's user avatar
1 vote
0 answers
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 ...
Maria Bruevich's user avatar
0 votes
0 answers
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 ...
Zihao Zou's user avatar
0 votes
0 answers
36 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,...
Save's user avatar
  • 101
1 vote
1 answer
71 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 ...
Johny Dow's user avatar
2 votes
0 answers
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: ...
Lance's user avatar
  • 2,163
3 votes
3 answers
166 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 ...
Lance's user avatar
  • 2,163
2 votes
1 answer
62 views

A voting scheme where votes are scriptable

I am looking for literature on mathematical models of (political) voting schemes. Concretely, I am interested in models that allow votes of the following form: "I am voting for $X$, but only if $...
ComFreek's user avatar
  • 438
0 votes
2 answers
65 views

Are objects appropriate for modeling the real world?

First of all, I know objects are not meant to model the real world, although they have been marketed as such and perhaps that was an intention at some point. Here I say 'modeling the real world' in a ...
Piovezan's user avatar
  • 113
1 vote
1 answer
55 views

Tools for modelling compilers

I'm a wannabe mathematician, whose master's thesis is (by the looks of it) going to focus on a certain "compiler", used to produce learning materials from a subset of $\LaTeX$, in the context of ...
sesodesa's user avatar
  • 141
1 vote
0 answers
16 views

Is there a way to connect a deep language model output to input?

In models like GPT-2, TXL and Grover, is there a good way to know which input weights (tokens) resulted in each token of the output?
Ahmedn1's user avatar
  • 111
4 votes
1 answer
49 views

How to model references in an ontology

I am interested in creating an ontology which will model arguments (among other things). For example, a triple in the ontology might be ...
Noah Santacruz's user avatar
1 vote
2 answers
2k views

What is the difference between "information model" and "conceptual model"?

I am trying to figure out the difference between information and conceptual models. For me, both terms seem to mean be the same, but I cannot find a reference where this is established. They are never ...
2Application's user avatar
0 votes
1 answer
496 views

How to write an if then logical constraint given part of the input related to a decision variable?

I am trying to solve an assignment problem-like from a bi-objective persepctive where I have a marketplace of vendors proposing different machines with different types and specs. The goal is to select ...
user2567806's user avatar
0 votes
1 answer
26 views

How to evaluate the learned prototypes for multivariate time-series (e.g. motion)?

Consider a method which finds prototypes for multivariate time-series (MTS) data, and is designed to find prototypes for each class of data. For example, the {walking} class consists of some slightly ...
Bob's user avatar
  • 125
1 vote
0 answers
2k views

Restriction for greater than constraint in linear programming

I have a model that considers real values and that uses a binary variable $x$. In this model, the following conditions should apply: \begin{equation} x= \begin{cases} 0, & \text{if}\...
locomania's user avatar
1 vote
1 answer
57 views

What is a logical approach to developing an algorithm which can find the optimal parameters for a function which make it best fit a given data set?

Consider the highlighted columns in the following table: Starting with 100,000 newborns, $l_{x+2}$ denotes the number of individuals in the sample still alive at age $x+2$. If we consider Makeham's ...
M Smith's user avatar
  • 467
0 votes
0 answers
126 views

How to model an ''affinity constraint'' in assignment problem

Working on an optimization problem formulated using the well known assignment problem. My decision variable is defined as follows : $$\alpha _{x}^{r,u} = 1\begin{cases} & \text{ 1 if } \mathbf{...
user2567806's user avatar
0 votes
0 answers
28 views

How to define a generic evaluation metric

Given a system (S) that accepts a tuple of parameters ($\alpha, \beta, \gamma \dots$ etc). These parameters affect the performance of S in a different way. For instance, decreasing $\alpha$ would ...
caesar's user avatar
  • 153
3 votes
1 answer
70 views

Develop a winning strategy for a game

Okay so I've been going crazy about this problem I was given. It is as follows: Given a pile of N matches, 2 people take turns removing matches from the pile. When it is your turn you are allowed ...
Eoghan Hogan's user avatar
3 votes
1 answer
203 views

Is this problem just an application of traveling salesman? If not is it some other already "solved" problem?

Description of the problem in question: Say I have a complete graph with positive weighted edges. 1 vertex is specified as the "end". A subset of the other vertices are designated as "start" vertices....
cwolf08's user avatar
  • 31
1 vote
0 answers
55 views

DAGs and Equivalence Class of DAGs

I am learning DAGs and Equivalence Class of DAGs, I am reading the material by Prof. Campos Ibáñez here: https://www.cs.cmu.edu/afs/cs/project/jair/pub/volume18/acid03a-html/node2.html However, I ...
user2842390's user avatar
1 vote
0 answers
10 views

B2B integration modelling tools and standard suggestions

This question might be too broad, but I really need help with this. I am required to choose a standard or notation to model an integration between two business processes, one of which is external. ...
dzenesiz's user avatar
  • 111
1 vote
1 answer
97 views

How to convert two conflicting objective functions into a single objective function

I have two objective functions say f1 where I have to minimize (X+Y) and another function f2 where I have to maximize (A-B). The two functions are conflicting. I need to convert them into a ...
user2567806's user avatar
2 votes
2 answers
268 views

How can union-find algorithm be used with "real" data

In the beginning of the Princeton algorithms course the Dynamic connectivity problem is presented (quick-find, quick-union). Here is how it's described: The input is a sequence of pairs of integers,...
Max Koretskyi's user avatar
0 votes
2 answers
387 views

Modeling tiling problems as SAT problems

I read that tiling problems can be modeled as satisfiability problems (2-SAT?), but the author did not explain how. Is this true? What would be an example? By a "tiling problem" I mean you have a ...
Tyler Durden's user avatar
0 votes
0 answers
80 views

Applying Ford-Fulkerson to settle a business lunch

I want to organize a business lunch with two societies $E_1$ (mine) and $E_2$. Each society is made of four people from the Executive management and 6 of the Financial Management. I want to organize ...
Revolucion for Monica's user avatar
2 votes
3 answers
242 views

Integer linear programming formulation of formula in DNF

I have multiple sets, e.g., $$\{1, 2\}, \{2, 3, 4\}, \{1, 4\}$$ Each variable $1, 2, 3, 4$ is binary. I need to represent the following condition without additional variables $$(1 \land 2) \lor (2 \...
Tom's user avatar
  • 175
3 votes
2 answers
306 views

Matching two people. One has 7% in common with the other. The other has 70% in common. What's a fair match score?

I am exploring some ideas around dating site matching, and I can do with some ideas as to which is the better solution Senario: We have a boy and girl, the boy has completed his profile/bio ...
code511788465541441's user avatar
2 votes
1 answer
318 views

Expressing a logical constraint in integer programming

Let $x$ be an integer such that $x \in [ - 10,10]$ and $b$ a binary variable. Apply integer programming to express $b = 1 \leftrightarrow x \ge3$ My work: \begin{equation} \begin{cases} \...
user_777's user avatar
  • 142
1 vote
1 answer
447 views

Set Cover and additional constraints

Consider the following bipartite graph: Each node in red color represents a warehouse $w = \{ 1,2,3\} $. For this example we have three warehouses located at different locations. Each warehouse has a ...
user1812's user avatar
  • 113
3 votes
3 answers
411 views

How to Determine Places, Transitions and Tokens in a Scenario when Modeling with Petri Nets?

When modeling a scenario with Petri nets how should I determine the places, transitions and tokens? Example: There are two exam assistants in an exam hall observing the exam. They stand in front of ...
Infinity's user avatar
  • 131
3 votes
2 answers
2k views

Linear programming formulation for the single-source shortest path problem

In this course lecture; section 5.1, single-source shortest path (SSSP) is formulated as the following linear program (LP): \begin{align} \max &\sum d_u \\ \text{subject to} & \\ d_v &\le ...
hengxin's user avatar
  • 9,501
2 votes
0 answers
288 views

The meaning of ontology in computer science

I am reading a paper and ran into this word Ontology-based, What does it really mean? I did searching about it but still ambiguous to me, can someone elaborate this ...
Mike's user avatar
  • 121
0 votes
1 answer
51 views

How to conceptually represent attributes (characteristics) of an object in logics?

I am reading about/working on the knowledge representation using OpenCog framework http://wiki.opencog.org/w/OpenCog_Framework which essentially is special kind of probabilistic logic (s.c. PLN - ...
TomR's user avatar
  • 1,381
1 vote
1 answer
171 views

Ambiguity in choosing the best ER model

I am actually little bit confused when I am reading through the text - Database system concepts by Henry F. Korth and others I won't be able to understand one thing, which one of the following models ...
Jaspreetsci's user avatar
1 vote
0 answers
46 views

Modelling belonging of a real variable to an interval by a boolean variable

In the context of a MILP, I have variables $x_{t} \in \mathbb{R}$ which have a lower bound $x^{min}$ and an upper bound $x^{max}$. Let $I_{1} = [x^{min},a_{1}], I_{2} = ]a_{1}, a_{2}], ..., I_{n} = ]...
Quarint's user avatar
  • 11
0 votes
1 answer
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 ...
syko's user avatar
  • 275
7 votes
2 answers
145 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 ...
Gilfoyle's user avatar
2 votes
0 answers
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 ...
Roland's user avatar
  • 153
1 vote
1 answer
415 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 ...
shylent's user avatar
  • 111