Find Research outputs

Search results

• AVEC 2017 - Real-life depression, and affect recognition workshop and challenge

  Ringeval, F., Schuller, B., Valstar, M., Gratch, J., Cowie, R., Scherer, S., Mozgai, S., Cummins, N., Schmitt, M. & Pantic, M., 23 Oct 2017, AVEC'17: Proceedings of the 7th Annual Workshop on Audio/Visual Emotion Challenge. Association for Computing Machinery (ACM), p. 3-9 7 p.

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

• AVEC 2019 workshop and challenge: State-of-mind, detecting depression with ai, and cross-cultural affect recognition

  Ringeval, F., Schuller, B., Valstar, M., Cummins, N., Cowie, R., Tavabi, L., Schmitt, M., Alisamir, S., Amiriparian, S., Eva-Maria Messner, M., Song, S., Liu, S., Zhao, Z., Mallol-Ragolta, A., Ren, Z., Soleymani, M. & Pantic, M., 15 Oct 2019, AVEC 2019 - Proceedings of the 9th International Audio/Visual Emotion Challenge and Workshop, co-located with MM 2019. Association for Computing Machinery (ACM), p. 3-12 10 p.

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

• A vectorial solver for the reflection of semi-confined waves at slab waveguide discontinuities for non-perpendicular incidence

  Hammer, M., 2014, XXII International Workshop on Optical Waveguide Theory and Numerical Modelling, Nice, France, book of abstracts. France: Institut Fresnel, Ais-Marseille University, France, p. P-07 1 p.

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

  File
  25 Downloads (Pure)

• A vectorial variational mode solver and its application to piecewise constant and diffused waveguides

  Ivanova, A., Stoffer, R., Hammer, M. & van Groesen, E. W. C., 2008, Proceedings of the 12th International Conference on Mathematical Methods in Electromagnetic Theory, MMET08. Piscataway: IEEE, p. 495-497 3 p. 10.1109/MMET.2008.4581041

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

  File
  1 Citation (Scopus)

  101 Downloads (Pure)

• A vector-like reconfigurable floating-point unit for the logarithm

  Alachiotis, N. & Stamatakis, A., 2011, In: International Journal of Reconfigurable Computing. 2011, 341510.

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

  Open Access

  File
  2 Citations (Scopus)

• A vegetation correction methodology applied for soil moisture retrieval from C - band radar observations

  Joseph, A. T., van der Velde, R. & ... [et al.], 2009, IGARSS 2009 : Proceedings of the 2009 IEEE international geoscience and remote sensing sympsosium : Earth observation, origins and applications, July 12-17, 2009. Cape Town, South Africa: IEEE, p. III 49 - III 52

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

• A vegetation correction methodology applied for soil moisture retrieval from C-band radar observations + powerpoint

  Joseph, A. T., van der Velde, R. & ... [et al.], 2008, IGARSS 2008 : Proceedings of the 2008 IEEE international geoscience and remote sensing sympsosium : Geoscience and remote sensing, the next generation, 6-11 July 2008 Boston, MA, USA. Piscataway : IEEE, 2008. ISBN 978-1-4244-2807-6. pp. II 398 - II 401. Boston, USA: IEEE, p. II 398 - II 401

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  2 Downloads (Pure)

• A velocity approach for the ALE-method applied to 2D and 3D problems

  Stoker, H. C., Gay, C., Bay, F. & Chenot, J. L., 22 Jun 1998, Proceedings of the 6th International conference on Numerical Methods in Industrial forming processes - Numiform '98. Enschede, p. 95-101

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

• Avenir de la recherche scientifique en entrepreneuriat en Allemagne - Stratégies et principaux points thématiques

  Grichnik, D. & Harms, R., 2008, In: Revue internationale PME. 21, 3-4, p. 44-65

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

• Average case analysis of the MST-heuristic for the power assignment problem: Special cases

  de Graaf, M., Boucherie, R. J., Hurink, J. L. & van Ommeren, J. C. W., 4 Jan 2016, In: EAI Endorsed Transactions on Energy Web. 16, 10, e5.

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

  Open Access

  File
  1 Citation (Scopus)

  73 Downloads (Pure)

