Call For Papers The International Workshop on Advances in Sensors and Interfaces is a premier Sensor and Interface design workshop aimed at bridging the gap between electronic design and integrated circuit technologies,

Source URL: iwasi2017.poliba.it

• Wireless networking
• Wireless sensor network
• Sensor
• cole Polytechnique Fdrale de Lausanne
• Technology
• Education in Switzerland
• Higher education

Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box

Source URL: staff.washington.edu

• Health
• Computing
• Medical physics
• Formal methods
• Theoretical computer science
• Therapy
• Information and communications technology
• Radiation therapy
• Z notation
• Computer
• Software

Radical Routes a network of co-operatives working for social change Social Accounts covering period to 31st December 2012

Source URL: www.rootstock.org.uk

• Business models
• Market socialism
• Structure
• Social programs
• Economy
• Housing cooperative
• Real estate
• Radical Routes
• Cooperative
• Consumers' co-operative
• The Co-operative brand
• Worker cooperative

/usr/local/5pF A Character Creation System for use with: Document version: based upon: Five-Point Fudge, as presented in the Fudge System Reference Documentedition).

Source URL: wanderinghorse.net

Cocos BlockChain Expedition A Development and Operating Environment for Decentralized Gaming Applications and Digital Assets Sep 2018 H. Chen, K. Yin, R. Yang

Source URL: www.cocosbcx.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Decentralization
• Computing
• Distributed computing
• Alternative currencies
• Ethereum
• Non-fungible token
• Smart contract
• Decentralized application
• CryptoKitties

• Fabriscale is a user friendly and reliable fabric manager for InfiniBand • Will ensure more efficient operation of data centers and clusters

Source URL: hpcadvisorycouncil.com

• Network architecture
• Computing
• Internet architecture
• Computer architecture
• Network topology
• Local area networks
• Routing
• Network switch
• Computer network
• Software-defined networking
• Virtual LAN
• Fat tree

U R B A N PA R K S Communal spaces for greater sustainability Photographic artist Simon Roberts says that cities have gradually opened up more of their private land for public use, driven by the

Source URL: perspectives.pictet.com

• Landscape
• Urban planning
• Natural environment
• Sustainability
• Sustainable city
• Urban park
• Park
• Human behavior
• Nature

Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

Source URL: dream.inf.ed.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Propositional calculus
• Logic in computer science
• Logical truth
• Linear temporal logic
• First-order logic
• Well-formed formula
• Interpretation
• Intuitionistic logic

CENTRIFUGE OS A Decentralized Operating System For The Financial Supply Chain www.centrifuge.io

Source URL: www.centrifuge.io

• Supply chain management
• Computing
• Computer architecture
• Economy
• Decentralization
• Cryptocurrencies
• File sharing
• Peer-to-peer
• Supply-chain management
• Blockchain
• Internet privacy
• Supply chain

Following an information request from HSBC for the Common Reporting Standard ("CRS") in relation to an account holder ("Account Holder"), if you sign a CRS self-certification form and/or provide the requested information

Source URL: www.crs.hsbc.com

• Economy
• International taxation
• Finance
• Common Reporting Standard
• Organisation for Economic Co-operation and Development
• Standards
• Money
• HSBC