Questions that ask for a mathematical/formal model of an intuitive concept or task

learn more… | top users | synonyms

0
votes
2answers
196 views

Help in understanding Symbolic Execution

I am an undergraduate CS student and currently reading on software security, particularly on static analysis of programs. I am particularly interested in understanding Symbolic Execution - an ...
-1
votes
3answers
239 views

Algorithm Suggestion for Scoring System - weighted solution

I'm trying to validate a series of words that are provided by users. I'm trying to come up with a scoring system that will determine the likelihood that the series of words are indeed valid words. ...
0
votes
0answers
88 views

Temporal Logic and Access Control Models

What is the best way to describe the semantics of a new access control model?. I heard the temporal logic is the way to go. Is it true?
10
votes
1answer
247 views

Extensionality of lambda calculus models

I'm translating a book on LISP and naturally it touches some elements of $\lambda$-calculus. So, a notion of extensionality is mentioned there alongside some models of $\lambda$-calculus, namely: ...
3
votes
2answers
781 views

Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models

This is a question I asked in mathematics SE forum, and I was referred here. So here is the question- I'm a newbie in both formal mathematics and theoretical computer science, so please bear with me ...
14
votes
1answer
408 views

(How) can you model broadcasts in the pi-calculus?

Can you model reliable broadcasts in the pi-calculus? If so: How? If not: Are there any similar process algebras where you can? What I have tried: If sender $S$ wants to send a message $y$ to ...
1
vote
2answers
229 views

Any Graph is a Model (! or ?)

I know this could be considered a pointless question. However despite I am quite convinced that any possible model (i.e. UML, SysML, natural language, math, etc.) can be defined by means of a graph I ...
8
votes
3answers
312 views

Reductions of hard problems to physical models

I am looking for examples of hard problems (in NP or harder) from computer science which can be reduced to models of physical processes. For example, max-2-sat can be reduced to energy minimization ...
18
votes
4answers
557 views

Efficiently computable variants of Kolmogorov complexity

Kolmogorov prefix complexity (i.e. $K(x)$ is the size of minimal self-delimiting program that outputs $x$) has several nice features: It corresponds to an intuition of giving strings with patters or ...
6
votes
2answers
325 views

PageRank for a Non-Random Searcher

I'm looking to adapt the PageRank algorithm as a centrality measure in a network. This network however, unlike the "random surfer" of the original paper on PageRank, or the random library browser for ...
5
votes
2answers
248 views

Simulation modeling of diseases

Can anyone recommend a good book(s) or journal article(s) on object-oriented program design patterns/principles and simulation modeling of diseases? I received the above question this morning by ...
-4
votes
3answers
465 views

Time-based mathematics or logic [closed]

The conventional systems of logic can only recognize or perform operations that transform or translate values in space. Ordinary logic treats time poorly through the necessity of translating all ...
12
votes
6answers
486 views

What are practically computable properties of Labelled Transition Systems?

I found labelled transition systems to be a good model for my application, namely there is a paper about modeling use cases using LTSs. The question is, what can be easily proven about LTSs? I would ...
0
votes
1answer
237 views

Help needed on method to use for anomaly detection [closed]

I think people here could guide me in solving a problem related to anomaly detection. The term anomaly here refers to some malware attack. I could get information about the malware infection from ...
-4
votes
1answer
675 views

Find sentences with similar relative meaning from a list of sentences against an example one

I want to be able to find sentences with the same meaning. I have a query sentence, and a long list of millions of other sentences. Sentences are words, or a special type of word called a symbol which ...
4
votes
1answer
298 views

Extracting Independent Information About Sequences

Related to this question, but asked in a different way. For the purposes of a text-based implementation of a fuzzy vault, what metrics can we take on Sequences that are isolated such that the set of ...
2
votes
1answer
416 views

Finding islands of vertices in a network of roads containing one-way streets [closed]

I am working on GIS project where we are making use of road maps that may contain one-way streets. We are writing some debugging tools one of which I want to design to find "Islands". This would ...
4
votes
3answers
365 views

Semantic distance between excerpts of text.

I'm wondering how far along the natural language processing is in determining the semantic distance between two excerpts of text. For instance, consider the following phrases Early this morning I ...
7
votes
1answer
196 views

Is it possible to model maximization in a petri net without using inhibitor arcs?

Creating a petri-net that models the minimum function is quite simple: ...
-2
votes
1answer
1k views

How do I formally describe a rooted, directed, acyclic graph?

I need a formalism to describe the following requirements: I have a graph comprised of nodes and transitions between nodes Nodes maybe one of three types, all are sub-classes of a base abstract node ...
5
votes
1answer
152 views

Process modeling with fine-grained notions of location

Is anyone aware of any process algebraic (or related) formalisms that capture fine-grained location information? I'm familiar with ambients and bigraphs, which obviously have a location model, but ...