Find Research outputs

Search results

• Towards mass storage systems with object granularity

  Holtman, K. J. G., Stok, van der, P. D. V. & Willers, I. M., 2000, Online Proceedings Eighth NASA Goddard Space Flight Center Conference on Mass Storage Systems and Technologies in cooperation with Seventeenth IEEE Symposium on Mass Storage Systems (College Park MD, USA, March 27-30, 2000). p. 135-150

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

• Towards mechanical characterization of intact endarterectomy samples of carotid arteries during inflation using Echo-CT

  Boekhoven, R. W., Rutten, M. C. M., Sambeek, van, M. R. H. M., Vosse, van de, F. N. & Lopata, R. G. P., 2014, In: Journal of Biomechanics. 47, 4, p. 805-814

  Research output: Contribution to journal › Article › Academic › peer-review
  15 Citations (Scopus)

  1 Downloads (Pure)

• Towards mechanistic understanding and optimization of oxide-supported metals for three-way catalysis

  Zhang, L., 29 Sept 2020, Eindhoven: Technische Universiteit Eindhoven. 220 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File
  212 Downloads (Pure)

• Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

  Hartog, den, J. I., 2008, In: Science of Computer Programming. 74, 1-2, p. 52-63

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access
  3 Citations (Scopus)

  1 Downloads (Pure)

• Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

  Hartog, den, J. I., 2007, Enschede: Universiteit Twente. (CTIT Technical Report; vol. TR-CTIT-07-53)

  Research output: Book/Report › Report › Academic

• Towards meta-learning over data streams (abstract)

  van Rijn, J. N., Holmes, G., Pfahringer, B. & Vanschoren, J., 2014, Meta-Learning and Algorithm Selection (MetaSel 2014, Prague, Czech Republic, August 19, 2014; co-located with ECAI 2014). Vanschoren, J., Soares, C. & Kotthoff, L. (eds.). CEUR-WS.org, p. 37-38 (CEUR Workshop Proceedings; vol. 1201).

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

• Towards metallo-supramolecular ABA triblock and (AB)n multiblock copolymers

  Lohmeijer, B. G. G. & Schubert, U. S., 2004, In: Polymer Preprints. 45, 1, p. 376-377

  Research output: Contribution to journal › Article › Academic › peer-review

  1 Downloads (Pure)

• Towards metallo-supramolecular assemblies and polymers

  Schubert, U. S., 2000, Tailored Polymers & Applications. Yaggi, Y., Mishra, M. K., Nuyken, O., Ito, K. & Wnek, G. (eds.). Utrecht: VSP, p. 63-85 13 p.

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

• Towards micromechanics-based modelling of damage development during the forming of food-can lids

  Peerlings, R. H. J., Mediavilla, J., Engelen, R. A. B. & Geers, M. G. D., 2008, In: Engineering Fracture Mechanics. 75, 11, p. 3294-3305

  Research output: Contribution to journal › Article › Academic › peer-review
  1 Citation (Scopus)

• Towards miniaturized LED drivers : a model-centric design framework for switched-capacitor converters

  Delos Ayllon, J., 20 Jun 2016, Eindhoven: Technische Universiteit Eindhoven. 148 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File
  429 Downloads (Pure)

• Towards mobile-centered authentic, personalized and collaborative assignments in engineering education

  Saeli, M., Kock, Z-J. D. Q. P., Schüler-Meyer, A. K. & Pepin, B. E. U., 2020, SEFI 48th Annual Conference Engaging Engineering Education, Proceedings: Book of Abstracts SEFI 48th Annual Conference . van der Veen, J., van Hattum-Janssen, N., Jarvinen, H-M., de Laet, T. & Ten Dam, I. (eds.). European Society for Engineering Education (SEFI), p. 1074-1082 9 p.

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

  Open Access

  File
  7 Downloads (Pure)

• Towards model assisted improvement of lead placement in Cardiac Resynchronization Therapy

  Pluijmert, M. H., Kroon, W., Delhaas, T., Prinzen, F. W. & Bovendeerd, P. H. M., 2014.

  Research output: Contribution to conference › Poster

  4 Downloads (Pure)

