A Saturation Method for Collapsible Pushdown Systems C. Broadbent1 , A. Carayol2, M. Hague1,2 , and O. Serre1 1 LIAFA, Universit´e Paris Diderot – Paris 7 & CNRS 2

Source URL: www.cs.rhul.ac.uk

I400/H400 and I561 Combined Syllabus Visual Thinking, Meaning & Form Eli Blevis, Associate Professor of Informatics Kyle Overton, Co-Instructor

Source URL: eli.informatics.indiana.edu

• Humancomputer interaction
• Association for Computing Machinery
• Human communication
• Interpersonal communication
• SIGCHI
• John M. Carroll
• Conference on Human Factors in Computing Systems
• ACM Interactions
• Ronald Baecker
• Austin Henderson

Trends, Tips, Tolls: A Longitudinal Study of Bitcoin Transaction Fees Malte M¨oser1 and Rainer B¨ohme2 1 Department of Information Systems, University of M¨

Source URL: informationsecurity.uibk.ac.at

• Cryptocurrencies
• Bitcoin
• Alternative currencies
• E-commerce
• Financial technology
• Money
• Mt. Gox
• CoinDesk
• Blockchain.info
• Blockchain
• Ghash.io
• Mining pool

Analysing Mu-Calculus Properties of Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory

Source URL: www.cs.rhul.ac.uk

Fault-Tolerant Scheduling in Homogeneous Real-Time Systems C. M. Krishna University of Massachusetts at Amherst Abstract Real-time systems are one of the most important applications of computers, both in commercial terms

Source URL: www-unix.ecs.umass.edu

Data Mining Methods for Recommender Systems Xavier Amatriain, Alejandro Jaimes, Nuria Oliver, and Josep M. Pujol Abstract In this chapter, we give an overview of the main Data Mining techniques that are applied in the co

Source URL: xavier.amatriain.net

The Simple Behaviour of Complex Systems Explained? REVIEW M. STREVENS Bigger Than Chaos: Understanding Complexity Through Probability Cambridge (MA): Harvard University Press, 2003

Source URL: charlottewerndl.net

Anderson Software LLC Announces General Release of P3 Global Intelligence Anderson Software is proud to announce some exciting news regarding tip management software systems. Anderson Software, LLC, the pioneer in tip m

Source URL: www.p3intel.com

Towards organizational interoperability through artifacts Fabio T. Muramatsu, Tomas M. Vitorello, Anarosa A. F. Brandão Computing Engineering and Digital Systems Department University of Sao Paulo – Brazil fabio.muram

Source URL: homepage.lnu.se

Executive Summary Social Networks of Mobile Money in Kenya By Sibel Kusimba, Harpieth Chaggar, Elizabeth Gross, & Gabriel Kunyu Kenya is one of the few countries in the world where mobile money is a part of everyday lif

Source URL: www.imtfi.uci.edu

• Payment systems
• Economy of Kenya
• Vodafone
• Chama
• Cooperative banking
• M-Pesa
• Mobile phone
• KSH
• Remittance
• Short Message Service