• Average-case approximation ratio of the 2-opt algorithm for the TSP

  Engels, C. & Manthey, B., Mar 2009, In: Operations research letters. 37, 2, p. 83-84 2 p., 10.1016/j.orl.2008.12.002.

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

• Averaged equations for multiphase flows

  Prosperetti, A., 2007, Computational Methods for Multiphase Flow. Prosperetti, A. & Tryggvason, G. (eds.). Cambridge: Cambridge University Press, p. -

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

  8 Citations (Scopus)

• Average nearest neighbor degrees in scale-free networks

  Yao, D., van der Hoorn, P. & Litvak, N., 10 Jan 2018, In: Internet mathematics. 2018, p. 1-38

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

  Open Access

  File
  6 Citations (Scopus)

  83 Downloads (Pure)

• Average Precision: Good Guide or False Friend to Multimedia Search Effectiveness?

  Aly, R., Trieschnigg, R. B., McGuinness, K., O' Connor, N. E. & de Jong, F. M. G., Jan 2014, Proceedings of the 20th Anniversary International Conference on MultiMedia Modelling, MMM 2014, Part II. London: Springer, p. 239-250 12 p. (Lecture Notes in Computer Science; vol. 8326).

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

  File
  1 Citation (Scopus)

  17 Downloads (Pure)

• Average pressure and velocity fields in non-uniform suspensions of spheres in Stokes flow

  Tanksley, M. & Prosperetti, A., 2001, In: Journal of engineering mathematics. 41, 2-3, p. 275-303 29 p.

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

• Average reference recording from the vagal nerve reveals an evoked indirect response

  Ordelman, S. C. M. A., Kornet, L., Cornelussen, R., Buschman, H. P. J. & Veltink, P. H., 29 Apr 2009, Proceedings of the 4th International IEEE EMBS Conference on Neural Engineering. Piscataway: IEEE EMBS, p. 574-576 3 p.

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

  File
  3 Citations (Scopus)

  173 Downloads (Pure)

• Average Resistance of Toroidal Graphs

  Rossi, W. S., Frasca, P. & Fagnani, F., 2015, In: SIAM journal on control and optimization. 53, 4, p. 2541-2557 17 p.

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

  Open Access

  File
  3 Citations (Scopus)

  63 Downloads (Pure)

• Average stress in a Stokes suspension of disks

  Prosperetti, A., 2004, In: International journal of multiphase flow. 30, 1, p. 1-26 26 p.

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

• Average wet canopy evaporation for a Sitka spruce forest derived using the eddy correlation - enery balance technique

  van der Tol, C. & ... [et al.], 2003, In: Journal of hydrology. 276, 1-4-2017, p. 1-12-2019

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

• Averaging methods for static traffic assignment with junction modelling.

  Bezembinder, E. M., Wismans, L. J. J. & van Berkum, E. C., 13 Jun 2016, p. 1-5.

  Research output: Contribution to conference › Paper

  File
  328 Downloads (Pure)

• Averaging of Differential Equations Generating Oscillations and an Application to Control

  Temam, R. M. & Wirosoetisno, D., 2002, In: Applied mathematics and optimization. 46, 2-3, p. 313-330

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

• A Verification Excercise in LOTOS

  van Sinderen, M. J., 31 Jan 1990, Universiteit Twente. 16 p.

  Research output: Book/Report › Report › Professional

• A verification exercise relating to specification styles in LOTOS

  van Sinderen, M. J., 1989, Enschede: University of Twente, Department of Computer Science. 16 p. (Memoranda Informatica; no. INF-89-18)

  Research output: Book/Report › Report › Other research output

  File
  22 Downloads (Pure)

• A verification technique for deterministic parallel programs: Invited abstract

  Huisman, M., 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. Vanhoof, W. & Pientka, B. (eds.). ACM/Sheridan, p. 3 1 p.

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

• A Verification Technique for Deterministic Parallel Programs

  Darabi, S., Blom, S. C. C. & Huisman, M., 2017, NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Barrett, C., Davies, M. & Kahsai, T. (eds.). p. 247-264 18 p. (Lecture Notes in Computer Science; vol. 10227).

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

  1 Downloads (Pure)

