@article{3609, abstract = {Bombina bombina and B. variegata are two anciently diverged toad taxa that have adapted to different breeding habitats yet hybridize freely in zones of overlap where their parapatric distributions meet. Here, we report on a joint genetic and ecological analysis of a hybrid zone in the vicinity of Stryi in western Ukraine. We used five unlinked allozyme loci, two nuclear single nucleotide polymorphisms and a mitochondrial DNA haplotype as genetic markers. Parallel allele frequency clines with a sharp central step occur across a sharp ecotone, where transitions in aquatic habitat, elevation, and terrestrial vegetation coincide. The width of the hybrid zone, estimated as the inverse of the maximum gradient in allele frequency, is 2.3 km. This is the smallest of four estimates derived from different clinal transects across Europe. We argue that the narrow cline near Stryi is mainly due to a combination of habitat distribution and habitat preference. Adult toads show a preference for either ponds (B. bombina) or puddles (B. variegata), which is known to affect the distribution of genotypes within the hybrid zones. At Stryi, it should cause a reduction of the dispersal rate across the ecotone and thus narrow the cline. A detailed comparison of all five intensively studied Bombina transects lends support to the hypothesis that habitat distribution plus habitat preference can jointly affect the structure of hybrid zones and, ultimately, the resulting barriers to gene flow between differentiated gene pools. This study also represents a resampling of an area that was last studied more than 70 years ago. Our allele-frequency clines largely coincide with those that were described then on the basis of morphological variation. However, we found asymmetrical introgression of B. variegata genes into B. bombina territory along the bank of a river.}, author = {Yanchukov, Alexey and Hofman, Sebastian and Szymura, Jacek M and Mezhzherin, Sergey V and Morozov-Leonov, Sviatoslav and Nicholas Barton and Nürnberger, Beate}, journal = {Evolution; International Journal of Organic Evolution}, number = {3}, pages = {583 -- 600}, publisher = {Wiley-Blackwell}, title = {{Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time}}, doi = {10.1111/j.0014-3820.2006.tb01139.x}, volume = {60}, year = {2006}, } @article{3608, abstract = {We study the evolution of inversions that capture locally adapted alleles when two populations are exchanging migrants or hybridizing. By suppressing recombination between the loci, a new inversion can spread. Neither drift nor coadaptation between the alleles (epistasis) is needed, so this local adaptation mechanism may apply to a broader range of genetic and demographic situations than alternative hypotheses that have been widely discussed. The mechanism can explain many features observed in inversion systems. It will drive an inversion to high frequency if there is no countervailing force, which could explain fixed differences observed between populations and species. An inversion can be stabilized at an intermediate frequency if it also happens to capture one or more deleterious recessive mutations, which could explain polymorphisms that are common in some species. This polymorphism can cycle in frequency with the changing selective advantage of the locally favored alleles. The mechanism can establish underdominant inversions that decrease heterokaryotype fitness by several percent if the cause of fitness loss is structural, while if the cause is genic there is no limit to the strength of underdominance that can result. The mechanism is expected to cause loci responsible for adaptive species-specific differences to map to inversions, as seen in recent QTL studies. We discuss data that support the hypothesis, review other mechanisms for inversion evolution, and suggest possible tests. }, author = {Kirkpatrick, Mark and Nicholas Barton}, journal = {Genetics}, number = {1}, pages = {419 -- 434}, publisher = {Genetics Society of America}, title = {{Chromosome inversions, local adaptation, and speciation}}, doi = {10.1534/genetics.105.047985}, volume = {173}, year = {2006}, } @article{3610, abstract = {For a model of diallelic loci with arbitrary epistasis, Barton and Turelli [2004. Effects of genetic drift on variance components under a general model of epistasis. Evolution 58, 2111–2132] gave results for variances among and within replicate lines obtained by inbreeding without selection. Here, we discuss the relation between their population genetic methods and classical quantitative genetic arguments. In particular, we consider the case of no dominance using classical identity by descent arguments, which generalizes their results from two alleles to multiple alleles. To clarify the connections between the alternative methods, we obtain the same results using an intermediate method, which explicitly identifies the statistical effects of sets of loci. We also discuss the effects of population bottlenecks on covariances among relatives.}, author = {Hill, William G and Nicholas Barton and Turelli, Michael}, journal = {Theoretical Population Biology}, number = {1}, pages = {56 -- 62}, publisher = {Academic Press}, title = {{Prediction of effects of genetic drift on variance components under a general model of epistasis}}, doi = {10.1016/j.tpb.2005.10.001}, volume = {70}, year = {2006}, } @inproceedings{3679, abstract = {This paper describes a new system for "Finding Satellite Tracks” in astronomical images based on the modern geometric approach. There is an increasing need of using methods with solid mathematical and statistical foundation in astronomical image processing. Where the computational methods are serving in all disciplines of science, they are becoming popular in the field of astronomy as well. Currently different computational systems are required to be numerically optimized before to get applied on astronomical images. So at present there is no single system which solves the problems of astronomers using computational methods based on modern approaches. The system "Finding Satellite Tracks” is based on geometric matching method "Recognition by Adaptive Subdivision of Transformation Space (RAST)".}, author = {Ali,Haider and Christoph Lampert and Breuel,Thomas M}, pages = {892 -- 901}, publisher = {Springer}, title = {{Satellite tracks removal in astronomical images}}, doi = {10.1007/11892755_92}, volume = {4225}, year = {2006}, } @inproceedings{3677, abstract = {We propose a video retrieval framework based on a novel combination of spatiograms and the Jensen-Shannon divergence, and validate its performance in two quantitative experiments on TRECVID BBC Rushes data. In the first experiment, color-based methods are tested by grouping redundant shots in an unsupervised clustering. Results of the second experiment show that motion-based spatiograms make a promising fast, compressed-domain descriptor for the detection of interview scenes.}, author = {Ulges, Adrian and Christoph Lampert and Keysers,Daniel}, pages = {1 -- 10}, publisher = {NIST (National Institute of Standards and Technology, US Department of Commerce)}, title = {{Spatiogram-based shot distances for video retrieval}}, year = {2006}, } @inproceedings{3680, abstract = {The detection of counterfeit in printed documents is currently based mainly on built-in security features or on human expertise. We propose a classification system that supports non-expert users to distinguish original documents from PC-made forgeries by analyzing the printing technique used. Each letter in a document is classified using a support vector machine that has been trained to distinguish laser from inkjet printouts. A color-coded visualization helps the user to interpret the per-letter classification results}, author = {Christoph Lampert and Mei,Lin and Breuel,Thomas M}, pages = {639 -- 634}, publisher = {IEEE}, title = {{Printing technique classification for document counterfeit detection}}, doi = {10.1109/ICCIAS.2006.294214}, volume = {1}, year = {2006}, } @article{3695, abstract = {We give an analytical and geometrical treatment of what it means to separate a Gaussian kernel along arbitrary axes in Ropfn, and we present a separation scheme that allows us to efficiently implement anisotropic Gaussian convolution filters for data of arbitrary dimensionality. Based on our previous analysis we show that this scheme is optimal with regard to the number of memory accesses and interpolation operations needed. The proposed method relies on nonorthogonal convolution axes and works completely in image space. Thus, it avoids the need for a fast Fourier transform (FFT)-subroutine. Depending on the accuracy and speed requirements, different interpolation schemes and methods to implement the one-dimensional Gaussian (finite impulse response and infinite impulse response) can be integrated. Special emphasis is put on analyzing the performance and accuracy of the new method. In particular, we show that without any special optimization of the source code, it can perform anisotropic Gaussian filtering faster than methods relying on the FFT.}, author = {Christoph Lampert and Wirjadi,Oliver}, journal = {IEEE Transactions on Image Processing (TIP)}, number = {11}, pages = {3501 -- 3513}, publisher = {IEEE}, title = {{An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter}}, doi = { 10.1109/TIP.2006.877501 }, volume = {15}, year = {2006}, } @inproceedings{3693, abstract = {Gaussian filtering in one, two or three dimensions is among the most commonly needed tasks in signal and image processing. Finite impulse response filters in the time domain with Gaussian masks are easy to implement in either floating or fixed point arithmetic, because Gaussian kernels are strictly positive and bounded. But these implementations are slow for large images or kernels. With the recursive IIR-filters and FFT-based methods, there are at least two alternative methods to perform Gaussian filtering in a faster way, but so far they are only applicable when floating-point hardware is available. In this paper, a fixed-point implementation of recursive Gaussian filtering is discussed and applied to isotropic and anisotropic image filtering by making use of a non-orthogonal separation scheme of the Gaussian filter.}, author = {Christoph Lampert and Wirjadi,Oliver}, pages = {1565 -- 1568}, publisher = {IEEE}, title = {{Anisotropic Gaussian filtering using fixed point arithmetic}}, doi = {10.1109/ICIP.2006.312606}, year = {2006}, } @inproceedings{3692, author = {Keysers,Daniel and Christoph Lampert and Breuel,Thomas M}, publisher = {SPIE}, title = {{Color image dequantization by constrained diffusion}}, doi = {10.1117/12.648713}, volume = {6058}, year = {2006}, } @article{3729, abstract = {Measuring the visco-elastic properties of biological macromolecules constitutes an important step towards the understanding of dynamic biological processes, such as cell adhesion, muscle function, or plant cell wall stability. Force spectroscopy techniques based on the atomic force microscope (AFM) are increasingly used to study the complex visco-elastic response of (bio-)molecules on a single-molecule level. These experiments either require that the AFM cantilever is actively oscillated or that the molecule is clamped at constant force to monitor thermal cantilever motion. Here we demonstrate that the visco-elasticity of single bio-molecules can readily be extracted from the Brownian cantilever motion during conventional force-extension measurements. It is shown that the characteristics of the cantilever determine the signal-to-noise (S/N) ratio and time resolution. Using a small cantilever, the visco-elastic properties of single dextran molecules were resolved with a time resolution of 8.3 ms. The presented approach can be directly applied to probe the dynamic response of complex bio-molecular systems or proteins in force-extension experiments.}, author = {Bippes, Christian A and Humphris, Andrew D and Stark, Martin and Mueller, Daniel J and Harald Janovjak}, journal = {European Biophysics Journal}, number = {3}, pages = {287 -- 292}, publisher = {Springer}, title = {{Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments}}, doi = {10.1007/s00249-005-0023-9}, volume = {35}, year = {2006}, } @article{3728, abstract = {Mechanical unfolding of single bacteriorhodopsins from a membrane bilayer is studied using molecular dynamics simulations. The initial conformation of the lipid membrane is determined through all-atom simulations and then its coarse-grained representation is used in the studies of stretching. A Go-like model with a realistic contact map and with Lennard–Jones contact interactions is applied to model the protein–membrane system. The model qualitatively reproduces the experimentally observed differences between force-extension patterns obtained on bacteriorhodopsin at different temperatures and predicts a lack of symmetry in the choice of the terminus to pull by. It also illustrates the decisive role of the interactions of the protein with the membrane in determining the force pattern and thus the stability of transmembrane proteins.}, author = {Cieplak, Marek and Filipek, Sławomir and Harald Janovjak and Krzysko, Krystiana A}, journal = {Biochimica et Biophysica Acta (BBA) - Biomembranes}, number = {4}, pages = {537 -- 544}, publisher = {Elsevier}, title = {{Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment}}, doi = {10.1016/j.bbamem.2006.03.028}, volume = {1758}, year = {2006}, } @inbook{3722, author = {Harald Janovjak and Mueller, Daniel J}, booktitle = {Bioanalytik}, publisher = {Spektrum Akademischer Verlag}, title = {{Rastersondenmikroskopie}}, year = {2006}, } @article{3755, abstract = {A primitive example of adaptation in gene expression is the balance between the rate of synthesis and degradation of cellular RNA, which allows rapid responses to environmental signals. Here, we investigate how multidrug efflux pump systems mediate the dynamics of a simple drug-inducible system in response to a steady level of inducer. Using fluorescence correlation spectroscopy, we measured in real time within a single bacterium the transcription activity at the RNA level of the acrAB-TolC multidrug efflux pump system. When cells are exposed to constant level of anhydrotetracycline inducer and are adsorbed onto a poly-L-lysine-coated surface, we found that the acrAB-TolC promoter is steadily active. We also monitored the activity of the tet promoter to characterize the effect of this efflux system on the dynamics of drug-inducible transcription. We found that the transcriptional response of the tet promoter to a steady level of aTc rises and then falls back to its preinduction level. The rate of RNA degradation was constant throughout the transcriptional pulse, indicating that the modulation of intracellular inducer concentration alone can produce this pulsating response. Single-cell experiments together with numerical simulations suggest that such pulsating response in drug-inducible genetic systems is a property emerging from the dependence of drug-inducible transcription on multidrug efflux systems.}, author = {Le,Thuc T. and Emonet,Thierry and Harlepp, Sébastien and Calin Guet and Cluzel,Philippe}, journal = {Biophysical Journal}, number = {9}, pages = {3315 -- 3321}, publisher = {Biophysical Society}, title = {{Dynamical determinants of drug-inducible gene expression in a single bacterium}}, doi = {10.1529/biophysj.105.073353}, volume = {90}, year = {2006}, } @inproceedings{3758, abstract = {Control of physical simulation has become a popular topic in the field of computer graphics. Keyframe control has been applied to simulations of rigid bodies, smoke, liquid, flocks, and finite element-based elastic bodies. In this paper, we create a framework for controlling systems of interacting particles -- paying special attention to simulations of cloth and flocking behavior. We introduce a novel integrator-swapping approximation in order to apply the adjoint method to linearized implicit schemes appropriate for cloth simulation. This allows the control of cloth while avoiding computationally infeasible derivative calculations. Meanwhile, flocking control using the adjoint method is significantly more efficient than currently-used methods for constraining group behaviors, allowing the controlled simulation of greater numbers of agents in fewer optimization iterations.}, author = {Wojtan, Christopher J and Mucha, Peter and Turk, Greg}, pages = {15 -- 23}, publisher = {ACM}, title = {{Keyframe control of complex particle systems using the adjoint method}}, year = {2006}, } @article{3818, abstract = {Rigorous analysis of synaptic transmission in the central nervous system requires access to presynaptic terminals. However, cortical terminals have been largely inaccessible to presynaptic patch-clamp recording, due to their small size. Using improved patch-clamp techniques in brain slices, we recorded from mossy fiber terminals in the CA3 region of the hippocampus, which have a diameter of 2-5 microm. The major steps of improvement were the enhanced visibility provided by high-numerical aperture objectives and infrared illumination, the development of vibratomes with minimal vertical blade vibrations and the use of sucrose-based solutions for storage and cutting. Based on these improvements, we describe a protocol that allows us to routinely record from hippocampal mossy fiber boutons. Presynaptic recordings can be obtained in slices from both rats and mice. Presynaptic recordings can be also obtained in slices from transgenic mice in which terminals are labeled with enhanced green fluorescent protein.}, author = {Bischofberger, Josef and Engel, Dominique and Li, Liyi and Geiger, Jörg R and Peter Jonas}, journal = {Nature Protocols}, number = {4}, pages = {2075 -- 81}, publisher = {Nature Publishing Group}, title = {{Patch-clamp recording from mossy fiber terminals in hippocampal slices}}, doi = {10.1038/nprot.2006.312 }, volume = {1}, year = {2006}, } @inproceedings{3890, abstract = {We consider two-player infinite games played on graphs. The games are concurrent, in that at each state the players choose their moves simultaneously and independently, and stochastic, in that the moves determine a probability distribution for the successor state. The value of a game is the maximal probability with which a player can guarantee the satisfaction of her objective. We show that the values of concurrent games with w-regular objectives expressed as parity conditions can be decided in NP boolean AND coNP. This result substantially improves the best known previous bound of 3EXPTIME. It also shows that the full class of concurrent parity games is no harder than the special case of turn-based stochastic reachability games, for which NP boolean AND coNP is the best known bound. While the previous, more restricted NP boolean AND coNP results for graph games relied on the existence of particularly simple (pure memoryless) optimal strategies, in concurrent games with parity objectives optimal strategies may not exist, and epsilon-optimal strategies (which achieve the value of the game within a parameter epsilon > 0) require in general both randomization and infinite memory. Hence our proof must rely on a more detailed analysis of strategies and, in addition to the main result, yields two results that are interesting on their own. First, we show that there exist epsilon-optimal strategies that in the limit coincide with memoryless strategies; this parallels the celebrated result of Mertens-Neyman for concurrent games with limit-average objectives. Second, we complete the characterization of the memory requirements for epsilon-optimal strategies for concurrent games with parity conditions, by showing that memoryless strategies suffice for epsilon-optimality for coBachi conditions.}, author = {Krishnendu Chatterjee and de Alfaro, Luca and Thomas Henzinger}, pages = {678 -- 687}, publisher = {SIAM}, title = {{The complexity of quantitative concurrent parity games}}, doi = {10.1145/1109557.1109631}, year = {2006}, } @inproceedings{3889, abstract = {We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about the history of a play, namely, on the past sequence of observations. Such games occur in the synthesis of a controller that does not see the private state of the plant. Our main results are twofold. First, we give a fixed-point algorithm for computing the set of states from which a player can win with a deterministic observation-based strategy for any omega-regular objective. The fixed point is computed in the lattice of antichains of state sets. This algorithm has the advantages of being directed by the objective and of avoiding an explicit subset construction on the game graph. Second, we give an algorithm for computing the set of states from which a player can win with probability 1 with a randomized observation-based strategy for a Buchi objective. This set is of interest because in the absence of perfect information, randomized strategies are more powerful than deterministic ones. We show that our algorithms are optimal by proving matching lower bounds.}, author = {Krishnendu Chatterjee and Doyen, Laurent and Thomas Henzinger and Raskin, Jean-François}, pages = {287 -- 302}, publisher = {Springer}, title = {{Algorithms for omega-regular games with imperfect information}}, doi = {10.1007/11874683_19}, volume = {4207}, year = {2006}, } @inproceedings{3891, abstract = {We study infinite stochastic games played by two-players over a finite state space, with objectives specified by sets of infinite traces. The games are concurrent (players make moves simultaneously and independently), stochastic (the next state is determined by a probability distribution that depends on the current state and chosen moves of the players) and infinite (proceeds for infinite number of rounds). The analysis of concurrent stochastic games can be classified into: quantitative analysis, analyzing the optimum value of the game; and qualitative analysis, analyzing the set of states with optimum value 1. We consider concurrent games with tail objectives, i.e., objectives that are independent of the finite-prefix of traces, and show that the class of tail objectives are strictly richer than the omega-regular objectives. We develop new proof techniques to extend several properties of concurrent games with omega-regular objectives to concurrent games with tail objectives. We prove the positive limit-one property for tail objectives, that states for all concurrent games if the optimum value for a player is positive for a tail objective Phi at some state, then there is a state where the optimum value is 1 for Phi, for the player. We also show that the optimum values of zero-sum (strictly conflicting objectives) games with tail objectives can be related to equilibrium values of nonzero-sum (not strictly conflicting objectives) games with simpler reachability objectives. A consequence of our analysis presents a polynomial time reduction of the quantitative analysis of tail objectives to the qualitative analysis for the sub-class of one-player stochastic games (Markov decision processes).}, author = {Krishnendu Chatterjee}, pages = {256 -- 270}, publisher = {Springer}, title = {{Concurrent games with tail objectives}}, doi = {10.1007/11874683_17}, volume = {4207}, year = {2006}, } @inproceedings{3888, abstract = {A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with omega-regular winning conditions specified as Rabin or Streett objectives. These games are NP-complete and coNP-complete, respectively. The value of the game for a player at a state s given an objective Phi is the maximal probability with which the player can guarantee the satisfaction of Phi from s. We present a strategy-improvement algorithm to compute values in stochastic Rabin games, where an improvement step involves solving Markov decision processes (MDPs) and nonstochastic Rabin games. The algorithm also computes values for stochastic Streett games but does not directly yield an optimal strategy for Streett objectives. We then show how to obtain an optimal strategy for Streett objectives by solving certain nonstochastic Streett games.}, author = {Krishnendu Chatterjee and Thomas Henzinger}, pages = {375 -- 389}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Strategy improvement for stochastic Rabin and Streett games}}, doi = {10.1007/11817949_25}, volume = {4137}, year = {2006}, } @article{3908, abstract = {It is commonly believed that both the average length and the frequency of microsatellites correlate with genome size. We have estimated the frequency and the average length for 69 perfect dinucleotide microsatellites in an insect with an exceptionally large genome: Chorthippus biguttulus (Orthoptera, Acrididae). Dinucleotide microsatellites are not more frequent in C. biguttulus, but repeat arrays are 1.4 to 2 times longer than in other insect species. The average repeat number in C. biguttulus lies in the range of higher vertebrates. Natural populations are highly variable. At least 30 alleles per locus were found and the expected heterozygosity is above 0.95 at all three loci studied. In contrast, the observed heterozygosity is much lower (≤0.51), which could be caused by long null alleles.}, author = {Ustinova, Jana and Achmann, Roland and Cremer, Sylvia and Mayer, Frieder}, journal = {Journal of Molecular Evolution}, number = {2}, pages = {158 -- 167}, publisher = {Springer}, title = {{Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus}}, doi = {10.1007/s00239-005-0022-6}, volume = {62}, year = {2006}, }