@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},
}