@article{211,
abstract = {Let f ∈ ℤ[x] be a polynomial of degree d. The paucity of non-trivial positive integer solutions to the equation f(x1)+f(x 2)=f(x3)+f(x4) is established, provided that d ≤ 7$. Also the corresponding situation is investigated for equal sums of three like polynomials.},
author = {Timothy Browning},
journal = {Bulletin of the London Mathematical Society},
number = {6},
pages = {801 -- 808},
publisher = {John Wiley and Sons Ltd},
title = {{Equal sums of like polynomials}},
doi = {10.1112/S0024609305004741},
volume = {37},
year = {2005},
}
@article{212,
abstract = {For any n ≧ 2, let F ∈ ℤ [ x 1, … , xn ] be a form of degree d≧ 2, which produces a geometrically irreducible hypersurface in ℙn–1. This paper is concerned with the number N(F;B) of rational points on F = 0 which have height at most B. For any ε > 0 we establish the estimate N(F; B) = O(B n− 2+ ε ), whenever either n ≦ 5 or the hypersurface is not a union of lines. Here the implied constant depends at most upon d, n and ε.},
author = {Timothy Browning and Heath-Brown, Roger},
journal = {Journal fur die Reine und Angewandte Mathematik},
number = {584},
pages = {83 -- 115},
publisher = {Walter de Gruyter and Co },
title = {{Counting rational points on hypersurfaces}},
doi = {https://doi.org/10.1515/crll.2005.2005.584.83},
year = {2005},
}
@article{214,
abstract = {Given an absolutely irreducible ternary form F, the purpose of this paper is to produce better upper bounds for the number of integer solutions to the equation F=0, that are restricted to lie in very lopsided boxes. As an application of the main result, a new paucity estimate is obtained for equal sums of two like powers.},
author = {Timothy Browning and Heath-Brown, Roger},
journal = {Mathematische Zeitschrift},
number = {2},
pages = {233 -- 247},
publisher = {Unknown},
title = {{Plane curves in boxes and equal sums of two powers}},
doi = {10.1007/s00209-004-0719-z},
volume = {251},
year = {2005},
}
@article{217,
abstract = {We show that the number of nontrivial rational points of height at most B, which lie on the cubic surface x1 x2 x3 = x4 (x1 + x2 + x3)2, has order of magnitude B (log B)6. This agrees with Manin's conjecture.},
author = {Timothy Browning},
journal = {Journal of Number Theory},
number = {2},
pages = {242 -- 283},
publisher = {Elsevier},
title = {{The density of rational points on a certain singular cubic surface}},
doi = {10.1016/j.jnt.2005.11.007},
volume = {119},
year = {2005},
}
@inproceedings{4624,
abstract = {Surveying results from [5] and [6], we motivate and introduce the theory behind formalizing rich interfaces for software and hardware components. Rich interfaces specify the protocol aspects of component interaction. Their formalization, called interface automata, permits a compiler to check the compatibility of component interaction protocols. Interface automata support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can proceed for partial system descriptions, without knowing the interfaces of all components. Independent implementability means that compatible interfaces can be refined separately, while still maintaining compatibility.},
author = {de Alfaro, Luca and Thomas Henzinger},
pages = {83 -- 104},
publisher = {Springer},
title = {{Interface-based design}},
doi = {10.1007/1-4020-3532-2_3},
volume = {195},
year = {2005},
}
@article{4625,
abstract = {Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, temporal logic is therefore fragile: even small changes in the model can lead to opposite truth values for a specification. We present a generalization of the branching-time logic CTL which achieves robustness with respect to model perturbations by giving a quantitative interpretation to predicates and logical operators, and by discounting the importance of events according to how late they occur. In every state, the value of a formula is a real number in the interval [0,1], where 1 corresponds to truth and 0 to falsehood. The boolean operators and and or are replaced by min and max, the path quantifiers ∃ and ∀ determine sup and inf over all paths from a given state, and the temporal operators ⋄ and □ specify sup and inf over a given path; a new operator averages all values along a path. Furthermore, all path operators are discounted by a parameter that can be chosen to give more weight to states that are closer to the beginning of the path.
We interpret the resulting logic DCTL over transition systems, Markov chains, and Markov decision processes. We present two semantics for DCTL: a path semantics, inspired by the standard interpretation of state and path formulas in CTL, and a fixpoint semantics, inspired by the μ-calculus evaluation of CTL formulas. We show that, while these semantics coincide for CTL, they differ for DCTL, and we provide model-checking algorithms for both semantics.},
author = {de Alfaro, Luca and Faella, Marco and Thomas Henzinger and Majumdar, Ritankar S and Stoelinga, Mariëlle},
journal = {Theoretical Computer Science},
number = {1},
pages = {139 -- 170},
publisher = {Elsevier},
title = {{Model checking discounted temporal properties}},
doi = {10.1016/j.tcs.2005.07.033},
volume = {345},
year = {2005},
}
@inproceedings{575,
abstract = {We present the first demonstration of Jozsa's "counterfactual computation", using an optical Grover's search algorithm. We put the algorithm in a superposition of 'running' and 'not-running', obtaining information even though the algorithm does not run.},
author = {Onur Hosten and Rakher, Matthew T and Barreiro, Julio T and Peters, Nicholas A and Kwiat, Paul G},
pages = {365 -- 367},
publisher = {IEEE},
title = {{Counterfactual quantum computation}},
doi = { 10.1109/QELS.2005.1548783},
volume = {1},
year = {2005},
}
@article{6153,
abstract = {A current challenge in neuroscience is to bridge the gaps between genes, proteins, neurons, neural circuits, and behavior in a single animal model. The nematode Caenorhabditis elegans has unique features that facilitate this synthesis. Its nervous system includes exactly 302 neurons, and their pattern of synaptic connectivity is known. With only five olfactory neurons, C. elegans can dynamically respond to dozens of attractive and repellant odors. Thermosensory neurons enable the nematode to remember its cultivation temperature and to track narrow isotherms. Polymodal sensory neurons detect a wide range of nociceptive cues and signal robust escape responses. Pairing of sensory stimuli leads to long-lived changes in behavior consistent with associative learning. Worms exhibit social behaviors and complex ultradian rhythms driven by Ca2+ oscillators with clock-like properties. Genetic analysis has identified gene products required for nervous system function and elucidated the molecular and neural bases of behaviors.},
author = {de Bono, Mario and Villu Maricq, Andres},
issn = {0147-006X},
journal = {Annual Review of Neuroscience},
pages = {451--501},
publisher = {Annual Reviews},
title = {{Neuronal substrates of complex behaviors in C. elegans}},
doi = {10.1146/annurev.neuro.27.070203.144259},
volume = {28},
year = {2005},
}
@article{6154,
author = {Cheung, Benny H.H. and Cohen, Merav and Rogers, Candida and Albayram, Onder and de Bono, Mario},
issn = {0960-9822},
journal = {Current Biology},
number = {10},
pages = {905--917},
publisher = {Elsevier},
title = {{Experience-dependent modulation of C. elegans behavior by ambient oxygen}},
doi = {10.1016/j.cub.2005.04.017},
volume = {15},
year = {2005},
}
@article{1298,
abstract = {Genetically encoded fluorescent probes of neural activity represent new promising tools for systems neuroscience. Here, we present a comparative in vivo analysis of 10 different genetically encoded calcium indicators, as well as the pH-sensitive synapto-pHluorin. We analyzed their fluorescence changes in presynaptic boutons of the Drosophila larval neuromuscular junction. Robust neural activity did not result in any or noteworthy fluorescence changes when Flash-Pericam, Camgaroo-1, and Camgaroo-2 were expressed. However, calculated on the raw data, fractional fluorescence changes up to 18% were reported by synapto-pHluorin, Yellow Cameleon 2.0, 2.3, and 3.3, Inverse-Pericam, GCaMP1.3, GCaMP1.6, and the troponin C-based calcium sensor TN-L15. The response characteristics of all of these indicators differed considerably from each other, with GCaMP1.6 reporting high rates of neural activity with the largest and fastest fluorescence changes. However, GCaMP1.6 suffered from photobleaching, whereas the fluorescence signals of the double-chromophore indicators were in general smaller but more photostable and reproducible, with TN-L15 showing the fastest rise of the signals at lower activity rates. We show for GCaMP1.3 and YC3.3 that an expanded range of neural activity evoked fairly linear fluorescence changes and a corresponding linear increase in the signal-to-noise ratio (SNR). The expression level of the indicator biased the signal kinetics and SNR, whereas the signal amplitude was independent. The presented data will be useful for in vivo experiments with respect to the selection of an appropriate indicator, as well as for the correct interpretation of the optical signals.},
author = {Reiff, Dierk F and Ihring, Alexandra and Guerrero, Giovanna and Isacoff, Ehud Y and Maximilian Jösch and Nakai, Junichi and Borst, Alexander},
journal = {Journal of Neuroscience},
number = {19},
pages = {4766 -- 4778},
publisher = {Society for Neuroscience},
title = {{In vivo performance of genetically encoded indicators of neural activity in flies}},
doi = {10.1523/JNEUROSCI.4900-04.2005},
volume = {25},
year = {2005},
}
@inbook{1444,
abstract = {The paper surveys the mirror symmetry conjectures of Hausel-Thaddeus and Hausel-Rodriguez-Villegas concerning the equality of certain Hodge numbers of SL(n, ℂ) vs. PGL(n, ℂ) flat connections and character varieties for curves, respectively. Several new results and conjectures and their relations to works of Hitchin, Gothen, Garsia-Haiman and Earl-Kirwan are explained. These use the representation theory of finite groups of Lie-type via the arithmetic of character varieties and lead to an unexpected conjecture for a Hard Lefschetz theorem for their cohomology.},
author = {Tamas Hausel},
booktitle = {Geometric Methods in Algebra and Number Theory},
pages = {193 -- 217},
publisher = {Springer},
title = {{Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve}},
doi = {10.1007/0-8176-4417-2_9},
volume = {235},
year = {2005},
}
@article{1447,
abstract = {Building on a recent paper [8], here we argue that the combinatorics of matroids are intimately related to the geometry and topology of toric hyperkähler varieties. We show that just like toric varieties occupy a central role in Stanley’s proof for the necessity of McMullen’s conjecture (or g-inequalities) about the classification of face vectors of simplicial polytopes, the topology of toric hyperkähler varieties leads to new restrictions on face vectors of matroid complexes. Namely in this paper we will give two proofs that the injectivity part of the Hard Lefschetz theorem survives for toric hyperkähler varieties. We explain how this implies the g-inequalities for rationally representable matroids. We show how the geometrical intuition in the first proof, coupled with results of Chari [3], leads to a proof of the g-inequalities for general matroid complexes, which is a recent result of Swartz [20]. The geometrical idea in the second proof will show that a pure O-sequence should satisfy the g-inequalities, thus showing that our result is in fact a consequence of a long-standing conjecture of Stanley.},
author = {Tamas Hausel},
journal = {Open Mathematics},
number = {1},
pages = {26 -- 38},
publisher = {Central European Science Journals},
title = {{Quaternionic geometry of matroids}},
doi = {10.2478/BF02475653},
volume = {3},
year = {2005},
}
@article{1463,
abstract = {We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkähler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to quiver varieties, and compute as an example the ordinary and equivariant cohomology rings of a hyperpolygon space.},
author = {Tamas Hausel and Proudfoot, Nicholas J},
journal = {Topology},
number = {1},
pages = {231 -- 248},
publisher = {Elsevier},
title = {{Abelianization for hyperkähler quotients}},
doi = {10.1016/j.top.2004.04.002},
volume = {44},
year = {2005},
}
@article{893,
abstract = {Amino acid composition of proteins varies substantially between taxa and, thus, can evolve. For example, proteins from organisms with (G+C)-rich (or (A+T)-rich) genomes contain more (or fewer) amino acids encoded by (G+C)-rich codons. However, no universal trends in ongoing changes of amino acid frequencies have been reported. We compared sets of orthologous proteins encoded by triplets of closely related genomes from 15 taxa representing all three domains of life (Bacteria, Archaea and Eukaryota), and used phylogenies to polarize amino acid substitutions. Cys, Met, His, Ser and Phe accrue in at least 14 taxa, whereas Pro, Ala, Glu and Gly are consistently lost. The same nine amino acids are currently accrued or lost in human proteins, as shown by analysis of non-synonymous single-nucleotide polymorphisms. All amino acids with declining frequencies are thought to be among the first incorporated into the genetic code; conversely, all amino acids with increasing frequencies, except Ser, were probably recruited late. Thus, expansion of initially under-represented amino acids, which began over 3,400 million years ago, apparently continues to this day.},
author = {Jordan, Ingo K and Fyodor Kondrashov and Adzhubeǐ, Ivan A and Wolf, Yuri I and Koonin, Eugene V and Kondrashov, Alexey S and Sunyaev, Shamil R},
journal = {Nature},
number = {7026},
pages = {633 -- 638},
publisher = {Nature Publishing Group},
title = {{A universal trend of amino acid gain and loss in protein evolution}},
doi = {10.1038/nature03306},
volume = {433},
year = {2005},
}
@article{3720,
author = {Guzmán, José and Gerevich, Zoltan and Hengstler, Jan and Illes, Peter and Kleemann, Werner},
journal = {Synapse},
number = {4},
pages = {235 -- 238},
publisher = {Wiley},
title = {{P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.}},
doi = {10.1002/syn.20177},
volume = {57},
year = {2005},
}
@article{3721,
abstract = {Recent advances in atomic force microscopy allowed globular and membrane proteins to be mechanically unfolded on a single-molecule level. Presented is an extension to the existing force spectroscopy experiments. While unfolding single bacteriorhodopsins from native purple membranes, small oscillation amplitudes (6–9nm) were supplied to the vertical displacement of the cantilever at a frequency of 3kHz. The phase and amplitude response of the cantilever-protein system was converted to reveal the elastic (conservative) and viscous (dissipative) contributions to the unfolding process. The elastic response (stiffness) of the extended parts of the protein were in the range of a few tens pN/nm and could be well described by the derivative of the wormlike chain model. Discrete events in the viscous response coincided with the unfolding of single secondary structure elements and were in the range of 1μNs/m. In addition, these force modulation spectroscopy experiments revealed novel mechanical unfolding intermediates of bacteriorhodopsin. We found that kinks result in a loss of unfolding cooperativity in transmembrane helices. Reconstructing force-distance spectra by the integration of amplitude-distance spectra verified their position, offering a novel approach to detect intermediates during the forced unfolding of single proteins.},
author = {Harald Janovjak and Mueller, Daniel J and Humphris, Andrew D},
journal = {Biophysical Journal},
number = {2},
pages = {1423 -- 1431},
publisher = {Biophysical Society},
title = {{Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins}},
doi = {10.1529/biophysj.104.052746},
volume = {88},
year = {2005},
}
@article{3741,
abstract = {In an age of increasingly large data sets, investigators in many different disciplines have turned to clustering as a tool for data analysis and exploration. Existing clustering methods, however, typically depend on several nontrivial assumptions about the structure of data. Here, we reformulate the clustering problem from an information theoretic perspective that avoids many of these assumptions. In particular, our formulation obviates the need for defining a cluster "prototype," does not require an a priori similarity metric, is invariant to changes in the representation of the data, and naturally captures nonlinear relations. We apply this approach to different domains and find that it consistently produces clusters that are more coherent than those extracted by existing algorithms. Finally, our approach provides a way of clustering based on collective notions of similarity rather than the traditional pairwise measures.},
author = {Slonim,N. and Atwal,G. and Gasper Tkacik and Bialek, William S},
journal = {PNAS},
number = {51},
pages = {18297 -- 18302},
publisher = {National Academy of Sciences},
title = {{Information-based clustering}},
doi = {10.1073/pnas.0507432102},
volume = {102},
year = {2005},
}
@unpublished{3746,
abstract = {We address the practical problems of estimating the information relations that characterize large networks. Building on methods developed for analysis of the neural code, we show that reliable estimates of mutual information can be obtained with manageable computational effort. The same methods allow estimation of higher order, multi-information terms. These ideas are illustrated by analyses of gene expression, financial markets, and consumer preferences. In each case, information theoretic measures correlate with independent, intuitive measures of the underlying structures in the system.},
author = {Slonim,Noam and Atwal,Gurinder S and Gasper Tkacik and Bialek, William S},
booktitle = {ArXiv},
pages = {1 -- 11},
publisher = {ArXiv},
title = {{Estimating mutual information and multi-information in large networks}},
year = {2005},
}
@article{3753,
abstract = {Characterizing the dynamics of specific RNA levels requires real-time RNA profiling in a single cell. We show that the combination of a synthetic modular genetic system with fluorescence correlation spectroscopy allows us to directly measure in real time the activity of any specific promoter in prokaryotes. Using a simple inducible gene expression system, we found that induced RNA levels within a single bacterium of Escherichia coli exhibited a pulsating profile in response to a steady input of inducer. The genetic deletion of an efflux pump system, a key determinant of antibiotic resistance, altered the pulsating transcriptional dynamics and caused overexpression of induced RNA. In contrast with population measurements, real-time RNA profiling permits identifying relationships between genotypes and transcriptional dynamics that are accessible only at the level of the single cell.},
author = {Le,Thuc T. and Harlepp, Sébastien and Calin Guet and Dittmar,Kimberly and Emonet,Thierry and Pan,Tao and Cluzel,Philippe},
journal = {PNAS},
number = {26},
pages = {9160 -- 9164},
publisher = {National Academy of Sciences},
title = {{Real-time RNA profiling within a single bacterium}},
doi = {10.1073/pnas.0503311102},
volume = {102},
year = {2005},
}
@article{3763,
abstract = {The generation of realistic motion satisfying user-defined requirements is one of the most important goals of computer animation. Our aim in this paper is the synthesis of realistic, controllable motion for lightweight natural objects in a gaseous medium. We formulate this problem as a large-scale spacetime optimization with user controls and fluid motion equations as constraints. We have devised novel and effective methods to make this large optimization tractable. Initial trajectories are generated with data-driven synthesis based on stylistic motion planning. Smoothed particle hydrodynamics (SPH) is used during optimization to produce fluid simulations at a reasonable computational cost, while interesting vortex-based fluid motion is generated by recording the presence of vortices in the initial trajectories and maintaining them through optimization. Object rotations are refined as a postprocess to enhance the visual quality of the results. We demonstrate our techniques on a number of animations involving single or multiple objects.},
author = {Shi, Lin and Yu, Yizhou and Wojtan, Christopher J and Chenney, Stephen},
journal = {The Visual Computer},
number = {7},
pages = {474 -- 487},
publisher = {Springer},
title = {{Controllable motion synthesis in a gaseous medium}},
doi = {10.1007/s00371-005-0296-0},
volume = {21},
year = {2005},
}