@article{6149, author = {Olofsson, Birgitta and de Bono, Mario}, issn = {0960-9822}, journal = {Current Biology}, number = {5}, pages = {R204--R206}, publisher = {Elsevier}, title = {{Sleep: dozy worms and sleepy flies}}, doi = {10.1016/j.cub.2008.01.002}, volume = {18}, year = {2008}, } @article{7320, abstract = {A comparative, experimental diffusivity study of gas diffusion layer (GDL) materials for polymer electrolyte fuel cells (PEFC) is presented for the first time. The GDL plays an important role for electrochemical losses due to gas transport limitations at high current densities. Characterization and optimization of these layers is therefore essential to improve power density. A recently developed method which allows for fast diffusimetry is applied and data compared to the literature values. Measurements are made as a function of direction and compression and the effect of different binder structures and hydrophobic treatments on effective diffusivities are discussed. A better understanding of the results is gained by including novel GDL cross-section images and a meaningful unit cell model for the interpretation of the data. The diffusivity data is valuable for GDL manufacturers and future PEFC models. The study reveals that a binder–fiber ratio larger than 50% has a negative impact on the effective diffusion properties. The hydrophobic treatment which is necessary to improve the water management can impede diffusion and thus reduce the power density. Furthermore binder has an isotropic effect while compression pronounces the in-plane orientation of the fibers.}, author = {Flückiger, Reto and Freunberger, Stefan Alexander and Kramer, Denis and Wokaun, Alexander and Scherer, Günther G. and Büchi, Felix N.}, issn = {0013-4686}, journal = {Electrochimica Acta}, number = {2}, pages = {551--559}, publisher = {Elsevier}, title = {{Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC}}, doi = {10.1016/j.electacta.2008.07.034}, volume = {54}, year = {2008}, } @article{7321, abstract = {Cell interaction phenomena in polymer electrolyte fuel cell stacks that arise from imbalance between adjacent cells are investigated in detail experimentally and theoretically. A specialized two-cell stack with advanced localized diagnostics was developed and used to analyze the mechanism and effect of cell-to-cell coupling as a result of operationally relevant variations in reactant feed flow. Contributions to overall and local voltage changes with respect to uniformly operated cells are scrutinized. Unequal operation of the cells causes in-plane current in the bipolar plate to redistribute current and result in inhomogeneous polarization. Both increasing and decreasing polarization along the air-flow path reduces cell power as compared to isopotential operation. A two-dimensional model based on a commercial computational fluid dynamics code is used to back and extend the experimental results to more general cases. Furthermore, the experimental setup presented allowed for the first time to perform simultaneous localized electrochemical impedance spectroscopy beyond the single-cell level. The mechanism of mutual cell interaction on local and integral spectra is revealed. Results show that virtually identical operation of the cells is essential to obtain meaningful integral spectra.}, author = {Freunberger, Stefan Alexander and Schneider, Ingo A. and Sui, Pang-Chieh and Wokaun, Alexander and Djilali, Nedjib and Büchi, Felix N.}, issn = {0013-4651}, journal = {Journal of The Electrochemical Society}, number = {7}, publisher = {The Electrochemical Society}, title = {{Cell interaction phenomena in polymer electrolyte fuel cell stacks}}, doi = {10.1149/1.2913095}, volume = {155}, year = {2008}, } @article{7322, abstract = {The gas diffusion layers (GDLs) of a membrane electrode assembly (MEA) serve as link between flow field and porous electrode within a polymer electrolyte fuel cell. Beside ensuring sufficient electrical and thermal contact between the whole electrode area and the flow field, these typically 200–400 μm thick porous structures enable the access of educts to the electrode area which would be occluded by the flow field lands if the flow field is directly attached to the electrode. Hence, the characterisation of properties pertaining to mass transport of educts and products through these structures is indispensable whilst examining the contribution of the GDLs to the overall electrochemical characteristics of a MEA. A fast and cost effective method to measure the effective diffusivity of a GDL is presented. Electrochemical impedance spectroscopy is applied to measure the effective ionic conductivity of an electrolyte-soaked GDL. Taking advantage of the analogy between Ficks and Ohms law, this provides a measure for the effective diffusivity. The method is described in detail, including experimental as well as theoretical aspects, and selected results, highlighting the anisotropy and dependence on the degree of compression, are shown. Moreover, a two-dimensional model consisting of regularly spaced ellipses is developed to represent the porous structure of the GDL, and by using conformal maps, the agreement between this model and experiment with respect to the sensitivity of the effective diffusivity towards compression is shown.}, author = {Kramer, Denis and Freunberger, Stefan Alexander and Flückiger, Reto and Schneider, Ingo A. and Wokaun, Alexander and Büchi, Felix N. and Scherer, Günther G.}, issn = {1572-6657}, journal = {Journal of Electroanalytical Chemistry}, number = {1}, pages = {63--77}, publisher = {Elsevier}, title = {{Electrochemical diffusimetry of fuel cell gas diffusion layers}}, doi = {10.1016/j.jelechem.2007.09.014}, volume = {612}, year = {2008}, } @inproceedings{7425, abstract = {The propagation of single cell performance losses to adjacent cells in a polymer electrolyte fuel cell stack is studied by means of local current density measurements in a two cell stack. In this stack, the working conditions of adjacent cells can be controlled independently in order to deliberately change the performance of one cell (inducing cell) and study the coupling effects to the adjacent cell (response cell), while keeping the working conditions of the later one unchanged. The experiments have shown that changes in the current density distribution caused by lowering of the air stoichiometry in the inducing cell cause changes in the current density distribution of the response cell in the order of 60% of the change of the inducing cell, even when the air stoichiometry of the response cell is kept constant. The losses in cell voltage of the inducing cell cause losses in cell voltage of the response cell in a magnitude between 30 and 50%.}, author = {Santis, Marco and Freunberger, Stefan Alexander and Papra, Matthias and Büchi, Felix N.}, booktitle = {3rd International Conference on Fuel Cell Science, Engineering and Technology}, isbn = {0791837645}, location = {Ypsilanti, MI, United States}, pages = {763--765}, publisher = {ASMEDC}, title = {{Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks}}, doi = {10.1115/fuelcell2005-74116}, year = {2008}, } @inproceedings{753, abstract = {This paper addresses the following question: what is the minimum-sized synchronous window needed to solve consensus in an otherwise asynchronous system? In answer to this question, we present the first optimally-resilient algorithm ASAP that solves consensus as soon as possible in an eventually synchronous system, i.e., a system that from some time GST onwards, delivers messages in a timely fashion. ASAP guarantees that, in an execution with at most f failures, every process decides no later than round GST + f + 2, which is optimal.}, author = {Alistarh, Dan-Adrian and Gilbert, Seth and Guerraoui, Rachid and Travers, Corentin}, pages = {32 -- 46}, publisher = {Springer}, title = {{How to solve consensus in the smallest window of synchrony}}, doi = {10.1007/978-3-540-87779-0_3}, volume = {5218 LNCS}, year = {2008}, } @article{3435, abstract = {We develop a new method for estimating effective population sizes, Ne, and selection coefficients, s, from time-series data of allele frequencies sampled from a single diallelic locus. The method is based on calculating transition probabilities, using a numerical solution of the diffusion process, and assuming independent binomial sampling from this diffusion process at each time point. We apply the method in two example applications. First, we estimate selection coefficients acting on the CCR5-Δ32 mutation on the basis of published samples of contemporary and ancient human DNA. We show that the data are compatible with the assumption of s = 0, although moderate amounts of selection acting on this mutation cannot be excluded. In our second example, we estimate the selection coefficient acting on a mutation segregating in an experimental phage population. We show that the selection coefficient acting on this mutation is ~0.43.}, author = {Jonathan Bollback and York, Thomas L and Nielsen, Rasmus}, journal = {Genetics}, number = {1}, pages = {497 -- 502}, publisher = {Genetics Society of America}, title = {{Estimation of 2Nes From Temporal Allele Frequency Data}}, doi = {10.1534/genetics.107.085019}, volume = {179}, year = {2008}, } @inproceedings{3501, abstract = {The Wikipedia is a collaborative encyclopedia: anyone can contribute to its articles simply by clicking on an "edit" button. The open nature of the Wikipedia has been key to its success, but has also created a challenge: how can readers develop an informed opinion on its reliability? We propose a system that computes quantitative values of trust for the text in Wikipedia articles; these trust values provide an indication of text reliability. The system uses as input the revision history of each article, as well as information about the reputation of the contributing authors, as provided by a reputation system. The trust of a word in an article is computed on the basis of the reputation of the original author of the word, as well as the reputation of all authors who edited text near the word. The algorithm computes word trust values that vary smoothly across the text; the trust values can be visualized using varying text-background colors. The algorithm ensures that all changes to an article's text are reflected in the trust values, preventing surreptitious content changes. We have implemented the proposed system, and we have used it to compute and display the trust of the text of thousands of articles of the English Wikipedia. To validate our trust-computation algorithms, we show that text labeled as low-trust has a significantly higher probability of being edited in the future than text labeled as high-trust.}, author = {Adler, B Thomas and Krishnendu Chatterjee and de Alfaro, Luca and Faella, Marco and Pye, Ian and Raman, Vishwanath}, publisher = {ACM}, title = {{Assigning trust to Wikipedia content}}, doi = {10.1145/1822258.1822293}, year = {2008}, } @inproceedings{3502, abstract = {In content-driven reputation systems for collaborative content, users gain or lose reputation according to how their contributions fare: authors of long-lived contributions gain reputation, while authors of reverted contributions lose reputation. Existing content-driven systems are prone to Sybil attacks, in which multiple identities, controlled by the same person, perform coordinated actions to increase their reputation. We show that content-driven reputation systems can be made resistant to such attacks by taking advantage of thefact that the reputation increments and decrements depend on content modifications, which are visible to all. We present an algorithm for content-driven reputation that prevents a set of identities from increasing their maximum reputation without doing any useful work. Here, work is considered useful if it causes content to evolve in a direction that is consistent with the actions of high-reputation users. We argue that the content modifications that require no effort, such as the insertion or deletion of arbitrary text, are invariably non-useful. We prove a truthfullness result for the resulting system, stating that users who wish to perform a contribution do not gain by employing complex contribution schemes, compared to simply performing the contribution at once. In particular, splitting the contribution in multiple portions, or employing the coordinated actions of multiple identities, do not yield additional reputation. Taken together, these results indicate that content-driven systems can be made robust with respect to Sybil attacks. Copyright 2008 ACM.}, author = {Krishnendu Chatterjee and de Alfaro, Luca and Pye, Ian}, pages = {33 -- 42}, publisher = {ACM}, title = {{Robust content-driven reputation}}, doi = {10.1145/1456377.1456387 }, year = {2008}, } @inproceedings{3504, abstract = {Simulation and bisimulation metrics for stochastic systems provide a quantitative gen- eralization of the classical simulation and bisimulation relations. These metrics capture the similarity of states with respect to quantitative specifications written in the quantitative μ-calculus and related probabilistic logics. We present algorithms for computing the metrics on Markov decision processes (MDPs), turn- based stochastic games, and concurrent games. For turn-based games and MDPs, we provide a polynomial-time algorithm based on linear programming for the computation of the one-step metric distance between states. The algorithm improves on the previously known exponential-time algo- rithm based on a reduction to the theory of reals. We then present PSPACE algorithms for both the decision problem and the problem of approximating the metric distance between two states, matching the best known bound for Markov chains. For the bisimulation kernel of the metric, which corresponds to probabilistic bisimulation, our algorithm works in time O(n4) for both turn-based games and MDPs; improving the previously best known O(n9 · log(n)) time algorithm for MDPs. For a concurrent game G, we show that computing the exact distance between states is at least as hard as computing the value of concurrent reachability games and the square-root-sum problem in computational geometry. We show that checking whether the metric distance is bounded by a rational r, can be accomplished via a reduction to the theory of real closed fields, involving a formula with three quantifier alternations, yielding O(|G|O(|G|5)) time complexity, improving the previously known reduction with O(|G|O(|G|7)) time complexity. These algorithms can be iterated to approximate the metrics using binary search.}, author = {Chatterjee, Krishnendu and De Alfaro, Luca and Majumdar, Ritankar and Raman, Vishwanath}, pages = {107 -- 118}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Algorithms for game metrics}}, doi = {10.4230/LIPIcs.FSTTCS.2008.1745}, volume = {2}, year = {2008}, } @article{3516, abstract = {Temporal coding is a means of representing information by the time, as opposed to the rate, at which neurons fire. Evidence of temporal coding in the hippocampus comes from place cells, whose spike times relative to theta oscillations reflect a rat's position while running along stereotyped trajectories. This arises from the backwards shift in cell firing relative to local theta oscillations (phase precession). Here we demonstrate phase precession during place-field crossings in an open-field foraging task. This produced spike sequences in each theta cycle that disambiguate the rat's trajectory through two-dimensional space and can be used to predict movement direction. Furthermore, position and movement direction were maximally predicted from firing in the early and late portions of the theta cycle, respectively. This represents the first direct evidence of a combined representation of position, trajectory and heading in the hippocampus, organized on a fine temporal scale by theta oscillations.}, author = {Huxter,John R and Senior,Timothy J and Allen, Kevin and Jozsef Csicsvari}, journal = {Nature Neuroscience}, number = {5}, pages = {587 -- 594}, publisher = {Nature Publishing Group}, title = {{Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus}}, doi = {10.1038/nn.2106}, volume = {11}, year = {2008}, } @article{3520, abstract = {The hippocampus is thought to be involved in episodic memory formation by reactivating traces of waking experience during sleep. Indeed, the joint firing of spatially tuned pyramidal cells encoding nearby places recur during sleep. We found that the sleep cofiring of rat CA1 pyramidal cells encoding similar places increased relative to the sleep session before exploration. This cofiring increase depended on the number of times that cells fired together with short latencies ( < 50 ms) during exploration, and was strongest between cells representing the most visited places. This is indicative of a Hebbian learning rule in which changes in firing associations between cells are determined by the number of waking coincident firing events. In contrast, cells encoding different locations reduced their cofiring in proportion to the number of times that they fired independently. Together these data indicate that reactivated patterns are shaped by both positive and negative changes in cofiring, which are determined by recent behavior.}, author = {Joseph O'Neill and Senior,Timothy J and Allen, Kevin and Huxter,John R and Jozsef Csicsvari}, journal = {Nature Neuroscience}, number = {2}, pages = {209 -- 215}, publisher = {Nature Publishing Group}, title = {{Reactivation of experience-dependent cell assembly patterns in the hippocampus}}, doi = {10.1038/nn2037}, volume = {11}, year = {2008}, } @article{3530, abstract = {In the cerebral cortex, GABAergic interneurons are often regarded as fast-spiking cells. We have identified a type of slow-spiking interneuron that offers distinct contributions to network activity. “Ivy” cells, named after their dense and fine axons innervating mostly basal and oblique pyramidal cell dendrites, are more numerous than the parvalbumin-expressing basket, bistratified, or axo-axonic cells. Ivy cells express nitric oxide synthase, neuropeptide Y, and high levels of GABA(A) receptor alpha 1 subunit; they discharge at a low frequency with wide spikes in vivo, yet are distinctively phase-locked to behaviorally relevant network rhythms including theta, gamma, and ripple oscillations. Paired recordings in vitro showed that Ivy cells receive depressing EPSPs from pyramidal cells, which in turn receive slowly rising and decaying inhibitory input from Ivy cells. In contrast to fast-spiking interneurons operating with millisecond precision, the highly abundant Ivy cells express presynaptically acting neuromodulators and regulate the excitability of pyramidal cell dendrites through slowly rising and decaying GABAergic inputs.}, author = {Fuentealba,Pablo and Begum,Rahima and Capogna,Marco and Jinno,Shozo and Marton,Laszlo F and Jozsef Csicsvari and Thomson,Alex and Somogyi, Péter and Klausberger,Thomas}, journal = {Neuron}, number = {6}, pages = {917 -- 929}, publisher = {Elsevier}, title = {{Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity}}, doi = {10.1016/j.neuron.2008.01.034}, volume = {57}, year = {2008}, } @article{3534, author = {Dupret, David and Pleydell-Bouverie, Barty and Jozsef Csicsvari}, journal = {PNAS}, number = {47}, pages = {18079 -- 18080}, publisher = {National Academy of Sciences}, title = {{Inhibitory interneurons and network oscillations}}, doi = {10.1073/pnas.0810064105}, volume = {105}, year = {2008}, } @article{3537, abstract = {Hippocampal place cells that fire together within the same cycle of theta oscillations represent the sequence of positions (movement trajectory) that a rat traverses on a linear track. Furthermore, it has been suggested that the encoding of these and other types of temporal memory sequences is organized by gamma oscillations nested within theta oscillations. Here, we examined whether gamma-related firing of place cells permits such discrete temporal coding. We found that gamma-modulated CA1 pyramidal cells separated into two classes on the basis of gamma firing phases during waking theta periods. These groups also differed in terms of their spike waveforms, firing rates, and burst firing tendency. During gamma oscillations one group's firing became restricted to theta phases associated with the highest gamma power. Consequently, on the linear track, cells in this group often failed to fire early in theta-phase precession (as the rat entered the place field) if gamma oscillations were present. The second group fired throughout the theta cycle during gamma oscillations, and maintained gamma-modulated firing at different stages of theta-phase precession. Our results suggest that the two different pyramidal cell classes may support different types of population codes within a theta cycle: one in which spike sequences representing movement trajectories occur across subsequent gamma cycles nested within each theta cycle, and another in which firing in synchronized gamma discharges without temporal sequences encode a representation of location. We propose that gamma oscillations during theta-phase precession organize the mnemonic recall of population patterns representing places and movement paths.}, author = {Senior,Timothy J and Huxter,John R and Allen, Kevin and Joseph O'Neill and Jozsef Csicsvari}, journal = {Journal of Neuroscience}, number = {9}, pages = {2274 -- 2286}, publisher = {Society for Neuroscience}, title = {{Gamma oscillatory firing reveals distinct populations of pyramidal cells in the CA1 region of the hippocampus}}, doi = {10.1523/JNEUROSCI.4669-07.2008}, volume = {28}, year = {2008}, } @article{3544, abstract = {In the subthalamic nucleus (STN) of Parkinson's disease (PD) patients, a pronounced synchronization of oscillatory activity at beta frequencies (15-30 Hz) accompanies movement difficulties. Abnormal beta oscillations and motor symptoms are concomitantly and acutely suppressed by dopaminergic therapies, suggesting that these inappropriate rhythms might also emerge acutely from disrupted dopamine transmission. The neural basis of these abnormal beta oscillations is unclear, and how they might compromise information processing, or how they arise, is unknown. Using a 6-hydroxydopamine-lesioned rodent model of PD, we demonstrate that beta oscillations are inappropriately exaggerated, compared with controls, in a brain-state-dependent manner after chronic dopamine loss. Exaggerated beta oscillations are expressed at the levels of single neurons and small neuronal ensembles, and are focally present and spatially distributed within STN. They are also expressed in synchronous population activities, as evinced by oscillatory local field potentials, in STN and cortex. Excessively synchronized beta oscillations reduce the information coding capacity of STN neuronal ensembles, which may contribute to parkinsonian motor impairment. Acute disruption of dopamine transmission in control animals with antagonists of D-1/D-2 receptors did not exaggerate STN or cortical beta oscillations. Moreover, beta oscillations were not exaggerated until several days after 6-hydroxydopamine injections. Thus, contrary to predictions, abnormally amplified beta oscillations in cortico-STN circuits do not result simply from an acute absence of dopamine receptor stimulation, but are instead delayed sequelae of chronic dopamine depletion. Targeting the plastic processes underlying the delayed emergence of pathological beta oscillations after continuing dopaminergic dysfunction may offer considerable therapeutic promise.}, author = {Mallet,Nicolas and Pogosyan,Alek and Sharott,Andrew and Jozsef Csicsvari and Bolam, John Paul and Brown,Peter and Magill,Peter J}, journal = {Journal of Neuroscience}, number = {18}, pages = {4795 -- 4806}, publisher = {Society for Neuroscience}, title = {{Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex}}, doi = {10.1523/JNEUROSCI.0123-08.2008}, volume = {28}, year = {2008}, } @inbook{3577, author = {Biasotti, Silvia and Attali, Dominique and Boissonnat, Jean-Daniel and Herbert Edelsbrunner and Elber, Gershon and Mortara, Michela and Sanniti di Baja, Gabriella and Spagnuolo, Michela and Tanase, Mirela and Veltkam, Remco}, booktitle = {Shape Analysis and Structuring}, pages = {145 -- 183}, publisher = {Springer}, title = {{Skeletal structures}}, doi = {10.1007/978-3-540-33265-7_5}, year = {2008}, } @article{3591, abstract = {The controlled internalization of membrane receptors and lipids is crucial for cells to control signaling pathways and interact with their environment. During clathrin-mediated endocytosis, membrane constituents are transported via endocytic vesicles into early endosomes, from which they are further distributed within the cell. The small guanosine triphosphatase (GTPase) Rab5 is both required and sufficient for the formation of these early endosomes and can be used to experimentally address endocytic processes. Recent evidence shows that endocytic turnover of E-cadherin regulates the migration of mesendodermal cells during zebrafish gastrulation by modulating their adhesive interactions with neighboring cells. This in turn leads to effective and synchronized movement within the embryo. In this review, we discuss techniques to manipulate E-cadherin endocytosis by morpholino-mediated knockdown of rab5 during zebrafish gastrulation. We describe the use of antibodies specifically directed against zebrafish E-cadherin to detect its intracellular localization and of in situ hybridization and primary cell culture to reveal patterns of cell migration and adhesion, respectively}, author = {Ulrich, Florian and Heisenberg, Carl-Philipp J}, journal = {Methods in Molecular Biology}, pages = {371 -- 387}, publisher = {Springer}, title = {{Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish.}}, doi = {10.1007/978-1-59745-178-9_27}, volume = {440}, year = {2008}, } @inproceedings{3599, abstract = {In this paper, adaptive formation control and bio-inspired optimization are jointly addressed for a cluster-based satellite wireless sensor network in which there are multiple satellites flying in formation (MSFF) in the presence of unknown disturbances. The full nonlinear dynamics model describing the relative positioning of the MSFF system is used to develop an adaptive formation controller. First, the original nonlinear system is transformed into a linear controllable system with aperturbation term by invoking the input-output feedback linearization technique. Second, by using the integral feedback design scheme, the adaptive formation controller is presented for improving the steady-state performance of the MSFF system in the presence of unknown disturbances. Third, as a currently popular bio-inspired algorithm, PSO (particle swarm optimizer) is employed to minimize the total energy consumption under the required quality of service by jointly optimizing the transmission power and rate for each satellite. Simulation results are provided to demonstrate the effectiveness of the adaptive formation controller and the PSO-based optimization for saving the total communication energy.}, author = {Yang, Erfu and Erdogan, Ahmet T and Arslan, Tughrul and Nicholas Barton}, pages = {432 -- 439}, publisher = {IEEE}, title = {{Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network }}, doi = {10.1109/AHS.2008.60}, year = {2008}, } @inproceedings{3600, abstract = {Scalability is one of the most important issues for optimization algorithms used in wireless sensor networks (WSNs) since there are often many parameters to be optimized at the same time. In this case it is very hard to ensure that an optimization algorithm can be smoothly scaled up from a low-dimensional optimization problem to the one with a high dimensionality. This paper addresses the scalability issue of a novel optimization algorithm inspired by the Shifting Balance Theory (SBT) of evolution in population genetics. Toward this end, a cluster-based WSN is employed in this paper as a benchmark to perform a comparative study. The total energy consumption is minimized under the required quality of service by jointly optimizing the transmission power and rate for each sensor node. The results obtained by the SBT-based algorithm are compared with the Metropolis algorithm (MA) and currently popular particle swarm optimizer (PSO) to assess the scaling performance of the three algorithms against the same WSN optimization problem.}, author = {Yang, Erfu and Nicholas Barton and Arslan, Tughrul and Erdogan, Ahmet T}, pages = {249 -- 260}, publisher = {Springer}, title = {{ Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network}}, doi = {10.1007/978-3-540-85857-7_22}, volume = {5216}, year = {2008}, }