TY - CONF AB - Weakly-supervised object localization methods tend to fail for object classes that consistently co-occur with the same background elements, e.g. trains on tracks. We propose a method to overcome these failures by adding a very small amount of model-specific additional annotation. The main idea is to cluster a deep network\'s mid-level representations and assign object or distractor labels to each cluster. Experiments show substantially improved localization results on the challenging ILSVC2014 dataset for bounding box detection and the PASCAL VOC2012 dataset for semantic segmentation. AU - Kolesnikov, Alexander AU - Lampert, Christoph ID - 1102 T2 - Proceedings of the British Machine Vision Conference 2016 TI - Improving weakly-supervised object localization by micro-annotation VL - 2016-September ER - TY - CONF AB - We propose two parallel state-space-exploration algorithms for hybrid automaton (HA), with the goal of enhancing performance on multi-core shared-memory systems. The first uses the parallel, breadth-first-search algorithm (PBFS) of the SPIN model checker, when traversing the discrete modes of the HA, and enhances it with a parallel exploration of the continuous states within each mode. We show that this simple-minded extension of PBFS does not provide the desired load balancing in many HA benchmarks. The second algorithm is a task-parallel BFS algorithm (TP-BFS), which uses a cheap precomputation of the cost associated with the post operations (both continuous and discrete) in order to improve load balancing. We illustrate the TP-BFS and the cost precomputation of the post operators on a support-function-based algorithm for state-space exploration. The performance comparison of the two algorithms shows that, in general, TP-BFS provides a better utilization/load-balancing of the CPU. Both algorithms are implemented in the model checker XSpeed. Our experiments show a maximum speed-up of more than 2000 χ on a navigation benchmark, with respect to SpaceEx LGG scenario. In order to make the comparison fair, we employed an equal number of post operations in both tools. To the best of our knowledge, this paper represents the first attempt to provide parallel, reachability-analysis algorithms for HA. AU - Gurung, Amit AU - Deka, Arup AU - Bartocci, Ezio AU - Bogomolov, Sergiy AU - Grosu, Radu AU - Ray, Rajarshi ID - 1103 TI - Parallel reachability analysis for hybrid systems ER - TY - CONF AB - Jointly characterizing neural responses in terms of several external variables promises novel insights into circuit function, but remains computationally prohibitive in practice. Here we use gaussian process (GP) priors and exploit recent advances in fast GP inference and learning based on Kronecker methods, to efficiently estimate multidimensional nonlinear tuning functions. Our estimator require considerably less data than traditional methods and further provides principled uncertainty estimates. We apply these tools to hippocampal recordings during open field exploration and use them to characterize the joint dependence of CA1 responses on the position of the animal and several other variables, including the animal\'s speed, direction of motion, and network oscillations.Our results provide an unprecedentedly detailed quantification of the tuning of hippocampal neurons. The model\'s generality suggests that our approach can be used to estimate neural response properties in other brain regions. AU - Savin, Cristina AU - Tkacik, Gasper ID - 1105 TI - Estimating nonlinear neural response functions using GP priors and Kronecker methods VL - 29 ER - TY - CONF AB - We present a coherent microwave to telecom signal converter based on the electro-optical effect using a crystalline WGM-resonator coupled to a 3D microwave cavity, achieving high photon conversion efficiency of 0.1% with MHz bandwidth. AU - Rueda, Alfredo AU - Sedlmeir, Florian AU - Collodo, Michele AU - Vogl, Ulrich AU - Stiller, Birgit AU - Schunk, Georg AU - Strekalov, Dimitry AU - Marquardt, Christoph AU - Fink, Johannes M AU - Painter, Oskar AU - Leuchs, Gerd AU - Schwefel, Harald ID - 1115 TI - Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator ER - TY - CONF AB - Time-triggered (TT) switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. These networks rely on the notion of globally discretized time (i.e. time slots) and a static TT schedule that prescribes which message is sent through which link at every time slot, such that all messages reach their destination before a global timeout. These schedules are generated offline, assuming a static network with fault-free links, and entrusting all error-handling functions to the end user. Assuming the network is static is an over-optimistic view, and indeed links tend to fail in practice. We study synthesis of TT schedules on a network in which links fail over time and we assume the switches run a very simple error-recovery protocol once they detect a crashed link. We address the problem of finding a pk; qresistant schedule; namely, one that, assuming the switches run a fixed error-recovery protocol, guarantees that the number of messages that arrive at their destination by the timeout is at least no matter what sequence of at most k links fail. Thus, we maintain the simplicity of the switches while giving a guarantee on the number of messages that meet the timeout. We show how a pk; q-resistant schedule can be obtained using a CEGAR-like approach: find a schedule, decide whether it is pk; q-resistant, and if it is not, use the witnessing fault sequence to generate a constraint that is added to the program. The newly added constraint disallows the schedule to be regenerated in a future iteration while also eliminating several other schedules that are not pk; q-resistant. We illustrate the applicability of our approach using an SMT-based implementation. © 2016 ACM. AU - Avni, Guy AU - Guha, Shibashis AU - Rodríguez Navas, Guillermo ID - 1135 T2 - Proceedings of the 13th International Conference on Embedded Software TI - Synthesizing time triggered schedules for switched networks with faulty links ER - TY - CONF AB - Hybrid systems have both continuous and discrete dynamics and are useful for modeling a variety of control systems, from air traffic control protocols to robotic maneuvers and beyond. Recently, numerous powerful and scalable tools for analyzing hybrid systems have emerged. Several of these tools implement automated formal methods for mathematically proving a system meets a specification. This tutorial session will present three recent hybrid systems tools: C2E2, HyST, and TuLiP. C2E2 is a simulated-based verification tool for hybrid systems, and uses validated numerical solvers and bloating of simulation traces to verify systems meet specifications. HyST is a hybrid systems model transformation and translation tool, and uses a canonical intermediate representation to support most of the recent verification tools, as well as automated sound abstractions that simplify verification of a given hybrid system. TuLiP is a controller synthesis tool for hybrid systems, where given a temporal logic specification to be satisfied for a system (plant) model, TuLiP will find a controller that meets a given specification. © 2016 IEEE. AU - Duggirala, Parasara AU - Fan, Chuchu AU - Potok, Matthew AU - Qi, Bolun AU - Mitra, Sayan AU - Viswanathan, Mahesh AU - Bak, Stanley AU - Bogomolov, Sergiy AU - Johnson, Taylor AU - Nguyen, Luan AU - Schilling, Christian AU - Sogokon, Andrew AU - Tran, Hoang AU - Xiang, Weiming ID - 1134 T2 - 2016 IEEE Conference on Control Applications TI - Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP ER - TY - CONF AB - We propose an interactive sculpting system for seamlessly editing pre-computed animations of liquid, without the need for any resimulation. The input is a sequence of meshes without correspondences representing the liquid surface over time. Our method enables the efficient selection of consistent space-time parts of this animation, such as moving waves or droplets, which we call space-time features. Once selected, a feature can be copied, edited, or duplicated and then pasted back anywhere in space and time in the same or in another liquid animation sequence. Our method circumvents tedious user interactions by automatically computing the spatial and temporal ranges of the selected feature. We also provide space-time shape editing tools for non-uniform scaling, rotation, trajectory changes, and temporal editing to locally speed up or slow down motion. Using our tools, the user can edit and progressively refine any input simulation result, possibly using a library of precomputed space-time features extracted from other animations. In contrast to the trial-and-error loop usually required to edit animation results through the tuning of indirect simulation parameters, our method gives the user full control over the edited space-time behaviors. © 2016 Copyright held by the owner/author(s). AU - Manteaux, Pierre AU - Vimont, Ulysse AU - Wojtan, Christopher J AU - Rohmer, Damien AU - Cani, Marie ID - 1136 T2 - Proceedings of the 9th International Conference on Motion in Games TI - Space-time sculpting of liquid animation ER - TY - JOUR AB - RASGRP1 is an important guanine nucleotide exchange factor and activator of the RAS-MAPK pathway following T cell antigen receptor (TCR) signaling. The consequences of RASGRP1 mutations in humans are unknown. In a patient with recurrent bacterial and viral infections, born to healthy consanguineous parents, we used homozygosity mapping and exome sequencing to identify a biallelic stop-gain variant in RASGRP1. This variant segregated perfectly with the disease and has not been reported in genetic databases. RASGRP1 deficiency was associated in T cells and B cells with decreased phosphorylation of the extracellular-signal-regulated serine kinase ERK, which was restored following expression of wild-type RASGRP1. RASGRP1 deficiency also resulted in defective proliferation, activation and motility of T cells and B cells. RASGRP1-deficient natural killer (NK) cells exhibited impaired cytotoxicity with defective granule convergence and actin accumulation. Interaction proteomics identified the dynein light chain DYNLL1 as interacting with RASGRP1, which links RASGRP1 to cytoskeletal dynamics. RASGRP1-deficient cells showed decreased activation of the GTPase RhoA. Treatment with lenalidomide increased RhoA activity and reversed the migration and activation defects of RASGRP1-deficient lymphocytes. AU - Salzer, Elisabeth AU - Çaǧdaş, Deniz AU - Hons, Miroslav AU - Mace, Emily AU - Garncarz, Wojciech AU - Petronczki, Oezlem AU - Platzer, René AU - Pfajfer, Laurène AU - Bilic, Ivan AU - Ban, Sol AU - Willmann, Katharina AU - Mukherjee, Malini AU - Supper, Verena AU - Hsu, Hsiangting AU - Banerjee, Pinaki AU - Sinha, Papiya AU - Mcclanahan, Fabienne AU - Zlabinger, Gerhard AU - Pickl, Winfried AU - Gribben, John AU - Stockinger, Hannes AU - Bennett, Keiryn AU - Huppa, Johannes AU - Dupré, Loï̈C AU - Sanal, Özden AU - Jäger, Ulrich AU - Sixt, Michael K AU - Tezcan, Ilhan AU - Orange, Jordan AU - Boztug, Kaan ID - 1137 IS - 12 JF - Nature Immunology TI - RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics VL - 17 ER - TY - CONF AB - Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of quantitative functions, we establish that automata with monitor counters and nested weighted automata are equivalent. We study for the first time such quantitative automata under probabilistic semantics. We show that several problems that are undecidable for the classical questions of emptiness and universality become decidable under the probabilistic semantics. We present a complete picture of decidability for such automata, and even an almost-complete picture of computational complexity, for the probabilistic questions we consider. © 2016 ACM. AU - Chatterjee, Krishnendu AU - Henzinger, Thomas A AU - Otop, Jan ID - 1138 T2 - Proceedings of the 31st Annual ACM/IEEE Symposium TI - Quantitative automata under probabilistic semantics ER - TY - CONF AB - Given a model of a system and an objective, the model-checking question asks whether the model satisfies the objective. We study polynomial-time problems in two classical models, graphs and Markov Decision Processes (MDPs), with respect to several fundamental -regular objectives, e.g., Rabin and Streett objectives. For many of these problems the best-known upper bounds are quadratic or cubic, yet no super-linear lower bounds are known. In this work our contributions are two-fold: First, we present several improved algorithms, and second, we present the first conditional super-linear lower bounds based on widely believed assumptions about the complexity of CNF-SAT and combinatorial Boolean matrix multiplication. A separation result for two models with respect to an objective means a conditional lower bound for one model that is strictly higher than the existing upper bound for the other model, and similarly for two objectives with respect to a model. Our results establish the following separation results: (1) A separation of models (graphs and MDPs) for disjunctive queries of reachability and Büchi objectives. (2) Two kinds of separations of objectives, both for graphs and MDPs, namely, (2a) the separation of dual objectives such as Streett/Rabin objectives, and (2b) the separation of conjunction and disjunction of multiple objectives of the same type such as safety, Büchi, and coBüchi. In summary, our results establish the first model and objective separation results for graphs and MDPs for various classical -regular objectives. Quite strikingly, we establish conditional lower bounds for the disjunction of objectives that are strictly higher than the existing upper bounds for the conjunction of the same objectives. © 2016 ACM. AU - Chatterjee, Krishnendu AU - Dvoák, Wolfgang AU - Henzinger, Monika H AU - Loitzenbauer, Veronika ID - 1140 T2 - Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science TI - Model and objective separation with conditional lower bounds: disjunction is harder than conjunction ER - TY - JOUR AB - Hemolysis drives susceptibility to bacterial infections and predicts poor outcome from sepsis. These detrimental effects are commonly considered to be a consequence of heme-iron serving as a nutrient for bacteria. We employed a Gram-negative sepsis model and found that elevated heme levels impaired the control of bacterial proliferation independently of heme-iron acquisition by pathogens. Heme strongly inhibited phagocytosis and the migration of human and mouse phagocytes by disrupting actin cytoskeletal dynamics via activation of the GTP-binding Rho family protein Cdc42 by the guanine nucleotide exchange factor DOCK8. A chemical screening approach revealed that quinine effectively prevented heme effects on the cytoskeleton, restored phagocytosis and improved survival in sepsis. These mechanistic insights provide potential therapeutic targets for patients with sepsis or hemolytic disorders. AU - Martins, Rui AU - Maier, Julia AU - Gorki, Anna AU - Huber, Kilian AU - Sharif, Omar AU - Starkl, Philipp AU - Saluzzo, Simona AU - Quattrone, Federica AU - Gawish, Riem AU - Lakovits, Karin AU - Aichinger, Michael AU - Radic Sarikas, Branka AU - Lardeau, Charles AU - Hladik, Anastasiya AU - Korosec, Ana AU - Brown, Markus AU - Vaahtomeri, Kari AU - Duggan, Michelle AU - Kerjaschki, Dontscho AU - Esterbauer, Harald AU - Colinge, Jacques AU - Eisenbarth, Stephanie AU - Decker, Thomas AU - Bennett, Keiryn AU - Kubicek, Stefan AU - Sixt, Michael K AU - Superti Furga, Giulio AU - Knapp, Sylvia ID - 1142 IS - 12 JF - Nature Immunology TI - Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions VL - 17 ER - TY - JOUR AB - In this paper we introduce the Multiobjective Optimization Hierarchic Genetic Strategy with maturing (MO-mHGS), a meta-algorithm that performs evolutionary optimization in a hierarchy of populations. The maturing mechanism improves growth and reduces redundancy. The performance of MO-mHGS with selected state-of-the-art multiobjective evolutionary algorithms as internal algorithms is analysed on benchmark problems and their modifications for which single fitness evaluation time depends on the solution accuracy. We compare the proposed algorithm with the Island Model Genetic Algorithm as well as with single-deme methods, and discuss the impact of internal algorithms on the MO-mHGS meta-algorithm. © 2016 Elsevier B.V. AU - Łazarz, Radosław AU - Idzik, Michał AU - Gądek, Konrad AU - Gajda-Zagorska, Ewa P ID - 1141 IS - 1 JF - Journal of Computational Science TI - Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization VL - 17 ER - TY - JOUR AB - We study the ground state of a dilute Bose gas in a scaling limit where the Gross-Pitaevskii functional emerges. This is a repulsive nonlinear Schrödinger functional whose quartic term is proportional to the scattering length of the interparticle interaction potential. We propose a new derivation of this limit problem, with a method that bypasses some of the technical difficulties that previous derivations had to face. The new method is based on a combination of Dyson\'s lemma, the quantum de Finetti theorem and a second moment estimate for ground states of the effective Dyson Hamiltonian. It applies equally well to the case where magnetic fields or rotation are present. AU - Nam, Phan AU - Rougerie, Nicolas AU - Seiringer, Robert ID - 1143 IS - 2 JF - Analysis and PDE TI - Ground states of large bosonic systems: The gross Pitaevskii limit revisited VL - 9 ER - TY - JOUR AB - Auxin directs plant ontogenesis via differential accumulation within tissues depending largely on the activity of PIN proteins that mediate auxin efflux from cells and its directional cell-to-cell transport. Regardless of the developmental importance of PINs, the structure of these transporters is poorly characterized. Here, we present experimental data concerning protein topology of plasma membrane-localized PINs. Utilizing approaches based on pH-dependent quenching of fluorescent reporters combined with immunolocalization techniques, we mapped the membrane topology of PINs and further cross-validated our results using available topology modeling software. We delineated the topology of PIN1 with two transmembrane (TM) bundles of five α-helices linked by a large intracellular loop and a C-terminus positioned outside the cytoplasm. Using constraints derived from our experimental data, we also provide an updated position of helical regions generating a verisimilitude model of PIN1. Since the canonical long PINs show a high degree of conservation in TM domains and auxin transport capacity has been demonstrated for Arabidopsis representatives of this group, this empirically enhanced topological model of PIN1 will be an important starting point for further studies on PIN structure–function relationships. In addition, we have established protocols that can be used to probe the topology of other plasma membrane proteins in plants. © 2016 The Authors AU - Nodzyński, Tomasz AU - Vanneste, Steffen AU - Zwiewka, Marta AU - Pernisová, Markéta AU - Hejátko, Jan AU - Friml, Jirí ID - 1145 IS - 11 JF - Molecular Plant TI - Enquiry into the topology of plasma membrane localized PIN auxin transport components VL - 9 ER - TY - JOUR AB - Apical dominance is one of the fundamental developmental phenomena in plant biology, which determines the overall architecture of aerial plant parts. Here we show apex decapitation activated competition for dominance in adjacent upper and lower axillary buds. A two-nodal-bud pea (Pisum sativum L.) was used as a model system to monitor and assess auxin flow, auxin transport channels, and dormancy and initiation status of axillary buds. Auxin flow was manipulated by lateral stem wounds or chemically by auxin efflux inhibitors 2,3,5-triiodobenzoic acid (TIBA), 1-N-naphtylphtalamic acid (NPA), or protein synthesis inhibitor cycloheximide (CHX) treatments, which served to interfere with axillary bud competition. Redirecting auxin flow to different points influenced which bud formed the outgrowing and dominant shoot. The obtained results proved that competition between upper and lower axillary buds as secondary auxin sources is based on the same auxin canalization principle that operates between the shoot apex and axillary bud. © The Author(s) 2016. AU - Balla, Jozef AU - Medved'Ová, Zuzana AU - Kalousek, Petr AU - Matiješčuková, Natálie AU - Friml, Jirí AU - Reinöhl, Vilém AU - Procházka, Stanislav ID - 1147 JF - Scientific Reports TI - Auxin flow mediated competition between axillary buds to restore apical dominance VL - 6 ER - TY - JOUR AB - We study the usefulness of two most prominent publicly available rigorous ODE integrators: one provided by the CAPD group (capd.ii.uj.edu.pl), the other based on the COSY Infinity project (cosyinfinity.org). Both integrators are capable of handling entire sets of initial conditions and provide tight rigorous outer enclosures of the images under a time-T map. We conduct extensive benchmark computations using the well-known Lorenz system, and compare the computation time against the final accuracy achieved. We also discuss the effect of a few technical parameters, such as the order of the numerical integration method, the value of T, and the phase space resolution. We conclude that COSY may provide more precise results due to its ability of avoiding the variable dependency problem. However, the overall cost of computations conducted using CAPD is typically lower, especially when intervals of parameters are involved. Moreover, access to COSY is limited (registration required) and the rigorous ODE integrators are not publicly available, while CAPD is an open source free software project. Therefore, we recommend the latter integrator for this kind of computations. Nevertheless, proper choice of the various integration parameters turns out to be of even greater importance than the choice of the integrator itself. © 2016 IMACS. Published by Elsevier B.V. All rights reserved. AU - Miyaji, Tomoyuki AU - Pilarczyk, Pawel AU - Gameiro, Marcio AU - Kokubu, Hiroshi AU - Mischaikow, Konstantin ID - 1149 JF - Applied Numerical Mathematics TI - A study of rigorous ODE integrators for multi scale set oriented computations VL - 107 ER - TY - JOUR AB - When neutrophils infiltrate a site of inflammation, they have to stop at the right place to exert their effector function. In this issue of Developmental Cell, Wang et al. (2016) show that neutrophils sense reactive oxygen species via the TRPM2 channel to arrest migration at their target site. © 2016 Elsevier Inc. AU - Renkawitz, Jörg AU - Sixt, Michael K ID - 1150 IS - 5 JF - Developmental Cell TI - A Radical Break Restraining Neutrophil Migration VL - 38 ER - TY - JOUR AB - Tissue patterning in multicellular organisms is the output of precise spatio–temporal regulation of gene expression coupled with changes in hormone dynamics. In plants, the hormone auxin regulates growth and development at every stage of a plant’s life cycle. Auxin signaling occurs through binding of the auxin molecule to a TIR1/AFB F-box ubiquitin ligase, allowing interaction with Aux/IAA transcriptional repressor proteins. These are subsequently ubiquitinated and degraded via the 26S proteasome, leading to derepression of auxin response factors (ARFs). How auxin is able to elicit such a diverse range of developmental responses through a single signaling module has not yet been resolved. Here we present an alternative auxin-sensing mechanism in which the ARF ARF3/ETTIN controls gene expression through interactions with process-specific transcription factors. This noncanonical hormonesensing mechanism exhibits strong preference for the naturally occurring auxin indole 3-acetic acid (IAA) and is important for coordinating growth and patterning in diverse developmental contexts such as gynoecium morphogenesis, lateral root emergence, ovule development, and primary branch formation. Disrupting this IAA-sensing ability induces morphological aberrations with consequences for plant fitness. Therefore, our findings introduce a novel transcription factor-based mechanism of hormone perception in plants. © 2016 Simonini et al. AU - Simonini, Sara AU - Deb, Joyita AU - Moubayidin, Laila AU - Stephenson, Pauline AU - Valluru, Manoj AU - Freire Rios, Alejandra AU - Sorefan, Karim AU - Weijers, Dolf AU - Friml, Jirí AU - Östergaard, Lars ID - 1151 IS - 20 JF - Genes and Development TI - A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis VL - 30 ER - TY - JOUR AB - Differential cell growth enables flexible organ bending in the presence of environmental signals such as light or gravity. A prominent example of the developmental processes based on differential cell growth is the formation of the apical hook that protects the fragile shoot apical meristem when it breaks through the soil during germination. Here, we combined in silico and in vivo approaches to identify a minimal mechanism producing auxin gradient-guided differential growth during the establishment of the apical hook in the model plant Arabidopsis thaliana. Computer simulation models based on experimental data demonstrate that asymmetric expression of the PIN-FORMED auxin efflux carrier at the concave (inner) versus convex (outer) side of the hook suffices to establish an auxin maximum in the epidermis at the concave side of the apical hook. Furthermore, we propose a mechanism that translates this maximum into differential growth, and thus curvature, of the apical hook. Through a combination of experimental and in silico computational approaches, we have identified the individual contributions of differential cell elongation and proliferation to defining the apical hook and reveal the role of auxin-ethylene crosstalk in balancing these two processes. © 2016 American Society of Plant Biologists. All rights reserved. AU - Žádníková, Petra AU - Wabnik, Krzysztof T AU - Abuzeineh, Anas AU - Gallemí, Marçal AU - Van Der Straeten, Dominique AU - Smith, Richard AU - Inze, Dirk AU - Friml, Jirí AU - Prusinkiewicz, Przemysław AU - Benková, Eva ID - 1153 IS - 10 JF - Plant Cell TI - A model of differential growth guided apical hook formation in plants VL - 28 ER - TY - JOUR AB - Cellular locomotion is a central hallmark of eukaryotic life. It is governed by cell-extrinsic molecular factors, which can either emerge in the soluble phase or as immobilized, often adhesive ligands. To encode for direction, every cue must be present as a spatial or temporal gradient. Here, we developed a microfluidic chamber that allows measurement of cell migration in combined response to surface immobilized and soluble molecular gradients. As a proof of principle we study the response of dendritic cells to their major guidance cues, chemokines. The majority of data on chemokine gradient sensing is based on in vitro studies employing soluble gradients. Despite evidence suggesting that in vivo chemokines are often immobilized to sugar residues, limited information is available how cells respond to immobilized chemokines. We tracked migration of dendritic cells towards immobilized gradients of the chemokine CCL21 and varying superimposed soluble gradients of CCL19. Differential migratory patterns illustrate the potential of our setup to quantitatively study the competitive response to both types of gradients. Beyond chemokines our approach is broadly applicable to alternative systems of chemo- and haptotaxis such as cells migrating along gradients of adhesion receptor ligands vs. any soluble cue. AU - Schwarz, Jan AU - Bierbaum, Veronika AU - Merrin, Jack AU - Frank, Tino AU - Hauschild, Robert AU - Bollenbach, Mark Tobias AU - Tay, Savaş AU - Sixt, Michael K AU - Mehling, Matthias ID - 1154 JF - Scientific Reports TI - A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients VL - 6 ER -