Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

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

2014 International Conference on Embedded and Ubiquitous Computing Understanding the Dynamic Caches on Intel Processors: Methods and Applications Yi Zhang, Nan Guan Department of Computer Science and Technology Northeas

Source URL: user.it.uu.se

CAUC’s Aerial Robot for IARC 2014 WANG Yao, YUE Fengfa, ZENG Zhengchao, JIN Yabo, ZHANG Yunhao, ZHAO Long, SHI Yongzheng, JIANG Nan, HUO Lu Civil Aviation University of China ABSTRACT To complete the 7th mission of the

Source URL: www.aerialroboticscompetition.org

Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

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

Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

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

Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

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

Measuring Global Flow of Funds and Integrating Real and Financial Accounts:. Concepts, Data Sources and Approaches Nan Zhang (Stanford University) Discussant: Dennis Fixler (Bureau of Economic Analysis)

Source URL: iariw.org

Measuring Global Flow of Funds and Integrating Real and Financial Accounts Nan Zhang (Stanford University) Paper Abstract: The main purpose of this paper is to measure Global Flow of Funds (GFF) and apply it to

Source URL: iariw.org

• Economy
• National accounts
• Economic indicators
• Economics
• Social statistics
• Official statistics
• Computer file formats
• Economic data
• General feature format
• Balance of payments
• Flow of funds
• Financial accounting

Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong CPU-GPU Hybrid Parallel Binomial American Option Pricing Nan Zhang, Eng Gee Li

Source URL: www.bpti.lt

• Parallel computing
• Computing
• Computer architecture
• Computer engineering
• Graphics processing unit
• Multi-core processor
• Thread block
• Manycore processor
• General-purpose computing on graphics processing units

Measuring Global Flow of Funds and Integrating Real and Financial Accounts: Concepts, Data Sources and Approaches Nan Zhang (Stanford University)

Source URL: iariw.org

• National accounts
• Economic indicators
• International finance
• World economy
• International trade
• Flow of funds
• Current account
• Foreign-exchange reserves
• Asset liability management
• Balance of payments
• Financial crisis of 200708
• Foreign direct investment