3,366,338 Works

SymbexNet: Checking Network Protocol Implementations using Symbolic Execution

JaeSeung Song
The implementations of network protocols, such as DNS, DHCP and Zeroconf, are prone to flaws, security vulnerabilities and interoperability issues caused by ambiguous requirements in protocol specifications. Detecting such problems is not easy because (i) many bugs manifest themselves only after prolonged operation; (ii) the state space of complex protocol implementations is large; and (iii) problems often require additional information about correct behaviour from specifications. This thesis presents a novel approach to detect various types...

Design, Synthesis and Applications Of Novel Multi-Functional Imaging Agents

Myra Sae-Heng
This thesis is concerned with designing and synthesising novel chemosensors for use as multi-functional imaging agents for both MRI and optical imaging towards Zn2+ sensing. The divalent zinc ion (Zn2+) is an essential biological element for living organisms and partakes in a number of biological mechanisms. As a result, any Zn2+ change in its homeostasis can lead to implications to a broad range of pathologies, both physical and neurological. This has made imaging Zn2+ ions...

Trapped Modes of the Helmholtz Equation

Cristina Vasilica Sargent
In the framework of the classical theory of linearised water waves in unbounded domains, trapped modes consist of non-propagating, localised oscillation modes of finite energy occurring at some well-defined frequency and which, in the absence of dissipation, persist in time even in the absence of external forcing. Jones (1953) proved the existence of trapped modes for problems governed by the Helmholtz equation in semi-infinite domains. Trapped modes have been studied in quantum mechanics, elasticity and...

Controls on the flow regime and thermal structure of the subduction zone mantle wedge: a systematic 2-D and 3-D investigation

Giuseppe Le Voci
Arc volcanism at subduction zones is likely regulated by the mantle wedge’s flow regime and thermal structure and, hence, numerous studies have attempted to quantify the princi- pal controls on mantle wedge conditions. In this thesis, we build on these previous studies by undertaking the first systematic 2-D and 3-D numerical investigations, across a wide parameter-space, into how hydration, thermal buoyancy and toroidal flow around the slab edge influence the wedge’s flow regime and associated...

Herpes Simplex Virus Type 1 Infection Of Human Keratinocyte Cells

Charlotte Sayers
Infection of herpes simplex virus type 1 (HSV-1) begins at the epidermis, a stratified layer composed primarily of keratinocytes. The physiologically relevant cell type for the study of HSV-1 assembly is therefore the human keratinocyte. Nonetheless, relatively little is known about the replication of HSV-1 in this natural host cell. Comparison of virus growth in monolayers of keratinocyte cells and Vero cells, a routinely used cell line for HSV-1 studies, revealed that these keratinocytes support...

A Photoplethysmography System Optimised for Pervasive Cardiac Monitoring

James Patterson
Photoplethysmography is a non-invasive sensing technique which infers instantaneous cardiac function from an optical measurement of blood vessels. This thesis presents a photoplethysmography based sensor system that has been developed speci fically for the requirements of a pervasive healthcare monitoring system. Continuous monitoring of patients requires both the size and power consumption of the chosen sensor solution to be minimised to ensure the patients will be willing to use the device. Pervasive sensing also requires...

TREND: United States Census Bureau. Historical Income Tables: Households: Table H-1. Income Limits for Each Fifth and Top 5 Percent | Race/Ethnicity: All Races | Indicator Item: Number of Households | Indicator: Count, 1967 - 2017. Data Planet™ Statistical Datasets: A SAGE Publishing Resource Dataset-ID: 001-063-001

