Counting Fingers: Eyes-Free Text Entry without Touch Location Keith Vertanen Michigan Technological University Houghton, MI, USA

Source URL: www.keithv.com

• Computing
• Computer hardware
• Input/output
• Humancomputer interaction
• User interface techniques
• Text
• Typing
• Touchscreen
• Braille
• Input device
• Computer keyboard
• Multi-touch

Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Source URL: www.edsko.net

• Theoretical computer science
• Mathematical logic
• Logic
• Lambda calculus
• Models of computation
• Computability theory
• Let expression
• Symbol
• Substitution
• Type system
• Security type system

May 2014 The International CWops Newsletter Issue No. 52

Source URL: www.cwops.org

• Language
• Input/output
• Reading
• Typing
• Words per minute
• Writing
• Morse code
• The CW
• The WB 100+ Station Group
• 9
• Economy

Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1

Source URL: homes.soic.indiana.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Data types
• Procedural programming languages
• C++
• Lambda calculus
• Type system
• Type safety
• Gradual typing
• ALGOL 68

Letter Probing genomic diversity and evolution of Escherichia coli O157 by single nucleotide polymorphisms Wei Zhang,1,5,6 Weihong Qi,2 Thomas J. Albert,3 Alifiya S. Motiwala,4 David Alland,4

Source URL: www.ncbi.nlm.nih.gov

• Biology
• Molecular biology
• Escherichia coli
• Biotechnology
• DNA
• AB5 toxins
• Shigatoxigenic and verotoxigenic Escherichia coli
• Single-nucleotide polymorphism
• Hemolytic-uremic syndrome
• Shiga toxin
• SNP genotyping
• Multilocus sequence typing

XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert

Source URL: tyrex.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional languages
• Data types
• Query languages
• Knowledge representation
• Functional programming
• XQuery
• Recursive data type
• Tree
• Well-formed formula

VelociTap: Investigating Fast Mobile Text Entry using Sentence-Based Decoding of Touchscreen Keyboard Input

Source URL: www.keithv.com

• Language
• Input/output
• Computer hardware
• Computing
• Typing
• Words per minute
• Fleksy
• Computer keyboard
• QWERTY
• Keyboard layout
• Error detection and correction
• Reading

2017 Essay Form Please complete the following essay requirements by typing in the appropriate boxes below. You should usewords for each essay. After completion, print, sign and date the form at the bottom. Essay

Source URL: peak.c.u-tokyo.ac.jp

TYPING SKILLS TEST (TST) TEST GUIDE WHY DO AT&T AND ITS AFFILIATES TEST? At AT&T, we pride ourselves on matching the best jobs with the best people. To do this, we need to better understand your skills and abilities to m

Source URL: att.jobs

• Education
• Standardized tests
• Educational psychology
• Psychometrics
• Sports science
• Test
• General Educational Development
• Typing
• TeST Gliders

Decoder-Assisted Typing using an HMD and a Physical Keyboard James Walker Michigan Technological University Houghton, MI, USA

Source URL: www.keithv.com

• Computer keyboards
• Computer hardware
• Computing
• Language
• Input/output
• Virtual keyboard
• Touch typing
• Typing
• Head-mounted display
• Chorded keyboard
• QWERTY
• Words per minute