<--- Back to Details
First PageDocument Content
Chemistry / Physics / Quantum chemistry / Nature / Spectral theory / Density functional theory / Hybrid functional / Spectrum / Spin / HOMO/LUMO
Date: 2015-11-09 13:56:00
Chemistry
Physics
Quantum chemistry
Nature
Spectral theory
Density functional theory
Hybrid functional
Spectrum
Spin
HOMO/LUMO

Microsoft Word - liu_porphyrin_SI.docx

Add to Reading List

Source URL: www.columbia.edu

Download Document from Source Website

File Size: 1,73 MB

Share Document on Facebook

Similar Documents

Economy / Finance / Money / Stock market / Equity securities / Taxation in the United States / Corporate finance / Abbott Laboratories / Lake Bluff /  Illinois / AbbVie Inc. / Cost basis / Dividend

January 31, 2013 Re: Information for Canadian resident shareholders concerning the Canadian Income Tax Election on the spin-off of AbbVie Inc. from Abbott Laboratories

DocID: 1xW00 - View Document

Identity management / Data security / Law / Information governance / Terms of service / Privacy / Profiling / Internet privacy / Information privacy / Medical privacy

PRESS RELEASE Zurich, Best of both worlds in health science Advancience and healthbank The data science company, started as a spin-off project of Basel University, together with the GDPR compliant health data p

DocID: 1xVQI - View Document

Model checkers / Computing / Theoretical computer science / Software engineering / Formal methods / Promela / SPIN model checker / Model checking / Guard / Certificate / Formal verification / Printf format string

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

DocID: 1xVPm - View Document

Model checkers / Software engineering / Computing / Theoretical computer science / Model checking / Promela / Formal verification / SPIN model checker / Abstraction / Sizeof / Const

Tackling Large Software Verification Problems with Spin

DocID: 1xUQY - View Document

Model checkers / Software engineering / Computing / Electronic engineering / Theoretical computer science / Model checking / Swarm behaviour / Formal methods / Promela / Swarm / Software verification / SPIN model checker

Tackling Large Software Verification Problems with Spin

DocID: 1xTIc - View Document