United States Census Bureau
United States Census Bureau. Historical Income Tables: Households: Table H-1. Income Limits for Each Fifth and Top 5 Percent | Race/Ethnicity: All Races | Indicator Item: Number of Households | Indicator: Count, 1967 - 2017. Data Planet™ Statistical Datasets: A SAGE Publishing Resource Dataset-ID: 001-063-001 Dataset: Reports income limits of households by income quintile by race and Hispanic origin of householder in current year dollars and current year CPI-U-RS (Consumer Price Index for All Urban...

Mechanisms of Idiopathic Bile Acid Malabsorption and Diarrhoea

Sanjeev Pattni
Bile acid malabsorption or diarrhea (BAM or BAD) is a syndrome of chronic watery diarrhoea diagnosed predominantly by a SeHCAT test and less commonly by measuring levels of 7-hydroxy-4-cholesten-3-one (C4) and furthermore responds to bile acid sequestrants (BAS). Primary bile acid diarrhoea (PBAD) is the condition with no definitive cause and is under diagnosed, often being labelled as IBS-diarrhoea with an associated burden of disease for patients. Recently an alternative mechanism for PBAD involving impaired...

Measurement of the electron charge asymmetry in inclusive W production in pp collisions at √s = 7 TeV in the CMS experiment.

Martyn Jarvis
In this thesis, two measurements of the electron charge asymmetry in inclusive W boson production with the CMS detector are presented. The measurements are obtained from proton-proton collision data with sqrt(s) = 7 TeV. The first measurement is performed with data corresponding to an integrated luminosity of 36 pb-1 collected by the CMS detector in 2010 and the second one uses data corresponding to 840 pb-1 collected during the first half of 2011. In proton-proton...

Geometrical Modelling Of Woven Composites

Emily Potter
Geometrical modelling of 3D woven composites represents a key part in both material and component design. Using current modelling techniques it can be difficult to correctly mesh unit cell (UC) models and apply the necessary periodic boundary conditions (PBCs), often with sacrifices made in idealisation of the weave architecture. An automated voxel meshing technique suitable for modelling woven composite UCs has been developed, which is generic in nature and allows incorporation of architectural weave deformities,...

Role of Chronic Shear Stress in Endothelial Form and Function

Claire Potter
Endothelial cells in vivo exist in a dynamic environment, subject to the physical forces of blood flow as it is regulated through the cardiac cycle. Arguably, the most important force endothelial cells are subject to is shear stress, the frictional force of blood flow across the cell surface. Areas of the vasculature that experience laminar shear stress appear resistant to the development of atherosclerotic plaques, whereas those that experience low shear stress, due to complex...

Semantic Types for Class-based Objects

Reuben Rowe
We investigate semantics-based type assignment for class-based object-oriented programming. Our motivation is developing a theoretical basis for practical, expressive, type-based analysis of the functional behaviour of object-oriented programs. We focus our research using Featherweight Java, studying two notions of type assignment:- one using intersection types, the other a ‘logical’ restriction of recursive types. We extend to the object-oriented setting some existing results for intersection type systems. In doing so, we contribute to the study of...

Bayesian biclustering algorithms and their application to gene expression data

Anna Fowler
Biclustering identifies subsets of rows and columns of a data matrix which are similar, revealing an underlying structure which may be obscured when clustering either rows or columns independently. Gene expression data sets typically contain measurements from thousands of genes for a comparatively small number of samples, or time points. Therefore, biclustering models and algorithms need to be robust to imbalanced dimensions if they are to be effectively applied to gene expression data. In this...

Occurrence download Eucalyptus_populnea_records

Atlas Of Living Australia
ALA occurrence record download

Simplifying reservoir models by flow regime

Bilal Rashid
This study focuses on the interaction between geological heterogeneity and the reservoir processes which govern fluid flow in porous media. We have developed and tested a measure of heterogeneity which uses the coefficient of variation of the vorticity of the flow field to quantify the impact of geological uncertainty on oil recovery. We go on to explore the vorticity formulation of the equations of motion in porous media as a basis for understanding reservoir dynamics,...

The Scapula in Musculoskeletal Modelling of Extreme Activities

Joe Prinold
This thesis presents a musculoskeletal model that predicts the muscle and joint forces in the upper limb during an extreme activity. The scapula is an important link in the kinematic and dynamic chain of the upper limb; with its muscles acting as the primary stabilisers to the inherently unstable glenohumeral joint, thus allowing effective transmission of load through the kinematic chain of the shoulder. This bone is poorly represented in musculoskeletal models during these activities....

Glass-ceramic scaffolds with tailored surface topography and additional bioactive functions for bone tissue engineering

Decheng Meng
The focus of this thesis was to develop new highly porous (>90% porosity) Bioglass®-based glass-ceramic scaffolds (fabricated by the foam replica method) in order to enhance the scaffold cellular response and biological performance and to improve the scaffold suitability for future clinical applications by adding new functions. In the first part of the project, techniques were developed to introduce or engineer nanoscale topography on the surfaces of 3D scaffolds, these included: i) carbon nanotube (CNT)...

CCDC 1944335: Experimental Crystal Structure Determination

Yagi, Atsumi, Kondo, Takeshi, Yamashita, Daisuke, Wachi, Naruhiko, Omori, Hiroto, Fukui, Norihito, Ikeue, Takahisa & Shinokubo, Hiroshi
Related Article: Atsumi Yagi, Takeshi Kondo, Daisuke Yamashita, Naruhiko Wachi, Hiroto Omori, Norihito Fukui, Takahisa Ikeue, Hiroshi Shinokubo|2019|Chem.-Eur.J.|||doi:10.1002/chem.201903639

