Browsing by Title
Now showing items 21-40 of 4784
-
A biosynthetic approach to the discovery of novel bioactive peptides
(University of CambridgeDepartment of Chemical Engineering and Biotechnology, 2012-05-08)Peptides represent a source of novel therapeutics for recalcitrant human diseases, but screening for bioactivity from natural or synthetic sources can be uneconomic. In contrast, in vivo expression of peptides from DNA ...
-
A combined experimental-numerical study to tensile behaviour of limestone
(Proceedings of the 3rd International Conference on Emerging Technologies in Non Destructive TestingProceedings of the 3rd International Conference on Emerging Technologies in Non Destructive Testing, 2003-01-01)In this paper, a combined experimental-computational study of double-edge notched stone specimen subject to cyclic tensile loading is presented. In the experimental part, the load-deformation response and the local ...
-
A Combined Pointer and Purity Analysis for Java Programs
(2004-05-17)We present a new method purity analysis for Java programs.A method is pure if it does not mutate any location that exists in the program state right before method invocation.Our analysis is built on top of a combined pointer ...
-
A Combined Stochastic and Greedy Hybrid Estimation Capability for Concurrent Hybrid Models with Autonomous Mode Transitions
(2006-04-28)Robotic and embedded systems have become increasingly pervasive in applicationsranging from space probes and life support systems to robot assistants. In order to act robustly in the physical world, robotic systems must ...
-
A comparative perspective on the evolution of Romance clausal structure
(John Benjamins PublishingDiachronica, 2016-12-19)This article presents a comparative analysis of the diachronic evolution of Romance clausal structure from Classical Latin through to the late medieval period, with particular reference to the Verb Second (V2) property. ...
-
A comparison and user-based evaluation of models of textual information structure in the context of cancer risk assessment
(2011-03-08)Abstract Background Many practical tasks in biomedicine require accessing specific types of information in scientific literature; e.g. information about the results or conclusions of the study in question. Several schemes ...
-
A comparison of computational methods for detecting bursts in neuronal spike trains and their application to human stem cell-derived neuronal networks
(American Physiological SocietyJournal of Neurophysiology, 2016-04-20)Accurate identification of bursting activity is an essential element in the characterization of neuronal network activity. Despite this, no one technique for identifying bursts in spike trains has been widely adopted. ...
-
A component assembly approach to digital library systems
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 2005)With the advent of the Internet came the promise of global information access. In keeping with this promise, Digital Libraries (DLs) began to emerge across the world as a method of providing structured information to their ...
-
A Consistency Management Layer for Inter-Domain Routing
(2006-01-27)This paper proposes an isolation layer -- a shim -- betweeninter-domain routing and packet forwarding. The job of this layer isto coordinate between Autonomous Systems (AS's) on when and how tomodify the forwarding state ...
-
A Constant-Factor Approximation Algorithm for Embedding Unweighted Graphs into Trees
(2004-07-05)We present a constant-factor approximation algorithm for computing anembedding of the shortest path metric of an unweighted graph into atree, that minimizes the multiplicative distortion.
-
A continuous/discontinuous Galerkin formulation for a strain gradient-dependent damage model
(4th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS)4th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS), 2004)The numerical solution of strain gradient-dependent continuum problems has been hindered by continuity demands on the basis functions. The presence of terms in constitutive models that involve gradients of the strain field ...
-
A continuous/discontinuous Galerkin formulation for a strain gradient-dependent damage model: 2D results
(Proceedings of the 6th World Congress on Computational Mechanics in Conjunction with theputational Mechanics 2nd Asian-Pacific Congress on Computational MechanicsProceedings of the 6th World Congress on Computational Mechanics in Conjunction with theputational Mechanics 2nd Asian-Pacific Congress on Computational Mechanics, 2004)The numerical solution of strain gradient-dependent continuum problems has been hindered by continuity demands on the basis functions. The presence of terms in constitutive models which involve gradients of the strain eld ...
-
A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership
(2003-09-25)We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set.
-
A Counter Example to Cercignani’s Conjecture for the d Dimensional Kac Model
(SpringerJournal of Statistical Physics, 2012-08-21)Kac’s d dimensional model gives a linear, many particle, binary collision model from which, under suitable conditions, the celebrated Boltzmann equation, in its spatially homogeneous form, arise as a mean field limit. The ...
-
A cybernetic perspective on methods and process models in collaborative designing
(2012-05)Cybernetic thinking provides a framework to understand the issues in creating and using methods and process models during collaborative designing. It can help understand what takes place while the creation and use is ...
-
A Data-Driven Feature Extraction Method for Enhanced Phonocardiogram Segmentation
In this work, we present a method to extract features from heart sound signals in order to enhance segmentation performance. The approach is data-driven, since the way features are extracted from the recorded signals is ...
-
A Dynamic Data Structure for Checking Hyperacyclicity
(2005-01-03)We present a dynamic data structure that keeps track of an acyclic hypergraph (equivalently, a triangulated graph) and enables verifying that adding a candidate hyperedge (clique) will not break the acyclicity of the ...
-
A Fast Approximation of the Bilateral Filter using a Signal Processing Approach
(2006-11-09)The bilateral filter is a nonlinear filter that smoothes a signal while preserving strong edges. It has demonstrated great effectiveness for a variety of problems in computer vision and computer graphics, and fast versions ...
-
A Few Days of A Robot's Life in the Human's World: Toward Incremental Individual Recognition
(2007-04-03)This thesis presents an integrated framework and implementation for Mertz, an expressive robotic creature for exploring the task of face recognition through natural interaction in an incremental and unsupervised fashion. ...
-
A finite dimensional approach to Donaldson's J-flow
Consider a projective manifold with two distinct polarisations $L_1$ and $L_2$. From this data, Donaldson has defined a natural flow on the space of Kähler metrics in $c_1$($L_1$), called the J-flow. The existence of a ...