• Towards model-based analysis of cardiac MR tagging data: relation between left ventricular shear strain and myofiber orientation

  Ubbink, S. W. J., Bovendeerd, P. H. M., Delhaas, T., Arts, M. G. J. & Vosse, van de, F. N., 2006, In: Medical Image Analysis. 10, 4, p. 632-641

  Research output: Contribution to journal › Article › Academic › peer-review
  46 Citations (Scopus)

• Towards Model Based Control of a HD-Diesel Engine Air Path with the Engine Modeling Toolbox

  Linskens, G. H. H., 11 Oct 2022, Eindhoven: Technische Universiteit Eindhoven. 90 p.

  Research output: Thesis › EngD Thesis

  File
  4 Downloads (Pure)

• Towards model-based control of divertor detachment

  Koenders, J. T. W., 2021. 1 p.

  Research output: Contribution to conference › Abstract › Academic

  Open Access

  File
  4 Downloads (Pure)

• Towards model-based control of RCCI-CDF mode-switching in dual fuel engines

  Indrajuana, A., Bekdemir, C., Feru, E. & Willems, F. P. T., 3 Apr 2018, Proceedings of the 2018 SAE World Congress, 10-12 April 2018, Detroit, Michigan. s.l.: Society of Automotive Engineers (SAE), 13 p. (SAE Technical Paper 2018-01-0263).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  18 Citations (Scopus)

  10 Downloads (Pure)

• Towards model-based rupture risk assessment of abdominal aortic aneurysms

  Wolters, B. J. B. M., Rutten, M. C. M., Schurink, G. W. H., Kose, U. & Vosse, van de, F. N., 2004.

  Research output: Contribution to conference › Poster

  Open Access

  File
  105 Downloads (Pure)

• Towards model-based testing of electronic funds transfer systems

  Asaadi, H. R., Khosravi, R., Mousavi, M. R. & Noroozi, N., 2012, Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 253-267 (Lecture Notes in Computer Science; vol. 7141).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  7 Citations (Scopus)

• Towards model-based testing of electronic funds transfer systems

  Asaadi, H. R., Khosravi, R., Mousavi, M. R. & Noroozi, N., 2010, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 1004)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  231 Downloads (Pure)

• Towards model checking executable UML specifications in mCRL2

  Hansen, H. H., Ketema, J., Luttik, B., Mousavi, M. R. & van de Pol, J., 1 Mar 2010, In: Innovations in Systems and Software Engineering. 6, 1-2, p. 83-90 8 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  113 Citations (SciVal)

  142 Downloads (Pure)

• Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges

  Bordeleau, F., Combemale, B., Eramo, R., van den Brand, M. & Wimmer, M., 2020, Systems Modelling and Management - 1st International Conference, ICSMM 2020, Proceedings. Babur, O., Denil, J. & Vogel-Heuser, B. (eds.). Springer, p. 43-54 12 p. (Communications in Computer and Information Science; vol. 1262 CCIS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  26 Citations (SciVal)

• Towards modeling activity ascheduling in an agent-based model for pedestrian dynamics simulation

  Manenti, L. A., Manzoni, S., Vizzari, G. & Dijkstra, J., 2012, Proceedings of the 13th Workshop on Objects and Agents (WOA 2012), 17-19 September 2012, Milan, Italy. De Paoli, F. & Vizzari, G. (eds.). Milan: University of Milano-Bicocca, (CEUR Workshop Proceedings; vol. 892).

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

• Towards modeling and simulating a multi-party negotiation protocol with colored Petri nets

  Bacarin, E., Aalst, van der, W. M. P., Madeira, E. R. M. & Medeiros, C. B., 2007, Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark. Jensen, K. (ed.). Aarhus: Department of Computer Science, p. 29-48

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

• Towards modelling modelling of Hybrid systems in Spin

  Bosnacki, D., 1998, Third international workshop on formal methods for industrial critical systems. Luttik, B. & Wamel, van, J. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica

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

• Towards modelling of patient-ventilator interactions using model based methods

  van Diepen, A., Bakkes, T. H. G. F. & Woerlee, P. H., 28 Nov 2019.

  Research output: Contribution to conference › Poster

  Open Access

  File
  102 Downloads (Pure)

• Towards Modelling the Visibility of the Phantom Array Effect

  Kong, X., Perz, M., Martinsons, C., Tengelin, M. N. & Heynderickx, I. E. J., 2022. 2 p.

  Research output: Contribution to conference › Abstract › Academic

  Open Access

  File
  10 Downloads (Pure)

• Towards modelling thrombus formation in abdominal aortic aneurysms

  Gunther, T. W. M., Bovendeerd, P. H. M. & Vosse, van de, F. N., 2006.

  Research output: Contribution to conference › Poster

  Open Access

  File
  67 Downloads (Pure)

• Towards modelling traders' behavior

  Milea, D. V., Miedema, E., Berg, van den, J. & Kaymak, U., 2006, Proceedings of the XIII Congress of International Association for Fuzzy-set Management and Economy. Abdelaziz, F. B. (ed.). Hammamet Tunisia: University of Tunis, p. 161-170

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

  Open Access

  File
  58 Downloads (Pure)

• Towards Model Order Selection for Robust-Control-Relevant System Identification

  Tacx, P. J. M. M., de Rozario, R. & Oomen, T. A. E., 2020, Preprints 21st IFAC World Congress 2020. 1 p.

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

• Towards Model Order Selection in View of Robust Control for Motion Systems with Dominant Flexible Dynamics

  Herpen, van, R. M. A., Oomen, T. A. E., Bosgra, O. H. & Wal, van de, M. M. J., 2010, 29th Benelux Meeting on Systems and Control, 30 March - 1 April 2010, Heeze, Netherlands, book of abstracts. Stigter, H. (ed.). Wageningen, Netherlands, p. 30

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

  1 Downloads (Pure)

• Towards models of strategic spatial choice behaviour: theory and application issues

  Han, Q. & Timmermans, H. J. P., 2005, Proceedings of CUPUM 05, Computers in Urban Planning and Urban Management, 30-Jun-2005, London. London: University College London, 16 p. paper 86

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

  4 Downloads (Pure)

• Towards models of strategic spatial choice behaviour: theory and application issues

  Han, Q. & Timmermans, H. J. P., 2007, In: GeoJournal. 67, 3, p. 195-206 12 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  10 Citations (Scopus)

  2 Downloads (Pure)

• Towards model view definition on semantic level : a state of the art review

  Zhang, C., Beetz, J. & Vries, de, B., 2013, 20th European Group for Intelligent Computing in Engineering (EG-ICE ), July 1-3 2013, Vienna, Austria.

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

• Towards modular verification of software product lines with mCRL2

  Beek, ter, M. H. & Vink, de, E. P., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I). Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 368-385 (Lecture Notes in Computer Science; vol. 8802).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  19 Citations (Scopus)

  4 Downloads (Pure)

• Towards modular verification of threaded concurrent executable code generated from DSL models

  Bosnacki, D., van den Brand, M. G. J., Gabriels, J. M. A. M., Jacobs, B., Kuiper, R., Roede, S., Wijs, A. J. & Zhang, D., 2016, Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Csaba Ölveczky, P. (eds.). Dordrecht: Springer, p. 141-160 20 p. (Lecture Notes in Computer Science; vol. 9539).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  6 Citations (Scopus)

• Towards more effective use of building performance simulation in design

  Hensen, J. L. M., 2004, 7th International Conference on Design & Decision Support Systems in Architecture and Urban Planning. Leeuwen, van, J. P. & Timmermans, H. J. P. (eds.). Eindhoven: Technische Universiteit Eindhoven

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

  4 Downloads (Pure)

• Towards more efficient generic semantic authoring for adaptive hypermedia

  Saksena, M. & Cristea, A. I., 2006, Proceedings of the joint international workshop on Adaptivity, personalization & the semantic web (APS'06, Odense, Denmark, August 23, 2006). Association for Computing Machinery, Inc, p. 11-20

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
  7 Citations (Scopus)

• Towards more efficient praseodymium doped fibre amplifiers for the O-band

  Schimmel, R. C., 2006, Eindhoven: Technische Universiteit Eindhoven. 249 p.

  Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

  Open Access

  File
  1779 Downloads (Pure)

• Towards more impact in healthcare through new medical technologies : lessons learned while innovating from within healthcare

  Neve, L. V., 2 Sept 2018, Eindhoven: Technische Universiteit Eindhoven.

  Research output: Thesis › EngD Thesis

• Towards more relevance-oriented data mining research

  Pechenizkiy, M., Puuronen, S. & Tsymbal, A., 2008, In: Intelligent Data Analysis. 12, 2, p. 237-249

  Research output: Contribution to journal › Article › Academic › peer-review

  7 Citations (Scopus)

  1 Downloads (Pure)

• Towards more specific estimation of membership functions for data-driven fuzzy inference systems

  Fuchs, C. E. M., Wilbik, A. M. & Kaymak, U., Jul 2018, 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) . Piscataway: Institute of Electrical and Electronics Engineers, 8 p. 8491524

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  12 Citations (Scopus)

  4 Downloads (Pure)

