Voormalig onderzoek Faculteit Wiskunde en Informatica

Filter
Hoofdstuk

Zoekresultaten

  • 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. (redactie). Berlin: Springer, blz. 217-247

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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

    Algorithmic aspects of combinatorial discrepancy

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Berlin: Springer, blz. 325-355 (Signals and Communication Technology).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • '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. (redactie). Utrecht: Freudenthal Instituut, blz. 161-169

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

  • Leren van positieve afwijkingen

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukPopulair

  • 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. (redactie). Cham: Springer, blz. 299-308 (Advances in Intelligent Systems and Computing; vol. 311).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Berlin: Springer, blz. 115-133 (Lecture Notes in Computer Science; vol. 8611).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    12 Citaten (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. (redactie). Utrecht: Freudenthal Instituut, blz. 28-29

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

  • 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. (redactie). Newport Beach CA: Wiley, blz. 171-185

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • Het 3n+1-vermoeden

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

    Open Access
    Bestand
    3 Citaten (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. (redactie). Boca Raton: CRC Press, blz. 343-353

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    5 Downloads (Pure)
  • Navier-Stokes

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

    Open Access
    Bestand
    772 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. (redactie). Elsevier, blz. 451-511 (Handbook of the History of Logic; vol. 11).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    1 Citaat (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. (redactie). London: Springer, blz. 137-158 (Computational Imaging and Vision; vol. 41).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Berlin: Springer, blz. 21-57 (Lecture Notes in Computer Science; vol. 7320).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    2 Citaten (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. (redactie). Berlin: Springer, blz. 213-236 (International Series in Operations Research & Management Science; vol. 173).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    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. (redactie). London: Springer, blz. 159-171 (Computational Imaging and Vision; vol. 41).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    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. (redactie). Berlin Heidelberg: Springer, blz. 85-99 215 blz. (Lecture Notes in Business Information Processing; vol. 88).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    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. (redactie). Berlin: Springer, blz. 222-289 (Lecture Notes in Computer Science; vol. 6491).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    68 Citaten (Scopus)
  • Factorization circuits

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

  • Idolen en idealen

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Berlin: Springer, blz. 561-586 (International Series in Operations Research & Management Science; vol. 154).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    3 Citaten (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. (redactie). Berlin: Springer, blz. 293-312

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    792 Citaten (Scopus)
  • Post-quantum cryptography

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

    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. (redactie). Hoboken: Wiley, blz. 1-6

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Bethesda: Parenteral Drug Administration/Davis Healthcare International Publishing, blz. 201-242

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Berlin: Springer, blz. 144-156 (Lecture Notes in Computer Science; vol. 6570).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    4 Citaten (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, blz. 441-459 (Gakuto International Series, Mathematical Sciences and Applications; vol. 32).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    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. (redactie). Berlin: Springer, blz. 229-268 (Lecture Notes in Computational Science and Engineering; vol. 71).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    2 Citaten (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, blz. 231-238 (Gakuto International Series, Mathematical Sciences and Applications; vol. 32).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Dordrecht: Springer, blz. 65-93

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    2 Citaten (Scopus)
  • Spatial point process theory

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • Verrassende wiskunde bij de Olympiade

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

    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. (redactie). Hauppauge NY: Nova Science, blz. 213-234

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    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. (redactie). Oxford: Oxford University Press, blz. 427-450

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    1 Citaat (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. (redactie). Boston: Birkhäuser Verlag, blz. 149-163 (Modern Birkhäuser Classics).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Cambridge: Cambridge University Press, blz. 123-158 (London Mathematical Society Lecture Note Series; vol. 353).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • Introduction to post-quantum cryptography

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    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. (redactie). Cambridge: Cambridge University Press, blz. 83-97

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    2 Citaten (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. (redactie). Göttingen: Cuvillier Verlag, blz. 53-67

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Basel: Birkhäuser Verlag, blz. 103-121 (Progress in Probability; vol. 62).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (redactie). Berlin: Springer, blz. 189-215 (Lecture Notes in Computer Science; vol. 5800).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    3 Citaten (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. (redactie). Chapman & Hall, blz. 99-128 (CRC Computational Science Series; vol. 2).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    29 Citaten (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. (redactie). Beachwood OH: Institute of Mathematical Statistics, blz. 156-172

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • Approximation schemes for bin packing

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

    14 Citaten (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. (redactie). Amsterdam: Elsevier, blz. 349-468 564 blz. (Progress in optics; vol. 51).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    51 Citaten (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. (redactie). Amsterdam: Elsevier, blz. 761-799 (Foundations of Artificial Intelligence; vol. 2).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    27 Citaten (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. (redactie). Berlin: Springer, blz. 92-133 (Lecture Notes in Computer Science; vol. 4950).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    60 Citaten (Scopus)
    1 Downloads (Pure)
  • De voorspelde mens

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel