Problem Detail: I am trying to understand how a OUTER UNION $∪^✳$ works, and why it is only partially compatible. I am aware this operation was created to take union of tuples from two relations if the relation are not type Read More …
Author: ignougroup
[Solved]: Is this NIM game tree correct?
Problem Detail: I have an assignment to construct a game of Nim (a game in which two players must divide a pile of tokens into two unequal sizes; 6 can be divided into 2 & 4 but not 3 & 3). Read More …
[Solved]: Is Wadler’s ‘Theorems for Free’ as general as Design By Contract for establishing correctness?
Problem Detail: Philip Wadler has written a brilliant paper called ‘Theorems for Free’. The big idea is that you can use types to reason about your program, and even prove simple theorems about your program. We see these ideas about types Read More …
[Solved]: Need an algorithm to find the input factors that are most affecting the output
Problem Detail: I apologize if this question is already answered and appreciate any pointers to existing answers. I’m not familiar with statistical or data mining terms so my search was limited to basic words used in the title of this question. Read More …
[Solved]: Characterization of lambda-terms that have union types
Problem Detail: Many textbooks cover intersection types in the lambda-calculus. The typing rules for intersection can be defined as follows (on top of the simply typed lambda-calculus with subtyping): $$ dfrac{Gamma vdash M : T_1 quad Gamma vdash M : T_2} Read More …
[Solved]: How does the processor find kernel code after an interrupt?
Problem Detail: When an interrupt occurs, the processor preempts the current process and calls kernel code to handle the interrupt. How does the processor know where to enter the kernel? I understand that there are interrupt handlers which can be installed Read More …
[Solved]: Q-learning in a Dynamic environment
Problem Detail: I am new to reinforcement learning. Lately, I have learned Q-learning using the following tutorial. Is Q-learning still possible if the environment is dynamic. Using the environment of the tutorial as an example, in some states it is possible Read More …
[Solved]: Find Divisible Sum Pairs in an array in O(n) time
Problem Detail: You are given an array of n integers a0, a1, .. an and a positive integer k. Find and print the number of pairs (i,j) where i<j and i+j is evenly divisible by k (Which is i+j % k Read More …
[Solved]: What is the significance of primitive recursive functions?
Problem Detail: I was studying the proof of Ackermann function being recursive, but not primitive recursive, and a question hit me: “So what?”. Why does it matter? What is the significance of primitive recursive functions? Asked By : Untitled Answered By : Yuval Read More …
[Solved]: Algorithm analysis question in growth of functions
Problem Detail: How would I solve the following. An algorithm that is $O(n^2)$ takes 10 seconds to execute on a particular computer when n=100, how long would you expect to take it when n=500? Can anyone help me answer dis. Asked Read More …
