Now showing items 1996-2015 of 9603

• #### A Dependent Type Theory with Abstractable Names ﻿

(Elsevier, 2015-04-24)
This paper describes a version of Martin-Löf's dependent type theory extended with names and constructs for freshness and name-abstraction derived from the theory of nominal sets. We aim for a type theory for computing and ...
• #### Depletion of polycistronic transcripts using short interfering RNAs: cDNA synthesis method affects levels of non-targeted genes determined by quantitative PCR ﻿

(2013-05-21)
Abstract Background Short interfering RNAs (siRNAs) are often used to deplete viral polycistronic transcripts, such as those encoded by human papillomavirus (HPV). There are conflicting data in the literature concerning ...
• #### Depletion of the RNA-binding protein RBP33 results in increased expression of silenced RNA polymerase II transcripts in Trypanosoma brucei ﻿

(PLOS, 2014-09-12)
We have characterized the RNA-binding protein RBP33 in Trypanosoma brucei, and found that it localizes to the nucleus and is essential for viability. The subset of RNAs bound to RBP33 was determined by immunoprecipitation ...
• #### Depressed mantle discontinuities beneath Iceland: Evidence of a garnet controlled 660 km discontinuity? ﻿

(Elsevier, 2015-11-09)
The presence of a mantle plume beneath Iceland has long been hypothesised to explain its high volumes of crustal volcanism. Practical constraints in seismic tomography mean that thin, slow velocity anomalies representative ...
• #### Depression and Sexual Orientation During Young Adulthood: Diversity Among Sexual Minority Subgroups and the Role of Gender Nonconformity ﻿

(Springer, 2015-04-14)
Sexual minority individuals are at an elevated risk for depression compared to their heterosexual counterparts, yet less is known about how depression status varies across sexual minority subgroups (i.e., mostly heterosexuals, ...
• #### Depression following traumatic brain injury: A functional connectivity perspective ﻿

(Taylor & Francis, 2016-07-28)
Introduction: Despite the mounting evidence that depression is one of the most common psychiatric sequelae in survivors of traumatic brain injury (TBI), no studies so far have attempted to provide an explanation in terms ...
• #### Deregulation of hydroxybutyric acid metabolism provides diagnostic and prognostic biomarkers in ovarian high-grade serous carcinomas ﻿

(American Association for Cancer Research, 2016)
Ovarian cancer is a heterogeneous disease of low prevalence but poor survival. Early diagnosis is critical for patients’ survival but often challenging because ovarian cancer symptoms are unclear and appear only in advanced ...
• #### Deregulation of Osmotic Regulation Machinery Explains and Predicts Cellular Transformation in Cancer and Disease ﻿

(Springer, 2016-09-06)
• #### The derivative discontinuity of the exchange–correlation functional ﻿

(Royal Society of Chemistry, 2014-06-02)
The derivative discontinuity is a key concept in electronic structure theory in general and density functional theory in particular. The electronic energy of a quantum system exhibits derivative discontinuities with respect ...
• #### DermO; an ontology for the description of dermatologic disease ﻿

(BioMed Central, 2016-06-13)
${\bf Background:}$ There have been repeated initiatives to produce standard nosologies and terminologies for cutaneous disease, some dedicated to the domain and some part of bigger terminologies such as ICD-10. Recently, ...
• #### The Descent of Culture ﻿

(OUP, 2014)
• #### Describing complex design practices with a cross-domain framework: Learning from Synthetic Biology and Swarm Robotics ﻿

(Springer, 2016-03-02)
This paper reports on the development of a cross-domain framework for describing complex design practices. The framework is grounded in studies of two different complex design fields: Synthetic Biology and Swarm Robotics. ...
• #### The descriptive epidemiology of accelerometer-measured physical activity in older adults ﻿

(BioMed Central, 2016-01-07)
Background: Objectively measured physical activity between older individuals and between populations has been poorly described. We aimed to describe and compare the variation in accelerometry data in older UK (EPIC-Norfolk) ...
• #### Design and data modelling of fibre optic systems to monitor reinforced concrete structural elements ﻿

(ASCE, 2015)
Structural monitoring of built assets, performed to ensure safety, usability, and to better understand the assets’ structural behaviour, is becoming common practice. One method to monitor structural behaviour is to use ...
• #### Design and delivery of a national pilot survey of capabilities ﻿

(Inderscience Publishers, 2014-02-19)
Understanding the numbers of people with different levels of ability in the population is important for informing design decisions for mainstream products, but a survey dataset for this purpose does not exist. This paper ...
• #### Design and implementation of a low-power hybrid capacitive MEMS oscillator ﻿

(Elsevier, 2016-10-01)
This paper reports on the design and implementation of a low power MEMS oscillator based on capacitively transduced silicon micromachined resonators. The analysis shows how design parameters of MEMS resonator impact on the ...
• #### Design and Modelling of Solidly-Mounted Resonators for Low-Cost Particle Sensing ﻿

(IOP Science, 2015-12-18)
This work presents the design and fabrication of Solidly Mounted Resonator (SMR) devices for the detection of particulate matter (PM2.5 and PM10) in order to develop a smart low-cost particle sensor for air quality. These ...
• #### Design and validation of a near-infrared fluorescence endoscope for detection of early esophageal malignancy using a targeted imaging probe ﻿

(SPIE, 2016-08-04)
Barrett’s esophagus is a known precursor lesion to esophageal adenocarcinoma. In these patients, early detection of premalignant disease, known as dysplasia, allows curative minimally invasive endoscopic therapy, but is ...
• #### Design Considerations for the Brushless Doubly-Fed (Induction) Machine ﻿

(IET, 2015)
A design procedure for the Brushless Doubly Fed machine is based on equations derived from a simplified equivalent circuit. The method allows the many variables in the design of this machine to be handled in straightforward ...
• #### Design of a low-cost and compact 1 × 5 wavelength-selective switch for access networks ﻿

(The Optical Society, 2015-09-16)
This paper describes the design, modeling, construction, and testing of a low-cost and compact (80  mm×50  mm) 1×5 wavelength-selective switch. The core beam-deflecting element of the switch is a nematic liquid crystal on ...