White Paper of Show Coin Project Decentralized Interactive Living Broadcasting Platform VersionShowCoin Foundation

Source URL: www.show.one

• Cryptocurrencies
• Economy
• Concurrent computing
• Technology
• Multimedia
• Internet broadcasting
• Alternative currencies
• Financial cryptography
• Streaming media
• Digital currency
• High-performance Integrated Virtual Environment
• Blockchain

EECS 388 Intro to Computer Security September 9, 2016 Project 1: Cryptographic Attacks

Source URL: www.eecs.umich.edu

• Cryptography
• Cryptographic hash functions
• HMAC
• MD5
• Crypt
• Collision attack
• Padding
• SHA-2
• MerkleDamgrd construction
• SHA-1
• Hash function
• Length extension attack

Package ‘GroupSeq’ April 11, 2018 Title A GUI-Based Program to Compute Probabilities Regarding Group Sequential Designs VersionDescription A graphical user interface to compute group sequential designs

Source URL: cran.r-project.org

• User interface techniques
• Software
• Graphical user interface
• Software architecture
• Package manager
• Gui
• User interface
• Human behavior
• Computing

PROJECT PAI 个性化人工智能经济网络 （理论篇+技术篇） October 2017

Source URL: projectpai.com

SEVENTH FRAMEWORK PROGRAMME Trustworthy ICT Project Title: Enhanced Network Security for Seamless Service Provisioning in the Smart Mobile Ecosystem

Source URL: mavroud.is

• Mobile technology
• Technology
• Information and communications technology
• Mobile telecommunications
• Computer network security
• Femtocell
• Wi-Fi
• Anomaly detection
• GSM
• Generic Access Network
• SMS
• Network security

外国文教专家生活补贴收据 Payment Receipt of “Beihang International Visiting Professor Program” 项目名称 Project Name 项目负责人 Host Name

Source URL: id.buaa.edu.cn

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Knowledge representation
• Computing
• Data
• Information science
• Semantic Web
• Data management
• Technical communication
• Simple Knowledge Organization System
• Open data
• Geographic information system
• Data transformation
• Resource Description Framework

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Source URL: pxtp.github.io

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Dependently typed programming
• Formal methods
• Logical framework
• Proof theory
• First-order logic
• Lambda calculus
• Calculus of constructions

Violeta Garín Project Coordinator Spain Website: www.artport-project.org Violeta Garín works as Lead Communications Strategist. She develops internal and external communications plans to support fast growing companies

Source URL: artport-project.org

• Europe
• Genealogy
• Cultural promotion organizations
• Goethe-Institut
• Johann Wolfgang von Goethe
• Violeta
• Spain
• Valencia
• Carabobo

Targeted Sponsorship Policy What is a Targeted Sponsor? Targeted sponsors support the foundation by helping specific parts of the foundation. For example, targeted sponsors today donate cloud services, fund project hacka

Source URL: apache.org

• Economy
• Fundraising
• Philanthropy
• Sponsor
• The Apache Software Foundation
• Proposal
• Allstate
• Finance