Search results for: C J Langmead
article
British Journal of Pharmacology > 171 > 2 > 351 - 363
Orexin receptor antagonism represents a novel approach for the treatment of insomnia that directly targets sleep/wake regulation. Several such compounds have entered into clinical development, including the dual orexin receptor antagonists, suvorexant and almorexant. In this study, we have used equilibrium and kinetic binding studies with the orexin‐2 (OX2) selective antagonist radioligand, [3H]‐EMPA,...
chapter
The development of mechanistic computational models of biological systems continues to be an iterative manual process that requires considerable insight and patience from the modeler. An abundance of high throughput experimental methods has caused a rapid explosion of factual information about the behavior of biochemical systems. A signature based symbolic approach for automatic synthesis of biological...
chapter
Exhaustive state space exploration based verification of embedded system designs remains a challenge despite three decades of active research into Model Checking. On the other hand, simulation based verification of even critical embedded system designs is often subject to financial budget considerations in practice. In this paper, we suggest an algorithm that minimizes the overall cost of producing...
chapter
Computer science and biology have inspired each other by drawing analogies. Biological molecules are even used directly as new material building blocks for creating next generation computer hard- and software. Recently, biology is moving to larger scales, generating datasets of high complexity and size. This allows moving from studies of individual biological entities such as proteins to their complex...