• Towards more specific membership functions for data-driven fuzzy models

  Fuchs, C., Wilbik, A. & Kaymak, U., 1 Jan 2018, 30th Benelux Conference on Artificial Intelligence ; BNAIC 2018 Preproceedings. Atzmueller, M. & Duivesteijn, W. (eds.). p. 63-64 2 p. (Belgian/Netherlands Artificial Intelligence Conference).

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

  1 Downloads (Pure)

• Towards multiagent-based simulation of knowledge management in teams

  Timm, I. J., Berndt, J. O., Reuter, L., Ellwart, T., Antoni, C. H. & Ulfert, A. S., 2017, Professionelles Wissensmanagement: 9te Konferenz Professionelles Wissensmanagement, 5–7 April 2017. CEUR-WS.org, p. 25-40 16 p. (CEUR Workshop Proceedings; vol. 1821).

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

  Open Access
  8 Citations (Scopus)

• Towards multi-agent systems in building automation and control for improved occupant comfort and energy efficiency- state of the art and challenges.

  Labeodan, T. M., Aduda, K. O. & Zeiler, W., 2013, Proceedings of the International Sympsoium on Intelligent Building and Building Automation (ISBBA 2013), 9-11 November 2013, Zhangiiajie. p. 1-8

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

• Towards multiband optical systems

  Napoli, A., Costa, N., Fischer, J. K., Pedro, J., Abrate, S., Calabretta, N., Forysiak, W., Pincemin, E., Gimenez, J. P. F. P., Matrakidis, C., Roelkens, G. & Curri, V., 1 Jan 2018, Photonic Networks and Devices, Networks 2018. Optical Society of America (OSA), Vol. Part F106-Networks 2018. 2 p. NeTu3E.1

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

  Open Access

  File
  2 Citations (SciVal)

  119 Downloads (Pure)

• Towards multi-class detection: a self-learning approach to reduce inter-class noise from training dataset

  Ghahremani, A., Bondarev, E. & de With, P. H. N., 15 Mar 2019, Eleventh International Conference on Machine Vision, ICMV 2018. Verikas, A., Nikolaev, D. P., Radeva, P. & Zhou, J. (eds.). SPIE, 8 p. 110411M. (Proceedings of SPIE; vol. 11041).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  1 Citation (Scopus)

  1 Downloads (Pure)

• Towards multifunctional, targeted drug delivery systems using mesoporous silica nanoparticles : opportunities & challenges

  Rosenholm, J. M., Sahlgren, C. & Lindén, M., 2010, In: Special Publication - Royal Society of Chemistry. 2, 10, p. 1870-1883

  Research output: Contribution to journal › Article › Academic › peer-review
  481 Citations (Scopus)

• Towards multi-layer interoperability of heterogeneous IoT platforms: the INTER-IoT approach

  Fortino, G., Savaglio, C., Palau, C. E., de Puga, J. S., Ghanza, M., Paprzycki, M., Montesinos, M., Liotta, A. & Llop, M., 1 Jan 2018, Integration, Interconnection, and Interoperability of IoT Systems. Gravina, R., Palau, C. E., Manso, M., Liotta, A. & Fortino, G. (eds.). Dordrecht: Springer, p. 199-232 34 p. (Internet of Things Book Series (ITTCC)).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
  105 Citations (Scopus)

• Towards multi-level synthesis for asynchronous logic

  Rutten, J. W. J. M. & Berkelaar, M. R. C. M., 1998, Proc. International Workshop on Logic Synthesis. p. 77-82

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

• Towards multilingual programming environments

  Storm, van der, T. & Vinju, J. J., 2015, In: Science of Computer Programming. 97, 1, p. 143-149 7 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  2 Citations (Scopus)

  2 Downloads (Pure)