Vladimir Kulyukin

Not following anyone yet.

accessible shopping aliasgar kutiyanawala android android programming assistive technology blind navigation blind shopping blindness chaitanya gharpure computability computer science eyes-free computing godel numbering java john nicholson mobile computing perl programming perl programming language python python programming rehabilitation engineering rfid service robotics theory of computation visual impairment vladimir kulyukin more…

__init__.py abhishek andhavarapu access functions for godel numbers accessibility accessible blind shopping accessible shopping accessible technology addition aidl aidl primitive and complex types aliasgar kutiayanawala aliasgar kutiyanawala alphabets android android activity lifetime android aidl android application lifetime android applications android apps android arrayadapters android bound services android bundels android content providers android context menus android data persistence android database helpers android files android guis android handlers android intent android intent broadcasting android intent reception android layouts android local services android loopers android menu construction android menus android multi-tasking android ndk android os android programming android relativelayout android remote services android services android sharedpreferences android sqlite android sqlite databases android started services android tabularlayout android touchscreen android tutorial android ui state persistence android views assisive technology assisted navigation assistive robotics assistive technology automata theory backus-naur notation barcode decoding barcode localization barcode scanning bezout’s identity bitmap manipulation blind blind navigation blind route information sharing blind shopping blindness bnn bounded minimalization bounded products and summations bounded quantification bounded quantifiers bounded unbounded quantifiers cassidy pentico cfg cfl membership chaitanya gharpure characteristic functions church’s thesis classes vs. objects cloud computing cnf cocke younger kasami algorithm cocke-younger-kasami algorithm code objects code templates cognitive impairments cognitive robotics collaborative problem solving compilation composition compound predicates computability computable functions computablity computation computational formalisms computational geometry computer science computer vision computing primes context free grammars context-free grammars context-free languages contradiction cosine similarity criss crowdsourcing custom android arrayadapters custom android views cyk algorithm daniel bryce daniel coster data abstraction data abstraction with lists and tuples data and method attributes david ross dempster-shafer simple support functions dempster-shafer theory design requirements deterministic finite state automata dfa dfa transition function dictionaries in string formatting digital compass drawing lines drawing rectangles duck typing dynamic and strong typing dynamic guid adjustment eclipse elimination of useless symbols encapsulation encoding program states as godel numbers enumerate() equivalence of dfas and nfas ergonomics euclid’s 1st theorem euclid’s 2nd theorem eval() exception handling exceptions exec() execution of conditional branch execution of no-op eyes-free barcode decoding eyes-free barcode detection eyes-free barcode localization eyes-free barcode scanning eyes-free computing fermat’s little theorem fermat’s primality test file and directory browsing filter find() finiste state automata finite automata applications finite automata in robotics finite automata in text processing finite state automata florence gaunet formal definition of computation formal language theory formal languages formalism function introspection function macros function parameters functional abstraction functional programming fundamental theorem of arithmetic generator comprehension generator expressions generator objects generators geo-coding geo-referenced maps geo-referencing geometic probability godel coding godel decoding godel encoding godel numbering godel numbers google maps google nexus one gps graph algorithms greedy algorithms halting problem haptic and locomotor interfaces history of numbers hri http services huffman coding huffman decoding huffman encoding huffman tree in python huffman trees human factors human-robot interaction idle image image binarization imagedraw imagefont immobile robotics independent blind shopping independent blind travel index sets indoor localization indoor localizatsion induction information extraction inheritance intelligent walkers interfaces internet access in android apps introspection iterators iwalker james marston java java programming john nicholson joshua miele kleene closure kml landmark extraction large print maps left linear grammars length of natural numbers list comprehension list.append() list.count() list.extend() list.index() list.remove() list.sort() location providers location-based services low vision macro expansion magic methods map map labeling map-api key minghui jiang minimalization mobile computing mobile robots nasa tlx natural language communication with robots natural language dialogue natural languge processing newton-raphson method nfa niblack’s binarization nondeterministic finite state automata number theory numbers object comparison object-oriented programming ocr oop optical character recognition outdoor navigation p2p pairing functions partial functions partially computable functions perl perl array perl array functions push perl array iteration perl array lengths perl array references perl array slicing perl arrays perl distributions perl functions exit and die perl hashes perl installation perl modules perl multidimensional arrays perl packages perl programming perl programming language perl recursive subroutines perl regular expressions perl sort function perl subroutine argument list manipulation perl subroutine argument lists perl subroutine named parameters perl subroutines pil pil image pil imagedraw pil tutorial polymorphism pop predicates prime factorization primitive instructions and macros primitive recursion primitive recursive functions primitive recursive predicates primitive recursively closed classes primitive recursiveness program simulation program states and snapshots programming language l programming languages proof by contradition proof by induction properties pumping lemma python python built-in objects python built-in sequences python code execution python dictionaries python file and directory browsing python functions python image library python installation python interpreter python join() python list comprehension python list manipulation python list slicing python lists python modules python numbers python numeric operations python packages python programming python programming langauge python programming language python programming. pil fonts python raw strings python scripts on windows python sequence protocol python string methods python string templates python strings python tuples python tutorial python types python user input pythong coding exam pythong generators ramya venugopalan range() recursive descent parsing reduce regular expressions regular grammars regular languages rehabilitation engineering remote caregiving replace() representational state transfer resna rfid rfid signal distribution rfid surfaces rfid-based localization rfid-enabled surfaces rice’s theorem right linear grammars robocart robot-assisted navigation robot-assisted shopping robot-assisted wayfinding robotic shopping cart robotics rollator-mounted wayfinding route information sharing run length encoding run-time code generation sachin pavithran scalars self-reference argument sequence unpacking serivice robotics service robotics servivce robotics set former notation sets shift shopmobile shopmoile shoptalk smart environments smart worlds smarthpones smartphone smartphones software/hardware duality principle spatial cognition spatial ontology stack machines string building string manipulation strings strings and formal languagdes subtraction successor snapshots sulva sutra support vector machines svg tanwir zaman teleassistance teleassitance teleshop theoretical foundations of program compilation and theory of computation thery of computation tile ornaments tokenization touchscreen gesture interfaces translate() trie trie data structure trivial and non-trivial program properties tuples turing machine unbounded minimalization unicode strings universal programs universal resource identifiers universality universality theorem university of ljubljana unshift verbal route directions verbal route instructions for the blind vision-based barcode scanning visual impairment visual impairments vladimir kulytukin vladimir kulyukin wayfinding wearable computing well-ordering principle wi-fi wifi written route directions xml xml on android xrange() zip() zone vector matching zone vectors …less