Previous research Department of Mathematics and Computer Science

Filter
Chapter

Search results

  • 2015

    A survey of security and privacy in connected vehicles

    Ben Othmane, L., Weffers, H. T. G., Mohamad, M. M. & Wolf, M., 2015, Wireless sensor and mobile adhoc networks : vehicular and space applications. BenHaddou, D. & Al-Fuqaha, A. (eds.). Berlin: Springer, p. 217-247

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    35 Citations (Scopus)
    9 Downloads (Pure)
  • 2014

    Algorithmic aspects of combinatorial discrepancy

    Bansal, N., 2014, A Panorama of Discrepancy Theory. Chen, W., Srivastav, A. & Travaglini, G. (eds.). Cham: Springer, p. 425-457 (Lecture Notes in Mathematics; vol. 2107).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Distributed approximation and tracking using selective gossip

    Üstebay, D., Castro, R. M., Coates, M. & Rabbat, M., 2014, Compressed sensing & sparse filtering. Mihaylova, L. & Godsill, S. J. (eds.). Berlin: Springer, p. 325-355 (Signals and Communication Technology).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • 'Houtje-touwtje'-wiskunde

    Bakker, M. C. M., Klerx, M. & Sterk, H. J. M., 2014, Weer 10 jaar NWD. Een lichtbundel. Doorman, M., Heiden, van der, A. & Kuijpers, N. (eds.). Utrecht: Freudenthal Instituut, p. 161-169

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Leren van positieve afwijkingen

    Aalst, van der, W. M. P., 2014, Het beste idee van 2014. Baijens, J. A. (ed.). Tilburg: De Wereld, p. 85-87 309 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

  • 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 proceedingChapterAcademic

  • Throughput analysis in CSMA/CA networks using continuous time Markov networks : a tutorial

    Bellalta, B., Zocca, A., Cano, C., Checco, A., Barcelo, J. & Vinel, A., 2014, Wireless Networking for Moving Objects : Protocols, Architectures, Tools, Services and Applications. Ganchev, I., Curado, M. & Kassler, A. (eds.). Berlin: Springer, p. 115-133 (Lecture Notes in Computer Science; vol. 8611).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    12 Citations (Scopus)
  • vo en wo: samen verder in het kader van wiskunde D?

    Sterk, H. J. M., 2014, Weer 10 jaar NWD. Een lichtbundel. Doorman, M., Heiden, van der, A. & Kuijpers, N. (eds.). Utrecht: Freudenthal Instituut, p. 28-29

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • 2013

    Dead-locks and break of symmetry in robot coordination (Chapter 11)

    Corro Ramos, I. & Piccoli, B., 2013, Taming heterogeneity and complexity of embedded control. Lamnabhi-Lagarrigue, F., Laghrouche, S., Loria, A. & Panteley, E. (eds.). Newport Beach CA: Wiley, p. 171-185

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Het 3n+1-vermoeden

    Weger, de, B. M. M., 2013, Wiskunde in wording. Wiegerinck, J. J. O. O. (ed.). Amsterdam: Platform Wiskunde Nederland (PWN), p. 1-30 (Syllabus Vakantiecursus 2013).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    Open Access
    File
    3 Citations (Scopus)
    66 Downloads (Pure)
  • Intelligent light therapy for older adults: ambient assisted living

    Hoof, van, J. J. P. M., Wouters, E. J. M., Schräder, B., Weffers, H. T. G., Aarts, M. P. J., Westerlaken, A. C. & Aries, M. B. C., 2013, Medical applications of artificial intelligence. Agah, A. (ed.). Boca Raton: CRC Press, p. 343-353

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    5 Downloads (Pure)
  • Navier-Stokes

    Koren, B., 2013, Wiskunde in wording. Wiegerinck, J. J. O. O. (ed.). Amsterdam: Platform Wiskunde Nederland (PWN), p. 49-72 (Syllabus Vakantiecursus 2013).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    Open Access
    File
    802 Downloads (Pure)
  • 2012

    A history of types

    Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2012, Logic: A History of its Central Concepts. Gabbay, D. M., Pelletier, F. J. & Woods, J. (eds.). Elsevier, p. 451-511 (Handbook of the History of Logic; vol. 11).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Citation (Scopus)
  • Left invariant evolution equations on Gabor transforms

    Duits, R., Führ, H. & Janssen, B. J., 2012, Mathematical Methods for Signal and Image Analysis and Representation. Florack, L. M. J., Duits, R., Jongbloed, G., Lieshout, van, M. N. M. & Davies, P. L. (eds.). London: Springer, p. 137-158 (Computational Imaging and Vision; vol. 41).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • MDE basics with a DSL focus

    Andova, S., Brand, van den, M. G. J., Engelen, L. J. P. & Verhoeff, T., 2012, Formal Methods for Model-Driven Engineering (12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures). Bernardo, M., Cortellassa, V. & Pierantonio, A. (eds.). Berlin: Springer, p. 21-57 (Lecture Notes in Computer Science; vol. 7320).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    3 Citations (Scopus)
    1 Downloads (Pure)
  • Patient mix optimisation for inpatient planning with multiple resources

    Vissers, J. M. H., Adan, I. J. B. F., Dellaert, N. P., Jeunet, J. & Bekkers, J. A., 2012, Advanced decision making methods applied to health care. Tanfani, E. & Testi, A. (eds.). Berlin: Springer, p. 213-236 (International Series in Operations Research & Management Science; vol. 173).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Downloads (Pure)
  • Scale space representations locally adapted to the geometry of base and target manifold

    Florack, L. M. J., 2012, Mathematical Methods for Signal and Image Analysis and Representation. Florack, L. M. J., Duits, R., Jongbloed, G., Lieshout, van, M. N. M. & Davies, P. L. (eds.). London: Springer, p. 159-171 (Computational Imaging and Vision; vol. 41).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Downloads (Pure)
  • 2011

    A quality-oriented business process meta-model

    Heidari, F., Loucopoulos, P. & Kedad, Z., 2011, Enterprise and Organizational Modeling and Simulation. Barjis, J., Eldabi, T. & Gupta, A. (eds.). Berlin Heidelberg: Springer, p. 85-99 215 p. (Lecture Notes in Business Information Processing; vol. 88).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    12 Citations (Scopus)
    2 Downloads (Pure)
  • Beslissende momenten

    Schilders, W. H. A., 2011, Jan Karel Lenstra, the traveling science man. Liber amicorum. Vonderen, van, C. (ed.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 145-146

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Downloads (Pure)
  • EASY Meta-programming with Rascal

    Klint, P., Storm, van der, T. & Vinju, J. J., 2011, Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, July 6-11, 2009, Braga, Portugal, Revised Papers. Fernandes, J. M., Lämmel, R., Visser, J. & Saraiva, J. (eds.). Berlin: Springer, p. 222-289 (Lecture Notes in Computer Science; vol. 6491).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    68 Citations (Scopus)
  • Factorization circuits

    Bernstein, D. J., 2011, Encyclopedia of Cryptography and Security (2nd ed.). Tilborg, van, H. C. A. & Jajodia, S. (eds.). New York: Springer, p. 444-445

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Idolen en idealen

    Boxma, O. J., 2011, Jan Karel Lenstra, the traveling science man. Liber amicorum. Vonderen, van, C. (ed.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 142-144

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Mean value techniques

    Adan, I. J. B. F. & Wal, van der, J., 2011, Queueing Networks: A Fundamental Approach. Boucherie, R. J. & Dijk, van, N. M. (eds.). Berlin: Springer, p. 561-586 (International Series in Operations Research & Management Science; vol. 154).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    3 Citations (Scopus)
    2 Downloads (Pure)
  • Nonparametric methods for volatility density estimation

    Es, van, B., Spreij, P. J. C. & Zanten, van, J. H., 2011, AMaMeF: Advanced Mathematical Methods in Finance. Di Nunno, G. & Oksendal, B. (eds.). Berlin: Springer, p. 293-312

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    803 Citations (Scopus)
  • Post-quantum cryptography

    Bernstein, D. J., 2011, Encyclopedia of Cryptography and Security (2nd ed.). Tilborg, van, H. C. A. & Jajodia, S. (eds.). New York: Springer, p. 949-950

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    3 Downloads (Pure)
  • Renewal processes with costs and rewards

    Vlasiou, M., 2011, Wiley encyclopedia of operations research and management science. Cochran, J. J., Cox, L. A., Keskinocak, P., Kharoufeh, J. P. & Smith, J. C. (eds.). Hoboken: Wiley, p. 1-6

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Statistical methods for detection of organisms with sterility tests (Chapter 10)

    Heuvel, van den, E. R., Verdonk, G. P. H. T. & IJzerman-Boon, P. C., 2011, Rapid sterility testing. Moldenhauer, J. (ed.). Bethesda: Parenteral Drug Administration/Davis Healthcare International Publishing, p. 201-242

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Towards an open learning infrastructure for open educational resources : abundance as a platform for innovation

    Duval, E., Verbert, K. & Klerkx, J., 2011, Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Calude, C. S., Rozenberg, G. & Salomaa, A. (eds.). Berlin: Springer, p. 144-156 (Lecture Notes in Computer Science; vol. 6570).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    4 Citations (Scopus)
  • 2010

    A two-scale reaction-diffusion system: Homogenization and fast-reaction limits

    Meier, S. A. & Muntean, A., 2010, Current Advances in Nonlinear Analysis and Related Topics. Tokyo: Gakkotosho, p. 441-459 (Gakuto International Series, Mathematical Sciences and Applications; vol. 32).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Downloads (Pure)
  • Finite-volume discretizations and immersed boundaries

    Hassen, Y. & Koren, B., 2010, Advanced Computational Methods in Science and Engineering. Koren, B. & Vuik, C. (eds.). Berlin: Springer, p. 229-268 (Lecture Notes in Computational Science and Engineering; vol. 71).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Citations (Scopus)
    1 Downloads (Pure)
  • Mathematical treatment of concrete carbonation process: A moving one-phase approach

    Aiki, T. & Muntean, A., 2010, Current Advances in Nonlinear Analysis and Related Topics. Tokyo: Gakkotosho, p. 231-238 (Gakuto International Series, Mathematical Sciences and Applications; vol. 32).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • MM20 HVMOS Model : a surface-potential-based LDMOS model for circuit simulation (Chapter 3)

    Aarts, A. C. T. & Tajic, A., 2010, Power/HVMOS Devices Compact Modeling. Grabinski, W. & Gneiting, T. (eds.). Dordrecht: Springer, p. 65-93

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Citations (Scopus)
  • Spatial point process theory

    Lieshout, van, M. N. M., 2010, Handbook of spatial statistics. Gelfand, A. E., Diggle, P., Fuentes, M. & Guttorp, P. (eds.). Chapman & Hall, p. 265-284 (Chapman & Hall/CRC Handbooks of Modern Statistical Methods).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Verrassende wiskunde bij de Olympiade

    Puite, G. W. Q., 2010, Wiskunde: de uitdaging (Vakantiecursus 2010). Wiegerinck, J. J. O. O. (ed.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 29-45 (CWI Syllabus; vol. 60).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    4 Downloads (Pure)
  • 2009

    Allocating outsourced warranty service contracts

    Opp, M., Adan, I. J. B. F., Kulkarni, V. G. & Swaminathan, J. M., 2009, Outsourcing, Teamwork and Business Management. Carettas, K. E. (ed.). Hauppauge NY: Nova Science, p. 213-234

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Downloads (Pure)
  • Applications of stochastic geometry in image analysis

    Lieshout, van, M. N. M., 2009, New perspectives in stochastic geometry. Kendall, W. S. & Molchanov, I. S. (eds.). Oxford: Oxford University Press, p. 427-450

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Citation (Scopus)
  • Circuits and trees in oriented linear graphs

    Aardenne-Ehrenfest, van, T. & Bruijn, de, N. G., 2009, Classic Papers in Combinatorics (2nd printing). Gessel, I. M. & Rota, G. C. (eds.). Boston: Birkhäuser Verlag, p. 149-163 (Modern Birkhäuser Classics).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Construction of surface measures for Brownian motion

    Sidorova, N. A. & Wittich, O., 2009, Trends in stochastic analysis: a Festschrift in honour of Heinrich von Weizsäcker. Blath, J., Mörters, P. & Scheutzow, M. (eds.). Cambridge: Cambridge University Press, p. 123-158 (London Mathematical Society Lecture Note Series; vol. 353).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Introduction to post-quantum cryptography

    Bernstein, D. J., 2009, Post Quantum Cryptography. Bernstein, D. J., Buchmann, J. & Dahmen, E. (eds.). Berlin: Springer, p. 1-14

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Downloads (Pure)
  • Model selection for contingency tables with algebraic statistics

    Krampe, A. & Kuhnt, S., 2009, Algebraic and geometric methods in statistics. Gibilisco, P., Riccimagno, E., Rogantin, M. P. & Wynn, H. P. (eds.). Cambridge: Cambridge University Press, p. 83-97

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Citations (Scopus)
  • On the motion of internal carbonation layers

    Muntean, A., Böhm, M. & Schmidt, A., 2009, Simulation of Time Dependent Degradation of Porous Materials (Final report on Priority Program 1122 DFG). Franke, L., Deckelmann, G. & Espinoza-Marzal, R. (eds.). Göttingen: Cuvillier Verlag, p. 53-67

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Spin glass identities and the Nishimori line

    Contucci, P., Giardinà, C. & Nishimori, H., 2009, Spin Glasses: Statics and Dynamics. Boutet de Monvel, A. & Bovier, A. (eds.). Basel: Birkhäuser Verlag, p. 103-121 (Progress in Probability; vol. 62).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • The ComBack method revisited: caching strategies and extension with delayed duplicate detection

    Evangelista, S., Westergaard, M. & Kristensen, L. M., 2009, Transactions on Petri Nets and Other Models of Concurrency III. Jensen, K., Billington, J. & Koutny, M. (eds.). Berlin: Springer, p. 189-215 (Lecture Notes in Computer Science; vol. 5800).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    3 Citations (Scopus)
  • 2008

    Analysis of distributed systems with mCRL2

    Groote, J. F., Mathijssen, A. H. J., Reniers, M. A., Usenko, Y. S. & Weerdenburg, van, M. J., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (eds.). Chapman & Hall, p. 99-128 (CRC Computational Science Series; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    29 Citations (Scopus)
    2 Downloads (Pure)
  • A nonparametric control chart based on the Mann-Whitney statistic

    Chakraborti, S. & Wiel, van de, M. A., 2008, Beyond parametrics in interdisciplinary research : Festschrift in honor of professor Pranab K. Sen. Balakrishnan, N., Peña, E. A. & Silvapulle, M. J. (eds.). Beachwood OH: Institute of Mathematical Statistics, p. 156-172

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Approximation schemes for bin packing

    Bansal, N., 2008, Encyclopedia of Algorithms. Kao, M. Y. (ed.). p. 57-59

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    14 Citations (Scopus)
    1 Downloads (Pure)
  • Assessment of optical systems by means of point-spread functions

    Braat, J. J. M., Haver, van, S., Janssen, A. J. E. M. & Dirksen, P., 2008, Progress in optics, vol. 51. Wolf, E. (ed.). Amsterdam: Elsevier, p. 349-468 564 p. (Progress in optics; vol. 51).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    51 Citations (Scopus)
  • Constraint-based scheduling and planning

    Baptiste, P., Laborie, P., Le Pape, C. & Nuijten, W. P. M., 2008, Handbook of Constraint Programming. Rossi, F., Beek, van, P. & Walsh, T. (eds.). Amsterdam: Elsevier, p. 761-799 (Foundations of Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    27 Citations (Scopus)
    4 Downloads (Pure)
  • Creation and collaboration: engaging new audiences for information visualization

    Heer, J., Ham, van, F. J. J., Carpendale, S., Weaver, C. & Isenberg, P., 2008, Information Visualization: Human-Centered Issues and Perspectives. Kerren, A., Stasko, J. T., Fekete, J. D. & North, C. (eds.). Berlin: Springer, p. 92-133 (Lecture Notes in Computer Science; vol. 4950).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    62 Citations (Scopus)
    1 Downloads (Pure)
  • De voorspelde mens

    Jacobs, B. P. F., 2008, Technologie en mensbeeld. Consoli, L. & Hoekstra, R. (eds.). Nijmegen: Valkhof Pers, p. 52-60 117 p. (Annalen van het Thijmgenootschap; vol. 96(3)).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional