@inproceedings{1034,
abstract = {Three interacting particles form a system which is well known for its complex physical behavior. A landmark theoretical result in few-body quantum physics is Efimov\'s prediction of a universal set of weakly bound trimer states appearing for three identical bosons with a resonant two-body interaction [1, 2]. Surprisingly, these states even exist in the absence of a corresponding two-body bound state and their precise nature is largely independent of the particular type of the two-body interaction potential. Efimov\'s scenario has attracted great interest in many areas of physics; an experimental test however has not been achieved. We report the observation of an Efimov resonance in an ultracold thermal gas of cesium atoms [3]. The resonance occurs in the range of large negative two-body scattering lengths and arises from the coupling of three free atoms to an Efimov trimer. We observe its signature as a giant three-body recombination loss when the strength of the two-body interaction is varied near a Feshbach resonance. This resonance develops into a continuum resonance at non-zero collision energies, and we observe a shift of the resonance position as a function of temperature. We also report on a minimum in the recombination loss for positive scattering lengths, indicating destructive interference of decay pathways. Our results confirm central theoretical predictions of Efimov physics and represent a starting point from which to explore the universal properties of resonantly interacting few-body systems.},
author = {Nägerl, Hanns C and Kraemer, Tobias and Mark, Michael J and Waldburger, Philipp and Danzl, Johannes G and Engeser, Bastian and Lange, Adam D and Pilch, Karl and Jaakkola, Antti and Chin, Cheng and Grimm, Rudolf},
pages = {269 -- 277},
publisher = {AIP},
title = {{Experimental evidence for Efimov quantum states}},
doi = {10.1063/1.2400657},
volume = {869},
year = {2006},
}
@article{1748,
abstract = {The authors apply selective wet chemical etching and atomic force microscopy to reveal the three-dimensional shape of SiGeSi (001) islands after capping with Si. Although the "self-assembled quantum dots" remain practically unaffected by capping in the temperature range of 300-450 °C, significant morphological changes take place on the Si surface. At 450 °C, the morphology of the capping layer (Si matrix) evolves toward an intriguing semifacetted structure, which we call a "ziggurat," giving the misleading impression of a stepped SiGe island shape.},
author = {Georgios Katsaros and Rastelli, Armando and Stoffel, Mathieu and Costantini, Giovanni and Schmidt, Oliver G and Kern, Klaus and Tersoff, Jerry and Müller, Elisabeth and Von Känel, Hans},
journal = {Applied Physics Letters},
number = {25},
publisher = {American Institute of Physics},
title = {{Evolution of buried semiconductor nanostructures and origin of stepped surface mounds during capping}},
doi = {10.1063/1.2405876},
volume = {89},
year = {2006},
}
@article{213,
abstract = {For any integers d,n ≥2, let X ⊂ Pn be a non‐singular hypersurface of degree d that is defined over the rational numbers. The main result in this paper is a proof that the number of rational points on X which have height at most B is O(Bn − 1 + ɛ), for any ɛ > 0. The implied constant in this estimate depends at most upon d, ɛ and n. 2000 Mathematics Subject Classification 11D45 (primary), 11G35, 14G05 (secondary).},
author = {Timothy Browning and Heath-Brown, Roger and Starr, Jason M},
journal = {Proceedings of the London Mathematical Society},
number = {2},
pages = {273 -- 303},
publisher = {John Wiley and Sons Ltd},
title = {{The density of rational points on non-singular hypersurfaces, II}},
doi = {https://doi.org/10.1112/S0024611506015784},
volume = {93},
year = {2006},
}
@article{218,
abstract = {This paper is concerned with the average order of certain arithmetic functions, as they range over the values taken by binary forms.},
author = {de la Bretèche, Régis and Timothy Browning},
journal = {Acta Arithmetica},
number = {3},
pages = {291 -- 304},
publisher = {Instytut Matematyczny},
title = {{Sums of arithmetic functions over values of binary forms}},
doi = {10.4064/aa125-3-6},
volume = {125},
year = {2006},
}
@article{2657,
abstract = {The highest densities of the two metabotropic GABA subunits, GABA B1 and GABAB2, have been reported as occurring around the glutamatergic synapses between Purkinje cell spines and parallel fibre varicosities. In order to determine how this distribution is achieved during development, we investigated the expression pattern and the cellular and subcellular localization of the GABAB1 and GABAB2 subunits in the rat cerebellum during postnatal development. At the light microscopic level, immunoreactivity for the GABAB1 and GABAB2 subunits was very prominent in the developing molecular layer, especially in Purkinje cells. Using double immunofluorescence, we demonstrated that GABAB1 was transiently expressed in glial cells. At the electron microscopic level, immunoreactivity for GABAB receptors was always detected both pre- and postsynaptically. Presynaptically, GABAB1 and GABAB2 were localized in the extrasynaptic membrane of parallel fibres at all ages, and only rarely in GABAergic axons. Postsynaptically, GABAB receptors were localized to the extrasynaptic and perisynaptic plasma membrane of Purkinje cell dendrites and spines throughout development. Quantitative analysis and three-dimensional reconstructions further revealed a progressive developmental movement of the GABAB1 subunit on the surface of Purkinje cells from dendritic shafts to its final destination, the dendritic spines. Together, these results indicate that GABAB receptors undergo dynamic regulation during cerebellar development in association with the establishment and maturation of glutamatergic synapses to Purkinje cells.},
author = {Luján, Rafael and Ryuichi Shigemoto},
journal = {European Journal of Neuroscience},
number = {6},
pages = {1479 -- 1490},
publisher = {Wiley-Blackwell},
title = {{Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum}},
doi = {10.1111/j.1460-9568.2006.04669.x},
volume = {23},
year = {2006},
}
@misc{2664,
abstract = {Metabotropic glutamate receptors (mGlus) are a family of G-protein-coupled receptors activated by the neurotransmitter glutamate. Molecular cloning has revealed eight different subtypes (mGlu1-8) with distinct molecular and pharmacological properties. Multiplicity in this receptor family is further generated through alternative splicing. mGlus activate a multitude of signalling pathways important for modulating neuronal excitability, synaptic plasticity and feedback regulation of neurotransmitter release. In this review, we summarize anatomical findings (from our work and that of other laboratories) describing their distribution in the central nervous system. Recent evidence regarding the localization of these receptors in peripheral tissues will also be examined. The distinct regional, cellular and subcellular distribution of mGlus in the brain will be discussed in view of their relationship to neurotransmitter release sites and of possible functional implications.},
author = {Ferraguti, Francesco and Ryuichi Shigemoto},
booktitle = {Cell and Tissue Research},
number = {2},
pages = {483 -- 504},
publisher = {Springer},
title = {{Metabotropic glutamate receptors}},
doi = {10.1007/s00441-006-0266-5},
volume = {326},
year = {2006},
}
@article{2366,
abstract = {Inequalities are derived for power sums of the real part and the modulus of the eigenvalues of a Schrödinger operator with a complex-valued potential.},
author = {Frank, Rupert L and Laptev, Ari and Lieb, Élliott H and Robert Seiringer},
journal = {Letters in Mathematical Physics},
number = {3},
pages = {309 -- 316},
publisher = {Springer},
title = {{Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials}},
doi = {10.1007/s11005-006-0095-1},
volume = {77},
year = {2006},
}
@article{2429,
abstract = {We show, with an elementary proof, that the number of halving simplices in a set of n points in 4 in general position is O(n4-2/45). This improves the previous bound of O(n4-1/134). Our main new ingredient is a bound on the maximum number of halving simplices intersecting a fixed 2-plane. },
author = {Matoušek, Jiří and Sharir, Micha and Smorodinsky, Shakhar and Uli Wagner},
journal = {Discrete & Computational Geometry},
number = {2},
pages = {177 -- 191},
publisher = {Springer},
title = {{K-sets in four dimensions}},
doi = {10.1007/s00454-005-1200-4},
volume = {35},
year = {2006},
}
@inproceedings{2431,
abstract = {We prove an upper bound, tight up to a factor of 2, for the number of vertices of level at most t in an arrangement of n halfspaces in R , for arbitrary n and d (in particular, the dimension d is not considered constant). This partially settles a conjecture of Eckhoff, Linhart, and Welzl. Up to the factor of 2, the result generalizes McMullen's Upper Bound Theorem for convex polytopes (the case ℓ = O) and extends a theorem of Linhart for the case d ≤ 4. Moreover, the bound sharpens asymptotic estimates obtained by Clarkson and Shor. The proof is based on the h-matrix of the arrangement (a generalization, introduced by Mulmuley, of the h-vector of a convex polytope). We show that bounding appropriate sums of entries of this matrix reduces to a lemma about quadrupels of sets with certain intersection properties, and we prove this lemma, up to a factor of 2, using tools from multilinear algebra. This extends an approach of Alon and Kalai, who used linear algebra methods for an alternative proof of the classical Upper Bound Theorem. The bounds for the entries of the h-matrix also imply bounds for the number of i-dimensional faces, i > 0, at level at most ℓ. Furthermore, we discuss a connection with crossing numbers of graphs that was one of the main motivations for investigating exact bounds that are valid for arbitrary dimensions.},
author = {Uli Wagner},
pages = {635 -- 645},
publisher = {IEEE},
title = {{On a geometric generalization of the Upper Bound Theorem}},
doi = {10.1109/FOCS.2006.53},
year = {2006},
}
@inproceedings{2746,
abstract = {We consider random Schrödinger equations on Rd or Zd for d ≥ 3 with uncorrelated, identically distributed random potential. Denote by λ the coupling constant and ψt the solution with initial data ψ0.},
author = {László Erdös and Salmhofer, Manfred and Yau, Horng-Tzer},
pages = {233 -- 257},
publisher = {World Scientific Publishing},
title = {{Towards the quantum Brownian motion}},
doi = {10.1007/3-540-34273-7_18},
volume = {690},
year = {2006},
}
@article{2791,
abstract = {Generally, the motion of fluids is smooth and laminar at low speeds but becomes highly disordered and turbulent as the velocity increases. The transition from laminar to turbulent flow can involve a sequence of instabilities in which the system realizes progressively more complicated states, or it can occur suddenly. Once the transition has taken place, it is generally assumed that, under steady conditions, the turbulent state will persist indefinitely. The flow of a fluid down a straight pipe provides a ubiquitous example of a shear flow undergoing a sudden transition from laminar to turbulent motion. Extensive calculations and experimental studies have shown that, at relatively low flow rates, turbulence in pipes is transient, and is characterized by an exponential distribution of lifetimes. They also suggest that for Reynolds numbers exceeding a critical value the lifetime diverges (that is, becomes infinitely large), marking a change from transient to persistent turbulence. Here we present experimental data and numerical calculations covering more than two decades of lifetimes, showing that the lifetime does not in fact diverge but rather increases exponentially with the Reynolds number. This implies that turbulence in pipes is only a transient event (contrary to the commonly accepted view), and that the turbulent and laminar states remain dynamically connected, suggesting avenues for turbulence control.},
author = {Björn Hof and Westerweel, Jerry and Schneider, Tobias M and Eckhardt, Bruno},
journal = {Nature},
number = {7107},
pages = {59 -- 62},
publisher = {Nature Publishing Group},
title = {{Finite lifetime of turbulence in shear flows}},
doi = {10.1038/nature05089},
volume = {443},
year = {2006},
}
@article{3009,
author = {Paciorek, Tomasz and Friml, Jirí},
journal = {Journal of Cell Science},
number = {7},
pages = {1199 -- 1202},
publisher = {Company of Biologists},
title = {{Auxin signaling}},
doi = {10.1242/jcs.02910},
volume = {119},
year = {2006},
}
@article{3011,
abstract = {Polar flow of the phytohormone auxin requires plasma membrane‐associated PIN proteins and underlies multiple developmental processes in plants. Here we address the importance of the polarity of subcellular PIN localization for the directionality of auxin transport in Arabidopsis thaliana. Expression of different PINs in the root epidermis revealed the importance of PIN polar positions for directional auxin flow and root gravitropic growth. Interfering with sequence-embedded polarity signals directly demonstrates that PIN polarity is a primary factor in determining the direction of auxin flow in meristematic tissues. This finding provides a crucial piece in the puzzle of how auxin flow can be redirected via rapid changes in PIN polarity.},
author = {Wiśniewska, Justyna and Xu, Jian and Seifertová, Daniela and Brewer, Philip B and Růžička, Kamil and Blilou, Ikram and Rouquié, David and Eva Benková and Scheres, Ben and Jirí Friml},
journal = {Science},
number = {5775},
publisher = {American Association for the Advancement of Science},
title = {{Polar PIN localization directs auxin flow in plants}},
doi = {10.1126/science.1121356},
volume = {312},
year = {2006},
}
@article{3016,
abstract = {Plant development is characterized by a profound ability to regenerate and form tissues with new axes of polarity. An unsolved question concerns how the position within a tissue and cues from neighboring cells are integrated to specify the polarity of individual cells. The canalization hypothesis proposes a feedback effect of the phytohormone auxin on the directionality of intercellular auxin flow as a means to polarize tissues. Here we identify a cellular and molecular mechanism for canalization. Local auxin application, wounding, or auxin accumulation during de novo organ formation lead to rearrangements in the subcellular polar localization of PIN auxin transport components. This auxin effect on PIN polarity is cell-specific, does not depend on PIN transcription, and involves the Aux/IAA-ARF (indole-3-acetic acid-auxin response factor) signaling pathway. Our data suggest that auxin acts as polarizing cue, which links individual cell polarity with tissue and organ polarity through control of PIN polar targeting. This feedback regulation provides a conceptual framework for polarization during multiple regenerative and patterning processes in plants.},
author = {Sauer, Michael and Balla, Jozef and Luschnig, Christian and Wiśniewska, Justyna and Reinöhl, Vilém and Jirí Friml and Eva Benková},
journal = {Genes and Development},
number = {20},
pages = {2902 -- 2911},
publisher = {Cold Spring Harbor Laboratory Press},
title = {{Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity}},
doi = {10.1101/gad.390806},
volume = {20},
year = {2006},
}
@inproceedings{3186,
abstract = {We introduce a new approach to modelling gradient flows of contours and surfaces. While standard variational methods (e.g. level sets) compute local interface motion in a differential fashion by estimating local contour velocity via energy derivatives, we propose to solve surface evolution PDEs by explicitly estimating integral motion of the whole surface. We formulate an optimization problem directly based on an integral characterization of gradient flow as an infinitesimal move of the (whole) surface giving the largest energy decrease among all moves of equal size. We show that this problem can be efficiently solved using recent advances in algorithms for global hypersurface optimization [4, 2, 11]. In particular, we employ the geo-cuts method [4] that uses ideas from integral geometry to represent continuous surfaces as cuts on discrete graphs. The resulting interface evolution algorithm is validated on some 2D and 3D examples similar to typical demonstrations of level-set methods. Our method can compute gradient flows of hypersurfaces with respect to a fairly general class of continuous functional and it is flexible with respect to distance metrics on the space of contours/surfaces. Preliminary tests for standard L2 distance metric demonstrate numerical stability, topological changes and an absence of any oscillatory motion.},
author = {Boykov, Yuri and Vladimir Kolmogorov and Cremers, Daniel and Delong, Andrew},
pages = {409 -- 422},
publisher = {Springer},
title = {{An integral solution to surface evolution PDEs via geo cuts}},
doi = {10.1007/11744078_32},
volume = {3953},
year = {2006},
}
@misc{3415,
author = {Harald Janovjak and Kedrov, Alexej and Cisneros, David and Sapra, Tanuj K and Struckmeier, Jens and Mueller, Daniel J},
booktitle = {Neurobiology of Aging},
pages = {546 -- 561},
publisher = {Elsevier},
title = {{Imaging and detecting molecular interactions of single membrane proteins}},
doi = {10.1016/j.neurobiolaging.2005.03.031},
volume = {27},
year = {2006},
}
@misc{3511,
abstract = {Methods, apparatus and computer program products provide efficient techniques for designing and printing shells of hearing-aid devices with a high degree of quality assurance and reliability and with a reduced number of manual and time consuming production steps and operations. These techniques also preferably provide hearing-aid shells having internal volumes that can approach a maximum allowable ratio of internal volume relative to external volume. These high internal volumes facilitate the inclusion of hearing-aid electrical components having higher degrees of functionality and/or the use of smaller and less conspicuous hearing-aid shells. A preferred method includes operations to generate a watertight digital model of a hearing-aid shell by thickening a three-dimensional digital model of a shell surface in a manner that eliminates self-intersections and results in a thickened model having an internal volume that is a high percentage of an external volume of the model. },
author = {Fu, Ping and Nekhayev, Dmitry V and Herbert Edelsbrunner},
publisher = {Elsevier},
title = {{Manufacturing methods and systems for rapid production of hearing-aid shells}},
doi = {US 7,050,876 B1},
year = {2006},
}
@inproceedings{3559,
abstract = {Persistent homology is the mathematical core of recent work on shape, including reconstruction, recognition, and matching. Its per- tinent information is encapsulated by a pairing of the critical values of a function, visualized by points forming a diagram in the plane. The original algorithm in [10] computes the pairs from an ordering of the simplices in a triangulation and takes worst-case time cubic in the number of simplices. The main result of this paper is an algorithm that maintains the pairing in worst-case linear time per transposition in the ordering. A side-effect of the algorithm’s anal- ysis is an elementary proof of the stability of persistence diagrams [7] in the special case of piecewise-linear functions. We use the algorithm to compute 1-parameter families of diagrams which we apply to the study of protein folding trajectories.},
author = {Cohen-Steiner, David and Herbert Edelsbrunner and Morozov, Dmitriy},
pages = {119 -- 126},
publisher = {ACM},
title = {{Vines and vineyards by updating persistence in linear time}},
doi = {10.1145/1137856.1137877},
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{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},
}
@misc{3814,
abstract = {The axon terminals (mossy fibers) of hippocampal dentate granule cells form characteristic synaptic connections with large spines or excrescences of both hilar mossy cells and CA3 pyramidal neurons. Interneurons of the hilar region and area CA3 are also prominent targets of mossy fibers. The tracing of biocytin-filled mossy fibers and immunolabeling of target cells with interneuron markers has revealed that the majority of mossy fiber synapses project to gamma aminobutyric acid (GABA)-ergic inhibitory interneurons rather than to excitatory principal cells, although the functional implications of these quantitative differences are unclear. Following a brief description of the "classical" mossy fiber synapse on excrescences of CA3 pyramidal cells, the present review focuses on the contacts formed between granule cells and GABAergic interneurons, both normally and after synaptic reorganization. In response to deafferentation of mossy cell target cells, which include both granule cells and interneurons, mossy fibers "sprout" new axon collaterals that form a band of supragranular mossy fibers in the inner molecular layer of the dentate gyrus. Although most newly formed recurrent mossy fibers establish synapses with granule cells, there is an apparently convergent input of new mossy fibers onto GABA-immunoreactive interneuron dendrites that traverse the inner molecular layer. These mossy fiber-interneuron synapses in the dentate gyrus are observed in chronically epileptic rats and may be the structural correlate of the granule cell hyperinhibition observed in these animals in vivo. Together, the findings reviewed here establish mossy fiber synapses as an important component of inhibitory circuits in the hippocampus.},
author = {Frotscher, Michael and Peter Jonas and Sloviter, Robert S},
booktitle = {Cell and Tissue Research},
number = {2},
pages = {361 -- 7},
publisher = {Springer},
title = {{Synapses formed by normal and abnormal hippocampal mossy fibers (Review)}},
doi = {10.1007/s00441-006-0269-2},
volume = {326},
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},
}
@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},
}
@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},
}
@article{3934,
abstract = {T cells develop in the thymus in a highly specialized cellular and extracellular microenvironment. The basement membrane molecule, laminin-5 (LN-5), is predominantly found in the medulla of the human thymic lobules. Using high-resolution light microscopy, we show here that LN-5 is localized in a bi-membranous conduit-like structure, together with other typical basement membrane components including collagen type IV, nidogen and perlecan. Other interstitial matrix components, such as fibrillin-1 or -2, tenascin-C or fibrillar collagen types, were also associated with these structures. Three-dimensional (3D) confocal microscopy suggested a tubular structure, whereas immunoelectron and transmission electron microscopy showed that the core of these tubes contained fibrillar collagens enwrapped by the LN-5-containing membrane. These medullary conduits are surrounded by thymic epithelial cells, which in vitro were found to bind LN-5, but also fibrillin and tenascin-C. Dendritic cells were also detected in close vicinity to the conduits. Both of these stromal cell types express major histocompatibility complex (MHC) class II molecules capable of antigen presentation. The conduits are connected to blood vessels but, with an average diameter of 2 mum, they are too small to transport cells. However, evidence is provided that smaller molecules such as a 10 kDa dextran, but not large molecules (>500 kDa), can be transported in the conduits. These results clearly demonstrate that a conduit system, which is also known from secondary lymphatic organs such as lymph nodes and spleen, is present in the medulla of the human thymus, and that it might serve to transport small blood-borne molecules or chemokines to defined locations within the medulla.},
author = {Drumea-Mirancea, Mihaela and Wessels, Johannes T and Müller, Claudia A and Essl, Mike and Eble, Johannes A and Tolosa, Eva and Koch, Manuel and Reinhardt, Dieter P and Michael Sixt and Sorokin, Lydia and Stierhof, York-Dieter and Schwarz, Heinz and Klein, Gerd},
journal = {Journal of Cell Science},
number = {Pt 7},
pages = {1396 -- 1405},
publisher = {Company of Biologists},
title = {{Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules}},
doi = {10.1242/jcs.02840},
volume = {119},
year = {2006},
}
@article{4184,
abstract = {Epithelial morphogenesis depends on coordinated changes in cell shape, a process that is still poorly understood. During zebrafish epiboly and Drosophila dorsal closure, cell-shape changes at the epithelial margin are of critical importance. Here evidence is provided for a conserved mechanism of local actin and myosin 2 recruitment during theses events. It was found that during epiboly of the zebrafish embryo, the movement of the outer epithelium (enveloping layer) over the yolk cell surface involves the constriction of marginal cells. This process depends on the recruitment of actin and myosin 2 within the yolk cytoplasm along the margin of the enveloping layer. Actin and myosin 2 recruitment within the yolk cytoplasm requires the Ste20-like kinase Msn1, an orthologue of Drosophila Misshapen. Similarly, in Drosophila, actin and myosin 2 localization and cell constriction at the margin of the epidermis mediate dorsal closure and are controlled by Misshapen. Thus, this study has characterized a conserved mechanism underlying coordinated cell-shape changes during epithelial morphogenesis.},
author = {Köppen, Mathias and Fernández, Beatriz García and Carvalho,Lara and Jacinto, António and Heisenberg, Carl-Philipp},
journal = {Development},
number = {14},
pages = {2671 -- 2681},
publisher = {Company of Biologists},
title = {{Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila}},
doi = {doi: 10.1242/dev.02439},
volume = {133},
year = {2006},
}
@article{4235,
author = {Harold Vladar and González,J. A},
journal = {Journal of Theoretical Biology},
pages = {91 -- 109},
publisher = {Elsevier},
title = {{Dynamic response of cancer under the influence of immunological activity and therapy}},
year = {2006},
}
@inproceedings{4374,
author = {Maler, Oded and Dejan Nickovic and Pnueli,Amir},
pages = {274 -- 289},
publisher = {Springer},
title = {{From MITL to Timed Automata}},
doi = {1570},
year = {2006},
}
@inproceedings{4406,
abstract = {We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction to explicitly determinize the automaton, we keep the determinization step implicit. Our algorithm computes the least fixed point of a monotone function on the lattice of antichains of state sets. We evaluate the performance of our algorithm experimentally using the random automaton model recently proposed by Tabakov and Vardi. We show that on the difficult instances of this probabilistic model, the antichain algorithm outperforms the standard one by several orders of magnitude. We also show how variations of the antichain method can be used for solving the language-inclusion problem for nondeterministic finite automata, and the emptiness problem for alternating finite automata.},
author = {De Wulf, Martin and Doyen, Laurent and Thomas Henzinger and Raskin, Jean-François},
pages = {17 -- 30},
publisher = {Springer},
title = {{Antichains: A new algorithm for checking universality of finite automata}},
doi = {10.1007/11817963_5},
volume = {4144},
year = {2006},
}
@inproceedings{4432,
abstract = {We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL by restricting the players to physically meaningful strategies, which do not prevent time from diverging. We show that TATL can be model checked over timed automaton games. We also specify timed optimization problems for physically meaningful strategies, and we show that for timed automaton games, the optimal answers can be approximated to within any degree of precision.},
author = {Thomas Henzinger and Prabhu, Vinayak S},
pages = {1 -- 17},
publisher = {Springer},
title = {{Timed alternating-time temporal logic}},
doi = {10.1007/11867340_1},
volume = {4202},
year = {2006},
}
@inproceedings{4437,
abstract = {The synthesis of reactive systems requires the solution of two-player games on graphs with ω-regular objectives. When the objective is specified by a linear temporal logic formula or nondeterministic Büchi automaton, then previous algorithms for solving the game require the construction of an equivalent deterministic automaton. However, determinization for automata on infinite words is extremely complicated, and current implementations fail to produce deterministic automata even for relatively small inputs. We show how to construct, from a given nondeterministic Büchi automaton, an equivalent nondeterministic parity automaton that is good for solving games with objective . The main insight is that a nondeterministic automaton is good for solving games if it fairly simulates the equivalent deterministic automaton. In this way, we omit the determinization step in game solving and reactive synthesis. The fact that our automata are nondeterministic makes them surprisingly simple, amenable to symbolic implementation, and allows an incremental search for winning strategies.},
author = {Thomas Henzinger and Piterman, Nir},
pages = {395 -- 410},
publisher = {Springer},
title = {{Solving games without determinization}},
doi = {10.1007/11874683_26},
volume = {4207},
year = {2006},
}
@article{4451,
abstract = {One source of complexity in the μ-calculus is its ability to specify an unbounded number of switches between universal (AX) and existential (EX) branching modes. We therefore study the problems of satisfiability, validity, model checking, and implication for the universal and existential fragments of the μ-calculus, in which only one branching mode is allowed. The universal fragment is rich enough to express most specifications of interest, and therefore improved algorithms are of practical importance. We show that while the satisfiability and validity problems become indeed simpler for the existential and universal fragments, this is, unfortunately, not the case for model checking and implication. We also show the corresponding results for the alternation-free fragment of the μ-calculus, where no alternations between least and greatest fixed points are allowed. Our results imply that efforts to find a polynomial-time model-checking algorithm for the μ-calculus can be replaced by efforts to find such an algorithm for the universal or existential fragment.},
author = {Thomas Henzinger and Kupferman, Orna and Majumdar, Ritankar S},
journal = {Theoretical Computer Science},
number = {2},
pages = {173 -- 186},
publisher = {Elsevier},
title = {{On the universal and existential fragments of the mu-calculus}},
doi = {10.1016/j.tcs.2005.11.015},
volume = {354},
year = {2006},
}
@inproceedings{4526,
abstract = {We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the language,and ensured by the compiler. Programs in HTL are extensible in two dimensions without changing their timing behavior: new program modules can be added, and individual program tasks can be refined. The mechanism supporting time invariance under parallel composition is that different program modules communicate at specified instances of time. Time invariance under refinement is achieved by conservative scheduling of the top level. HTL is a coordination language, in that individual tasks can be implemented in "foreign" languages. As a case study, we present a distributed HTL implementation of an automotive steer-by-wire controller.},
author = {Ghosal, Arkadeb and Thomas Henzinger and Iercan, Daniel and Kirsch, Christoph M and Sangiovanni-Vincentelli, Alberto},
pages = {132 -- 141},
publisher = {ACM},
title = {{A hierarchical coordination language for interacting real-time tasks}},
doi = {10.1145/1176887.1176907},
year = {2006},
}
@inproceedings{4401,
author = {Alur, Rajeev and Pavol Cerny and Zdancewic,Steve},
pages = {107 -- 118},
publisher = {Springer},
title = {{Preserving Secrecy Under Refinement}},
doi = {1543},
year = {2006},
}
@inproceedings{4552,
abstract = {A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a probability distribution over the successor states. The objective for player 1 consists in reaching a set of target states; the objective for player 2 is to prevent this, so that the game is zero-sum. Our contributions are two-fold. First, we present a simple proof of the fact that in concurrent reachability games, for all epsilon > 0, memoryless epsilon-optimal strategies exist. A memoryless strategy is independent of the history of plays, and an epsilon-optimal strategy achieves the objective with probability within epsilon of the value of the game. In contrast to previous proofs of this fact, which rely on the limit behavior of discounted games using advanced Puisieux series analysis, our proof is elementary and combinatorial. Second, we present a strategy-improvement (a.k.a. policy-iteration) algorithm for concurrent games with reachability objectives.},
author = {Krishnendu Chatterjee and de Alfaro, Luca and Thomas Henzinger},
pages = {291 -- 300},
publisher = {IEEE},
title = {{Strategy improvement for concurrent reachability games}},
doi = {10.1109/QEST.2006.48},
year = {2006},
}
@inproceedings{4538,
abstract = {A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with ω-regular winning conditions specified as parity objectives. These games lie in NP ∩ coNP. We present a strategy improvement algorithm for stochastic parity games; this is the first non-brute-force algorithm for solving these games. From the strategy improvement algorithm we obtain a randomized subexponential-time algorithm to solve such games.},
author = {Krishnendu Chatterjee and Thomas Henzinger},
pages = {512 -- 523},
publisher = {Springer},
title = {{Strategy improvement and randomized subexponential algorithms for stochastic parity games}},
doi = {10.1007/11672142_42},
volume = {3884},
year = {2006},
}
@inproceedings{578,
abstract = {A source of single photons allows secure quantum key distribution, in addition, to being a critical resource for linear optics quantum computing. We describe our progress on deterministically creating single photons from spontaneous parametric downconversion, an extension of the Pittman, Jacobs and Franson scheme [Phys. Rev A, v66, 042303 (2002)]. Their idea was to conditionally prepare single photons by measuring one member of a spontaneously emitted photon pair and storing the remaining conditionally prepared photon until a predetermined time, when it would be "deterministically" released from storage. Our approach attempts to improve upon this by recycling the pump pulse in order to decrease the possibility of multiple-pair generation, while maintaining a high probability of producing a single pair. Many of the challenges we discuss are central to other quantum information technologies, including the need for low-loss optical storage, switching and detection, and fast feed-forward control.},
author = {Peters, Nicholas A and Arnold, Keith J and VanDevender, Aaron P and Jeffrey, Evan R and Rangarajan, Radhika and Onur Hosten and Barreiro, Julio T and Altepeter, Joseph B and Kwiat, Paul G},
publisher = {SPIE},
title = {{Towards a quasi-deterministic single-photon source}},
doi = {10.1117/12.684702},
volume = {6305},
year = {2006},
}
@article{573,
abstract = {Mitchison and Jozsa recently suggested that the "chained-Zeno" counterfactual computation protocol recently proposed by Hosten et al. is counterfactual for only one output of the computer. This claim was based on the existing abstract algebraic definition of counterfactual computation, and indeed according to this definition, their argument is correct. However, a more general definition (physically adequate) for counterfactual computation is implicitly assumed by Hosten et. al. Here we explain in detail why the protocol is counterfactual and how the "history tracking" method of the existing description inadequately represents the physics underlying the protocol. Consequently, we propose a modified definition of counterfactual computation. Finally, we comment on one of the most interesting aspects of the error-correcting protocol. },
author = {Onur Hosten and Rakher, Matthew T and Barreiro, Julio T and Peters, Nicholas A and Kwiat, Paul G},
journal = {Quantum Physics},
publisher = {ArXiv},
title = {{Counterfactual computation revisited}},
year = {2006},
}
@article{903,
abstract = {Background: Carcinogenesis typically involves multiple somatic mutations in caretaker (DNA repair) and gatekeeper (tumor suppressors and oncogenes) genes. Analysis of mutation spectra of the tumor suppressor that is most commonly mutated in human cancers, p53, unexpectedly suggested that somatic evolution of the p53 gene during tumorigenesis is dominated by positive selection for gain of function. This conclusion is supported by accumulating experimental evidence of evolution of new functions of p53 in tumors. These findings prompted a genome-wide analysis of possible positive selection during tumor evolution. Methods: A comprehensive analysis of probable somatic mutations in the sequences of Expressed Sequence Tags (ESTs) from malignant tumors and normal tissues was performed in order to access the prevalence of positive selection in cancer evolution. For each EST, the numbers of synonymous and non-synonymous substitutions were calculated. In order to identify genes with a signature of positive selection in cancers, these numbers were compared to: i) expected numbers and ii) the numbers for the respective genes in the ESTs from normal tissues. Results: We identified 112 genes with a signature of positive selection in cancers, i.e., a significantly elevated ratio of non-synonymous to synonymous substitutions, in tumors as compared to 37 such genes in an approximately equal-sized EST collection from normal tissues. A substantial fraction of the tumor-specific positive-selection candidates have experimentally demonstrated or strongly predicted links to cancer. Conclusion: The results of EST analysis should be interpreted with extreme caution given the noise introduced by sequencing errors and undetected polymorphisms. Furthermore, an inherent limitation of EST analysis is that multiple mutations amenable to statistical analysis can be detected only in relatively highly expressed genes. Nevertheless, the present results suggest that positive selection might affect a substantial number of genes during tumorigenic somatic evolution.},
author = {Babenko, Vladimir N and Basu, Malay K and Fyodor Kondrashov and Rogozin, Igor B and Koonin, Eugene V},
journal = {BMC Cancer},
publisher = {BioMed Central},
title = {{Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis}},
doi = {10.1186/1471-2407-6-36},
volume = {6},
year = {2006},
}
@article{869,
abstract = {The impact of synonymous nucleotide substitutions on fitness in mammals remains controversial. Despite some indications of selective constraint, synonymous sites are often assumed to be neutral, and the rate of their evolution is used as a proxy for mutation rate. We subdivide all sites into four classes in terms of the mutable CpG context, nonCpG, postC, preG, and postCpreG, and compare four-fold synonymous sites and intron sites residing outside transposable elements. The distribution of the rate of evolution across all synonymous sites is trimodal. Rate of evolution at nonCpG synonymous sites, not preceded by C and not followed by G, is ∼10% below that at such intron sites. In contrast, rate of evolution at postCpreG synonymous sites is ∼30% above that at such intron sites. Finally, synonymous and intron postC and preG sites evolve at similar rates. The relationship between the levels of polymorphism at the corresponding synonymous and intron sites is very similar to that between their rates of evolution. Within every class, synonymous sites are occupied by G or C much more often than intron sites, whose nucleotide composition is consistent with neutral mutation-drift equilibrium. These patterns suggest that synonymous sites are under weak selection in favor of G and C, with the average coefficient s∼0.25/Ne∼10-5, where Ne is the effective population size. Such selection decelerates evolution and reduces variability at sites with symmetric mutation, but has the opposite effects at sites where the favored nucleotides are more mutable. The amino-acid composition of proteins dictates that many synonymous sites are CpGprone, which causes them, on average, to evolve faster and to be more polymorphic than intron sites. An average genotype carries ∼107 suboptimal nucleotides at synonymous sites, implying synergistic epistasis in selection against them.},
author = {Fyodor Kondrashov and Ogurtsov, Aleksey Yu and Kondrashov, Alexey S},
journal = {Journal of Theoretical Biology},
number = {4},
pages = {616 -- 626},
publisher = {Elsevier},
title = {{Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites}},
doi = {10.1016/j.jtbi.2005.10.020},
volume = {240},
year = {2006},
}
@article{2134,
abstract = {Predissociation of the N+2 C 2Σ+u(v') vibrational levels with v' ≥ 3 was observed via dispersed C 2Σ+u → X 2Σ+g fluorescence in the spectral range of 165–208 nm after resonant 1s−1π*(vr) excitation of N2 and its subsequent autoionization into the N+2 C state. This range is dominated by lines in atomic nitrogen, by overlapped C 2Σ+u(v') → X 2Σ+g(v'') vibrational band sequences with Δv = const and broad unresolved band systems (D, (2))2Πg(v') → A2Πu(v'') in the N+2 molecular ion. With very high fluorescence resolution of about 0.1 nm FWHM individual C 2Σ+u(v') → X 2Σ+g(v'') vibrational bands have been resolved. Calculation of the observed fluorescence spectra by taking into account predissociation and molecular rotation describes well the shape of both individual vibrational bands C 2Σ+u(v') → X 2Σ+g(v'') and the whole band system.},
author = {Ehresmann, Arno and Werner, Lutz and Klumpp, Stefan and Demekhin, Ph V and Mikhail Lemeshko and Sukhorukov, V. L and Schartner, Karl H and Schmoranzer, Hans P},
journal = {Journal of Physics B: Atomic, Molecular and Optical Physics},
number = {6},
pages = {L119 -- L126},
publisher = {IOP Publishing Ltd.},
title = {{Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule}},
doi = {10.1088/0953-4075/39/6/L03},
volume = {39},
year = {2006},
}
@inproceedings{2088,
abstract = {We have measured 3D face geometry, skin reflectance, and subsurface scattering using custom-built devices for 149 subjects of varying age, gender, and race. We developed a novel skin reflectance model whose parameters can be estimated from measurements. The model decomposes the large amount of measured skin data into a spatially-varying analytic BRDF, a diffuse albedo map, and diffuse subsurface scattering. Our model is intuitive, physically plausible, and - since we do not use the original measured data - easy to edit as well. High-quality renderings come close to reproducing real photographs. The analysis of the model parameters for our sample population reveals variations according to subject age, gender, skin type, and external factors (e.g., sweat, cold, or makeup). Using our statistics, a user can edit the overall appearance of a face (e.g., changing skin type and age) or change small-scale features using texture synthesis (e.g., adding moles and freckles). We are making the collected statistics publicly available to the research community for applications in face synthesis and analysis. },
author = {Weyrich, Tim and Matusik, Wojciech and Pfister, Hanspeter and Bernd Bickel and Donner, Craig and Tu, Chien and McAndless, Janet M and Lee, Jinho and Ngan, Addy and Jensen, Henrik W and Groß, Markus S},
pages = {1013 -- 1024},
publisher = {ACM},
title = {{Analysis of human faces using a measurement-based skin reflectance model}},
doi = {10.1145/1179352.1141987},
year = {2006},
}
@inproceedings{2090,
author = {Bernd Bickel and Weyrich, Tim and Matusik, Wojciech and Pfister, Hanspeter and Donner, Craig and Tu, Chien and McAndless, Janet M and Lee, Jinho and Ngan, Addy and Jensen, Henrik W and Groß, Markus S},
publisher = {ACM},
title = {{Processing and editing of faces using a measurement-based skin reflectance model}},
doi = {10.1145/1179849.1180059},
year = {2006},
}
@article{2660,
abstract = {Pavlovian fear conditioning, a simple form of associative learning, is thought to involve the induction of associative, NMDA receptor-dependent long-term potentiation (LTP) in the lateral amygdala. Using a combined genetic and electrophysiological approach, we show here that lack of a specific GABAB receptor subtype, GABAB(1a,2), unmasks a nonassociative, NMDA receptor-independent form of presynaptic LTP at cortico-amygdala afferents. Moreover, the level of presynaptic GABA B(1a,2) receptor activation, and hence the balance between associative and nonassociative forms of LTP, can be dynamically modulated by local inhibitory activity. At the behavioral level, genetic loss of GABA B(1a) results in a generalization of conditioned fear to nonconditioned stimuli. Our findings indicate that presynaptic inhibition through GABAB(1a,2) receptors serves as an activity-dependent constraint on the induction of homosynaptic plasticity, which may be important to prevent the generalization of conditioned fear.},
author = {Shaban, Hamdy and Humeau, Yann and Herry, Cyril and Cassasus, Guillaume and Ryuichi Shigemoto and Ciocchi, Stéphane and Barbieri, Samuel and Van Der Putten, Herman V and Kaupmann, Klemens and Bettler, Bernhard and Lüthi, Andreas},
journal = {Nature Neuroscience},
number = {8},
pages = {1028 -- 1035},
publisher = {Nature Publishing Group},
title = {{Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition}},
doi = {10.1038/nn1732},
volume = {9},
year = {2006},
}
@article{2747,
abstract = {Consider a system of N bosons on the three-dimensional unit torus interacting via a pair potential N 2V(N(x i - x j)) where x = (x i, . . ., x N) denotes the positions of the particles. Suppose that the initial data ψ N,0 satisfies the condition 〈ψ N,0, H 2 Nψ N,0) ≤ C N 2 where H N is the Hamiltonian of the Bose system. This condition is satisfied if ψ N,0 = W Nφ N,t where W N is an approximate ground state to H N and φ N,0 is regular. Let ψ N,t denote the solution to the Schrödinger equation with Hamiltonian H N. Gross and Pitaevskii proposed to model the dynamics of such a system by a nonlinear Schrödinger equation, the Gross-Pitaevskii (GP) equation. The GP hierarchy is an infinite BBGKY hierarchy of equations so that if u t solves the GP equation, then the family of k-particle density matrices ⊗ k |u t?〉 〈 t | solves the GP hierarchy. We prove that as N → ∞ the limit points of the k-particle density matrices of ψ N,t are solutions of the GP hierarchy. Our analysis requires that the N-boson dynamics be described by a modified Hamiltonian that cuts off the pair interactions whenever at least three particles come into a region with diameter much smaller than the typical interparticle distance. Our proof can be extended to a modified Hamiltonian that only forbids at least n particles from coming close together for any fixed n.},
author = {László Erdös and Schlein, Benjamin and Yau, Horng-Tzer},
journal = {Communications on Pure and Applied Mathematics},
number = {12},
pages = {1659 -- 1741},
publisher = {Wiley-Blackwell},
title = {{Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate}},
doi = {10.1002/cpa.20123},
volume = {59},
year = {2006},
}
@article{2792,
abstract = {Transition to turbulence in pipe flow has posed a riddle in fluid dynamics since the pioneering experiments of Reynolds[1]. Although the laminar flow is linearly stable for all flow rates, practical pipe flows become turbulent at large enough flow speeds. Turbulence arises suddenly and fully without distinct steps and without a clear critical point. The complexity of this problem has puzzled mathematicians, physicists and engineers for more than a century and no satisfactory explanation of this problem has been given. In a very recent theoretical approach it has been suggested that unstable solutions of the Navier Stokes equations may hold the key to understanding this problem. In numerical studies such unstable states have been identified as exact solutions for the idealized case of a pipe with periodic boundary conditions[2, 3]. These solutions have the form of waves extending through the entire pipe and travelling in the streamwise direction at a phase speed close to the bulk velocity of the fluid. With the aid of a recently developed high-speed stereoscopic Particle Image Velocimetry (PIV) system, we were able to observe transients of such unstable solutions in turbulent pipe flow[4].},
author = {Björn Hof and van Doorne, Casimir W and Westerweel, Jerry and Nieuwstadt, Frans T},
journal = {Fluid Mechanics and its Applications},
pages = {109 -- 114},
publisher = {Springer},
title = {{Observation of nonlinear travelling waves in turbulent pipe flow}},
doi = {10.1007/1-4020-4159-4_11},
volume = {78},
year = {2006},
}
@article{3005,
author = {Friml, Jirí and Benfey, Philip and Benková, Eva and Bennett, Malcolm and Berleth, Thomas and Geldner, Niko and Grebe, Markus and Heisler, Marcus and Hejátko, Jan and Jürgens, Gerd and Laux, Thomas and Lindsey, Keith and Lukowitz, Wolfgang and Luschnig, Christian and Offringa, Remko and Scheres, Ben and Swarup, Ranjan and Torres Ruiz, Ramón and Weijers, Dolf and Zažímalová, Eva},
journal = {Trends in Plant Science},
number = {1},
pages = {12 -- 14},
publisher = {Cell Press},
title = {{Apical-basal polarity: Why plant cells don't stand on their heads}},
doi = {10.1016/j.tplants.2005.11.010},
volume = {11},
year = {2006},
}
@article{3012,
abstract = {Intercellular flow of the phytohormone auxin underpins multiple developmental processes in plants. Plant-specific pin-formed (PIN) proteins and several phosphoglycoprotein (PGP) transporters are crucial factors in auxin transport-related development, yet the molecular function of PINs remains unknown. Here, we show that PINs mediate auxin efflux from mammalian and yeast cells without needing additional plant-specific factors. Conditional gain-of-function alleles and quantitative measurements of auxin accumulation in Arabidopsis and tobacco cultured cells revealed that the action of PINs in auxin efflux is distinct from PGP, rate-limiting, specific to auxins, and sensitive to auxin transport inhibitors. This suggests a direct involvement of PINs in catalyzing cellular auxin efflux.},
author = {Petrášek, Jan and Mravec, Jozef and Bouchard, Rodolphe and Blakeslee, Joshua and Melinda Abas and Seifertová, Daniela and Wiśniewska, Justyna and Tadele, Zerihun and Kubeš, Martin and Čovanová, Milada and Dhonukshe, Pankaj and Skůpa, Petr and Eva Benková and Perry, Lucie and Křeček, Pavel and Lee, Ok Ran and Fink, Gerald R and Geisler, Markus and Murphy, Angus S and Luschnig, Christian and Zažímalová, Eva and Jirí Friml},
journal = {Science},
number = {5775},
pages = {914 -- 918},
publisher = {American Association for the Advancement of Science},
title = {{PIN proteins perform a rate-limiting function in cellular auxin efflux}},
doi = {10.1126/science.1123542},
volume = {312},
year = {2006},
}
@article{3017,
abstract = {The plant hormone auxin plays crucial roles in regulating plant growth development, including embryo and root patterning, organ formation, vascular tissue differentiation and growth responses to environmental stimuli. Asymmetric auxin distribution patterns have been observed within tissues, and these so-called auxin gradients change dynamically during different developmental processes. Most auxin is synthesized in the shoot and distributed directionally throughout the plant. This polar auxin transport is mediated by auxin influx and efflux facilitators, whose subcellular polar localizations guide the direction of auxin flow. The polar localization of PIN auxin efflux carriers changes in response to developmental and external cues in order to channel auxin flow in a regulated manner for organized growth. Auxin itself modulates the expression and subcellular localization of PIN proteins, contributing to a complex pattern of feedback regulation. Here we review the available information mainly from studies of a model plant, Arabidopsis thaliana, on the generation of auxin gradients, the regulation of polar auxin transport and further downstream cellular events.},
author = {Tanaka, Hirokazu and Dhonukshe, Pankaj and Brewer, Philip and Friml, Jirí},
journal = {Cellular and Molecular Life Sciences},
number = {23},
pages = {2738 -- 2754},
publisher = {Birkhäuser},
title = {{Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development}},
doi = {10.1007/s00018-006-6116-5},
volume = {63},
year = {2006},
}
@inproceedings{3214,
abstract = {The Feistel-network is a popular structure underlying many block-ciphers where the cipher is constructed from many simpler rounds, each defined by some function which is derived from the secret key.
Luby and Rackoff showed that the three-round Feistel-network – each round instantiated with a pseudorandom function secure against adaptive chosen plaintext attacks (CPA) – is a CPA secure pseudorandom permutation, thus giving some confidence in the soundness of using a Feistel-network to design block-ciphers.
But the round functions used in actual block-ciphers are – for efficiency reasons – far from being pseudorandom. We investigate the security of the Feistel-network against CPA distinguishers when the only security guarantee we have for the round functions is that they are secure against non-adaptive chosen plaintext attacks (nCPA). We show that in the information-theoretic setting, four rounds with nCPA secure round functions are sufficient (and necessary) to get a CPA secure permutation. Unfortunately, this result does not translate into the more interesting pseudorandom setting. In fact, under the so-called Inverse Decisional Diffie-Hellman assumption the Feistel-network with four rounds, each instantiated with a nCPA secure pseudorandom function, is in general not a CPA secure pseudorandom permutation.},
author = {Maurer, Ueli M and Oswald, Yvonne A and Krzysztof Pietrzak and Sjödin, Johan},
pages = {391 -- 408},
publisher = {Springer},
title = {{Luby Rackoff ciphers from weak round functions }},
doi = {10.1007/11761679_24},
volume = {4004},
year = {2006},
}
@inbook{3404,
author = {Harald Janovjak and Sawhney, Ravi K and Stark, Martin and Mueller, Daniel J},
booktitle = {Techniques in Microscopy for Biomedical Applications},
pages = {213 -- 284},
publisher = {World Scientific Publishing},
title = {{Atomic force microscopy}},
volume = {2},
year = {2006},
}
@misc{3512,
abstract = {Methods, apparatus and computer program products provide efficient techniques for reconstructing surfaces from data point sets. These techniques include reconstructing surfaces from sets of scanned data points that have preferably undergone preprocessing operations to improve their quality by, for example, reducing noise and removing outliers. These techniques include reconstructing a dense and locally two-dimensionally distributed 3D point set (e.g., point cloud) by merging stars in two-dimensional weighted Delaunay triangulations within estimated tangent planes. The techniques include determining a plurality of stars from a plurality of points p.sub.i in a 3D point set S that at least partially describes the 3D surface, by projecting the plurality of points p.sub.i onto planes T.sub.i that are each estimated to be tangent about a respective one of the plurality of points p.sub.i. The plurality of stars are then merged into a digital model of the 3D surface.},
author = {Fletcher, Yates G and Gloth, Tobias and Herbert Edelsbrunner and Fu, Ping},
publisher = {Elsevier},
title = {{Method, apparatus and computer products that reconstruct surfaces from data points}},
doi = {US 7,023,432 B2},
year = {2006},
}
@inproceedings{3500,
abstract = {The classical algorithm for solving Bu ̈chi games requires time O(n · m) for game graphs with n states and m edges. For game graphs with constant outdegree, the best known algorithm has running time O(n2/logn). We present two new algorithms for Bu ̈chi games. First, we give an algorithm that performs at most O(m) more work than the classical algorithm, but runs in time O(n) on infinitely many graphs of constant outdegree on which the classical algorithm requires time O(n2). Second, we give an algorithm with running time O(n · m · log δ(n)/ log n), where 1 ≤ δ(n) ≤ n is the outdegree of the game graph. Note that this algorithm performs asymptotically better than the classical algorithm if δ(n) = O(log n).},
author = {Krishnendu Chatterjee and Thomas Henzinger and Piterman, Nir},
publisher = {ACM},
title = {{Algorithms for Büchi Games}},
year = {2006},
}
@article{3815,
abstract = {It is widely accepted that the hippocampus plays a major role in learning and memory. The mossy fiber synapse between granule cells in the dentate gyrus and pyramidal neurons in the CA3 region is a key component of the hippocampal trisynaptic circuit. Recent work, partially based on direct presynaptic patch-clamp recordings from hippocampal mossy fiber boutons, sheds light on the mechanisms of synaptic transmission and plasticity at mossy fiber synapses. A high Na(+) channel density in mossy fiber boutons leads to a large amplitude of the presynaptic action potential. Together with the fast gating of presynaptic Ca(2+) channels, this generates a large and brief presynaptic Ca(2+) influx, which can trigger transmitter release with high efficiency and temporal precision. The large number of release sites, the large size of the releasable pool of vesicles, and the huge extent of presynaptic plasticity confer unique strength to this synapse, suggesting a large impact onto the CA3 pyramidal cell network under specific behavioral conditions. The characteristic properties of the hippocampal mossy fiber synapse may be important for pattern separation and information storage in the dentate gyrus-CA3 cell network.},
author = {Bischofberger, Josef and Engel, Dominique and Frotscher, Michael and Peter Jonas},
journal = {Pflugers Archiv : European Journal of Physiology},
number = {3},
pages = {361 -- 72},
publisher = {Springer},
title = {{Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network}},
doi = {10.1007/s00424-006-0093-2},
volume = {453},
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},
}
@article{3935,
abstract = {Integrins regulate cell behavior through the assembly of multiprotein complexes at the site of cell adhesion. Parvins are components of such a multiprotein complex. They consist of three members (alpha-, beta-, and gamma-parvin), form a functional complex with integrin-linked kinase (ILK) and PINCH, and link integrins to the actin cytoskeleton. Whereas alpha- and beta-parvins are widely expressed, gamma-parvin has been reported to be expressed in hematopoietic organs. In the present study, we report the expression pattern of the parvins in hematopoietic cells and the phenotypic analysis of gamma-parvin-deficient mice. Whereas alpha-parvin is not expressed in hematopoietic cells, beta-parvin is only found in myeloid cells and gamma-parvin is present in both cells of the myeloid and lymphoid lineages, where it binds ILK. Surprisingly, loss of gamma-parvin expression had no effect on blood cell differentiation, proliferation, and survival and no consequence for the T-cell-dependent antibody response and lymphocyte and dendritic cell migration. These data indicate that despite the high expression of gamma-parvin in hematopoietic cells it must play a more subtle role for blood cell homeostasis.},
author = {Chu, Haiyan and Thievessen, Ingo and Michael Sixt and Lämmermann, Tim and Waisman, Ari and Braun, Attila and Noegel, Angelika A and Fässler, Reinhard},
journal = {Molecular and Cellular Biology},
number = {5},
pages = {1817 -- 1825},
publisher = {American Society for Microbiology},
title = {{γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response}},
doi = {10.1128/MCB.26.5.1817-1825.2006},
volume = {26},
year = {2006},
}
@article{3978,
abstract = {Evaluating the quality of experimentally determined protein structural models is an essential step toward identifying potential errors and guiding further structural refinement. Herein, we report the use of proton local density as a sensitive measure to assess the quality of nuclear magnetic resonance (NMR) structures. Using 256 high-resolution crystal structures with protons added and optimized, we show that the local density of different proton types display distinct distributions. These distributions can be characterized by statistical moments and are used to establish local density Z-scores for evaluating both global and local packing for individual protons. Analysis of 546 crystal structures at various resolutions shows that the local density Z-scores increase as the structural resolution decreases and correlate well with the ClashScore (Word et al. J Mol Biol 1999;285(4):1711-1733) generated by all atom contact analysis. Local density Z-scores for NMR structures exhibit a significantly wider range of values than for X-ray structures and demonstrate a combination of potentially problematic inflation and compression. Water-refined NMR structures show improved packing quality. Our analysis of a high-quality structural ensemble of ubiquitin refined against order parameters shows proton density distributions that correlate nearly perfectly with our standards derived from crystal structures, further validating our approach. We present an automated analysis and visualization tool for proton packing to evaluate the quality of NMR structures.},
author = {Ban, Yih-En Andrew and Rudolph, Johannes and Zhou, Pei and Herbert Edelsbrunner},
journal = {Proteins: Structure, Function and Bioinformatics},
number = {4},
pages = {852 -- 864},
publisher = {Wiley-Blackwell},
title = {{Evaluating the quality of NMR structures by local density of protons}},
doi = {10.1002/prot.20811},
volume = {62},
year = {2006},
}
@article{3980,
abstract = {Given a smoothly embedded 2-manifold in R-3, we define the elevation of a point as the height difference to a canonically defined second point on the same manifold. Our definition is invariant under rigid motions and can be used to define features such as lines of discontinuous or continuous but non-smooth elevation. We give an algorithm for finding points of locally maximum elevation, which we suggest mark cavities and protrusions and are useful in matching shapes as for example in protein docking.},
author = {Agarwal, Pankaj K and Herbert Edelsbrunner and Harer, John and Wang, Yusu},
journal = {Discrete & Computational Geometry},
number = {4},
pages = {553 -- 572},
publisher = {Springer},
title = {{Extreme elevation on a 2-manifold}},
doi = {10.1007/s00454-006-1265-8},
volume = {36},
year = {2006},
}
@article{4173,
abstract = {Background: Zebrafish (D. rerio) has become a powerful and widely used model system for the analysis of vertebrate embryogenesis and organ development. While genetic methods are readily available in zebrafish, protocols for two dimensional (2D) gel electrophoresis and proteomics have yet to be developed. Results: As a prerequisite to carry out proteomic experiments with early zebrafish embryos, we developed a method to efficiently remove the yolk from large batches of embryos. This method enabled high resolution 2D gel electrophoresis and improved Western blotting considerably. Here, we provide detailed protocols for proteomics in zebrafish from sample preparation to mass spectrometry (MS), including a comparison of databases for MS identification of zebrafish proteins. Conclusion: The provided protocols for proteomic analysis of early embryos enable research to be taken in novel directions in embryogenesis.},
author = {Link, Vinzenz and Shevchenko, Andrej and Heisenberg, Carl-Philipp},
journal = {BMC Developmental Biology},
pages = {1 -- 9},
publisher = {BioMed Central},
title = {{Proteomics of early zebrafish embryos}},
doi = {10.1186/1471-213X-6-1},
volume = {6},
year = {2006},
}
@article{4178,
abstract = {Detailed reconstruction of the spatiotemporal history of embryonic cells is key to understanding tissue formation processes but is often complicated by the large number of cells involved, particularly so in vertebrates. Through a combination of high-resolution time-lapse lineage tracing and antibody staining, we have analyzed the movement of mesencephalic and metencephalic cell populations in the early zebrafish embryo. To facilitate the analysis of our cell tracking data, we have created TracePilot, a software tool that allows interactive manipulation and visualization of tracking data. We demonstrate its utility by showing novel visualizations of cell movement in the developing zebrafish brain. TracePilot (http://www.mpi-cbg.de/tracepilot) is Java-based, available free of charge, and has a program structure that allows the incorporation of additional analysis tools.},
author = {Langenberg, Tobias and Dracz, Tadeusz and Oates, Andrew C and Heisenberg, Carl-Philipp and Brand, Michael},
journal = {Developmental Dynamics},
number = {4},
pages = {928 -- 933},
publisher = {Wiley-Blackwell},
title = {{Analysis and visualization of cell movement in the developing zebrafish brain}},
doi = {10.1002/dvdy.20692},
volume = {235},
year = {2006},
}
@misc{4250,
abstract = {A recent analysis has shown that divergence between human and chimpanzee varies greatly across the genome. Although this is consistent with ‘hybridisation’ between the diverging human and chimp lineages, such observations can be explained more simply by the null model of allopatric speciation.},
author = {Nicholas Barton},
booktitle = {Current Biology},
number = {16},
pages = {647 -- 650},
publisher = {Cell Press},
title = {{Evolutionary Biology: How did the human species form?}},
doi = {10.1016/j.cub.2006.07.032},
volume = {16},
year = {2006},
}
@article{4351,
abstract = {BACKGROUND: Character mapping on phylogenies has played an important, if not critical role, in our understanding of molecular, morphological, and behavioral evolution. Until very recently we have relied on parsimony to infer character changes. Parsimony has a number of serious limitations that are drawbacks to our understanding. Recent statistical methods have been developed that free us from these limitations enabling us to overcome the problems of parsimony by accommodating uncertainty in evolutionary time, ancestral states, and the phylogeny. RESULTS: SIMMAP has been developed to implement stochastic character mapping that is useful to both molecular evolutionists, systematists, and bioinformaticians. Researchers can address questions about positive selection, patterns of amino acid substitution, character association, and patterns of morphological evolution. CONCLUSION: Stochastic character mapping, as implemented in the SIMMAP software, enables users to address questions that require mapping characters onto phylogenies using a probabilistic approach that does not rely on parsimony. Analyses can be performed using a fully Bayesian approach that is not reliant on considering a single topology, set of substitution model parameters, or reconstruction of ancestral states. Uncertainty in these quantities is accommodated by using MCMC samples from their respective posterior distributions.},
author = {Jonathan Bollback},
journal = {BMC Bioinformatics},
publisher = {BioMed Central},
title = {{SIMMAP: stochastic character mapping of discrete traits on phylogenies}},
doi = {10.1186/1471-2105-7-88},
volume = {7},
year = {2006},
}
@article{4248,
abstract = {In finite populations, genetic drift generates interference between selected loci, causing advantageous alleles to be found more often on different chromosomes than on the same chromosome, which reduces the rate of adaptation. This “Hill–Robertson effect” generates indirect selection to increase recombination rates. We present a new method to quantify the strength of this selection. Our model represents a new beneficial allele (A) entering a population as a single copy, while another beneficial allele (B) is sweeping at another locus. A third locus affects the recombination rate between selected loci. Using a branching process model, we calculate the probability distribution of the number of copies of A on the different genetic backgrounds, after it is established but while it is still rare. Then, we use a deterministic model to express the change in frequency of the recombination modifier, due to hitchhiking, as A goes to fixation. We show that this method can give good estimates of selection for recombination. Moreover, it shows that recombination is selected through two different effects: it increases the fixation probability of new alleles, and it accelerates selective sweeps. The relative importance of these two effects depends on the relative times of occurrence of the beneficial alleles.},
author = {Roze, Denis and Nicholas Barton},
journal = {Genetics},
number = {3},
pages = {1793 -- 1811},
publisher = {Genetics Society of America},
title = {{The Hill-Robertson effect and the evolution of recombination}},
doi = {10.1534/genetics.106.058586 },
volume = {173},
year = {2006},
}
@inproceedings{4539,
abstract = {Games on graphs with ω-regular objectives provide a model for the control and synthesis of reactive systems. Every ω-regular objective can be decomposed into a safety part and a liveness part. The liveness part ensures that something good happens “eventually.” Two main strengths of the classical, infinite-limit formulation of liveness are robustness (independence from the granularity of transitions) and simplicity (abstraction of complicated time bounds). However, the classical liveness formulation suffers from the drawback that the time until something good happens may be unbounded. A stronger formulation of liveness, so-called finitary liveness, overcomes this drawback, while still retaining robustness and simplicity. Finitary liveness requires that there exists an unknown, fixed bound b such that something good happens within b transitions. While for one-shot liveness (reachability) objectives, classical and finitary liveness coincide, for repeated liveness (Büchi) objectives, the finitary formulation is strictly stronger. In this work we study games with finitary parity and Streett (fairness) objectives. We prove the determinacy of these games, present algorithms for solving these games, and characterize the memory requirements of winning strategies. Our algorithms can be used, for example, for synthesizing controllers that do not let the response time of a system increase without bound.},
author = {Krishnendu Chatterjee and Thomas Henzinger},
pages = {257 -- 271},
publisher = {Springer},
title = {{Finitary winning in omega-regular games}},
doi = {10.1007/11691372_17},
volume = {3920},
year = {2006},
}
@article{579,
abstract = {The logic underlying the coherent nature of quantum information processing often deviates from intuitive reasoning, leading to surprising effects. Counterfactual computation constitutes a striking example: the potential outcome of a quantum computation can be inferred, even if the computer is not run 1. Relying on similar arguments to interaction-free measurements 2 (or quantum interrogation3), counterfactual computation is accomplished by putting the computer in a superposition of 'running' and 'not running' states, and then interfering the two histories. Conditional on the as-yet-unknown outcome of the computation, it is sometimes possible to counterfactually infer information about the solution. Here we demonstrate counterfactual computation, implementing Grover's search algorithm with an all-optical approach4. It was believed that the overall probability of such counterfactual inference is intrinsically limited1,5, so that it could not perform better on average than random guesses. However, using a novel 'chained' version of the quantum Zeno effect6, we show how to boost the counterfactual inference probability to unity, thereby beating the random guessing limit. Our methods are general and apply to any physical system, as illustrated by a discussion of trapped-ion systems. Finally, we briefly show that, in certain circumstances, counterfactual computation can eliminate errors induced by decoherence. },
author = {Onur Hosten and Rakher, Matthew T and Barreiro, Julio T and Peters, Nicholas A and Kwiat, Paul G},
journal = {Nature},
number = {7079},
pages = {949 -- 952},
publisher = {Nature Publishing Group},
title = {{Counterfactual quantum computation through quantum interrogation}},
doi = {10.1038/nature04523},
volume = {439},
year = {2006},
}
@article{574,
abstract = {Vaidman, in a recent article adopts the method of 'quantum weak measurements in pre- and postselected ensembles' to ascertain whether or not the chained-Zeno counterfactual computation scheme proposed by Hosten et al. is counterfactual; which has been the topic of a debate on the definition of counterfactuality. We disagree with his conclusion, which brings up some interesting aspects of quantum weak measurements and some concerns about the way they are interpreted. },
author = {Onur Hosten and Kwiat, Paul G},
journal = {Quantum Physics},
publisher = {ArXiv},
title = {{Weak measurements and counterfactual computation}},
year = {2006},
}
@article{1461,
abstract = {This note proves combinatorially that the intersection pairing on the middle-dimensional compactly supported cohomology of a toric hyperkähler variety is always definite, providing a large number of non-trivial L 2 harmonic forms for toric hyperkähler metrics on these varieties. This is motivated by a result of Hitchin about the definiteness of the pairing of L 2 harmonic forms on complete hyperkähler manifolds of linear growth.},
author = {Tamas Hausel and Swartz, Edward},
journal = {Proceedings of the American Mathematical Society},
number = {8},
pages = {2403 -- 2409},
publisher = {American Mathematical Society},
title = {{Intersection forms of toric hyperkähler varieties}},
doi = {10.1090/S0002-9939-06-08248-7},
volume = {134},
year = {2006},
}
@article{1745,
abstract = {SiGe islands grown by deposition of 10 monolayers of Ge on Si(0 0 1) at 740 °C were investigated by using a combination of selective wet chemical etching and atomic force microscopy. The used etchant, a solution consisting of ammonium hydroxide and hydrogen peroxide, shows a high selectivity of Ge over SixGe1-x and is characterized by relatively slow etching rates for Si-rich alloys. By performing successive etching experiments on the same sample area, we are able to gain a deeper insight into the lateral displacement the islands undergo during post growth annealing.},
author = {Georgios Katsaros and Rastelli, Armando and Stoffel, Mathieu and Isella, Giovanni and Von Känel, Hans and Bittner, Alexander M and Tersoff, Jerry and Denker, Ulrich and Schmidt, Oliver G and Costantini, Giovanni and Kern, Klaus},
journal = {Surface Science},
number = {12},
pages = {2608 -- 2613},
publisher = {Elsevier},
title = {{Investigating the lateral motion of SiGe islands by selective chemical etching}},
doi = {10.1016/j.susc.2006.04.027},
volume = {600},
year = {2006},
}
@article{1961,
abstract = {Respiratory complex I plays a central role in cellular energy production in bacteria and mitochondria. Its dysfunction is implicated in many human neurodegenerative diseases, as well as in aging. The crystal structure of the hydrophilic domain (peripheral arm) of complex I from Thermus thermophilus has been solved at 3.3 angstrom resolution. This subcomplex consists of eight subunits and contains all the redox centers of the enzyme, including nine iron-sulfur clusters. The primary electron acceptor, flavin-mononucleotide, is within electron transfer distance of cluster N3, leading to the main redox pathway, and of the distal cluster Nia, a possible antioxidant. The structure reveals new aspects of the mechanism and evolution of the enzyme. The terminal cluster N2 is coordinated, uniquely, by two consecutive cysteines. The novel subunit Nqo15 has a similar fold to the mitochondrial iron chaperone frataxin, and it may be involved in iron-sulfur cluster regeneration in the complex.
},
author = {Leonid Sazanov and Hinchliffe, Philip },
journal = {Science},
number = {5766},
pages = {1430 -- 1436},
publisher = {American Association for the Advancement of Science},
title = {{Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus}},
doi = {10.1126/science.1123809},
volume = {311},
year = {2006},
}
@article{1966,
abstract = {The hydrophilic domain (peripheral arm) of the proton-translocating NADH:quinone oxidoreductase (complex I) from the thermophilic organism Thermus thermophilus HB8 has been purified and characterized. The subcomplex is stable in sodium dodecyl sulfate up to 80 °C. Of nine iron-sulfur clusters, four to five (one or two binuclear and three tetranuclear) could be detected by EPR in the NADH-reduced enzyme. The preparation consists of eight different polypeptides. Seven of them have been positively identified by peptide mass mapping and N-terminal sequencing as known hydrophilic subunits of T. thermophilus complex I. The eighth polypeptide copurified with the subcomplex at all stages, is strongly associated with the other subunits, and is present in crystals of the subcomplex, used for X-ray data collection. Therefore, it has been identified as a novel complex I subunit and named Nqo15. It is encoded in a locus separate from the nqo operon, containing the 14 other known complex I genes. ORFs encoding Nqo15 homologues are present in the genomes of the closest relatives of T. thermophilus. Our data show that, contrary to previous assumptions, bacterial complex I can contain proteins in addition to a "core" complement of 14 subunits.},
author = {Hinchliffe, Philip and Carroll, Joe D and Leonid Sazanov},
journal = {Biochemistry},
number = {14},
pages = {4413 -- 4420},
publisher = {ACS},
title = {{Identification of a novel subunit of respiratory complex I from Thermus thermophilus}},
doi = {10.1021/bi0600998},
volume = {45},
year = {2006},
}
@article{2089,
abstract = {We have measured 3D face geometry, skin reflectance, and subsurface scattering using custom-built devices for 149 subjects of varying age, gender, and race. We developed a novel skin reflectance model whose parameters can be estimated from measurements. The model decomposes the large amount of measured skin data into a spatially-varying analytic BRDF, a diffuse albedo map, and diffuse subsurface scattering. Our model is intuitive, physically plausible, and - since we do not use the original measured data - easy to edit as well. High-quality renderings come close to reproducing real photographs. The analysis of the model parameters for our sample population reveals variations according to subject age, gender, skin type, and external factors (e.g., sweat, cold, or makeup). Using our statistics, a user can edit the overall appearance of a face (e.g., changing skin type and age) or change small-scale features using texture synthesis (e.g., adding moles and freckles). We are making the collected statistics publicly available to the research community for applications in face synthesis and analysis.},
author = {Weyrich, Tim and Matusik, Wojciech and Pfister, Hanspeter and Bernd Bickel and Donner, Craig and Tu, Chien and McAndless, Janet M and Lee, Jinho and Ngan, Addy and Jensen, Henrik W and Groß, Markus S},
journal = {ACM Transactions on Graphics},
number = {3},
pages = {1013 -- 1024},
publisher = {ACM},
title = {{Analysis of human faces using a measurement-based skin reflectance model}},
doi = {10.1145/1141911.1141987},
volume = {25},
year = {2006},
}
@article{2142,
abstract = {Fluorescence from fragments formed after the de-excitation of the N*2(1s−1π*) resonance has been measured in the spectral range of 135–190 nm. This range is dominated by lines in atomic nitrogen and lines formed by overlapping C2Σ+u(v') → X2Σ+g(v'') bands with Δv = const in the N+2 molecular ion which result from the spectator Auger decays of the N*2(1s−1π*(vr)) resonances. Ab initio calculations of the corresponding potential curves and transition probabilities showed that the observed irregular intensity dependence of the C2Σ+u(v') → X2Σ+g(v'')(Δv = const) fluorescence lines on the vibrational quantum number vr is due to transitions between vibrational levels during the reaction N2(v0 = 0)→ N*2(1s−1π*(vr)) Longrightarrow C2Σ+u(v') → X2Σ+g(v'').},
author = {Ehresmann, Arno and Werner, Lutz and Klumpp, Stefan and Lucht, S and Schmoranzer, Hans P and Mickat, Sascha and Schill, Rüdiger H and Schartner, Karl H and Demekhin, Philipp and Mikhail Lemeshko and Sukhorukov, Victor L},
journal = {Journal of Physics B: Atomic, Molecular and Optical Physics},
number = {2},
pages = {283 -- 304},
publisher = {IOP Publishing Ltd.},
title = {{Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance}},
doi = {10.1088/0953-4075/39/2/006},
volume = {39},
year = {2006},
}
@article{215,
abstract = {For any n≥3, let F ∈ Z[X0,...,Xn ] be a form of degree d *≥5 that defines a non-singular hypersurface X ⊂ Pn . The main result in this paper is a proof of the fact that the number N (F ; B) of Q-rational points on X which have height at most B satisfiesN (F ; B) = Od,ε,n (Bn −1+ε ), for any ε > 0. The implied constant in this estimate depends at most upon d, ε and n. New estimates are also obtained for the number of representations of a positive integer as the sum of three dth powers, and for the paucity of integer solutions to equal sums of like polynomials.*},
author = {Timothy Browning and Heath-Brown, Roger},
journal = {Bulletin of the London Mathematical Society},
number = {3},
pages = {401 -- 410},
publisher = {Wiley-Blackwell},
title = {{The density of rational points on non-singular hypersurfaces, I}},
doi = {10.1112/S0024609305018412},
volume = {38},
year = {2006},
}
@inproceedings{2077,
abstract = {We present an adaptive animation method for electrical discharges. Electrical discharges can be simulated using the dielectric breakdown model. Regular discretization of the governing Laplace equation leads to huge equation systems, and the computational cost of solving the equations quickly becomes prohibitive at high resolutions, especially for simulations in 3D. In contrast, our method discretizes the Laplace equation on an adaptive octree, reducing the size of the problem significantly, and making simulations of high resolution 3D datasets and even 3D animations feasible. In order to enhance realism for lightning animations, we propose a particle simulation that animates the residual positive charge. Thus, interaction of electrical discharges with their surroundings
can be simulated.},
author = {Bernd Bickel and Wicke, Martin and Gross, Markus},
publisher = {IOS Press},
title = {{Adaptive simulation of electrical discharges}},
year = {2006},
}
@misc{2363,
abstract = { We prove that the Gross-Pitaevskii equation correctly describes the ground state energy and corresponding one-particle density matrix of rotating, dilute, trapped Bose gases with repulsive two-body interactions. We also show that there is 100% Bose-Einstein condensation. While a proof that the GP equation correctly describes non-rotating or slowly rotating gases was known for some time, the rapidly rotating case was unclear because the Bose (i.e., symmetric) ground state is not the lowest eigenstate of the Hamiltonian in this case. We have been able to overcome this difficulty with the aid of coherent states. Our proof also conceptually simplifies the previous proof for the slowly rotating case. In the case of axially symmetric traps, our results show that the appearance of quantized vortices causes spontaneous symmetry breaking in the ground state. },
author = {Lieb, Élliott H and Robert Seiringer},
booktitle = {Communications in Mathematical Physics},
number = {2},
pages = {505 -- 537},
publisher = {Springer},
title = {{Derivation of the Gross-Pitaevskii equation for rotating Bose gases}},
doi = {10.1007/s00220-006-1524-9},
volume = {264},
year = {2006},
}
@inbook{2368,
abstract = {The recent experimental success in creating Bose-Einstein condensates of alkali atoms, honored by the Nobel prize awards in 2001 [1,5], led to renewed interest in the mathematical description of interacting Bose gases.},
author = {Robert Seiringer},
booktitle = {Large Coulomb Systems},
editor = {Dereziński, Jan and Siedentop, Heinz},
pages = {249 -- 274},
publisher = {Springer},
title = {{Dilute, trapped Bose gases and Bose-Einstein condensation}},
doi = {10.1007/3-540-32579-4_6},
volume = {695},
year = {2006},
}
@article{2659,
abstract = {Transmembrane AMPA receptor regulatory proteins (TARPs), including stargazin/γ-2, are associated with AMPA receptors and participate in their surface delivery and anchoring at the postsynaptic membrane. TARPs may also act as a positive modulator of the AMPA receptor ion channel function; however, little is known about other TARP members except for stargazin/γ-2. We examined the synaptic localization of stargazin/γ-2 and γ-8 by immunoelectron microscopy and biochemical analysis. The analysis of sodium dodecyl sulfate-digested freeze-fracture replica labeling revealed that stargazin/γ-2 was concentrated in the postsynaptic area, whereas γ-8 was distributed both in synaptic and extra-synaptic plasma membranes of the hippocampal neuron. When a synaptic plasma membrane-enriched brain fraction was treated with Triton X-100 and separated by sucrose density gradient ultracentrifugation, a large proportion of NMDA receptor and stargazin/γ-2 was accumulated in raft-enriched fractions, whereas AMPA receptor and γ-8 were distributed in both the raft-enriched fractions and other Triton-insoluble fractions. Phosphorylation of stargazin/γ-2 and γ-8 was regulated by different sets of kinases and phosphatases in cultured cortical neurons. These results suggested that stargazin/γ-2 and γ-8 have distinct roles in postsynaptic membranes under the regulation of different intracellular signaling pathways.},
author = {Inamura, Mihoko and Itakura, Makoto and Okamoto, Hirotsugu and Hoka, Sumio and Mizoguchi, Akira and Fukazawa, Yugo and Ryuichi Shigemoto and Yamamori, Saori and Takahashi, Masami},
journal = {Neuroscience Research},
number = {1},
pages = {45 -- 53},
publisher = {Elsevier},
title = {{ Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons}},
doi = {10.1016/j.neures.2006.01.004},
volume = {55},
year = {2006},
}
@article{2661,
abstract = {GABAB receptors are the G protein-coupled receptors for the main inhibitory neurotransmitter in the brain, γ-aminobutyric acid (GABA). Molecular diversity in the GABAB system arises from the GABAB1a and GABAB1b subunit isoforms that solely differ in their ectodomains by a pair of sushi repeats that is unique to GABAB1a. Using a combined genetic, physiological, and morphological approach, we now demonstrate that GABAB1 isoforms localize to distinct synaptic sites and convey separate functions in vivo. At hippocampal CA3-to-CA1 synapses, GABAB1a assembles heteroreceptors inhibiting glutamate release, while predominantly GABAB1b mediates postsynaptic inhibition. Electron microscopy reveals a synaptic distribution of GABAB1 isoforms that agrees with the observed functional differences. Transfected CA3 neurons selectively express GABAB1a in distal axons, suggesting that the sushi repeats, a conserved protein interaction motif, specify heteroreceptor localization. The constitutive absence of GABAB1a but not GABAB1b results in impaired synaptic plasticity and hippocampus-dependent memory, emphasizing molecular differences in synaptic GABAB functions.},
author = {Vigot, Réjan and Barbieri, Samuel and Bräuner-Osborne, Hans and Tureček, Rostislav and Ryuichi Shigemoto and Zhang, Yan Ping and Luján, Rafael and Jacobson, Laura H and Biermann, Barbara and Fritschy, Jean-Marc and Vacher, Claire-Marie and Müller, Matthias P and Sansig, Gilles and Guetg, Nicole and Cryan, John F and Kaupmann, Klemens and Gassmann, Martin and Oertner, Thomas G and Bettler, Bernhard},
journal = {Neuron},
number = {4},
pages = {589 -- 601},
publisher = {Elsevier},
title = {{Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants}},
doi = {10.1016/j.neuron.2006.04.014},
volume = {50},
year = {2006},
}
@article{2894,
abstract = {IL-10 is a potent anti-inflammatory and immunomodulatory cytokine, exerting major effects in the degree and quality of the immune response. Using a newly generated IL-10 reporter mouse model, which easily allows the study of IL-10 expression from each allele in a single cell, we report here for the first time that IL-10 is predominantly monoallelic expressed in CD4+ T cells. Furthermore, we have compelling evidence that this expression pattern is not due to parental imprinting, allelic exclusion, or strong allelic bias. Instead, our results support a stochastic regulation mechanism, in which the probability to initiate allelic transcription depends on the strength of TCR signaling and subsequent capacity to overcome restrictions imposed by chromatin hypoacetylation. In vivo Ag-experienced T cells show a higher basal probability to transcribe IL-10 when compared with naive cells, yet still show mostly monoallelic IL-10 expression. Finally, statistical analysis on allelic expression data shows transcriptional independence between both alleles. We conclude that CD4+ T cells have a low probability for IL-10 allelic activation resulting in a predominantly monoallelic expression pattern, and that IL-10 expression appears to be stochastically regulated by controlling the frequency of expressing cells, rather than absolute protein levels per cell.},
author = {Calado, Dinis P and Tiago Paixao and Holmberg, Dan and Haury, Matthias},
journal = {Journal of Immunology},
number = {8},
pages = {5358 -- 5364},
publisher = {American Association of Immunologists},
title = {{Stochastic Monoallelic Expression of IL 10 in T Cells}},
doi = {10.4049/jimmunol.177.8.5358 },
volume = {177},
year = {2006},
}
@inbook{2921,
abstract = {Most binocular stereo algorithms assume that all scene elements are visible from both cameras. Scene elements that are visible from only one camera, known as occlusions, pose an important challenge for stereo. Occlusions are important for segmentation, because they appear near discontinuities. However, stereo algorithms tend to ignore occlusions because of their difficulty. One reason is that occlusions require the input images to be treated symmetrically, which complicates the problem formulation. Worse, certain depth maps imply physically impossible scene configurations, and must be excluded from the output. In this chapter we approach the problem of binocular stereo with occlusions from an energy minimization viewpoint. We begin by reviewing traditional stereo methods that do not handle occlusions. If occlusions are ignored, it is easy to formulate the stereo problem as a pixel labeling problem, which leads to an energy function that is common in early vision. This kind of energy function can he minimized using graph cuts, which is a combinatorial optimization technique that has proven to be very effective for low-level vision problems. Motivated by this, we have designed two graph cut stereo algorithms that are designed to handle occlusions. These algorithms produce promising experimental results on real data with ground truth.},
author = {Vladimir Kolmogorov and Zabih, Ramin},
booktitle = {Handbook of Mathematical Models in Computer Vision},
pages = {423 -- 427},
publisher = {Springer},
title = {{Graph cut algorithms for binocular stereo with occlusions}},
doi = {10.1007/0-387-28831-7_26},
year = {2006},
}
@article{3006,
abstract = {Dividing plant cells perform a remarkable task of building a new cell wall within the cytoplasm in a few minutes. A long-standing paradigm claims that this primordial cell wall, known as the cell plate, is generated by delivery of newly synthesized material from Golgi apparatus-originated secretory vesicles. Here, we show that, in diverse plant species, cell surface material, including plasma membrane proteins, cell wall components, and exogenously applied endocytic tracers, is rapidly delivered to the forming cell plate. Importantly, this occurs even when de novo protein synthesis is blocked. In addition, cytokinesis-specific syntaxin KNOLLE as well as plasma membrane (PM) resident proteins localize to endosomes that fuse to initiate the cell plate. The rate of endocytosis is strongly enhanced during cell plate formation, and its genetic or pharmacological inhibition leads to cytokinesis defects. Our results reveal that endocytic delivery of cell surface material significantly contributes to cell plate formation during plant cytokinesis. },
author = {Dhonukshe, Pankaj and Baluška, František and Schlicht, Markus and Hlavacka, Andrej and Šamaj, Jozef and Jirí Friml and Gadella, Theodorus W},
journal = {Developmental Cell},
number = {1},
pages = {137 -- 150},
publisher = {Cell Press},
title = {{Endocytosis of cell surface material mediates cell plate formation during plant cytokinesis}},
doi = {10.1016/j.devcel.2005.11.015},
volume = {10},
year = {2006},
}
@article{3013,
abstract = {There is a growing demand for methods that allow rapid and reliable in situ localization of proteins in plant cells. The immunocytochemistry protocol presented here can be used routinely to observe protein localization patterns in tissue sections of various plant species. This protocol is especially suitable for plant species with more-complex tissue architecture (such as maize, Zea mays), which makes it difficult to use an easier whole-mount procedure for protein localization. To facilitate the antibody-antigen reaction, it is necessary to include a wax-embedding and tissue-sectioning step. The protocol consists of the following procedures: chemical fixation of tissue, dehydration, wax embedding, sectioning, dewaxing, rehydration, blocking and antibody incubation. The detailed protocol, recommended controls and troubleshooting are presented here, along with examples of applications.},
author = {Paciorek, Tomasz and Sauer, Michael and Balla, Jozef and Wiśniewska, Justyna and Jirí Friml},
journal = {Nature Protocols},
number = {1},
pages = {104 -- 107},
publisher = {Nature Publishing Group},
title = {{Immunocytochemical technique for protein localization in sections of plant tissues}},
doi = {10.1038/nprot.2006.16},
volume = {1},
year = {2006},
}
@article{3018,
abstract = {The directional flow of the plant hormone auxin mediates multiple developmental processes, including patterning and tropisms. Apical and basal plasma membrane localization of AUXIN-RESISTANT1 (AUX1) and PIN-FORMED1 (PIN1) auxin transport components underpins the directionality of intercellular auxin flow in Arabidopsis thaliana roots. Here, we examined the mechanism of polar trafficking of AUX1. Real-time live cell analysis along with subcellular markers revealed that AUX1 resides at the apical plasma membrane of protophloem cells and at highly dynamic subpopulations of Golgi apparatus and endosomes in all cell types. Plasma membrane and intracellular pools of AUX1 are interconnected by actin-dependent constitutive trafficking, which is not sensitive to the vesicle trafficking inhibitor brefeldin A. AUX1 subcellular dynamics are not influenced by the auxin influx inhibitor NOA but are blocked by the auxin efflux inhibitors TIBA and PBA. Furthermore, auxin transport inhibitors and interference with the sterol composition of membranes disrupt polar AUX1 distribution at the plasma membrane. Compared with PIN1 trafficking, AUX1 dynamics display different sensitivities to trafficking inhibitors and are independent of the endosomal trafficking regulator ARF GEF GNOM. Hence, AUX1 uses a novel trafficking pathway in plants that is distinct from PIN trafficking, providing an additional mechanism for the fine regulation of auxin transport.},
author = {Kleine-Vehn, Jürgen and Dhonukshe, Pankaj and Swarup, Ranjan and Bennett, Malcolm and Jirí Friml},
journal = {Plant Cell},
number = {11},
pages = {3171 -- 3181},
publisher = {American Society of Plant Biologists},
title = {{Subcellular trafficking of the Arabidopsis auxin influx carrier AUX1 uses a novel pathway distinct from PIN1}},
doi = {10.1105/tpc.106.042770},
volume = {18},
year = {2006},
}
@article{3020,
abstract = {High throughput microarray transcription analyses provide us with the expression profiles for large amounts of plant genes. However, their tissue and cellular resolution is limited. Thus, for detailed functional analysis, it is still necessary to examine the expression pattern of selected candidate genes at a cellular level. Here, we present an in situ mRNA hybridization method that is routinely used for the analysis of plant gene expression patterns. The protocol is optimized for whole mount mRNA localizations in Arabidopsis seedling tissues including embryos, roots, hypocotyls and young primary leaves. It can also be used for comparable tissues in other species. Part of the protocol can also be automated and performed by a liquid handling robot. Here we present a detailed protocol, recommended controls and troubleshooting, along with examples of several applications. The total time to carry out the entire procedure is ∼7 d, depending on the tissue used.},
author = {Hejátko, Jan and Blilou, Ikram and Brewer, Philip B and Jirí Friml and Scheres, Ben and Eva Benková},
journal = {Nature Protocols},
number = {4},
pages = {1939 -- 1946},
publisher = {Nature Publishing Group},
title = {{In situ hybridization technique for mRNA detection in whole mount Arabidopsis samples}},
doi = {10.1038/nprot.2006.333},
volume = {1},
year = {2006},
}
@article{3152,
abstract = {The basic concepts of the molecular machinery that mediates cell migration have been gleaned from cell culture systems. However, the three-dimensional environment within an organism presents migrating cells with a much greater challenge. They must move between and among other cells while interpreting multiple attractive and repulsive cues to choose their proper path. They must coordinate their cell adhesion with their surroundings and know when to start and stop moving. New insights into the control of these remaining mysteries have emerged from genetic dissection and live imaging of germ cell migration in Drosophila, zebrafish, and mouse embryos. In this review, we first describe germ cell migration in cellular and mechanistic detail in these different model systems. We then compare these systems to highlight the emerging principles. Finally, we contrast the migration of germ cells with that of immune and cancer cells to outline the conserved and different mechanisms.},
author = {Kunwar, Prabhat S and Daria Siekhaus and Lehmann, Ruth},
journal = {Annual Review of Cell and Developmental Biology},
pages = {237 -- 265},
publisher = {Annual Reviews},
title = {{In vivo migration A germ cell perspective}},
doi = {10.1146/annurev.cellbio.22.010305.103337},
volume = {22},
year = {2006},
}
@inproceedings{3188,
abstract = {We introduce the term cosegmentation which denotes the task of segmenting simultaneously the common parts of an image pair. A generative model for cosegmentation is presented. Inference in the model leads to minimizing an energy with an MRF term encoding spatial coherency and a global constraint which attempts to match the appearance histograms of the common parts. This energy has not been proposed previously and its optimization is challenging and NP-hard. For this problem a novel optimization scheme which we call trust region graph cuts is presented. We demonstrate that this framework has the potential to improve a wide range of research: Object driven image retrieval, video tracking and segmentation, and interactive image editing. The power of the framework lies in its generality, the common part can be a rigid/non-rigid object (or scene), observed from different viewpoints or even similar objects of the same class.},
author = {Rother, Carsten and Vladimir Kolmogorov and Minka, Thomas P and Blake, Andrew},
pages = {993 -- 1000},
publisher = {IEEE},
title = {{Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs}},
doi = {10.1109/CVPR.2006.91},
year = {2006},
}
@article{3190,
abstract = {Algorithms for discrete energy minimization are of fundamental importance in computer vision. In this paper, we focus on the recent technique proposed by Wainwright et al. (Nov. 2005)- tree-reweighted max-product message passing (TRW). It was inspired by the problem of maximizing a lower bound on the energy. However, the algorithm is not guaranteed to increase this bound - it may actually go down. In addition, TRW does not always converge. We develop a modification of this algorithm which we call sequential tree-reweighted message passing. Its main property is that the bound is guaranteed not to decrease. We also give a weak tree agreement condition which characterizes local maxima of the bound with respect to TRW algorithms. We prove that our algorithm has a limit point that achieves weak tree agreement. Finally, we show that, our algorithm requires half as much memory as traditional message passing approaches. Experimental results demonstrate that on certain synthetic and real problems, our algorithm outperforms both the ordinary belief propagation and tree-reweighted algorithm in (M. J. Wainwright, et al., Nov. 2005). In addition, on stereo problems with Potts interactions, we obtain a lower energy than graph cuts.},
author = {Vladimir Kolmogorov},
journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
number = {10},
pages = {1568 -- 1583},
publisher = {IEEE},
title = {{Convergent tree reweighted message passing for energy minimization}},
doi = {10.1109/TPAMI.2006.200},
volume = {28},
year = {2006},
}
@inproceedings{3215,
abstract = {Most cryptographic primitives such as encryption, authentication or secret sharing require randomness. Usually one assumes that perfect randomness is available, but those primitives might also be realized under weaker assumptions. In this work we continue the study of building secure cryptographic primitives from imperfect random sources initiated by Dodis and Spencer (FOCS’02). Their main result shows that there exists a (high-entropy) source of randomness allowing for perfect encryption of a bit, and yet from which one cannot extract even a single weakly random bit, separating encryption from extraction. Our main result separates encryption from 2-out-2 secret sharing (both in the information-theoretic and in the computational settings): any source which can be used to achieve one-bit encryption also can be used for 2-out-2 secret sharing of one bit, but the converse is false, even for high-entropy sources. Therefore, possibility of extraction strictly implies encryption, which in turn strictly implies 2-out-2 secret sharing.},
author = {Dodis, Yevgeniy and Krzysztof Pietrzak and Przydatek, Bartosz},
pages = {601 -- 616},
publisher = {Springer},
title = {{Separating sources for encryption and secret sharing}},
doi = {10.1007/11681878_31},
volume = {3876},
year = {2006},
}
@unpublished{3431,
abstract = {Ising models with pairwise interactions are the least structured, or maximum-entropy, probability distributions that exactly reproduce measured pairwise correlations between spins. Here we use this equivalence to construct Ising models that describe the correlated spiking activity of populations of 40 neurons in the retina, and show that pairwise interactions account for observed higher-order correlations. By first finding a representative ensemble for observed networks we can create synthetic networks of 120 neurons, and find that with increasing size the networks operate closer to a critical point and start exhibiting collective behaviors reminiscent of spin glasses.},
author = {Gasper Tkacik and Schneidman, E. and Berry, M. J. and Bialek, William S},
booktitle = {ArXiv},
pages = {1 -- 4},
publisher = {ArXiv},
title = {{Ising models for networks of real neurons}},
year = {2006},
}
@article{3607,
abstract = {We apply new analytical methods to understand the consequences of population bottlenecks for expected additive genetic variance. We analyze essentially all models for multilocus epistasis that have been numerically simulated to demonstrate increased additive variance. We conclude that for biologically plausible models, large increases in expected additive variance–attributable to epistasis rather than dominance–are unlikely. Naciri-Graven and Goudet (2003) found that as the number of epistatically interacting loci increases, additive variance tends to be inflated more after a bottleneck. We argue that this result reflects biologically unrealistic aspects of their models. Specifically, as the number of loci increases, higher-order epistatic interactions become increasingly important in these models, with an increasing fraction of the genetic variance becoming nonadditive, contrary to empirical observations. As shown by Barton and Turelli (2004), without dominance, conversion of nonadditive to additive variance depends only on the variance components and not on the number of loci per se. Numerical results indicating that more inbreeding is needed to produce maximal release of additive variance with more loci follow directly from our analytical results, which show that high levels of inbreeding (F > 0.5) are needed for significant conversion of higher-order components. We discuss alternative approaches to modeling multilocus epistasis and understanding its consequences.},
author = {Turelli, Michael and Nicholas Barton},
journal = {Evolution; International Journal of Organic Evolution},
number = {9},
pages = {1763 -- 1776},
publisher = {Wiley-Blackwell},
title = {{Will population bottlenecks and multilocus epistasis increase additive genetic variance?}},
doi = {10.1111/j.0014-3820.2006.tb00521.x},
volume = {60},
year = {2006},
}
@inproceedings{3683,
abstract = {Many algorithms to remove distortion from document images have be proposed in recent years, but so far there is no reliable method for comparing their performance. In this paper we propose a collection of methods to measure the quality of such restoration algorithms for document image which show a non-linear distortion due to perspective or page curl. For the result from these measurement to be meaningful, a common data set of ground truth is required. We therefore started with the buildup of a document image database that is meant to serve as a common data basis for all kinds of restoration from images of 3D-shaped document. The long term goal would be to establish this database and following extensions in the area of document image dewarping as an as fruitful and indispensable tool as e.g. the NIST database is for OCR, or the Caltech database is for object and face recognition.},
author = {Christoph Lampert and Breuel,Thomas M},
publisher = {Springer},
title = {{Objective quality measurement for geometric document image restoration}},
year = {2006},
}
@misc{3594,
author = {Pemberton, Josephine M and Swanson, Graeme M and Nicholas Barton and Livingstone, Suzanne R and Senn, Helen V},
booktitle = {Deer},
number = {9},
pages = {22 -- 26},
publisher = {BDS },
title = {{Hybridisation between red and sika deer in Scotland}},
volume = {13},
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},
}
@inbook{3722,
author = {Harald Janovjak and Mueller, Daniel J},
booktitle = {Bioanalytik},
publisher = {Spektrum Akademischer Verlag},
title = {{Rastersondenmikroskopie}},
year = {2006},
}
@article{3811,
abstract = {Networks of GABAergic neurons are key elements in the generation of gamma oscillations in the brain. Computational studies suggested that the emergence of coherent oscillations requires hyperpolarizing inhibition. Here, we show that GABA(A) receptor-mediated inhibition in mature interneurons of the hippocampal dentate gyrus is shunting rather than hyperpolarizing. Unexpectedly, when shunting inhibition is incorporated into a structured interneuron network model with fast and strong synapses, coherent oscillations emerge. In comparison to hyperpolarizing inhibition, networks with shunting inhibition show several advantages. First, oscillations are generated with smaller tonic excitatory drive. Second, network frequencies are tuned to the gamma band. Finally, robustness against heterogeneity in the excitatory drive is markedly improved. In single interneurons, shunting inhibition shortens the interspike interval for low levels of drive but prolongs it for high levels, leading to homogenization of neuronal firing rates. Thus, shunting inhibition may confer increased robustness to gamma oscillations in the brain.},
author = {Vida, Imre and Bartos, Marlene and Peter Jonas},
journal = {Neuron},
number = {1},
pages = {107 -- 17},
publisher = {Elsevier},
title = {{Shunting inhibition improves robustness of gamma oscillations in hippocampal interneuron networks by homogenizing firing rates}},
doi = {10.1016/j.neuron.2005.11.036},
volume = {49},
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, Chris and Mucha, Peter J and Turk, Greg},
pages = {15 -- 23},
publisher = {ACM},
title = {{Keyframe control of complex particle systems using the adjoint method}},
year = {2006},
}
@article{3979,
abstract = {Protein-protein interactions, which form the basis for most cellular processes, result in the formation of protein interfaces. Believing that the local shape of proteins is crucial, we take a geometric approach and present a definition of an interface surface formed by two or more proteins as a subset of their Voronoi diagram. The definition deals with the difficult and important problem of specifying interface boundaries by invoking methods used in the alpha shape representation of molecules, the discrete flow on Delaunay simplices to define pockets and reconstruct surfaces, and the assessment of the importance of topological features. We present an algorithm to construct the surface and define a hierarchy that distinguishes core and peripheral regions. This hierarchy is shown to have correlation with hot-spots in protein-protein interactions. Finally, we study the geometric and topological properties of interface surfaces and show their high degree of contortion.},
author = {Ban, Yih-En Andrew and Herbert Edelsbrunner and Rudolph, Johannes},
journal = {Journal of the ACM},
number = {3},
pages = {361 -- 378},
publisher = {ACM},
title = {{Interface surfaces for protein-protein complexes}},
doi = {10.1145/1147954.1147957},
volume = {53},
year = {2006},
}
@article{3912,
abstract = {Invasive species often dramatically change native species communities by directly and indirectly out-competing native species. We studied the direct interference abilities of the invasive garden ant, Lasius neglectus VAN LOON, BOOMSMA & ANDRÁSFALVY, 1990, by performing one-to-one aggression tests of L. neglectus workers towards three native Lasius ant species that occur at the edge of a L. neglectus supercolony in Seva, Spain. Our results show that L. neglectus is highly aggressive against all three native Lasius species tested (L. grandis FOREL, 1909, L. emarginatus (OLIVIER, 1792), and L. cinereus SEIFERT, 1992), expressed as a higher attack rate of L. neglectus and behavioural dominance throughout the aggressive encounters. Attacks of L. neglectus were performed fastest and most frequent against L. grandis, and also the highest antennation frequencies were observed in encounters between these two species. This could be due to the largest difference in body size, or due to a greater overlap in ecological niche between L. neglectus and L. grandis compared to the other two native species. There was only weak support for L. neglectus workers from the periphery of the supercolony to be more aggressive relative to workers from the centre, even though the former encounter native ant species on a daily basis at the edge of the supercolony.},
author = {Cremer, Sylvia and Ugelvig, Line V and Lommen, Suzanne and Petersen, Klaus and Pedersen, Jes},
journal = {Myrmecological News},
pages = {13 -- 19},
publisher = {Österreichische Gesellschaft für Entomofaunistik},
title = {{Attack of the invasive garden ant: aggression behaviour of Lasius neglectus (Hymenoptera: Formicidae) against native Lasius species in Spain}},
volume = {9},
year = {2006},
}
@article{3936,
abstract = {At least eight of the twelve known members of the beta1 integrin family are expressed on hematopoietic cells. Among these, the VCAM-1 receptor alpha4beta1 has received most attention as a main factor mediating firm adhesion to the endothelium during blood cell extravasation. Therapeutic trials are ongoing into the use of antibodies and small molecule inhibitors to target this interaction and hence obtain anti-inflammatory effects. However, extravasation is only one possible process that is mediated by beta1 integrins and there is evidence that they also mediate leukocyte retention and positioning in the tissue, lymphocyte activation and possibly migration within the interstitium. Genetic mouse models where integrins are selectively deleted on blood cells have been used to investigate these functions and further studies will be invaluable to critically evaluate therapeutic trials.},
author = {Michael Sixt and Bauer, Martina and Lämmermann, Tim and Fässler, Reinhard},
journal = {Current Opinion in Cell Biology},
number = {5},
pages = {482 -- 490},
publisher = {Elsevier},
title = {{β1 integrins: zip codes and signaling relay for blood cells}},
doi = {10.1016/j.ceb.2006.08.007},
volume = {18},
year = {2006},
}