201 - 300 out of 2,927Page size: 100
  1. Article › Scientific › Peer-reviewed
  2. Erratum: Measuring dissimilarity between respiratory effort signals based on uniform scaling for sleep staging

    Long, X., Yang, J., Weysen, T., Haakma, R., Foussier, J., Fonseca, P. & Aarts, R. M. 2015 In : Physiological Measurement. 36, 3, p. 625-625 1 p.

    Research output: Scientific - peer-reviewArticle

  3. Estimating user interaction strength in distributed online networks

    Jia, A. L., Schoon, B., Pouwelse, J. & Epema, D. 2015 In : Concurrency and Computation: Practice & Experience. 27, 17, p. 5311-5331 21 p.

    Research output: Scientific - peer-reviewArticle

  4. Evaluating and comparing language workbenches: Existing results and benchmarks for the future

    Erdweg, S. , van der Storm, T. , Völter, M. , Tratt, L. , Bosman, R. , Cook, W. R. , Gerritsen, A. , Hulshout, A. , Kelly, S. , Loh, A. , Konat, G. , Molina, P. J. , Palatnik, M. , Pohjonen, R. , Schindler, E. , Schindler, K. , Solmi, R. , Vergu, V. , Visser, E. , Van Der Vlist, K. & 2 others Wachsmuth, G. & Van Der Woning, J. 1 Dec 2015 In : Computer Languages, Systems and Structures. 44, p. 24-47 24 p.

    Research output: Scientific - peer-reviewArticle

  5. Evaluating application scenarios on the Cell/B.E.

    Varbanescu, A. L., Sips, H. J., Ross, K. A., Liu, Q., Natsev, A., Smith, J. R. & Liu, L-K. 2009 In : Concurrency and Computation: Practice & Experience. 21, p. 85-100 16 p.

    Research output: Scientific - peer-reviewArticle

  6. Evaluating vector data type usage in OpenCL kernels

    Fang, J., Varbanescu, A. L., Liao, X. & Sips, H. J. 2015 In : Concurrency and Computation: Practice & Experience. 27, 17, p. 4586-4602 17 p.

    Research output: Scientific - peer-reviewArticle

  7. Evaluation of strategic supply networks

    Albani, A. & Müssigmann, N. 2005 In : Lecture Notes in Computer Science. 3762, p. 582-591 10 p.

    Research output: Scientific - peer-reviewArticle

  8. Exception handling bug hazards in Android: Results from a mining study and an exploratory survey

    Coelho, R., Almeida, L., Gousios, G., van Deursen, A. & Treude, C. Jun 2017 In : Empirical Software Engineering. 22, 3, p. 1264–1304 41 p.

    Research output: Scientific - peer-reviewArticle

  9. Execution Trace Analysis through Massive Sequence and Circular Bundle Views

    Cornelissen, S. G. M., Zaidman, A. E., Holten, D., Moonen, L. M. F., van Deursen, A. & van Wijk, J. J. 2008 In : Journal of Systems and Software. 81, p. 2252-2268 17 p.

    Research output: Scientific - peer-reviewArticle

  10. Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network {MAC} Protocols

    Halkes, G. P. & Langendoen, K. G. 2010 In : Eurasip Journal on Wireless Communications and Networking. 2010, p. 1-10 10 p.

    Research output: Scientific - peer-reviewArticle

  11. Exploiting linkage information and problem-specific knowledge in evolutionary distribution network expansion planning

    Luong, N. H., La Poutré, H. & Bosman, P. A. N. 2018 In : Evolutionary Computation. 26, 3, p. 471-505 35 p.

    Research output: Scientific - peer-reviewArticle

  12. Exploiting submodular value functions for scaling up active perception

    Satsangi, Y., Whiteson, S., Oliehoek, F. A. & Spaan, M. T. J. 2018 In : Autonomous Robots. 42, 2, p. 209-233 25 p.

    Research output: Scientific - peer-reviewArticle

  13. Exploiting user tags to build a semantic cultural heritage portal

    van der Sluijs, K. & Houben, G. J. P. M. 2010 In : IEEE Intelligent Systems. 25, 6, p. 84-92 9 p.

    Research output: Scientific - peer-reviewArticle

  14. Exploration of language specifications by compilation to first-order logic

    Grewe, S., Erdweg, S., Pacak, A., Raulf, M. & Mezini, M. 2018 In : Science of Computer Programming. 155, p. 146-172 27 p.

    Research output: Scientific - peer-reviewArticle

  15. FED: Fuzzy Event Detection model for Wireless Sensor Networks

    Malazi, H. T., Zamanifar, K. & Dulman, S. O. 2011 In : International Journal of Wireless and Mobile Networks. 3, 6, p. 29-45 17 p.

    Research output: Scientific - peer-reviewArticle

  16. FEVER: An approach to analyze feature-oriented changes and artefact co-evolution in highly configurable systems

    Dintzner, N., van Deursen, A. & Pinzger, M. 2018 In : Empirical Software Engineering. 23, 2, p. 905-952 48 p.

    Research output: Scientific - peer-reviewArticle

  17. Facial action recognition for facial expression analysis from static face images

    Pantic, M. & Rothkrantz, L. J. M. 2004 In : IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 34, 3, p. 1449-1461 13 p.

    Research output: Scientific - peer-reviewArticle

  18. Fairness in wireless networks: Issues, measures and challenges

    Shi, H. Z., Venkatesha Prasad, R. R., Onur, E. & Niemegeers, I. G. M. M. 2014 In : IEEE Communications Surveys and Tutorials. 16, 1, p. 5-24 20 p.

    Research output: Scientific - peer-reviewArticle

  19. Finding performance bugs with the TNO HPF benchmark suite

    Denissen, W. & Sips, H. J. 2002 In : Concurrency: Practice and Experience. 14, 8-9, p. 691-712 22 p.

    Research output: Scientific - peer-reviewArticle

  20. Formal analysis of trace conditioning

    Bosse, T., Jonker, C. M., Los, S. A., van der Torre, L. & Treur, J. 2007 In : Cognitive Systems Research (Online). 8, 1, p. 36-47 12 p.

    Research output: Scientific - peer-reviewArticle

  21. Formal definition of programming language standards

    Pronk, C. & Schonhacker, M. 2003 In : ACM SIGPLAN Notices. 38, 8, p. 20-21 2 p.

    Research output: Scientific - peer-reviewArticle

  22. From Evaluating to Forecasting Performance: How to Turn Information Retrieval, Natural Language Processing and Recommender Systems into Predictive Sciences (Dagstuhl Perspectives Workshop 17442)

    Ferro, N. , Fuhr, N. , Grefenstette, G. , Konstan, J. A. , Castells, P. , Daly, E. M. , Declerck, T. , Ekstrand, M. D. , Geyer, W. , Gonzalo, J. , Kuflik, T. , Lindén, K. , Magnini, B. , Nie, J-Y. , Perego, R. , Shapira, B. , Soboroff, I. , Tintarev, N. , Verspoor, K. , Willemsen, M. C. & 2 others Zobel, J. & al., N. F. E. (ed.) 2018 In : Dagstuhl Manifestos. 7, 1, p. 96-139 44 p.

    Research output: Scientific - peer-reviewArticle

  23. From Learners to Earners: Enabling MOOC Learners to Apply Their Skills and Earn Money in an Online Market Place

    Chen, G., Davis, D., Krause, M., Aivaloglou, E., Hauff, C. & Houben, G-J. 2018 In : IEEE Transactions on Learning Technologies. 11, 2, p. 264-274 12 p.

    Research output: Scientific - peer-reviewArticle

  24. From sensing to action: Quick and reliable access to information in cities vulnerable to heavy rain

    Gaitan Sabogal, S., Calderoni, L., Palmieri, P., ten Veldhuis, J. A. E., Maio, D. & van Riemsdijk, M. B. 2014 In : IEEE Sensors Journal. 14, 12, p. 4175-4184 10 p.

    Research output: Scientific - peer-reviewArticle

  25. Fuzzy Argumentation for Trust

    Stranders, R., de Weerdt, M. M. & Witteveen, C. 2008 In : Lecture Notes in Computer Science. 5056, p. 214-230 17 p.

    Research output: Scientific - peer-reviewArticle

  26. Gate-induced g-factor control and dimensional transition for donors in multivalley semiconductors

    Rahman, R., Park, S. H., Boykin, T. B., Klimeck, G., Rogge, S. & Hollenberg, L. C. L. 2009 In : Physical Review B (Condensed Matter and Materials Physics). 80, 15, p. 155301-1-155301-5

    Research output: Scientific - peer-reviewArticle

  27. Gate-induced quantum-confinement transition of a single dopant atom in a silicon FinFET

    Lansbergen, G. P., Rahman, R., Wellard, C. J., Woo, I., Caro, J., Collaert, N., Biesemans, S., Klimeck, G., Hollenberg, L. C. L. & Rogge, S. 2008 In : Nature Physics. 4, 8, p. 656-661 6 p.

    Research output: Scientific - peer-reviewArticle

  28. Generalized parsing and term rewriting: semantics driven disambiguation

    van den Brandt, M. G. J., Klusener, A. S., Moonen, L. M. F. & Vinju, J. J. 2003 In : Electronic Notes in Theoretical Computer Science. p. 1-17 17 p.

    Research output: Scientific - peer-reviewArticle

  29. Generation of classes of robust periodic railway timetables

    Odijk, M. A., Romeijn, H. E. & van Maaren, H. 2006 In : Computers & Operations Research. 33, p. 2283-2299 17 p.

    Research output: Scientific - peer-reviewArticle

  30. Getting what you measure

    Bouwers, E. M., Visser, J. & van Deursen, A. 2012 In : Communications of the ACM. 55, 7, p. 54-59 6 p.

    Research output: Scientific - peer-reviewArticle

  31. Getting what you measure

    Bouwers, E. M., Visser, J. & van Deursen, A. 2012 In : ACM Queue: tomorrow's computing today. 10, 5, p. 50-56 7 p.

    Research output: Scientific - peer-reviewArticle

  32. GoCo: Planning Expressive Commitment Protocols

    Meneguzzi, F., Magnaguagno, M. C., Singh, M. P., Telang, P. R. & Yorke-Smith, N. 2018 In : Autonomous Agents and Multi-Agent Systems. 32, 4, p. 459-502 44 p.

    Research output: Scientific - peer-reviewArticle

  33. Green Wireless Power Transfer Networks

    Liu, Q., Golinnski, M., Pawelczak, P. & Warnier, M. 1 May 2016 In : IEEE Journal on Selected Areas in Communications. 34, 5, p. 1740-1756 17 p., 7389968

    Research output: Scientific - peer-reviewArticle

  34. Grid Computing Workloads

    Iosup, A. & Epema, D. H. J. 2011 In : IEEE Internet Computing. 15, 2, p. 19-26 8 p.

    Research output: Scientific - peer-reviewArticle

  35. Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol

    Dekeyser, S. & Hidders, A. J. H. 2011 In : International Journal of Distributed Systems and Technologies. p. 17-29 13 p.

    Research output: Scientific - peer-reviewArticle

  36. Guest Editorial to the Theme on Model-Driven Web Engineering

    Houben, G. J. P. M., Koch, N., Rossi, G. & Vallecillo, A. 2013 In : Software and Systems Modeling. 12, 1, p. 11-13 3 p.

    Research output: Scientific - peer-reviewArticle

  37. Guest editor's introduction: 10th working conference on reverse engineering

    van Deursen, A. & Stroulia, E. 2005 In : IEEE Transactions on Software Engineering. 31, 2, p. 97-98 2 p.

    Research output: Scientific - peer-reviewArticle

  38. Handling optimization under uncertainty problem using robust cCounterpart methodology

    Chaerani, D. & Roos, C. 2013 In : Jurnal Teknik Industri. 15, 2, p. 111-118 8 p.

    Research output: Scientific - peer-reviewArticle

  39. Harmony- an architecture for providing quality of service in mobile computing environments

    Lele, A. M., Nandy, S. K. & Epema, D. H. J. 2001 In : Journal of Interconnection Networks. 1, 3, p. 247-266 20 p.

    Research output: Scientific - peer-reviewArticle

  40. Hazardous Source Estimation Using an Artificial Neural Network, Particle Swarm Optimization and a Simulated Annealing Algorithm

    Wang, R., Chen, B., Qiu, S., Ma, L., Zhu, Z., Wang, Y. & Qiu, X. 2018 In : Atmosphere. 9, 4, 119

    Research output: Scientific - peer-reviewArticle

  41. Heterogeneous Coupled Evolution of Software Languages

    Vermolen, S. D. & Visser, E. 2008 In : Lecture Notes in Computer Science. 5301, p. 630-644 15 p.

    Research output: Scientific - peer-reviewArticle

  42. Hidden Power System Inflexibilities imposed by traditional unit commitment formulations

    Morales-Espana, G., Ramirez Elizondo, L. & Hobbs, B. F. 1 Apr 2017 In : Applied Energy. 191, p. 223-238 16 p.

    Research output: Scientific - peer-reviewArticle

  43. Hierarchical energy management of microgrids including storage and demand response

    Fan, S., Ai, Q. & Piao, L. 1 Jan 2018 In : Energies. 11, 5, 1111

    Research output: Scientific - peer-reviewArticle

  44. Holistic Workload Scaling: A New Approach to Compute Acceleration in the Cloud

    Pérez, J. F., Chen, L. Y., Villari, M. & Ranjan, R. 2018 In : IEEE Cloud Computing. 5, 1, p. 20-30 11 p.

    Research output: Scientific - peer-reviewArticle

  45. Homogeneous routing for homogeneous traffic patterns on mouse

    Aronson, L. D. 2000 In : IEEE Transactions on Parallel and Distributed Systems. 11, 8, p. 781-793 13 p.

    Research output: Scientific - peer-reviewArticle

  46. Horizontal traceability for just-in-time requirements: the case for open source feature requests

    Heck, P. M. & Zaidman, A. E. 2014 In : Journal of Software: Evolution and Process. 26, 12, p. 1280-1296 17 p.

    Research output: Scientific - peer-reviewArticle

  47. Hulp bij spreadsheets

    van Deursen, A., Pinzger, M. & Hermans, F. F. J. 2010 In : Automatisering Gids. 47, November, p. 14-15 2 p.

    Research output: Scientific - peer-reviewArticle

  48. Human Aided Bots

    Kucherbaev, P., Bozzon, A. & Houben, G-J. 2018 In : IEEE Internet Computing. PP, 99, p. 1-11 11 p.

    Research output: Scientific - peer-reviewArticle

  49. Hypermedia presentation generation in Hera

    Frasincar, F., Houben, G. J. P. M. & Barna, P. 2010 In : Information Systems: databases: their creation, management and utilization. 35, 1, p. 23-55 33 p.

    Research output: Scientific - peer-reviewArticle

  50. IRISH: A Hidden Markov Model to detect coded information islands in free text

    Cerulo, L., Di Penta, M., Bacchelli, A., Ceccarelli, M. & Canfora, G. 2015 In : Science of Computer Programming. 105, July, p. 26-43 18 p.

    Research output: Scientific - peer-reviewArticle

  51. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)

    Harkes, D. C. & Visser, E. 2017 In : Dagstuhl Artifacts Series. 3, 1, p. 1:1-1:2

    Research output: Scientific - peer-reviewArticle

  52. Identifying crosscutting concerns using fan-in analysis

    Marin, A. M., van Deursen, A. & Moonen, L. M. F. 2007 In : ACM Transactions on Software Engineering and Methodology. 17, p. 1-37 37 p.

    Research output: Scientific - peer-reviewArticle

  53. Implementation of continuous improvement based on Lean Six Sigma in small- and medium-sized enterprises

    Timans, W., Ahaus, K., van Solingen, R., Kumar, M. & Antony, J. 18 Nov 2014 In : Total Quality Management and Business Excellence. 27, 3-4, p. 309-324 16 p.

    Research output: Scientific - peer-reviewArticle

  54. Improving Multi-Objective Test Case Selection by Injecting Diversity in Genetic Algorithms

    Panichella, A., Oliveto, R., Di Penta, M. & De Lucia, A. 1 Mar 2015 In : IEEE Transactions on Software Engineering. 41, 4, p. 358-383

    Research output: Scientific - peer-reviewArticle

  55. In Light and In Darkness, In Motion and In Stillness: A Reliable and Adaptive Receiver for the Internet of Lights

    Wang, Q., Giustiniano, D. & Zuniga, M. 2018 In : IEEE Journal on Selected Areas in Communications. 36, 1, p. 149-161 13 p.

    Research output: Scientific - peer-reviewArticle

  56. Incremental clustering and expansion for faster optimal planning in decentralized POMDPs

    Oliehoek, F. A., Spaan, M. T. J., Amato, C. & Whiteson, S. 2013 In : The Journal of Artificial Intelligence Research. 46, p. 449-509 61 p.

    Research output: Scientific - peer-reviewArticle

  57. Infeasible interior-point methods for linear optimization based on large neighborhood

    Asadi, A. & Roos, C. 2015 In : Journal of Optimization Theory and Applications. 170, 2, p. 1-29 29 p.

    Research output: Scientific - peer-reviewArticle

  58. Integration of data validation and user interface concerns in a DSL for web applications

    Groenewegen, D. M. & Visser, E. 2010 In : Lecture Notes in Computer Science. 5969, p. 164-173 10 p.

    Research output: Scientific - peer-reviewArticle

  59. Integration of data validation and user interface concerns in a DSL for web applications

    Groenewegen, D. M. & Visser, E. 2013 In : Software and Systems Modeling. 12, 1, p. 35-52 18 p.

    Research output: Scientific - peer-reviewArticle

  60. Intention-Aware Routing of Electric Vehicles

    de Weerdt, M. M., Stein, S., Gerding, E., Robu, V. & Jennings, N. 24 Dec 2015 In : IEEE Transactions on Intelligent Transportation Systems. 17, 5, p. 1472 - 1482 11 p.

    Research output: Scientific - peer-reviewArticle

  61. Inter-Operating Grids through Delegated MatchMaking

    Iosup, A., Epema, D. H. J., Tannenbaum, T., Farrellee, M. & Livny, M. 2008 In : Scientific Programming. 16, p. 233-253 21 p.

    Research output: Scientific - peer-reviewArticle

  62. Interchanging lexical resources on the Semantic Web

    Mccrae, J. P., Aguado-de-Cea, G., Buitelaar, P., Cimiano, P., Declerck, T., Gomez-Perez, A., Gracia, J., Hollink, L., Montiel-Ponsoda, E. & Spohr, D. P. 2012 In : Language Resources and Evaluation. 46, 4, p. 701-719 19 p.

    Research output: Scientific - peer-reviewArticle

  63. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E. 10 Jan 2018 In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16

    Research output: Scientific - peer-reviewArticle

  64. Introduction to Planning in Multiagent Systems

    de Weerdt, M. M. & Clement, B. J. 2009 In : Multiagent and Grid Systems. 5, 4, p. 345-355 11 p.

    Research output: Scientific - peer-reviewArticle

  65. Introduction to the Special Issue on Program Comprehension through Dynamic Analysis (PCODA)

    Zaidman, A. E., Hamou-Lhadj, A. & Greevy, O. 2008 In : Journal of Software Maintenance and Evolution: research and practice. 20, p. 223-225 3 p.

    Research output: Scientific - peer-reviewArticle

  66. Introduction to the Special Issue on Reverse Engineering

    Hassan, A. E., Zaidman, A. E. & Di Penta, M. 2010 In : Journal of Software Maintenance and Evolution: research and practice. 22, 3, p. 141-142 2 p.

    Research output: Scientific - peer-reviewArticle

  67. Introduction to the Special on Software Architecture Reconstruction and Modeling

    Kazman, R., van Deursen, A. & Koschke, R. 2006 In : Automated Software Engineering. 13, p. 199-200 2 p.

    Research output: Scientific - peer-reviewArticle

  68. Invariant-based automated testing of modern web applications

    Mesbah, A., van Deursen, A. & Roest, D. 2012 In : IEEE Transactions on Software Engineering. 38, 1, p. 35-53 19 p.

    Research output: Scientific - peer-reviewArticle

  69. Inverse Blended Learning in der Weiterbildung für Erwachsenenbildner_innen: Eine MOOC-Fallstudie

    Ebner, M., Shchön, S., Khalil, M., Ebner, M., Aschemann, B., Frei, W. & Röthler, D. Jul 2018 In : Zeitschrift Hochschule und Weiterbildung. p. 23-30

    Research output: Scientific - peer-reviewArticle

  70. KOALA: A Co-Allocating Grid Scheduler

    Mohamed, H. H. & Epema, D. H. J. 2008 In : Concurrency and Computation: Practice & Experience. 20, p. 1851-1876 26 p.

    Research output: Scientific - peer-reviewArticle

  71. Kan Scrum Fixed Price?

    van Solingen, D. M. & Rustenburg, E. 2010 In : Automatisering Gids. 23, Juni

    Research output: Scientific - peer-reviewArticle

  72. Kascade: a new open directory way of access to internet information

    van der Meer, K., Dufour, M., Ha, J. & de Haan, M. G. 2000 In : Information Services and Use. 20, p. 63-72 10 p.

    Research output: Scientific - peer-reviewArticle

  73. LDBC Graphalytics: A Benchmark for Large-Scale Graph Analysis on Parallel and Distributed Platforms

    Iosup, A., Hegeman, T., Ngai, W. L., Heldens, S., Prat-Pérez, A., Manhardto, T., Chafio, H., Capotă, M., Sundaram, N., Anderson, M., Tănase, I. G., Xia, Y., Nai, L. & Boncz, P. 2016 In : Proceedings of the VLDB Endowment . 9, 13, p. 1317-1328 12 p.

    Research output: Scientific - peer-reviewArticle

  74. Language Design with the Spoofax Language Workbench

    Wachsmuth, G. H., Konat, G. D. P. & Visser, E. 2014 In : IEEE Software. 31, 5, p. 35-43 9 p.

    Research output: Scientific - peer-reviewArticle

  75. Leaders of tomorrow on the future of software engineering: A roundtable

    Hermans, F., Siegmund, J., Fritz, T., Bavota, G., Nagappan, M., Hindle, A., Kamei, Y., Mesbah, A. & Adams, B. 1 Mar 2016 In : IEEE Software. 33, 2, p. 99-104 6 p., 7420475

    Research output: Scientific - peer-reviewArticle

  76. Lessons learned from developing mbeddr: a case study in language engineering with MPS

    Völter, M., Kolb, B., Szabó, T., Ratiu, D. & van Deursen, A. 2017 In : Software and Systems Modeling. 46 p.

    Research output: Scientific - peer-reviewArticle

  77. Linking accounts across social networks: The case of StackOverow, Github and Twitter

    Silvestri, G., Yang, J., Bozzon, A. & Tagarelli, A. 2015 In : Ceur Workshop Proceedings. 1489, p. 41-52 12 p.

    Research output: Scientific - peer-reviewArticle

  78. Local self-concordance of barrier functions based on Kernel-functions

    Bai, Y. Q., Lesaja, G., Mansouri, H., Roos, C. & Zangiabadi, M. 2013 In : Iranian Journal of Operations Research. 3, 2, p. 1-23 23 p.

    Research output: Scientific - peer-reviewArticle

  79. Long reach hybrid fiber-wireless system with remote up-conversion and local exchange

    Cao, Z., van den Boom, P. A., Tangdiongga, E., Chandra, K. & Koonen, A. M. J. 2013 In : IEEE Photonics Technology Letters. 25, 8, p. 737-740 4 p.

    Research output: Scientific - peer-reviewArticle

  80. LossEstimate: Distributed Failure Estimation in Wireless Networks

    Pruteanu, A. S. & Dulman, S. O. 2012 In : Journal of Systems and Software. 85, 12, p. 2785-2795 11 p.

    Research output: Scientific - peer-reviewArticle

  81. Low-Cost Static Performance prediction of stochastic parallel task compositions

    Gautama, H. & van Gemund, A. J. C. 2006 In : IEEE Transactions on Parallel and Distributed Systems. 17, 1, p. 78-91 14 p.

    Research output: Scientific - peer-reviewArticle

  82. Low-cost task scheduling for distributed-memory machines

    Radulescu, A. & van Gemund, A. J. C. 2002 In : IEEE Transactions on Parallel and Distributed Systems. 13, 6, p. 648-658 11 p.

    Research output: Scientific - peer-reviewArticle

  83. MDE and customization of modeling and simulation web applications

    Levytskyy, A., Vangheluwe, H., Rothkrantz, L. J. M. & Koppelaar, H. 2009 In : Simulation Modelling Practice and Theory. 17, 2, p. 408-429 22 p.

    Research output: Scientific - peer-reviewArticle

  84. Machine understanding of facial expression of pain

    Pantic, M. & Rothkrantz, L. J. M. 2002 In : Behavioral and Brain Sciences: an international journal of current research and theory with open peer commentary. 25, 4, p. 469-470 2 p.

    Research output: Scientific - peer-reviewArticle

  85. Making Money Using Math

    Meijer, E. 1 Apr 2017 In : Communications of the ACM. 60, 5, p. 36-42 7 p.

    Research output: Scientific - peer-reviewArticle

  86. Making Money Using Math

    Meijer, E. 2017 In : ACM Queue. 15, 1, p. 10 1 p.

    Research output: Scientific - peer-reviewArticle

  87. Mapping Queries to the Linking Open Data cloud: A Case Study Using DBpedia

    Meij, E., Bron, M., Hollink, L., Huurnink, B. & Rijke, M. 2011 In : Journal of Web Semantics. 9, 4, p. 418-433 16 p.

    Research output: Scientific - peer-reviewArticle

  88. March-eq - Implementing additional reasoning into efficient look-ahead SAT solver

    Heule, M. J. H., Dufour, M., van Zwieten, J. E. & van Maaren, H. 2005 In : Lecture Notes in Computer Science. 3542, p. 345-359 15 p.

    Research output: Scientific - peer-reviewArticle

  89. March_dl: Adding adaptive heuristics and a new branding strategy

    Heule, M. J. H. & van Maaren, H. 2006 In : Journal on Satisfiability, Boolean Modeling and Computation. 2, 1-4, p. 47-59 13 p.

    Research output: Scientific - peer-reviewArticle

  90. Maximal Laziness - An Efficient Interpretation Technique for Purely Functional DSLs

    Dolstra, E. 2008 In : Electronic Notes in Theoretical Computer Science. p. 1-15 15 p.

    Research output: Scientific - peer-reviewArticle

  91. Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs

    Dolstra, E. 2009 In : Electronic Notes in Theoretical Computer Science. 238, 5, p. 81-99 19 p.

    Research output: Scientific - peer-reviewArticle

  92. Measuring dissimilarity between respiratory effort signals based on uniform scaling for sleep staging

    Long, X., Yang, J., Weysen, T., Haakma, R., Foussier, J., Fonseca, P. & Aarts, R. M. 2014 In : Physiological Measurement. 35, 12, p. 2529-2542 14 p.

    Research output: Scientific - peer-reviewArticle

  93. Medium Access Control Issues in Sensor Networks

    Ali, M., Saif, U., Dunkels, A., Voigt, T., Römer, K., Langendoen, K. G., Polastre, J. & Uzmi, Z. 2006 In : Computer Communications Review. 36, p. 33-36 4 p.

    Research output: Scientific - peer-reviewArticle

  94. Met drieënzestig symbolen

    van der Poel, W. L. 2005 In : Nieuw Archief voor Wiskunde. 4, p. 312-316 5 p.

    Research output: Scientific - peer-reviewArticle

  95. Method for predicting motion artefacts in matrix displays

    Teunissen, C., Zhang, Y. & Heynderickx, I. E. J. R. 2006 In : Society for Information Display. Journal. 14, 10, p. 873-881 9 p.

    Research output: Scientific - peer-reviewArticle

  96. Mixing source and bytecode: a case for compilation by normalization

    Kats, L. C. L., Bravenboer, M. & Visser, E. 2008 In : ACM SIGPLAN Notices. 43, p. 91-108 18 p.

    Research output: Scientific - peer-reviewArticle

  97. Mobile tethering: overview, perspectives and challenges

    Constantinescu, M. M., Onur, E., Durmus, Y., Nikou, S., de Reuver, G. A., Bouwman, W. A. G. A., Djurica, M. & Glatz, P. M. 2014 In : Info: The journal of policy, regulation and strategy for telecommunications, information and media. 16, 3, p. 40-53 14 p.

    Research output: Scientific - peer-reviewArticle

  98. Mock objects for testing java systems: Why and how developers use them, and how they evolve

    Spadini, D., Aniche, M., Bruntink, M. & Bacchelli, A. 2018 (Accepted/In press) In : Empirical Software Engineering. p. 1-38 38 p.

    Research output: Scientific - peer-reviewArticle

  99. Model-Driven Migration of Supervisory Machine Control Architectures

    Graaf, B. S., Weber, S. & van Deursen, A. 2008 In : Journal of Systems and Software. 81, p. 517-535 19 p.

    Research output: Scientific - peer-reviewArticle

  100. Model-Driven Web Engineering (MDWE 2008)

    Houben, G. J. P. M., Koch, N. & Vallecillo, A. 2009 In : Lecture Notes in Computer Science. 5421, p. 151-152 2 p.

    Research output: Scientific - peer-reviewArticle

  101. Model-based built-in-tests

    Gross, H. G., Schieferdecker, I. & Din, G. 2005 In : Electronic Notes in Theoretical Computer Science. 111, p. 161-182 22 p.

    Research output: Scientific - peer-reviewArticle

Previous 1 2 3 4 5 6 7 8 ...30 Next