Towards A Framework for Mobile Behavior Change Research Fabian Okeke Cornell Tech, Cornell University New York, New York

Source URL: destrin.smalldata.io

• Computing
• Technology
• Classes of computers
• Mobile computers
• Humancomputer interaction
• Cloud clients
• Smartphones
• Mobile phones
• Ubiquitous computing
• Persuasive technology
• Mobile app
• Wearable computer

GEMS ELECTION RESULTS Election Summary Report Nov 8, 2011 Summary For 1 PORTSMOUTH 1-A, All Counters, All Races NOVEMBER 8, 2011

Source URL: scioto.ohioboe.com

A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STAR

Source URL: cakeml.org

• Type theory
• Software engineering
• Programming language theory
• Computing
• Type system
• Unification
• HindleyMilner type system
• Standard ML
• System F
• ML
• Type inference
• Generics in Java

Quantstamp Visual Timeline 2017–2018 Our Development Philosophy The blockchain world is a rapidly evolving industry. For this reason, we implement an agile development process. In contrast to the

Source URL: quantstamp.com

• Cryptocurrencies
• Blockchains
• Computing
• Information
• Technology
• Ethereum
• Smart contract
• Agile software development
• Cardano
• Computer security

MODELS AND METRICS FOR ENERGY-EFFICIENT COMPUTER SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING

Source URL: rivoire.cs.sonoma.edu

• Computing
• Concurrent computing
• Distributed computing
• Benchmark
• Standard Performance Evaluation Corporation
• Data center
• Kunle Olukotun
• Christos Kozyrakis

Senior Ripple Veteran Vijay Chetty Joins SharesPost Digital Assets Group Chetty to lead business development for the security token ATS San Francisco, CA — June 8, 2018 — SharesPost, a leading provider of late-stage

Source URL: d2wbqcispjulqi.cloudfront.net

• Economy
• Finance
• Money
• Cryptocurrencies
• Financial markets
• Foreign exchange companies
• Foreign exchange market
• Micropayment
• Ripple
• BlackRock
• Security
• Algorithmic trading

Science Europe Position Statement On a New Vision for More Meaningful Research Impact Assessment J uly 2017

Source URL: www.scienceeurope.org

• Knowledge
• Evaluation
• Research Excellence Framework
• Research
• Science
• Natural environment
• Impact assessment
• Social impact assessment
• Environmental impact assessment

1 A Localization Approach for Crowdsourced Air Traffic Communication Networks Martin Strohmeier∗ , Vincent Lenders+ , Ivan Martinovic∗ of Oxford, United Kingdom + armasuisse, Switzerland

Source URL: www.lenders.ch

• Wireless
• Air traffic control
• Geolocation
• Technology
• Navigation
• Elementary geometry
• Euclidean geometry
• Multilateration
• Ubiquitous computing
• Flightradar24
• Wide area multilateration
• Automatic dependent surveillance broadcast

1 Poster: HoneyBot- A Honeypot for Robotic Systems Celine Irvene, Member, IEEE, David Formby, Member, IEEE, Sam Litchfield, Member, IEEE, and Raheem Beyah, Senior Member, IEEE

Source URL: www.ieee-security.org

• Computer network security
• Security engineering
• Computing
• Cyberwarfare
• Honeypot
• Spamming
• Robotics
• Robot
• Cyber-physical system
• Computer security
• Client honeypot