0
votes
0answers
8 views

Formal methods in C++ for safety critical software [on hold]

Looking at C, C has good support for formal methods that can be used in-code(frama-c, VCC, verifast). C++ doesn't seem to have any comparable as far as I can tell. What formal methods are available ...
-1
votes
0answers
8 views

Can you simulate a malfunctioning computer?

Could a specific computer model run an accurate simulation of a computer that is malfunctioning or about to crash dump alot of its memory? Could it accurately simulate a model like itself crashing?
4
votes
0answers
11 views

Combinatory interpretation of lambda calculus

According to Peter Selinger, The Lambda Calculus is Algebraic (PDF). Early in this article he says: The combinatory interpretation of the lambda calculus is known to be imperfect, because it ...
0
votes
0answers
15 views

Looking for an algorithm to solve a specific Vehicle Routing Problem

I am trying to figure out a way to create routes for trucks to complete a list of orders(drops/stops), while minimizing distance traveled. There is only ever 1 company warehouse in the area. The ...
-3
votes
0answers
17 views

communicational complexity calculation [on hold]

i need help regarding communication complexity of security purpose algorithm. from my basic knowledge, i think algorithm with lower computational complexity is acceptable like O(n) > O(n^2); but what ...
4
votes
3answers
41 views

Recovering a point embedding from a graph with edges weighted by point distance

Suppose I give you an undirected graph with weighted edges, and tell you that each node corresponds to a point in 3d space. Whenever there's an edge between two nodes, the weight of the edge is the ...
1
vote
0answers
10 views

What is a semantic cognitive map

Based on: J. P. Carvalho, "On the Semantics and the Use of Fuzzy Cognitive Maps in Social Sciences" (WCCI, 2010 -- PDF) and Richard Dagan's web page Cognitive Mapping. A cognitive map consists of ...
0
votes
2answers
32 views

Find an MST in a graph with edge weights from {1,2}

I've been asked the following question: Given a connected undirected graph $G=(V,E)$ and a weight function $w: E \to \{1,2\}$, suggest an efficient algorithm that finds an MST of the graph. ...
0
votes
1answer
25 views

Call‑by‑name will succeeds where call‑by‑value may fails: some example cases?

I've landed to SML pages, comparing call‑by‑name and call‑by‑value, asserting the former always succeed while the latter may fails. As this seems counter intuitive to me, I feel at least an example ...
2
votes
0answers
22 views

What is the signal going from the computer to the screen?

Im sorry if it is a weird question, but I cant seem to find an answer for this. What does the signal going to the screen look like in more abstract sense? Does it code the values of each pixel in a ...
-2
votes
0answers
19 views

Does a NFA accept context free languages? [on hold]

A NFA accepts regular languages (Type-3). So because of the chomsky hierarchy every regular language is also context-free. So a NFA accepts context free languages. Am I wrong? Moreover a NFA accepts ...
-2
votes
0answers
13 views

TCP & UDP time taken/retransmission calculation [on hold]

What i know is that, TCP provides reliable point-to point communication, whereas UDP doesn't establish a connection before sending data, it just sends. For this question, assuming that for UDP-IPv4 ...
1
vote
0answers
13 views

Satisfy edges' constraints when updating node in directed acyclical graph

I have a directed acyclical graph. Each node represents an event with start and end dates and each edge represents a constraint between to events with 2 properties: max interval between previous ...
-1
votes
0answers
13 views

PROBLEM IN NUMBER SYSTEM [migrated]

how there are two different conversion results for the same bases. Am i doing something wrong ! Please help ! thanks in advance.
2
votes
1answer
49 views

Call by need compared to pass by function

SML uses pass‑by‑value, Haskell uses call‑by‑need. Unless I'm wrong (the purpose of this question), one can do call‑by‑need with SML, passing a function instead of a value; a function to be later ...
1
vote
1answer
22 views

Explanation of Tag, Index, and Offset in Direct Mapping Cache

I'm going through an exercise trying to store address references into a direct mapped cache with 128 blocks and a block size of 32 bytes. The address are 20000, 20004, 20008, and 20016 in base 10. ...
1
vote
1answer
36 views