• A Verification Technique for Deterministic Parallel Programs (extended version)

  Darabi, S., Blom, S. & Huisman, M., 25 Feb 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT technical report; no. TR-CTIT-17-01)

  Research output: Book/Report › Report › Other research output

  File
  172 Downloads (Pure)

• A Verified, Executable Formalism for Resilient and Pervasive Guideline-Based Decision Support for Patients

  Fung, N. L. S., van Sinderen, M. J., Jones, V. M. & Hermens, H. J., 26 Sep 2020, Artificial Intelligence in Medicine: 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Proceedings. Michalowski, M. & Moskovitch, R. (eds.). Springer, p. 427-439 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12299 LNAI).

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

• A verified factorization algorithm for integer polynomials with polynomial complexity

  Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 6 Feb 2018, In: Archive of Formal Proofs. 79 p.

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

  Open Access

  File
  49 Downloads (Pure)

• A Verified Implementation of Algebraic Numbers in Isabelle/HOL

  Joosten, S. J. C., Thiemann, R. & Yamada, A., 9 Dec 2018, (E-pub ahead of print/First online) In: Journal of automated reasoning. 27 p.

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

  Open Access

  File
  1 Citation (Scopus)

  12 Downloads (Pure)

• A verified LLL algorithm

  Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 2018, In: Archive of Formal Proofs. 2018

  Research output: Contribution to journal › Article › Academic

  Open Access

  File
  71 Downloads (Pure)

• A Versatile 3R Pseudo-Rigid-Body Model for Initially Curved and Straight Compliant Beams of Uniform Cross section

  Venkiteswaran, V. K. & Su, H. J., 1 Sep 2018, In: Journal of Mechanical Design, Transactions of the ASME. 140, 9, 8 p., 092305.

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

• A versatile algorithm for two-dimensional symmetric noncausal modeling

  Glentis, G-O., Slump, C. H. & Herrmann, O. E., 13 Nov 1994, Proceedings of the 1st IEEE International Conference on Image Processing '94. Los Alamitos, CA: IEEE, p. 595-600

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

  Open Access

  File
  2 Citations (Scopus)

  97 Downloads (Pure)

• A Versatile Algorithm for Two-Dimensional Symmetric Noncausal Modeling

  Glentis, G-O., Slump, C. H. & Herrmann, O. E., 1998, In: IEEE transactions on circuits and systems II: analog and digital signal processing. 45, 2, p. 251-256 6 p.

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

  78 Downloads (Pure)

• A versatile all-optical modulator based on nonlinear Mach-Zehnder interferometers

  Krijnen, G. J. M., Villeneuve, A., Stegeman, G. I., Lambeck, P. V. & Hoekstra, H. J. W. M., 25 Jul 1994, p. 412-414. 3 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  16 Downloads (Pure)

• A versatile and highly efficient catalyst system for the preparation of polyesters based on lanthanide tris(2,6-di-tert-butylphenolate)s and various alcohols

  Stevels, W. M., Ankone, M. J. K., Dijkstra, P. J. & Feijen, J., 1996, In: Macromolecules. 29, p. 3332-3333 2 p.

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

  203 Citations (Scopus)

• A versatile and highly efficient catalyst system for the ring-opening polymerization

  Stevels, W. M., Ankoné, M. J. K., Dijkstra, P. J. & Feijen, J., 3 Apr 1996, Fourth European Symposium on Controlled Drug Delivery [abstract book]: April 3-5, 1996 in Hotel Oranje, Noordwijk aan Zee, The Netherlands. Sam, A. P. (ed.). Noordwijk aan Zee: University of Twente, p. 278-280 3 p.

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

• A versatile and highly efficient catalyst system for the ring-opening polymerization of lactones

  Stevels, W. M., Ankoné, M. J. K., Dijkstra, P. J. & Feijen, J., 9 May 1996, Enschede : University of Twente.

  Research output: Other contribution › Other research output

• A versatile and highly efficient catalyst system for the ring-opening polymerization of lactones

  Stevels, W. M., Ankoné, M. J. K., Dijkstra, P. J. & Feijen, J., 13 Oct 1997, In: Journal of controlled release. 48, 2-3, p. 320-321

  Research output: Contribution to journal › Meeting Abstract › Academic

