Problem Detail: This question stems from a few answers and comments on a question I posted in signal processing found here. I guess I am a little confused. Are there any concrete differences between realtime software/hardware and just a regular PC? Read More …
Author: ignougroup
[Solved]: Confused about beta-reduction/shifting in untyped $lambda$-calculus with de Bruijn terms
Problem Detail: In Types and Programming Languages, the family of sets of terms with de Bruijn indices in the untyped $lambda$-calculus is defined in this way: Let $T$ be the smallest family of sets ${T_0, T_1, T_2, …}$ such that $k Read More …
[Solved]: Matching girls with boys without mutual attraction (variant of maximum bipartite matching)
Problem Detail: Let us say you have a group of guys and and a group of girls. Each girl is either attracted to a guy or not, and vice versa. You want to match as many people as possible to a Read More …
[Solved]: Frame Pointers in Assembler
Problem Detail: I am currently learning assembly programming on wombat 4, I am looking at Frame pointers. I understand exactly what a frame pointer is: it is a register and are used to access parameters on a stack. But i’m confused Read More …
[Solved]: A framework to capture common variation of sequence alignments
Problem Detail: The global alignment problem can be generalized by setting the cost of some boundary gaps to 0. Gaps at both end in both strings have 0 cost, then we get the semiglobal alignment. Gaps are at the left end Read More …
[Solved]: What is the reason of inaccuracy of operations on float numbers?
Problem Detail: I wonder why in JavaScript 0.1 + 0.2 // return 0.30000000000000004 4%0.1 // return 0.09999999999999978 http://jsbin.com/oHISAfU/1/edit (Example) In C the math.h library fmod function printf(“%f”, fmod(4.0,0.1)); // print 0.100000 http://ideone.com/RG5Wyv (Example) And in Spotlight (search feature in the Mac Read More …
[Solved]: Is the set of Gödel numbers of computable constant functions recursively enumerable?
Problem Detail: I’ve been working on the following exercise: $S = { x | f_x text{ is constant} }$. Is $S$ recursively enumerable? Here, $fx$ is the function computed by the $text{x-th TM}$. So it is a computable function. Intuitively, I Read More …
[Solved]: Lower bounds of calculating a function of a set
Problem Detail: Having a set $A$ of $n$ elements, let’s say I want to calculate a function $f(A)$ that is sensitive to all parts of the input, i.e. depends on very member of $A$ (i.e. it is possible to change any Read More …
[Solved]: What is one method used to prove each palindrome is in its own Myhill-Nerode equivalence class?
Problem Detail: I understand how you can use a contradiction in regard to a DPDA to show a language has finitely many Myhill-Nerode equivalence classes, but what is the method used to show each string of a language accepting palindromes is Read More …
[Solved]: How does the use of oracle Turing machines not lead to contradictions?
Problem Detail: How can we ensure that we are continuing to make sound and valid statements about complexity classes when using oracle Turing Machines? According to my understanding (based on the definitions given in introductory textbooks on the subject) oracle Turing Read More …
