✦ LIBER ✦

Verifying the Drude response

✍ Scribed by M. Dressel; M. Scheffler

Publisher: John Wiley and Sons
Year: 2006
Tongue: English
Weight: 347 KB
Volume: 15
Category: Article
ISSN: 0003-3804
DOI: 10.1002/andp.200510198

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dynamics of heavy fermions: Drude respon

Dynamics of heavy fermions: Drude response in and

✍ Marc Scheffler; Martin Dressel; Martin Jourdan; Hermann Adrian 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 91 KB

While the effective mass of heavy fermions governs their thermodynamics, the optical properties are dominated by the characteristic relaxation rate which is expected to scale inversely with the effective mass. At the relaxation rate clear features, the so-called Drude response occur in the real and

Verified bytecode verifiers

✍ Gerwin Klein; Tobias Nipkow 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Using the theorem prover Isabelle/HOL we have formalized and proved correct and executable bytecode veriÿer in the style of Kildall's algorithm for a signiÿcant subset of the Java Virtual Machine (JVM). First an abstract framework for proving correctness of data ow based type inference algorithms fo

Commemorating Paul Drude

✍ M. Dressel 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 23 KB

Nachruf: Paul Drude

✍ M. Planck 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 587 KB

The posthumous impact of Paul Drude

✍ M. Cardona; W. Marx 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 125 KB

The Drude model in correlated systems

✍ L. Degiorgi 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 380 KB