Algorithms

  • AddressShow on map

    Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • Postal addressShow on map

    P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Filter
Chapter

Search results

  • 2020

    Can Real Social Epistemic Networks Deliver the Wisdom of Crowds?

    Sullivan, E., Sondag, M., Rutter, I., Meulemans, W., Cunningham, S., Speckmann, B. & Alfano, M., 2020, Oxford Studies in Experimental Philosophy, Volume 3. Lombrozo, T., Knobe, J. & Nichols, S. (eds.). Oxford University Press, p. 29-63

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds

    Jansen, B. M. P., 21 Apr 2020, Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday. Fomin, F. V., Kratsch, S. & van Leeuwen, E. J. (eds.). Springer, p. 89-111 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12160 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    123 Downloads (Pure)

  • Lower Bounds for Dominating Set in Ball Graphs and for Weighted Dominating Set in Unit-Ball Graphs

    de Berg, M. T. & Kisfaludi-Bak, S., 2020, Treewidth, Kernels, and Algorithms. Fomin, F., Kratsch, S. & van Leeuwen, E. (eds.). p. 31-48 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12160 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    1 Citation (Scopus)
  • 2019

    10 Reasons to Get Interested in Graph Drawing

    Binucci, C., Brandes, U., Dwyer, T., Gronemann, M., von Hanxleden, R., van Kreveld, M. J., Mutzel, P. (Corresponding author), Schaefer, M., Schreiber, F. & Speckmann, B., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Springer, p. 85-104 20 p. (Theoretical Computer Science and General Issues (LNTCS))(Lecture Notes in Computer Science; vol. 10000).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    8 Citations (Scopus)

  • Approximating (k,ℓ)-center clustering for curves

    Buchin, K., Driemel, A., Gudmundsson, J., Horton, M., Kostitsyna, I., Löffler, M. & Struijs, M., 2 Jan 2019, 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Chan, T. M. (ed.). Society for Industrial and Applied Mathematics (SIAM), p. 2922-2938 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    31 Citations (Scopus)
    2 Downloads (Pure)

  • Cytosplore: interactive visual single-cell profiling of the immune system

    Höllt, T., Pezzotti, N., vanUnen, V., Li, N., Koning, F., Eisemann, E., Lelieveldt, B. P. F. & Vilanova, A., 2019, Dirk Bartz Prize for Visual Computing in Medicine 2019 (Eurographics Medical Prize). 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    2 Downloads (Pure)

  • Why algorithms are dangerous: what the role of aI should be in cybersecurity

    Cappers, B. C. M., Mengerink, J. G. M. & van de Pasch, J., 12 Mar 2019, European Cyber Security Perspectives 2019. p. 76-78 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

    3 Downloads (Pure)
  • 2018

    Eventpad : a visual analytics approach to network intrusion detection and reverse engineering

    Cappers, B. C. M., van Wijk, J. J. & Etalle, S., 23 Apr 2018, European Cyper Security Perspectives 2018. Den Haag: KPN, p. 62-65 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

    Open Access
    File
    200 Downloads (Pure)
  • 2017

    Unified part-patch segmentation of mesh shapes using surface skeletons

    Koehoorn, J., Feng, C., Kustra, J., Jalba, A. & Telea, A., 1 Jan 2017, Skeletonization: Theory, Methods and Applications. Amsterdam: Elsevier, p. 89-122 34 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    2 Citations (Scopus)
    1 Downloads (Pure)
  • 2016

    Quadtrees and Morton indexing

    Haverkort, H. J. & Toma, L., 2016, Encyclopedia of Algorithms . Kao, M.-Y. (ed.). Springer, p. 1637-1642

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    2 Downloads (Pure)
  • 2014

    Robustness of the gray code arrangements of the genetic code in mitochondria

    Bosnacki, D., Eikelder, ten, H. M. M., Maanders, M. & Hilbers, P. A. J., 2014, ICT Innovations 2014 : World of Data. Madevska Bogdanova, A. & Gjorgjevikj, D. (eds.). Cham: Springer, p. 299-308 (Advances in Intelligent Systems and Computing; vol. 311).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Terrain modeling for the geosciences

    Haverkort, H. J. & Toma, L., 2014, Computing Handbook . Tucker, A., Gonzalez, T., Topi, H. & Diaz-Herrera, J. (eds.). 3rd ed. ed. Chapman & Hall/CRC Press, p. 1-21

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • 2013

    Visualization of vessel traffic

    Willems, C. M. E., Scheepens, R. J., Wetering, van de, H. M. M. & Wijk, van, J. J., 2013, Situation Awareness with Systems of Systems. Laar, van de, P., Tretmans, J. & Borth, M. (eds.). New York: Springer, p. 73-87

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    20 Citations (Scopus)
  • 2012

    Enhanced DTI tracking with adaptive tensor interpolation

    Crippa, A., Jalba, A. C. & Roerdink, J. B. T. M., 2012, Visualization in Medicine and Life Sciences II. Linsen, L., Hamann, B., Hagen, H. & Hege, H. C. (eds.). Berlin: Springer, p. 173-190 (Mathematics and Visualization).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    1 Citation (Scopus)
  • 2011

    Modeling and analysis of biological networks with model checking (Chapter 39)

    Bosnacki, D., Hilbers, P. A. J., Mans, R. S. & Vink, de, E. P., 2011, Algorithms in computational molecular biology : techniques, approaches and applications. Elloumi, M. & Zomaya, A. Y. (eds.). Hoboken: Wiley, p. 915-940 (Wiley Series in Bioinformatics).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    3 Citations (Scopus)
    9 Downloads (Pure)
  • 2010

    A stable decomposition algorithm for dynamic social network analysis

    Bourqui, R. Y., Simonetto, P. & Jourdan, F., 2010, Advances in Knowledge Discovery and Management. Guillet, F. & Ritschard, G. (eds.). Springer, p. 167-178 (Studies in Computational Intelligence; vol. 292).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    2 Citations (Scopus)

  • Evaluation

    Wijk, van, J. J., Isenberg, T., Roerdink, J. B. T. M., Telea, A. C. & Westenberg, M. A., 2010, Mastering The Information Age: Solving Problems with Visual Analytics. Keim, D., Kohlhammer, J., Ellis, G. & Mansmann, F. (eds.). Goslar: Eurographics Association, p. 131-144

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    1 Downloads (Pure)

  • Identification de diatomées par morphologie mathématique

    Wilkinson, M. H. F., Urbach, E. R., Jalba, A. C. & Roerdink, J. B. T. M., 2010, Morphologie Mathématique 2 : estimation, choix et mise en oeuvre. Talbot, H. & Najman, L. (eds.). Hermes Science Publishing Ltd, p. 183-192

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • 2009

    Computing perceptually optimal visualizations

    Wijk, van, J. J., 2009, Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Möller, T., Hamann, B. & Russell, R. D. (eds.). Berlin: Springer, p. 343-350 (Mathematics and Visualization).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    3 Citations (Scopus)
    1 Downloads (Pure)

  • Flow visualization via partial differential equations

    Preusser, T., Rumpf, M. & Telea, A. C., 2009, Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Möller, T., Hamann, B. & Russell, R. D. (eds.). Berlin: Springer, p. 157-189 (Mathematics and Visualization).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    2 Citations (Scopus)

  • In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

    Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2009, Transactions on Computational Systems Biology XI. Priami, C., Back, R. J. & Petre, I. (eds.). Berlin: Springer, p. 69-89 (Lecture notes in computer science; vol. 5750).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    3 Citations (Scopus)
    3 Downloads (Pure)
  • 2008

    Assessing state spaces using Petri-net synthesis and attribute-based visualization

    Verbeek, H. M. W., Pretorius, A. J., Aalst, van der, W. M. P. & Wijk, van, J. J., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (eds.). Berlin: Springer, p. 152-171 (Lecture Notes in Computer Science; vol. 5100).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Kinetic data structures

    Speckmann, B., 2008, Encyclopedia of Algorithms. Kao, M. Y. (ed.). New York: Springer, p. 417-419

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

    4 Downloads (Pure)

  • The value of information visualization

    Fekete, J. D., Wijk, van, J. J., Stasko, J. T. & North, C., 2008, Information Visualization : Human-Centered Issues and Perspectives. Kerren, A., Stasko, J. T., Fekete, J. D. & North, C. (eds.). Berlin: Springer, p. 1-18 (Lecture notes in computer science; vol. 4950).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    193 Citations (Scopus)
  • 2007

    Point-based visualization of metaballs on a GPU

    Kooten, van, K., Bergen, van den, G. J. A. & Telea, A. C., 2007, GPU Gems 3 : Programming Techniques for High-Performance Graphics and General-Purpose Computation. Nguyen, H. (ed.). Addison-Wesley, p. 123-150

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • 2006

    Adapting graph visualization techniques for the visualization of RDF data

    Frasincar, F., Telea, A. C. & Houben, G. J. P. M., 2006, Visualizing the Semantic Web : XML-based Internet and Information Visualization (Second Edition). Geroimenko, V. & Chen, C. (eds.). New York: Springer, p. 154-171

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    30 Citations (Scopus)
    2 Downloads (Pure)
  • 2005

    An open architecture for visual reverse engineering

    Telea, A. C., 2005, Managing Corporate Information Systems Evolution and Maintenance. Khan, K. & Zhang, Y. (eds.). Hershey PA, USA: Idea Group Inc., p. 211-227

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

    3 Downloads (Pure)

  • Computational geometry : fundamental structures

    Berg, de, M. & Speckmann, B., 2005, Handbook of Data Structures and Applications. Mehta, D. P. & Sahni, S. (eds.). Boca Raton FL, USA: CRC Press, p. 62-1-62-20 (Chapman & Hall/CRC Computer & Information Science Series; vol. 4).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    17 Downloads (Pure)

  • Integer programming, lattices, and results in fixed dimension

    Aardal, K. I. & Eisenbrand, F., 2005, Discrete Optimization. Aardal, K. I., Nemhauser, G. L. & Weismantel, R. (eds.). Amsterdam: North-Holland Publishing Company, p. 171-243 (Handbooks in Operations Research and Management Science; vol. 12).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

    9 Citations (Scopus)
  • 2003

    Introduction

    Aarts, E. H. L. & Lenstra, J. K., 2003, Local search in combinatorial optimization. Aarts, E. H. L. & Lenstra, J. K. (eds.). Princeton: Princeton University Press, p. 1-18

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2002

    Preset based interaction with high dimensional parameter spaces

    Wijk, van, J. J. & Overveld, van, C. W. A. M., 2002, Data Visualization : The State of the Art. Post, F. H., Nielson, G. M. & Bonneau, G. P. (eds.). Boston: Kluwer, p. 391-406 451 p. (Kluwer international series in engineering and computer science; vol. 713).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Selected topics in simulated annealing

    Aarts, E. H. L. & Korst, J. H. M., 2002, Essays and Surveys in Metaheuristics. Ribeiro, C. C. & Hansen, P. (eds.). Dordrecht: Kluwer Academic Publishers, p. 1-37 (Operations Research/Computer Science Interfaces Series; vol. 15).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    13 Citations (Scopus)

  • Visualization of multidimensional data using structure preserving projection methods

    Leeuw, de, W. C. & Liere, van, R., 2002, Data Visualization : The State of the Art. Post, F. H., Nielson, G. M. & Bonneau, G. P. (eds.). Boston: Kluwer, p. 213-224 (The Kluwer International Series in Engineering and Computer Science; vol. 713).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2001

    Algebraic process verification

    Groote, J. F. & Reniers, M. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1151-1208

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Ambient Intelligence

    Aarts, E. H. L., Harwig, R. & Schuurmans, M. F. H., 2001, The Invisible Future : the seamless integration of technology into everyday life. Denning, P. J. (ed.). New York: McGraw-Hill, p. 235-250

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    4 Downloads (Pure)

  • A process algebra for Interworkings

    Mauw, S. & Reniers, M. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1269-1327

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    2 Downloads (Pure)

  • Component-based architecting for distributed real-time systems : how to achieve composability?

    Hammer, D. K., 2001, Software Architectures and Component Technology. Aksit, M. (ed.). Boston: Kluwer Academic Publishers

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2000

    Discrete time process algebra with silent step

    Baeten, J. C. M., Bergstra, J. A. & Reniers, M. A., 2000, Proof, language and interaction: essays in honour of Robin Milner. Plotkin, G., Stirling, C. & Tofte, M. (eds.). Cambridge MA, USA: MIT Press, p. 535-569 35 p. (Foundations of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Performance analysis of dataflow architectures using timed coloured Petri nets

    Witlox, B. R. T. M., Wolf, van der, P., Aarts, E. H. L. & Aalst, van der, W. M. P., 2000, Hardware design and Petri nets. Yakovlev, A., Gomes, L. & Lavagno, L. (eds.). Dordrecht: Kluwer Academic Publishers, p. 269-289

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    2 Downloads (Pure)

  • The propositional formula checker HeerHugo

    Groote, J. F. & Warners, J. P., 2000, SAT2000 : Highlights of Satisfiability Research in the Year 2000. Gent, I., Maaren, van, H. & Walsh, T. (eds.). IOS Press, (Frontiers in Artificial Intelligence and Applications; vol. 63).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 1999

    Ontwerponderzoek

    Reymen, I. M. M. J., 1999, Vernieuwing in productontwikkeling, Strategie voor de toekomst. Korbijn, A. (ed.). Den Haag: Stichting Toekomstbeeld der Techniek, p. 193-200 8 p. (Stichting Toekomstbeeld der Techniek; vol. 62).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

    1 Downloads (Pure)

  • week 34 en week 48

    Verhoeff, T., 1999, Wiskundekalender 2000. Göbel, F. (ed.). Amsterdam: Stichting Vierkant, (Doeboekjes; vol. 20).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

  • 1998

    Asynchronous does not imply low power, but....

    Berkel, van, C. H., Gageldonk, van, J. S. H., Kessels, J. L. W., Niessen, C., Peeters, A. M. G., Roncken, M. & van de Wiel, H. W. J., 1998, Low power CMOS design. Chandrakasan, A. & Brodersen, R. (eds.). IEEE Press, p. 227-232

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    7 Citations (Scopus)

  • Genetic local search for the traveling salesman problem

    Aarts, E. H. L. & Verhoeven, M. G. A., 1998, Handbook of evolutionary computing G.9.5. Bäck, T., Fogel, D. & Michalewicz, Z. (eds.). p. 1-7

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Multipole Expansion of SAXS: Application to Aggregating Disc-Like Molecules

    Markvoort, A. J., Haswell, R., Hilbers, P. A. J. & Michels, M. A. J., 1998, Wetenschappelijk Jaarvergadering Statistische Fysica.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • 1997

    Introduction

    Aarts, E. H. L. & Lenstra, J. K., 1997, Local search in combinatorial optimization. Aarts, E. H. L. & Lenstra, J. K. (eds.). Chichester: Wiley-Interscience, p. 1-18

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • On a method for the formal design of multiprograms

    Feijen, W. H. J. & Gasteren, van, A. J. M., 1997, Mathematical methods in program development. Broy, M. & Schieder, B. (eds.). Springer, p. 53-81 (NATO ASI, Series F: Computer and System Sciences; vol. 158).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Performance modelling of real-time database schedulers

    Stok, van der, P. D. V., Sassen, S. A. E., Bodlaender, M. P., Wal, van der, J. & Aerts, A. T. M., 1997, Real-Time Database Systems: Issues and Applications. Bestavros, A., Lin, K. J. & Son, S. H. (eds.). Boston: Kluwer Academic Publishers, p. 251-276

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Prevention of replication induced failures in the context of integrated modular avionics

    Stok, van der, P. D. V. & Thijssen, P. T. A., 1997, Embedded systems applications. Baron, C., Geffroy, J. C. & Motet, G. (eds.). Kluwer Academic Publishers, p. 153-170

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Programs and datatypes

    Doornbos, H., Gasteren, van, A. J. M. & Backhouse, R. C., 1997, Relational methods in computer science. Brink, C. H., Kahl, W. & Schmidt, G. (eds.). Springer, p. 150-165 (Advances in Computing Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    1 Downloads (Pure)