Zhao

Results: 1297



#Item
781Models of computation / Lambda calculus / Type theory / Simply typed lambda calculus / Theory of computation / Valuation / Type system / Equivalence relation / Natural deduction / Theoretical computer science / Mathematics / Computer science

Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:18
782Honorifics / Double taxation / Tax / Business / Economics / Money / Taxation in the United States / International taxation / Excellency

EXCHANGE OF NOTES His Excellency Zhao Ziyang, Premier of the State Council of the People’s Republic of China.

Add to Reading List

Source URL: 202.108.90.130

Language: English
783Computing / Abstract factory pattern / Factory method pattern / Design Patterns / Class / Object-oriented design / Factory / Creational pattern / Object-oriented programming / Software design patterns / Software engineering / Computer programming

Design Patterns: Modelling in UML and Implementation Using C# Dr Jie Zhao, Dunstan Thomas Consulting Summary Design Patterns are proven design solutions to some common problems we face in software

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:34
784Cell biology / Developmental biology / Diabetes / Diabetes mellitus type 1 / Stem cell / Cord blood / Insulin / Stem cell treatments / Cell therapy / Biology / Stem cells / Biotechnology

Diabetes Awareness Month Practical Cure Interview Series: Stem Cell Educator The next interview in our Practical Cure series is the Stem Cell Educator, led by Dr. Yong Zhao at the Hackensack Medical Center. In the recent

Add to Reading List

Source URL: www.thejdca.org

Language: English - Date: 2014-12-08 10:22:30
785Wind wave model / Tropical cyclone / Atmospheric model / Hurricane Weather Research and Forecasting model / Sea surface temperature / North Atlantic tropical cyclone / Sverdrup Gold Medal Award / Tropical Atlantic SST Dipole / Atmospheric sciences / Meteorology / Physical oceanography

The CBLAST-Hurricane Program and the NextGeneration Fully Coupled Atmosphere–Wave–Ocean Models for Hurricane Research and Prediction BY SHUYI S. CHEN, JAMES F. PRICE, WEI ZHAO, MARK A. DONELAN, AND EDWARD J. WALSH

Add to Reading List

Source URL: www2.mmm.ucar.edu

Language: English - Date: 2014-04-18 12:46:56
786Data General / Data General AOS

The  Arctic  Observing  Summit   Craig  M.  Lee,  Martin  Jakobsson  and  Jinping  Zhao   Objectives   The  Arctic  Observing  Summit  (AOS)  will  provide  a

Add to Reading List

Source URL: www.arcticobserving.org

Language: English - Date: 2015-03-09 10:50:30
787Computing / Software design / UML diagrams / Diagrams / Knowledge representation / Unified Modeling Language / Class diagram / Object-oriented design / Object-oriented analysis and design / Software engineering / Software development / Object-oriented programming

Robust Object Oriented System Analysis Dr Jie Zhao, Dunstan Thomas Consulting Summary Uses cases are widely accepted as the best approach to capturing system requirements, in particular, functional requirements. However,

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:35
788Quasiparticles / Spintronics / Exciton

PHYSICAL REVIEW E 69, 032902 共2004兲 Low-lying excited states of light-harvesting system II in purple bacteria Yang Zhao, Man-Fai Ng, and GuanHua Chen Department of Chemistry, University of Hong Kong, Hong Kong, Peop

Add to Reading List

Source URL: yangtze.hku.hk

Language: English - Date: 2010-12-19 08:35:05
789Graph operations / NP-complete problems / Line graph / Graph / Matching / Degree / Neighbourhood / Tree / Shortest path problem / Graph theory / Mathematics / Theoretical computer science

Efficient Subgraph Matching on Billion Node Graphs Zhao Sun ∗ Fudan University

Add to Reading List

Source URL: vldb.org

Language: English - Date: 2012-05-30 02:58:50
790Atomic physics / Spectroscopy / Quasiparticles / Spintronics / Exciton / Fluorophore / Energy level / Transition dipole moment / Chemical bond / Chemistry / Physics / Quantum chemistry

J. Phys. Chem. B 2003, 107, [removed]Low-Lying Excited States of Light-Harvesting System II in Purple Bacteria Man-Fai Ng, Yang Zhao, and Guan-Hua Chen*

Add to Reading List

Source URL: yangtze.hku.hk

Language: English - Date: 2010-12-19 08:35:06
UPDATE