The effort to demonstrate efficacy and safety of an oral phosphodiesterase III (PDE3)-inhibiting inotropic drug in patients with chronic heart failure has been long, arduous, and largely unsuccessful. 6 The persistence of the effort is based on the widely held perception that heart failure is precipitated and sustained by a left ventricular contractile deficit and that PDE3 inhibitors can corre...

“Amongst men, forgiveness can only mean: to give up vengeance, to keep quiet and do as if nothing happened, which means: to walk away by principle, while vengeance will always remain with the other and does not put an end to the relationship. ... Reconciliation, on the other hand, originates in the acceptance of what befalls us. ... Whoever reconciles with the other just accepts to carry on his...

The readiness to perform species typical social displays and the readiness to startle in reaction to novel stimuli are increased in socially isolated paradise fish. Males that are kept in large, bisexual populations or have been socially isolated for a few hours show low display and low startle readiness. Reactivity is increased following 1 day of social isolation, and a further increase is obt...

ment can be only a rough sketch of the intricate network of tropical-rainforest life. Leigh jokes that humans are not distinguished for their omniscience, and Ziegler reminds us how elusive are the visions of nature that he depicts. To fathom the web in all its detail, we will need to step up collaborations between scientists with diverse expertise and approaches. BCI, with its terrific facilit...

We present Relaxation Island, one of several Mood Devices we have developed with our partners as part of the EMMA (Engaging Media for Mental Health Applications) project. Mood Devices are interactive digital media and environments designed to alter the inter-actor’s psychological state. Relaxation Island was designed to support established relaxation techniques, as part of interventions to assi...

The dynamic nature of ontology development has motivated the formal study of ontology evolution problem. This paper addresses contraction —the problem of retracting information that should no longer hold in an ontology. We survey existing model and formula based semantics to contraction and investigate their properties for the description logics DL-Lite and EL, which underpin the QL and EL prof...

Applied mathematicians increasingly use computers to answer mathematical questions. We want to provide them domain-specific languages. The languages should have exact meanings and computational meanings. Some proof assistants can encode exact mathematics and extract programs, but formalizing the required theorems can take years. As an alternative, we develop λZFC, a lambda calculus that contain...

Following studies in the late 1990s that indicated that poor pharmacokinetics and toxicity were important causes of costly late-stage failures in drug development, it has become widely appreciated that these areas should be considered as early as possible in the drug discovery process. However, in recent years, combinatorial chemistry and high-throughput screening have significantly increased t...