Imperial College London

About: Imperial College London is a education organization based out in London, Westminster, United Kingdom. It is known for research contribution in the topics: Population & Medicine. The organization has 90019 authors who have published 209164 publications receiving 9337534 citations. The organization is also known as: Imperial College of Science, Technology and Medicine & Imperial College.

The Seattle Heart Failure Model Prediction of Survival in Heart Failure

Abstract: Background— Heart failure has an annual mortality rate ranging from 5% to 75%. The purpose of the study was to develop and validate a multivariate risk model to predict 1-, 2-, and 3-year survival in heart failure patients with the use of easily obtainable characteristics relating to clinical status, therapy (pharmacological as well as devices), and laboratory parameters. Methods and Results— The Seattle Heart Failure Model was derived in a cohort of 1125 heart failure patients with the use of a multivariate Cox model. For medications and devices not available in the derivation database, hazard ratios were estimated from published literature. The model was prospectively validated in 5 additional cohorts totaling 9942 heart failure patients and 17 307 person-years of follow-up. The accuracy of the model was excellent, with predicted versus actual 1-year survival rates of 73.4% versus 74.3% in the derivation cohort and 90.5% versus 88.5%, 86.5% versus 86.5%, 83.8% versus 83.3%, 90.9% versus 91.0%, and 89.6%...

Energy Harvesting From Human and Machine Motion for Wireless Electronic Devices

Abstract: Energy harvesting generators are attractive as inexhaustible replacements for batteries in low-power wireless electronic devices and have received increasing research interest in recent years. Ambient motion is one of the main sources of energy for harvesting, and a wide range of motion-powered energy harvesters have been proposed or demonstrated, particularly at the microscale. This paper reviews the principles and state-of-art in motion-driven miniature energy harvesters and discusses trends, suitable applications, and possible future developments.

Many-electron singularity in X-ray photoemission and X-ray line spectra from metals

Abstract: It is pointed out that the spectra of X-ray induced fast photoelectrons from metal should have a characteristic skew line shape resulting from Kondo-like many-electron interactions of the metallic conduction electrons with the accompanying deep hole in the final state. The same line shape should also occur for the discrete line spectra of X-rays emitted from metals. This mechanism could account for the well-known asymmetries observed for K alpha lines.

Proofs and types

Abstract: Sense, denotation and semantics natural deduction the Curry-Howard isomorphism the normalisation theorem Godel's system T coherence spaces denotational semantics of T sums in natural deduction system F coherence semantics of the sum cut elimination (Hauptsatz) strong normalisation for F representation theorem semantics of System F what is linear logic?