66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic

Source URL: www.is.mpg.de

• Metaphysics
• Learning
• Child development
• Grasp
• Ontology
• Aptitude
• Motor control
• Motor skills
• Palmar grasp reflex
• Fine motor skill
• Thumb
• Taxonomy

Obstacles to the Adoption of Secure Communication Tools Ruba Abu-Salma M. Angela Sasse

Source URL: www.ieee-security.org

• Software
• Computing
• System software
• Instant messaging clients
• Internet privacy
• Cross-platform software
• Cryptographic software
• Public key infrastructure
• Email encryption
• IMessage
• Secure communication
• Threema

Director’s Message on Cybersecurity As I’m sure you’re all aware by now, one of the major points of interest for this General Election is cybersecurity. Specifically, members of the public want to know the steps we

Source URL: boe.cuyahogacounty.us

• Cyberwarfare
• Security engineering
• Cybercrime
• Computer security
• Computer network security
• Secure communication
• Cyberattack
• National Initiative for Cybersecurity Education
• Cyber-security regulation

M ath. Res. Lett), no. 6, 1091–1101 c International Press 2013 

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Sheaf theory
• Vector bundles
• Complex manifolds
• Cohomology theories
• Coherent sheaf
• Cohomology
• Sheaf
• GrothendieckRiemannRoch theorem

Hierarchical Task Model with Alternatives for Predictive-reactive Scheduling Marek Vlk and Roman Barta´k (supervisor) Charles University in Prague, Faculty of Mathematics and Physics Malostranske´ na´m. 25, Pra

Source URL: icaps16.icaps-conference.org

• Business
• Economy
• Scheduling
• Information technology management
• Operations research
• Production planning
• Schedule
• Workflow
• Business process management
• Program evaluation and review technique
• Hierarchical task network
• Job shop scheduling

Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

Source URL: qav.comlab.ox.ac.uk

• Logic
• 120-cell
• Linear temporal logic
• Substitution
• Markov decision process
• Symbol
• Theoretical computer science
• Mathematical logic

Age of Acquisition in Facial Identification: A Connectionist Approach Brenden M. Lake () Torrey Pines High School, 710 Encinitas Blvd. Encinitas, CAUSA Garrison W. Cottrell ()

Source URL: cims.nyu.edu

• Computational neuroscience
• Cognition
• Cognitive science
• AOA
• Applied mathematics
• Artificial neural network
• Connectionism
• ACT-R

The MENA Business Angel Network, Seed Funds and Early Stage Market Players Mission Statement To support the Innovation momentum in the MENA

Source URL: m-ban.org

• Economy
• Business
• Finance
• Entrepreneurship
• Private equity
• Angel investors
• EBAN
• Venture capital
• Startup company

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Mathematics
• Logic in computer science
• Proof theory
• Programming language semantics
• Metalogic
• Model theory
• Symbol
• Net
• Constructible universe
• Sequent
• Permutation

Architectural Support for Software-Defined Metadata Processing Udit Dhawan1 C˘at˘alin Hri¸tcu2 Raphael Rubin1 Nikos Vasilakis1 Jonathan M. Smith1

Source URL: nikos.vasilak.is