171001 - 171050 out of 175,970Page size: 50
  1. A formalization of Ashok Goel's SBF concept of function

    Borgo, S., Carrara, M., Garbacz, P. & Vermaas, PE., 2015, Proceedings of the 1st Workshop on Artificial Intelligence and Design (AIDE 2015). Lisi, FA. & Borgo, S. (eds.). Bari, Italy: Università di Bari 'Aldo Moro', p. 9-20 12 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  2. A formal traffic characterization of LTI event-triggered control systems

    Sharifi K., A. & Mazo, M., 2016, In : IEEE Transactions on Control of Network Systems. 5 (2018), 1, p. 274-283

    Research output: Contribution to journalArticleScientificpeer-review

  3. A formal semantics for the Taverna 2 workflow model

    Sroka, J., Hidders, AJH., Missier, P. & Goble, CA., 2010, In : Journal of Computer and System Sciences. 76, p. 490-508 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. A formal semantics for agent (re)organization

    Dignum, F. & Dignum, V., 2012, 13th International workshop on computational logic in multi-agent systems (CLIMA XIII). Fisher, M., van der Torre, L., Dastani, M. & Governatori, M. (eds.). Berlin: Springer, p. 61-76 16 p. (Lecture Notes in Computer Science; vol. 7486).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  5. A formal ontological perspective on behaviors and functions of technical artifacts

    Borgo, S., Carrara, M., Garbacz, P. & Vermaas, PE., 2009, In : Artificial Intelligence for Engineering Design, Analysis and Manufacturing. 23, 1, p. 3-21 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. A formal method to analyze human reasoning and interpretation in incident mangement.

    Bosse, T., Hoogendoorn, M., Jonker, CM. & Treur, J., 2008, In : International Journal of Emergency Management. 5, 1/2, p. 164-192 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. A formal likelihood function for parameter and predictive inference of hydrologic models with correlated, heteroscedastic, and non-Gaussian errors

    Vrugt, JA., 2010, In : Water Resources Research. 46, p. 1-17 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. A formal framework for reasoning about opportunistic propensity in multi-agent systems

    Luo, J., Meyer, J. J. & Knobbout, M., 1 Jul 2019, In : Autonomous Agents and Multi-Agent Systems. 33, 4, p. 457-479 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. A formal framework for computer simulations: surveying the historical record and finding their philosophical roots

    Duran, J. M., 2019, In : Philosophy & Technology.

    Research output: Contribution to journalArticleScientificpeer-review

  10. A formal empirical analysis method for human reasoning and interpretation

    Bosse, T., Hoogendoorn, M., Jonker, CM. & Treur, J., 2007, proceedings of the 8th international conference on cognitive modeling. Taylor & Francis (eds.). ICCM, p. 241-246 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  11. A formal approach to system integration

    Gutierrez Alcaraz, JM., de Haan, SWH. & Ferreira, JA., 2010, 6th International Conference on Integrated Power Electronics Systems. Rufer, A. (ed.). Berlin, Germany: VDE Verlag GMBH, p. 57-62 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  12. A formal approach to building compositional agent-based simulations

    Jonker, CM. & Treur, J., 2013, Simulating Social Complexity. A Handbook. Edmonds, B. & Meyer, R. (eds.). Berlin - Heidelberg: Springer, p. 57-94 754 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

  13. A forgotten mathematician

    Fokkink, RJ., 2004, In : European Mathematical Society. Newsletter. 52, p. 9-14 6 p.

    Research output: Contribution to journalArticleScientific

  14. A forgotten chapter in European Urbanism: the invention of the mall, its mutation and inherit potentials.

    Harteveld, MGAD. & Fuchs, A., 2007, 4th International Seminar on Urbanism and Urbanization. The European Tradition in Urbanism - and its Future. International PhD conference.. Bruyns, G., Fuchs, A., Hoekstra, MJ., Meyer, VJ. & van Nes, A. (eds.). Delft: IFoU, p. 208-214 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  15. A forecasting model for inland navigation based on route enumeration

    Fiorenzo Catalano, MS. & van der Zijpp, NJ., 2001, European transport conference. London, UK: PTRC education and research services Ltd, p. 1-11 11 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  16. A forecasting model for inland navigation

    Fiorenzo Catalano, MS. & van der Zijpp, NJ., 2001, Proceedings vervoerlogistieke werkdagen. Corsendonk Belgium, p. 336-351 16 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  17. A forecasting model for inland navigation

    Fiorenzo Catalano, MS. & van der Zijpp, NJ., 2001, Triennial symposium on transportation analysis. Lisboa: Universidade de Lisboa, p. 679-684 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  18. A force-controlled planar haptic device for movement control analysis of the human arm

    de Vlugt, E., Schouten, AC., van der Helm, FCT., Teerhuis, PC. & Brouwn, GG., 2003, In : Journal of Neuroscience Methods. 122, p. 151-168 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  19. A force measurement system for training of arthroscopic tissue manipulation skills on cadaveric specimen

    Horeman, T., Tuijthof, G. J. M., Wulms, P. B., Kerkhoffs, G. M. M. J., Gerards, R. M. & Karahan, M., 2016, In : Journal of Medical Devices. 10, 4, 7 p., 044508.

    Research output: Contribution to journalArticleScientificpeer-review

  20. A force calibration standard for magnetic tweezers

    Yu, Z., Dulin, D., Cnossen, JP., Kober, M., van Oene, MM., Ordu, O., Berghuis, BA., Hensgens, T., Lipfert, J. & Dekker, NH., 2015, In : Review of Scientific Instruments. 85, p. 1-10 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  21. A fluoroscopy-based planning and guidance software tool for minimally invasive hip refixation by cement injection

    Malan, DF., van der Walt, SJ., Raidou, RG., van den Berg, B., Stoel, BC., Botha, CP., Nelissen, RGHH. & Valstar, ER., 2016, In : International Journal of Computer Assisted Radiology and Surgery. 11, 2, p. 281-296

    Research output: Contribution to journalArticleScientificpeer-review

  22. A fluorine-substituted hexakisdecyloxy-hexa-peri-hexabenzocoronene

    Zhang, Q., Prins, P., Jones, SC., Barlow, S., Kondo, T., An, Z., Siebbeles, LDA. & Marder, SR., 2005, In : Organic Letters. 7, p. 5019-5022 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  23. A flume experiment on sediment transport with flexible, submerged vegetation

    Baptist, MJ. & Thannbichler, C., 2003, NCR-Days 2002. Leuven, R. & Nienhuis, P. (eds.). Wateringen: JB &A, p. 102-103 2 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionProfessional

  24. A fluidized bed biomass combustion model with discretized population balance.1. Sensitivity Analysis

    Khan, AA., de Jong, W., Gort, DR. & Spliethoff, H., 2007, In : Energy & Fuels. p. 1-11 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  25. A fluidized bed biomass combustion model with discretized population balance. 2 experimental studies and model validation

    Khan, AA., de Jong, W. & Spliethoff, H., 2008, In : Energy & Fuels. 21, 6, p. 3709-3717 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  26. A fluid pavillion by rigidizing a membrane

    Pronk, ADC., Houtman, R. & Borgart, A., 2003, Textile composites and inflatable structures. Onate, E. & Kröplin, B. (eds.). Barcelona: CIMNE, p. 105-113 9 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  27. A flow stress model for the intercritical deformation of low-carbon steels.

    Bodin, A., Sietsma, J. & van der Zwaag, S., 2000, Modelling of metal rolling processes 3.. IOM communications, p. 268-279 12 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  28. A flooding protocol for MANETs with self-pruning and prioritized retransmissions

    Jacobsson, ME., Guo, C. & Niemegeers, IGMM., 2005, Proceedings 2nd IEEE International Conference on Mobile Ad Hoc and Sensor Systems. Krishnamurthy, P. (ed.). Piscataway: IEEE Society, p. 1-9 9 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  29. A flood vulnerability index for coastal cities and its use in assessing climate change impacts

    Balica, SF., Wright, NG. & van der Meulen, F., 2012, In : Natural Hazards. 64, 1, p. 73-105 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  30. A floating point vectoring algorithm based on fast rotations

    van der Kolk, KJ., Lee, JA. & Deprettere, EFA., 2000, In : Journal of V LSISignal Processing. 25, p. 125-139 15 p.

    Research output: Contribution to journalArticleScientific

  31. A flight simulator dogfight agent for real-time decision-making in the cockpit

    Solinger, D., Ehlert, PAM. & Rothkrantz, LJM., 2005, Proceedings of CGAMES'2005. Mehdi, Q., Gough, N. & Natkin, S. (eds.). Wolverhampton, UK: University of Wolverhampton, p. 129-133 5 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  32. A flight dynamics helicopter UAV model for a single pitch lag flap main rotor

    Taamallah, S., 2010, Eurpean Rotorcraft forum, Paris France. s.n. (ed.). Paris France: s.n., p. 1-93 93 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  33. A flexible, event-driven, service-oriented architecture for orchestrating service delivery

    Overbeek, SJ., Klievink, AJ. & Janssen, MFWHA., 2009, In : IEEE Intelligent Systems. 24, 5, p. 31-41 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. A flexible waveform representation for gas metal arc welding.

    Richardson, IM., 2005, IIW Doc. XII-1869-05. Proceedings of the 58th Annual Assembly of the International Institute of Welding (IIW), Prague, Czech Republic.. s.n. (ed.). s.l.: IIW, p. 112-124 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  35. A flexible ultrathin-body single-photon avalanche diode with dual-side illumination

    Sun, P., Charbon, E. & Ishihara, R., 2014, In : IEEE Journal of Selected Topics in Quantum Electronics. 20, 6, p. 1-8 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  36. A flexible solution for graphical user interfaces for instrument control and data visualisation

    Beunes, AJH., 1997, DANEF'97. VI Prikhodko (ed.). Joint Institute for Nuclear Research, p. 244-247 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  37. A flexible simulator of pipelined processors

    Juurlink, BHH., Bertels, KLM. & Li, B., 2003, Proceedings of ProRISC 2003. s.n. (ed.). Utrecht: STW, p. 483-493 11 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  38. A flexible simulator for exploring hardware rasterizers

    Antochi, I., Juurlink, BHH. & Vassiliadis, S., 2002, Proceedings ProRISC 2002. Utrecht: Dutch Technology Foundation STW, p. 1-8 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  39. A flexible simulation model for light-rail operations

    Jongerius, T., Corman, F., Veldhoen, H. & Lodewijks, G., 2015, Proceedings of the 2015 Conference on Advanced Systems in Public Transport. Kroon, L., Lo, H. & et, A. (eds.). Rotterdam, The Netherlands: Erasmus Universiteit, p. 1-20 20 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  40. A flexible open data assimilation framework for hydrological modeling

    van Velzen, C., Ridler, ME., Altaf, MU., Madsen, H. & Heemink, AW., 2014, Unknown. p. -

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  41. A flexible mould for double curved pre-cast concrete elements

    Schipper, HR. & Vambersky, JNJA., 2010, Reader Symposium of PRECAST2010: Assembling freeform buildings in precast concrete. Vambersky, JNJA. & Schipper, HR. (eds.). Delft: Delft University of Technology, p. 27-30 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionProfessional

  42. A flexible mold for double curved precast concrete elements; flexibles Schalungssystem fuer zweifach gebogene Betonfertigteile

    Schipper, HR., 2010, In : Betonwerk und Fertigteil-Technik: concrete precasting plant and technology. 76, 8, p. 26-33 8 p.

    Research output: Contribution to journalArticleProfessional

  43. A flexible low power subsampling UWB receiver based on line spectrum estimation methods

    Vanderperren, Y., Dehaene, W. & Leus, G., 2006, ICC 2006 Proceeding, IEEE International Conference on Communications. IEEE (ed.). Istanbul, Turkey: IEEE Society, p. 4694-4699 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  44. A flexible low power subsampling UWB receiver based on line spectrum estimation methods

    Wang, Y., van Leuken, TGRM. & van der Veen, AJ., 2006, ISCAS 2006 Proceeding, IEEE International Symposium on Circuits and Systems. IEEE Society, p. -

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  45. A flexible low power high resolution integrated interface for capacitive sensors

    Heidary, A., Shalmany, S. & Meijer, GCM., 2010, Proceedings of IEEE ISIE 2010. s.n (ed.). Bari,Italy: IEEE ISIE, p. 3347-3350 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  46. A flexible framework for key audio effects detection and auditory context inference

    Cai, R., Lu, L., Hanjalic, A. & Cai, LH., 2006, In : IEEE Transactions on Speech and Audio Processing. 14, 3, p. 1026-1039 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  47. A flexible coupling scheme for Monte Carlo and thermal-hydraulics codes

    Hoogenboom, JE., Ivanov, A., Sanchez, V. & Diop, C., 2011, International conference on mathematics and computational methods applied to nuclear science and engineering (M&C 2011). de Oliveira, C. (ed.). Rio de Janeiro: MC, p. 1-22 22 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  48. A flexible camera calibration system that uses straight lines in a 3D scene to calculate the lens distortion

    van den Eelaart, I. & Hendriks, EA., 1999, ASCI'99: proceedings. Delft: Advanced School for Computing and Imaging, p. 443-448 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  49. A flexible architecture for privacy-aware trust management

    Böhm, K., Etalle, S., Den Hartog, J., Hütter, C., Trabelsi, S., Trivellato, D. & Zannone, N., 2010, In : Journal of Theoretical and Applied Electronic Commerce Research. 5, 2, p. 77-96 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  50. A flexible approach to modeling unpredictable events in MDPs

    Witwicki, S., Melo, FS., Capitan, J. & Spaan, MTJ., 2013, Proceedings 23rd International Conference on Automated Planning and Scheduling. Oddi, A. & Fratini, S. (eds.). Palo Alto, CA, USA: AAIA Press, p. 260-268 9 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review