• A versatile CMOS linear voltage to current convertor

  Kruiskamp, W., 14 Aug 1990, Enschede: Universiteit Twente.

  Research output: Working paper

• A versatile electrophoresis-based self-test platform

  Staal, S. S., Ungerer, M., Floris, J., ten Brinke, H-W., Helmhout, R., Tellegen, M., Janssen, K., Karstens, E., van Arragon, C., Lenk, S. O., Staijen, E., Bartholomew, J., Krabbe, H., Movig, K., Dubsky, P., van den Berg, A. & Eijkel, J. C. T., Mar 2015, In: Electrophoresis. 36, 5, p. 712-721 10 p.

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

• A versatile family of degradable non-viral gene carriers based on hyperbranched poly(ester amine)s

  Zhong, Z., Song, Y., Engbersen, J. F. J., Lok, M. C., Hennink, W. E. & Feijen, J., 2005, In: Journal of controlled release. 109, 1-3, p. 317-329

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

• A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks

  Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Sep 2006, Third International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society, p. 63-72 10 p. 10.1109/QEST.2006.3

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

  File
  3 Citations (Scopus)

  119 Downloads (Pure)

• A versatile micro-reflectivity setup for probing the optical properties of photonic nanostructures

  Sharma, S., Priya, Saini, S. K. & Nair, R. V., 1 Feb 2019, In: Review of scientific instruments. 90, 2, 023103.

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

• A Versatile Micro-Scale Silicon Sensor/Actuator with Low Power Consumption

  Kovalgin, A. Y., Holleman, J. & Iordache, G., 31 Oct 2006, Proceedings of the IEEE Sensors Conference 2005. Piscataway, NJ, USA: IEEE, p. 1225-1228 4 p.

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

  9 Downloads (Pure)

• A versatile model for asymmetric TCP sources

  van Foreest, N. D., Mandjes, M. R. H. & Scheinhardt, W. R. W., Aug 2003, Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress (ITC-18). Charzinski, J. J. W., Lehnert, R. & Tran-Gia, P. (eds.). Amsterdam: Elsevier, p. 631-640 10 p. (Teletraffic Science and Engineering; vol. 5a).

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

• A versatile model for TCP bandwidth sharing in networks with heterogeneous users

  Abendroth, D., van den Berg, H. L. & Mandjes, M. R. H., 2006, In: AEÜ International journal of electronics and communications. 60, A219/4, p. 267-278 12 p.

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

  File
  5 Citations (Scopus)

  20 Downloads (Pure)

• A versatile neuromuscular exoskeleton controller for gait assistance: A preliminary study on spinal cord injury patients

  Wu, A. R., Dzeladini, F., Brug, T. J. H., Tamburella, F., Tagliamonte, N. L., van Asseldonk, E., van der Kooij, H. & IJspeert, A. J., 2017, Wearable Robotics: Challenges and Trends. González-Vargas, J., Ibáñez, J., Contreras-Vidal, J. L., van der Kooij, H. & Pons, J. L. (eds.). Springer, p. 163-167 5 p. (Biosystems and Biorobotics; vol. 16).

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

  2 Downloads (Pure)

• A Versatile Protocol for Studying Anterior Cruciate Ligament Reconstruction in a Rabbit Model

  Hevesi, M., Crispim, J. F., Paggi, C. A., Dudakovic, A., van Genechten, W., Hewett, T. E., Kakar, S., Krych, A. J., Wijnen, A. J. V. & Saris, D. B. F., 15 Apr 2019, In: Tissue engineering. Part C: Methods. 25, 4, p. 191-196

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

• A versatile surface channel concept for microfluidic applications

  Dijkstra, M., de Boer, M. J., Berenschot, J. W., Lammerink, T. S. J., Wiegerink, R. J. & Elwenspoek, M. C., 5 Sep 2007, In: Journal of micromechanics and microengineering. 17, LNCS4549/10, p. 1971-1977 7 p.

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

• A versatile technology platform for microfluidic handling systems, part I: fabrication and functionalization

  Groenesteijn, J., de Boer, M. J., Lötters, J. C. & Wiegerink, R. J., 1 Jul 2017, In: Microfluidics and nanofluidics. 21, 7, 127.

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

  Open Access

  File
  14 Citations (Scopus)

  185 Downloads (Pure)