Learn More
The ability to routinely analyze and quantitatively measure changes in protein phosphorylation on a proteome-wide scale is essential for biological and clinical research. We assessed the ability of three common phosphopeptide isolation methods (phosphoramidate chemistry (PAC), immobilized metal affinity chromatography (IMAC) and titanium dioxide) to(More)
We describe a method to identify cross-linked peptides from complex samples and large protein sequence databases by combining isotopically tagged cross-linkers, chromatographic enrichment, targeted proteomics and a new search engine called xQuest. This software reduces the search space by an upstream candidate-peptide search before the recombination step.(More)
Tracking of reference signals y ref (·) by the output y(·) of linear (as well as a considerably large class of nonlinear) single-input, single-output system is considered. The system is assumed to have strict relative degree two with (" weak ") stable zero dynamics. The control objective is tracking of the error e = y − y ref and its derivative ˙ e within(More)
Two similar stability notions are considered; one is the long established notion of convergent systems, the other is the younger notion of incremental stability. Both notions require that any two solutions of a system converge to each other. Yet these stability concepts are different, in the sense that none implies the other, as is shown in this paper using(More)
— We show that there exists a universal quantum Tur-ing machine (UQTM) that can simulate every other QTM until the other QTM has halted and then halt itself with probability one. This extends work by Bernstein and Vazirani who have shown that there is a UQTM that can simulate every other QTM for an arbitrary, but preassigned number of time steps. As a(More)
The main result establishes that if a controller C (comprising of a linear feedback of the output and its derivatives) globally stabilizes a (nonlinear) plant P , then global stabilization of P can also be achieved by an output feedback controller C[h] where the output derivatives in C are replaced by an Euler approximation with sufficiently small delay h >(More)
In most cases authors are permitted to post their version of the article (e.g. in Word or Tex form) to their personal website or institutional repository. Authors requiring further information regarding Elsevier's archiving and manuscript policies are encouraged to visit: Keywords: Wave energy Constrained optimal control Bangebang control Dynamic(More)
— For m-input, m-output, finite-dimensional, linear systems satisfying the assumptions (i) minimum phase, (ii) relative degree one and (iii) positive high-frequency gain), the funnel controller achieves output regulation in the following sense: all states of the closed-loop system are bounded and, most importantly, transient behaviour of the tracking error(More)
For m-input, m-output, finite-dimensional, linear systems satisfying the classical assumptions of adaptive control (i.e., (i) minimum phase, (ii) relative degree one and (iii) " positive " high-frequency gain), it is well known that the adaptive λ-tracker 'u = −k e, ˙ k = max{0, |e|−λ}|e|' achieves λ-tracking of the tracking error e if applied to such a(More)
We propose a development-compatible refunding system designed to mitigate climate change. Industrial countries pay an initial fee into a global fund. Each country chooses its national carbon tax. Part of the global fund is refunded to developing and industrial countries, in proportion to the relative emission reductions they achieve. Countries receive(More)