Non-Approximate Dynamic All-Pairs Shortest Path algorithm for Undirected, Unweighted Graphs?

I am looking for an algorithm involving adding unweighted edges to an empty, undirected graph (with vertices) and then for each, updating the table of shortest paths. An example is if we have ...
1
vote
1answer
32 views

Video lectures on type systems

For my job, I need to pick up a working understanding of the implementation of type systems (in particular, how to write typing rules based on a design document). I've been given a copy of Types and ...
5
votes
1answer
37 views

Difference between hypervisor and exokernel

An hypervisor (1st type) is a software that creates and run virtual machines, managing guest's operative systems's requests to the hardware. An exokernel is an operative system kernel, that let's ...
0
votes
0answers
17 views

Computer resource under-usage [on hold]

here is a list of the core components of my Dell computer: Processor: dual core Intel(R) Xeon(R) CPU E5-2630 0 @ 2.30GHz RAM: 96 GB System: Windows 7 64-bit Hard drives: 2TB SATA Video: NVIDIA Quadro ...
1
vote
1answer
37 views

Computing binomial coefficients and factorials modulo a composite number

Does anyone know of a fast algorithm to compute factorials and/or binomial coefficients in general or modulo a composite number in particular (for composite moduli I am interested in the case where ...
-1
votes
3answers
80 views

If Halting problem is decidable, are all RE languages decidable? [on hold]

Assume the halting problem was decidable. Is then every recursively enumerable languagerecursive?
-1
votes
1answer
20 views

difference between multilayer perceptron and linear regression

What is the difference between multilayer perceptron and linear regression classifier. I am trying to learn a model with numerical attributes, and predict a numerical value. Thanks
1
vote
1answer
36 views
1
vote
4answers
99 views

Regular expression (ab U a)* to NFA with two states (Sipser)?

In the 3rd edition of Sipser's Introduction to the Theory of Computation (example 1.56, p.68), there is a step-by-step procedure to transform (ab U a)* into a NFA. And then the text ends with: "In ...
3
votes
1answer
31 views

Can I have a “dependent coproduct type”?

I'm reading through the HoTT book and I have a (probably very naive) question about the stuff in the chapter one. The chapter introduces the function type $$ f:A\to B $$ and then generalizes it by ...
-3
votes
1answer
17 views

Min-max selection sort

Is there already modified version of selection sort that works like this pseudocode: ...
1
vote
1answer
34 views

Are all Chomsky-Type3 grammars LL(1)?

Referring to this Question, where an answer is stating that all Type 3 languages are LL(1), I'd like to know if all Type 3 grammars are possibly LL(1). If not, why is it so? Are there maybe ambiguous ...
1
vote
1answer
34 views

Understanding Property Testing with a toy example

I am newbie with this property testing and I am trying to understand it with a few examples. I first dealt with a toy example. I did not understand the first step of the test in the following slide. ...
2
votes
2answers
69 views

Which textbook can I use after a high school CS course? [on hold]

I just finished the AP Computer Science course in high school and since my school does not have any further classes, I was thinking about getting a textbook and continuing my study. APCS goes through ...
0
votes
1answer
21 views

How to bound a running time equation? [duplicate]

I simply need a standard way to find the upper and lower bound of a running time equation (please no shortcuts that only work for this specific problem).... Example: $T(n)=\frac{c}{5}(4^{\left ...
1
vote
2answers
46 views

What is the asymptotic behaviour of a sum of powers of three?

I'm more concerned with just finding big oh since that can be used to find big omega. I am also told I cannot use limits to find the answer. I'm given: $3+9+27+\dots+3^n$. My first assumption is that ...
2
votes
1answer
55 views

Reduce Set problem to SAT

So the problem is, given some set $M = \{x_1,x_2,\ldots,x_n\}$ and a set of subsets $S = \{S_1, S_2, \ldots, S_m\}$ where $S_i \subseteq M$. We want to find some set $X \subseteq M$ such that $|X| \le ...
2
votes
0answers
23 views

Complexity of Sorting Integers on a Multitape Turing Machine

How expensive is sorting integers on a Multitape Turing Machine? The usual algorithms rely on indirect access, so how much does losing it cost us? Say we have $N$ integers from $[0, 2^B)$. It's not ...
-1
votes
0answers
13 views

Financial/Investment Books for Programmers [on hold]

I'm doing an internship at an investment company creating and supporting some applications for the development team. Unfortunately, I'm not very savy when it comes to financial/investment management ...
0
votes
0answers
4 views

Difference between private Ip and public ip? [migrated]

What is the difference between public Ip and Private Ip? Do each machine have both private Ip and public Ip? Who assigns Public and private Ip? and how can a machine having only private ip access ...
-1
votes
1answer
36 views

Understanding the reason behind the μ (mu) operator [on hold]

What is the purpose of the $\mu$ operator? Is there a real world example? Is it correct that it can create partial functions out of total functions and it makes a function $g$ with k parameters out ...
0
votes
0answers
36 views

Using the μ (mu) operator

Problem I've got this function: $f(x,y)=(6-3\cdot x)\cdot(y+2)$, with $(x,y)\in\mathbb{N}^2$ Now I have to find $g=\mu f$. Proposed solution My solution was to find the smallest $n\in\mathbb{N}$ ...
2
votes
1answer
23 views

Closed form solution for a single layer linear perceptron

Let f be a one-layer neural network which is linear (ie. no activation function). Let it have $p$ inputs and $q$ outputs. These are fully connected by weights $W$. We have $n$ inputs $x \in ...
1
vote
1answer
47 views

Programming languages for genetic engineering [on hold]

I'm interested in getting a Ph.D. and would love to work on a project such the GEC project at Microsoft Research, which studies the application of programming languages for synthetic biology and ...
-1
votes
0answers
37 views

Solvable & Unsolvable Problem Detection [duplicate]

be aware that this problem dosnt have solution. I ran into A multiple choice question on previous midterm on Computation Theory course. this question is which of the following problem is not ...
2
votes
1answer
55 views

Use of Big-O Notation: Size of Input vs Input

It is my understanding that, when one is describing time complexity with $\mathcal{O}$, $\mathcal{\Theta}$, and $\mathcal{\Omega}$, one must be careful to provide expressions with regards to the size ...
-4
votes
0answers
25 views

Question regarding post: http://cs.stackexchange.com/questions/16467/how-to-reverse-a-subarray-of-an-array [on hold]

I have a question regarding the algorithm you proposed for efficiently computing multiple sub-array reversals. I just took a simple example ant tried to apply your method - and it did not work for me ...
-1
votes
0answers
37 views

What are some latest I/O devices? Mostly from the last five years? [on hold]

I need to prepare a presentation about a latest I/O device which was invented in the last five years period. I searched, but the Internet doesn't have that much detail about the devices. I was ...
-3
votes
0answers
18 views

Solve the following recursions using the Akra-Bazzi theorem [duplicate]

Can the following equations be solved using the Akra–Bazzi theorem and how? I don't quite understand the $h_i(x)$ part of the Akra–Bazzi theorem in Wikipedia. I'll appreciate an ...
0
votes
1answer
16 views

Emulation, interpreters and parallel execution

I'm interested in how software emulators of old game consoles work. These must consist of an interpreter for the machine language of the emulated processor. If I have understood correctly an ...
0
votes
0answers
10 views

What is co-factor multiplication with respect to ECHD [on hold]

I am new to ECDH and wanted to generate the a secret key in Java. I wanted to use Elliptic curve Diffie-Hellman with cofactor key derivation. I'm using the P-256 curve for the elliptic curve ...
-2
votes
1answer
30 views

Generative grammars and analytic grammars?

What are a generative grammar and an analytic grammar? How are they different from a formal grammar? Is the recursive definition of the language of a propositional calculus, a first order logic ...
-1
votes
1answer
75 views

Is a language closed under string concatenation, repetition, and/or taking substring regular?

Is a language $L$ regular, context-free, context-sensitive, recursively enumerable, or ..., if $L$ is closed under string concatenation, and/or string repetition, and/or taking substring? ...
0
votes
1answer
45 views

Can the definition of regular languages be simplified?

Wikipedia says The collection of regular languages over an alphabet Σ is defined recursively as follows: The empty language Ø is a regular language. For each a ∈ Σ (a belongs to Σ), ...

15 30 50 per page