CCDC 1944334: Experimental Crystal Structure Determination

Yagi, Atsumi, Kondo, Takeshi, Yamashita, Daisuke, Wachi, Naruhiko, Omori, Hiroto, Fukui, Norihito, Ikeue, Takahisa & Shinokubo, Hiroshi
Related Article: Atsumi Yagi, Takeshi Kondo, Daisuke Yamashita, Naruhiko Wachi, Hiroto Omori, Norihito Fukui, Takahisa Ikeue, Hiroshi Shinokubo|2019|Chem.-Eur.J.|||doi:10.1002/chem.201903639

CCDC 1943429: Experimental Crystal Structure Determination

Hsu, Ling‐Yang, Liang, Qiumin, Wang, Zhiheng, Kuo, Hsin‐Hung, Tai, Wun‐Shan, Su, Shi‐Jian, Zhou, Xiuwen, Yuan, Yi & Chi, Yun
Related Article: Ling‐Yang Hsu, Qiumin Liang, Zhiheng Wang, Hsin‐Hung Kuo, Wun‐Shan Tai, Shi‐Jian Su, Xiuwen Zhou, Yi Yuan, Yun Chi|2019|Chem.-Eur.J.|||doi:10.1002/chem.201903707

CCDC 1943265: Experimental Crystal Structure Determination

Hsu, Ling‐Yang, Liang, Qiumin, Wang, Zhiheng, Kuo, Hsin‐Hung, Tai, Wun‐Shan, Su, Shi‐Jian, Zhou, Xiuwen, Yuan, Yi & Chi, Yun
Related Article: Ling‐Yang Hsu, Qiumin Liang, Zhiheng Wang, Hsin‐Hung Kuo, Wun‐Shan Tai, Shi‐Jian Su, Xiuwen Zhou, Yi Yuan, Yun Chi|2019|Chem.-Eur.J.|||doi:10.1002/chem.201903707

CCDC 1941055: Experimental Crystal Structure Determination

Clement, Helen A., Boghi, Michele, McDonald, Rory M., Bernier, Louise, Coe, Jotham W., Farrell, William, Helal, Christopher J., Reese, Matthew R., Sach, Neal W., Lee, Jack C. & Hall, Dennis G.
Related Article: Helen A. Clement, Michele Boghi, Rory M. McDonald, Louise Bernier, Jotham W. Coe, William Farrell, Christopher J. Helal, Matthew R. Reese, Neal W. Sach, Jack C. Lee, Dennis G. Hall|2019|Angew.Chem.,Int.Ed.|||doi:10.1002/anie.201909308

CCDC 1939932: Experimental Crystal Structure Determination

Zhu, Li-Na, Deng, Zhao-Peng, Huo, Li-Hua & Gao, Shan
Related Article: Li-Na Zhu, Zhao-Peng Deng, Li-Hua Huo, Shan Gao||CrystEngComm|||doi:10.1039/C9CE01210A

Registration Year

  • 2019
    3,366,338

Resource Types

  • Text
    1,012,451
  • Dataset
    958,393
  • Image
    742,179
  • Collection
    86,175
  • PhysicalObject
    79,683
  • Other
    76,562
  • Software
    33,901
  • Audiovisual
    29,470
  • Sound
    21,508
  • InteractiveResource
    4,224
  • Event
    2,488
  • DataPaper
    1,580
  • Workflow
    1,162
  • Model
    108
  • Service
    41

Data Centers

  • Zenodo
    784,490
  • figshare Academic Research System
    265,134
  • Columbia University Libraries
    215,279
  • Harvard IQSS Dataverse
    164,896
  • Global Biodiversity Information Facility
    149,276
  • AgEcon Search
    136,800
  • ResearchGate
    113,906
  • E-Pics Bildarchiv
    93,216
  • Biodiversity Institute of Ontario
    83,434
  • DSMZ
    80,584
  • International Treaty on Plant Genetic Resources for Food and Agriculture
    67,096
  • The Cambridge Structural Database
    54,974
  • University Library Heidelberg
    54,218
  • HU Berlin - Excellence Cluster Topoi, Freie Universität Berlin/Humboldt-Universität zu Berlin
    47,511
  • E-Periodica
    40,149

Affiliations

  • Imperial College London
    5,333
  • Old Dominion University
    846
  • University of Kentucky
    164
  • Utah State University
    157
  • Bank of Canada
    104
  • International Institute of Tropical Agriculture
    77
  • National Marine Fisheries Service
    69
  • International Institute of Tropical Agriculture
    69
  • Centre for Ecology and Hydrology
    61