mmaroti

3 ms·

1. 1.▲
   by mmaroti 5y ago

   I think you need more assumptions. This satisfies your requirements: X(0) = 0000, Y(a) = 0001, X(a) = 0011, Y(2a)= 0111.
2. 2.▲
   by mmaroti 5y ago

   This is blatantly false. People are using formal verification tools in hardware design, and they do work and they do compose. Here is a simple verilog code which accomplishes some of what he wants. module Blinker ( input wire clock,
3. 3.▲
   by mmaroti 7y ago

   I am a researcher, and I fail to find detailed data, please help! In all datasets we see cumulative confirmed, recovered and death numbers organized by day. We would need culumative confirmed by onset time (first symptoms), and confirmed by
4. 4.▲
   Darpa SC2 Team MarmotE modem is open sourced(lists.gnu.org)

   2 points by mmaroti 7y ago|0 comments
5. 5.▲
   by mmaroti 11y ago

   You can use the tensor formalism to express combinatorial problems, but these will not be smooth, so gradient descent algorithms will not work. However, you can turn such boolean tensor problems into huge SAT problems and solve them with SA
6. 6.▲
   by mmaroti 11y ago

   There are a ton of other competing technologies. We have been to the Microsoft Indoor Localization Competition and saw the estimote there too: http://research.microsoft.com/en-us/events/indoorloccompetit... The 4