@inproceedings{3183, abstract = {This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/contrast or from stereo alone is known to be error-prone. Here, colour, contrast and stereo matching information are fused to infer layers accurately and efficiently. The first algorithm, Layered Dynamic Programming (LDP), solves stereo in an extended 6-state space that represents both foreground/background layers and occluded regions. The stereo-match likelihood is then fused with a contrast-sensitive colour model that is learned on the fly, and stereo disparities are obtained by dynamic programming. The second algorithm, Layered Graph Cut (LGC), does not directly solve stereo. Instead the stereo match likelihood is marginalised over foreground and background hypotheses, and fused with a contrast-sensitive colour model like the one used in LDP. Segmentation is solved efficiently by ternary graph cut. Both algorithms are evaluated with respect to ground truth data and found to have similar perfomance, substantially better than stereo or colour/contrast alone. However, their characteristics with respect to computational efficiency are rather different. The algorithms are demonstrated in the application of background substitution and shown to give good quality composite video output.}, author = {Vladimir Kolmogorov and Criminisi, Antonio and Blake, Andrew and Cross, Geoffrey and Rother, Carsten}, pages = {407 -- 414}, publisher = {IEEE}, title = {{Bi-layer segmentation of binocular stereo video}}, doi = {10.1109/CVPR.2005.91}, volume = {2}, year = {2005}, } @inproceedings{3182, abstract = {In the work of the authors (2003), we showed that graph cuts can find hypersurfaces of globally minimal length (or area) under any Riemannian metric. Here we show that graph cuts on directed regular grids can approximate a significantly more general class of continuous non-symmetric metrics. Using submodularity condition (Boros and Hammer, 2002 and Kolmogorov and Zabih, 2004), we obtain a tight characterization of graph-representable metrics. Such "submodular" metrics have an elegant geometric interpretation via hypersurface functionals combining length/area and flux. Practically speaking, we attend 'geo-cuts' algorithm to a wider class of geometrically motivated hypersurface functionals and show how to globally optimize any combination of length/area and flux of a given vector field. The concept of flux was recently introduced into computer vision by Vasilevskiy and Siddiqi (2002) but it was mainly studied within variational framework so far. We are first to show that flux can be integrated into graph cuts as well. Combining geometric concepts of flux and length/area within the global optimization framework of graph cuts allows principled discrete segmentation models and advances the slate of the art for the graph cuts methods in vision. In particular we address the "shrinking" problem of graph cuts, improve segmentation of long thin objects, and introduce useful shape constraints.}, author = {Vladimir Kolmogorov and Boykov, Yuri}, pages = {564 -- 571}, publisher = {IEEE}, title = {{What metrics can be approximated by geo cuts or global optimization of length area and flux}}, doi = {10.1109/ICCV.2005.252}, volume = {1}, year = {2005}, } @inproceedings{3181, abstract = {Tree-reweighted max-product (TRW) message passing [9] is a modified form of the ordinary max-product algorithm for attempting to find minimal energy configurations in Markov random field with cycles. For a TRW fixed point satisfying the strong tree agreement condition, the algorithm outputs a configuration that is provably optimal. In this paper, we focus on the case of binary variables with pairwise couplings, and establish stronger properties of TRW fixed points that satisfy only the milder condition of weak tree agreement (WTA). First, we demonstrate how it is possible to identify part of the optimal solution - i.e., a provably optimal solution for a subset of nodes - without knowing a complete solution. Second, we show that for submodular functions, a WTA fixed point always yields a globally optimal solution. We establish that for binary variables, any WTA fixed point always achieves the global maximum of the linear programming relaxation underlying the TRW method.}, author = {Vladimir Kolmogorov and Wainwright, Martin J}, pages = {316 -- 323}, publisher = {AUAI Press}, title = {{On the optimality of tree reweighted max product message passing}}, year = {2005}, } @article{3417, abstract = {Recently, direct measurements of forces stabilizing single proteins or individual receptor–ligand bonds became possible with ultra-sensitive force probe methods like the atomic force microscope (AFM). In force spectroscopy experiments using AFM, a single molecule or receptor–ligand pair is tethered between the tip of a micromachined cantilever and a supporting surface. While the molecule is stretched, forces are measured by the deflection of the cantilever and plotted against extension, yielding a force spectrum characteristic for each biomolecular system. In order to obtain statistically relevant results, several hundred to thousand single-molecule experiments have to be performed, each resulting in a unique force spectrum. We developed software and algorithms to analyse large numbers of force spectra. Our algorithms include the fitting polymer extension models to force peaks as well as the automatic alignment of spectra. The aligned spectra allowed recognition of patterns of peaks across different spectra. We demonstrate the capabilities of our software by analysing force spectra that were recorded by unfolding single transmembrane proteins such as bacteriorhodopsin and NhaA. Different unfolding pathways were detected by classifying peak patterns. Deviant spectra, e.g. those with no attachment or erratic peaks, can be easily identified. The software is based on the programming language C++, the GNU Scientific Library (GSL), the software WaveMetrics IGOR Pro and available open-source at http://bioinformatics.org/fskit/.}, author = {Kuhn, Michael and Harald Janovjak and Hubain, Maurice and Mueller, Daniel J}, journal = {Journal of Microscopy}, number = {2}, pages = {125 -- 132}, publisher = {Wiley-Blackwell}, title = {{Automated alignment and pattern recognition of single-molecule force spectroscopy data}}, doi = {10.1111/j.1365-2818.2005.01478.x}, volume = {218}, year = {2005}, } @article{3416, abstract = {In the last decade atomic force microscopy has been used to measure the mechanical stability of single proteins. These force spectroscopy experiments have shown that many water-soluble and membrane proteins unfold via one or more intermediates. Recently, Li and co-workers found a linear correlation between the unfolding force of the native state and the intermediate in fibronectin, which they suggested indicated the presence of a molecular memory or multiple unfolding pathways (1). Here, we apply two independent methods in combination with Monte Carlo simulations to analyze the unfolding of α-helices E and D of bacteriorhodopsin (BR). We show that correlation analysis of unfolding forces is very sensitive to errors in force calibration of the instrument. In contrast, a comparison of relative forces provides a robust measure for the stability of unfolding intermediates. The proposed approach detects three energetically different states of α-helices E and D in trimeric BR. These states are not observed for monomeric BR and indicate that substantial information is hidden in forced unfolding experiments of single proteins.}, author = {Harald Janovjak and Sapra, Tanuj K and Mueller, Daniel J}, journal = {Biophysical Journal}, number = {5}, pages = {37 -- 39}, publisher = {Biophysical Society}, title = {{Complex stability of single proteins explored by forced unfolding experiments}}, doi = {10.1529/biophysj.105.059774}, volume = {88}, year = {2005}, } @article{3418, abstract = {Atomic force microscopy (AFM) allows the critical forces that unfold single proteins and rupture individual receptor–ligand bonds to be measured. To derive the shape of the energy landscape, the dynamic strength of the system is probed at different force loading rates. This is usually achieved by varying the pulling speed between a few nm/s and a few mgrm/s, although for a more complete investigation of the kinetic properties higher speeds are desirable. Above 10 mgrm/s, the hydrodynamic drag force acting on the AFM cantilever reaches the same order of magnitude as the molecular forces. This has limited the maximum pulling speed in AFM single-molecule force spectroscopy experiments. Here, we present an approach for considering these hydrodynamic effects, thereby allowing a correct evaluation of AFM force measurements recorded over an extended range of pulling speeds (and thus loading rates). To support and illustrate our theoretical considerations, we experimentally evaluated the mechanical unfolding of a multi-domain protein recorded at 30 mgrm/s pulling speed.}, author = {Harald Janovjak and Struckmeier, Jens and Mueller, Daniel J}, journal = {European Biophysics Journal}, number = {1}, pages = {91 -- 96}, publisher = {Springer}, title = {{Hydrodynamic effects in fast AFM single molecule force measurements}}, doi = {10.1007/s00249-004-0430-3}, volume = {34}, year = {2005}, } @inbook{3433, author = {Jonathan Bollback}, booktitle = {Statistical methods in Molecular Evolution}, editor = {Nielsen, Rasmus}, pages = {439 -- 462}, publisher = {Springer}, title = {{Posterior mapping and posterior predictive distributions}}, doi = {10.1007/0-387-27733-1}, year = {2005}, } @misc{3509, abstract = {Methods, apparatus and computer program products can generate light weight but highly realistic and accurate colored models of three-dimensional colored objects. The colored model may be generated from a second plurality of points that define a coarse digital representation of the surface and at least one texture map containing information derived from a first plurality of colored points that define a fine digital representation of the surface. This derivation is achieved by mapping points within the texture map to the fine digital representation of the three-dimensional surface. Colored scan data may be used to construct the fine digital representation as a triangulated surface (i.e., triangulation) using a wrapping operation.}, author = {Williams, Steven and Edelsbrunner, Herbert and Fu, Ping}, title = {{Methods, apparatus and computer program products for modeling three-dimensional colored objects}}, year = {2005}, } @inproceedings{3558, abstract = {The tandem algorithm combines the marching cube algorithm for surface extraction and the edge contraction algorithm for surface simplification in lock-step to avoid the costly intermediate step of storing the entire extracted surface triangulation. Beyond this basic strategy, we introduce refinements to prevent artifacts in the resulting triangulation, first, by carefully monitoring the amount of simplification during the process and, second, by driving the simplification toward a compromise between shape approximation and mesh quality. We have implemented the algorithm and used extensive computational experiments to document the effects of various design options and to further fine-tune the algorithm.}, author = {Attali, Dominique and Cohen-Steiner, David and Herbert Edelsbrunner}, pages = {139 -- 148}, publisher = {ACM}, title = {{Extraction and simplification of iso-surfaces in tandem}}, year = {2005}, } @inbook{3576, abstract = {ears of research in biology have established that all cellular functions are deeply connected to the shape and dynamics of their molec- ular actors. As a response, structural molecular biology has emerged as a new line of experimental research focused on revealing the structure of biomolecules. The analysis of these structures has led to the development of computational biology, whose aim is to predict from molecular simulation properties inaccessible to experimental probes. Here we focus on the representation of biomolecules used in these sim- ulations, and in particular on the hard sphere models. We review how the geometry of the union of such spheres is used to model their interactions with their environment, and how it has been included in simulations of molecular dynamics. In parallel, we review our own developments in mathematics and com- puter science on understanding the geometry of unions of balls, and their applications in molecular simulation.}, author = {Herbert Edelsbrunner and Koehl, Patrice}, booktitle = {Combinatorial and Computational Geometry}, pages = {243 -- 275}, publisher = {Cambridge University Press}, title = {{The geometry of biomolecular solvation}}, volume = {52}, year = {2005}, } @article{3612, abstract = {Left-right asymmetry in snails is intriguing because individuals of opposite chirality are either unable to mate or can only mate with difficulty, so could be reproductively isolated from each other. We have therefore investigated chiral evolution in the Japanese land snail genus Euhadra to understand whether changes in chirality have promoted speciation. In particular, we aimed to understand the effect of the maternal inheritance of chirality on reproductive isolation and gene flow. We found that the mitochondrial DNA phylogeny of Euhadra is consistent with a single, relatively ancient evolution of sinistral species and suggests either recent “single-gene speciation” or gene flow between chiral morphs that are unable to mate. To clarify the conditions under which new chiral morphs might evolve and whether single-gene speciation can occur, we developed a mathematical model that is relevant to any maternal-effect gene. The model shows that reproductive character displacement can promote the evolution of new chiral morphs, tending to counteract the positive frequency-dependent selection that would otherwise drive the more common chiral morph to fixation. This therefore suggests a general mechanism as to how chiral variation arises in snails. In populations that contain both chiral morphs, two different situations are then possible. In the first, gene flow is substantial between morphs even without interchiral mating, because of the maternal inheritance of chirality. In the second, reproductive isolation is possible but unstable, and will also lead to gene flow if intrachiral matings occasionally produce offspring with the opposite chirality. Together, the results imply that speciation by chiral reversal is only meaningful in the context of a complex biogeographical process, and so must usually involve other factors. In order to understand the roles of reproductive character displacement and gene flow in the chiral evolution of Euhadra, it will be necessary to investigate populations in which both chiral morphs coexist.}, author = {Davison, Angus and Chiba, Satoshi and Nicholas Barton and Clarke, Bernard}, journal = {PLoS Biology}, number = {9}, publisher = {Public Library of Science}, title = {{Speciation and gene flow between snails of opposing chirality}}, doi = {10.1371/journal.pbio.0030282}, volume = {3}, year = {2005}, } @article{3611, abstract = {We present two novel methods to infer mating patterns from genetic data. They differ from existing statistical methods of parentage inference in that they apply to populations that deviate from Hardy–Weinberg and linkage equilibrium, and so are suited for the study of assortative mating in hybrid zones. The core data set consists of genotypes at several loci for a number of full-sib clutches of unknown parentage. Our inference is based throughout on estimates of allelic associations within and across loci, such as heterozygote deficit and pairwise linkage disequilibrium. In the first method, the most likely parents of a given clutch are determined from the genotypic distribution of the associated adult population, given an explicit model of nonrandom mating. This leads to estimates of the strength of assortment. The second approach is based solely on the offspring genotypes and relies on the fact that a linear relation exists between associations among the offspring and those in the population of breeding pairs. We apply both methods to a sample from the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata (Anura: Disco glossidae) in Croatia. Consistently, both approaches provide no evidence for a departure from random mating, despite adequate statistical power. Instead, B. variegata-like individuals among the adults contributed disproportionately to the offspring cohort, consistent with their preference for the type of breeding habitat in which this study was conducted.}, author = {Nürnberger, Beate and Nicholas Barton and Kruuk, Loeske E and Vines, Timothy H}, journal = {Heredity}, number = {2}, pages = {247 -- 257}, publisher = {Nature Publishing Group}, title = {{Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes}}, doi = {10.1038/sj.hdy.6800607}, volume = {94}, year = {2005}, } @article{3613, abstract = {The extent of genetic variation in fitness is a crucial issue in evolutionary biology and yet remains largely unresolved. In Drosophila melanogaster, we have devised a method that allows the net effects on fitness of heterozygous wild-type chromosomes to be measured, by competing them against two different “balancer” chromosomes. We have applied the method to a large sample of 40 wild-type third chromosomes and have measured fitnesses of nonlethal chromosomes as well as chromosomes bearing recessive lethals. The measurements were made in the environment to which the population was adapted and did not involve inbreeding. The results show an extraordinary similarity in the behavior of replicates of the same chromosome, indicating consistent genetic effects on total fitness. Some invading chromosomes increased rapidly and some slowly, and some rose to appreciable frequency after several months, but then declined again: in every case, the same pattern was seen in each replicate. We estimated relative fitnesses, rates of change of fitness, and relative viabilities, for each chromosome. There were significant fluctuations around the fitted model, which were also highly replicable. Wild-type chromosomes varied substantially in their effects on heterozygous fitness, and these effects vary through time, most likely as a result of genotype × environment interactions.}, author = {Gardner, Michael P and Fowler, Kevin and Nicholas Barton and Patridge, Linda}, journal = {Genetics}, number = {3}, pages = {1553 -- 1571}, publisher = {Genetics Society of America}, title = {{Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns}}, doi = {10.1534/genetics.104.032367}, volume = {169}, year = {2005}, } @article{3691, abstract = {In strictly pseudoconvex domains with smooth boundary, we prove a commutator relationship between admissible integral operators, as introduced by Lieb and Range, and smooth vector fields which are tangential at boundary points. This makes it possible to gain estimates for admissible operators in function spaces which involve tangential derivatives. Examples are given under with circumstances these can be transformed into genuine Sobolev- and C k-estimates.}, author = {Christoph Lampert}, journal = {Publicacions Matemàtiques}, number = {1}, pages = {179 -- 195}, publisher = {Universitat Autònoma de Barcelona, Departament de Matemàtique}, title = {{Boundary regularity of admissible operators}}, doi = {10.5565/PUBLMAT_49105_08}, volume = {49}, year = {2005}, } @article{3721, abstract = {Recent advances in atomic force microscopy allowed globular and membrane proteins to be mechanically unfolded on a single-molecule level. Presented is an extension to the existing force spectroscopy experiments. While unfolding single bacteriorhodopsins from native purple membranes, small oscillation amplitudes (6–9nm) were supplied to the vertical displacement of the cantilever at a frequency of 3kHz. The phase and amplitude response of the cantilever-protein system was converted to reveal the elastic (conservative) and viscous (dissipative) contributions to the unfolding process. The elastic response (stiffness) of the extended parts of the protein were in the range of a few tens pN/nm and could be well described by the derivative of the wormlike chain model. Discrete events in the viscous response coincided with the unfolding of single secondary structure elements and were in the range of 1μNs/m. In addition, these force modulation spectroscopy experiments revealed novel mechanical unfolding intermediates of bacteriorhodopsin. We found that kinks result in a loss of unfolding cooperativity in transmembrane helices. Reconstructing force-distance spectra by the integration of amplitude-distance spectra verified their position, offering a novel approach to detect intermediates during the forced unfolding of single proteins.}, author = {Harald Janovjak and Mueller, Daniel J and Humphris, Andrew D}, journal = {Biophysical Journal}, number = {2}, pages = {1423 -- 1431}, publisher = {Biophysical Society}, title = {{Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins}}, doi = {10.1529/biophysj.104.052746}, volume = {88}, year = {2005}, } @article{3741, abstract = {In an age of increasingly large data sets, investigators in many different disciplines have turned to clustering as a tool for data analysis and exploration. Existing clustering methods, however, typically depend on several nontrivial assumptions about the structure of data. Here, we reformulate the clustering problem from an information theoretic perspective that avoids many of these assumptions. In particular, our formulation obviates the need for defining a cluster "prototype," does not require an a priori similarity metric, is invariant to changes in the representation of the data, and naturally captures nonlinear relations. We apply this approach to different domains and find that it consistently produces clusters that are more coherent than those extracted by existing algorithms. Finally, our approach provides a way of clustering based on collective notions of similarity rather than the traditional pairwise measures.}, author = {Slonim,N. and Atwal,G. and Gasper Tkacik and Bialek, William S}, journal = {PNAS}, number = {51}, pages = {18297 -- 18302}, publisher = {National Academy of Sciences}, title = {{Information-based clustering}}, doi = {10.1073/pnas.0507432102}, volume = {102}, year = {2005}, } @unpublished{3746, abstract = {We address the practical problems of estimating the information relations that characterize large networks. Building on methods developed for analysis of the neural code, we show that reliable estimates of mutual information can be obtained with manageable computational effort. The same methods allow estimation of higher order, multi-information terms. These ideas are illustrated by analyses of gene expression, financial markets, and consumer preferences. In each case, information theoretic measures correlate with independent, intuitive measures of the underlying structures in the system.}, author = {Slonim,Noam and Atwal,Gurinder S and Gasper Tkacik and Bialek, William S}, booktitle = {ArXiv}, pages = {1 -- 11}, publisher = {ArXiv}, title = {{Estimating mutual information and multi-information in large networks}}, year = {2005}, } @article{3808, abstract = {Action potentials in central neurons are initiated near the axon initial segment, propagate into the axon, and finally invade the presynaptic terminals, where they trigger transmitter release. Voltage-gated Na(+) channels are key determinants of excitability, but Na(+) channel density and properties in axons and presynaptic terminals of cortical neurons have not been examined yet. In hippocampal mossy fiber boutons, which emerge from parent axons en passant, Na(+) channels are very abundant, with an estimated number of approximately 2000 channels per bouton. Presynaptic Na(+) channels show faster inactivation kinetics than somatic channels, suggesting differences between subcellular compartments of the same cell. Computational analysis of action potential propagation in axon-multibouton structures reveals that Na(+) channels in boutons preferentially amplify the presynaptic action potential and enhance Ca(2+) inflow, whereas Na(+) channels in axons control the reliability and speed of propagation. Thus, presynaptic and axonal Na(+) channels contribute differentially to mossy fiber synaptic transmission.}, author = {Engel, Dominique and Peter Jonas}, journal = {Neuron}, number = {3}, pages = {405 -- 17}, publisher = {Elsevier}, title = {{Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons}}, doi = {10.1016/j.neuron.2004.12.048 }, volume = {45}, year = {2005}, } @inproceedings{3892, abstract = {In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we consider lexicographic objectives: first, each player tries to maximize her own payoff, and then, the player tries to minimize the opponent's payoff. Such objectives arise naturally in the verification of systems with multiple components. There, instead of proving that each component satisfies its specification no matter how the other components behave, it often suffices to prove that each component satisfies its specification provided that the other components satisfy their specifications. We say that a Nash equilibrium is secure if it is an equilibrium with respect to the lexicographic objectives of both players. We prove that in graph games with Borel winning conditions, which include the games that arise in verification, there may be several Nash equilibria, but there is always a unique maximal payoff profile of a secure equilibrium. We show how this equilibrium can be computed in the case of omega-regular winning conditions, and we characterize the memory requirements of strategies that achieve the equilibrium.}, author = {Krishnendu Chatterjee and Thomas Henzinger and Jurdziński, Marcin}, pages = {141 -- 161}, publisher = {Springer}, title = {{Games with secure equilibria}}, doi = {10.1007/11561163_7}, volume = {3657}, year = {2005}, } @inproceedings{3902, author = {Cremer, Sylvia and Boomsma, Jacobus}, publisher = {Elsevier}, title = {{The drawback of mobility: invasive species in a globalised world}}, year = {2005}, }