Find Research outputs

Search results

• Report

  A finite volume approach to large eddy simulation of compressible, nomogeneous, isotropic, decaying turbulance

  Vreman, A. W., Geurts, B. J., Kuerten, J. G. M. & Zandbergen, P. J., 1991, University of Twente, Faculty of Mathematical Sciences. 29 p. (Memorandum Faculty of Mathematical Sciences; no. 1009)

  Research output: Book/Report › Report › Professional

• A First Study of Compositionality in Graph Transformation

  Rensink, A., Feb 2010, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-10-08)

  Research output: Book/Report › Report › Professional

  File
  59 Downloads (Pure)

• A flexible iterative improvement heuristic to support creation of feasible shift rosters in self-rostering

  van der Veen, E., Hurink, J. L., Schutten, J. M. J. & Uijland, S. T., Sep 2013, Enschede: University of Twente, Department of Applied Mathematics. 19 p. (Memorandum; no. 2016)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  41 Downloads (Pure)

• A Flexible Real-Time Hierarchical Multimedia Archive

  Lijding, M. E., Jansen, P. & Mullender, S., Mar 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT technical report series; no. TR-CTIT-03-06)

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

  Open Access

  File
  101 Downloads (Pure)

• A fluid queue driven by a fluid queue

  Kroese, D. P. & Scheinhardt, W. R. W., Mar 1997, Enschede: Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT technical report series; no. 97-08)

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

• A fluid queue driven by a fluid queue

  Kroese, D. P. & Scheinhardt, W. R. W., 1996, Enschede: University of Twente, Faculty of Applied Mathematics. 15 p. (Memorandum; no. 1363)

  Research output: Book/Report › Report › Professional

• A fluid queue driven by an infinite-state birth-death process

  van Doorn, E. A. & Scheinhardt, W. R. W., 1996, Enschede: Universiteit Twente. 20 p.

  Research output: Book/Report › Report › Professional

• A formal analysis of a car periphery supervision system

  Gebremichael, B., Krilavicius, T. & Usenko, Y. S., 2004, Enschede: INF-Centre for Telematics and Information Techn. (ISSN1381-3625)

  Research output: Book/Report › Report › Professional

• A formal characterization of and some alternatives to Sympson-Hetter item-exposure control in computerized adaptive testing

  van der Linden, W. J., 2006, Law School Admission Council. 12 p. (LSAC research report series - Computerized testing report; no. 02-05)

  Research output: Book/Report › Report › Professional

  File
  37 Downloads (Pure)

• A formal development trajectory for OSI application layer protocols

  Booth, R. E., Widya, I. A. & Jones, V. M., 1991, Enschede: Tele-informatica en Open Systemen (Informatica). 12 p. (Memoranda IUnformatica; no. 91-71)(TIOS; no. 91/026)

  Research output: Book/Report › Report › Professional

• A Formalization of Triggering Rules

  Balsters, H., Fokkinga, M. M. & van Rein, H., 1996, Enschede: Universiteit Twente.

  Research output: Book/Report › Report › Professional

• A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

  Law, Y. W., Corin, R. J., Etalle, S. & Hartel, P. H., Mar 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT technical report series; no. TR-CTIT-03-07)

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

  File
  24 Citations (Scopus)

  76 Downloads (Pure)

• A Formal Security Analysis of an OSA/Parlay Authentication Interface

  Corin, R., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G. & Moiso, C., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT Technical Report Series; no. TR-CTIT-05-62)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  2 Citations (Scopus)

  98 Downloads (Pure)

• A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models

  Eshuis, H. & Wieringa, R. J., Feb 2001, Centre for Telematics and Information Technology (CTIT). 44 p. (CTIT Technical Report Series; no. 01-04)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  1540 Downloads (Pure)

• Afpersing door Oost-Europeanen

  Meershoek, G., 1996, Nijverdal: Internationaal Politie Instituut Twente. 38 p.

  Research output: Book/Report › Report › Professional

• A Framework for Analysis of B2B Electronic Contracting Support

  Angelov, S. A. & Grefen, P. W. P. J., Nov 2001, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT technical reports series; no. TR-CTIT-01-38)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  29 Downloads (Pure)

• A framework for classes of grammars between the LL(k) and LR(k) grammars

  Nijholt, A., Nov 1980, Hamilton, Canada: McMaster University. 22 p.

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

• A Framework for E-services: a Three-Level Approach towards Process and Data Management

  Grefen, P. W. P. J., Ludwig, H. & Angelov, S. A., Mar 2002, Centre for Telematics and Information Technology (CTIT). 50 p. (CTIT Technical Report Series; no. 02-07)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  15 Downloads (Pure)

• A Framework for E-Services: A Three-Level Approach towards Process and Data Management

  Grefen, P. W. P. J., Ludwig, H. & Angelov, S. A., 2002, Nederland: IBM Research Division. (IBM Research Report; no. RC22378)

  Research output: Book/Report › Report › Professional

• A framework for evaluating statistical dependencies and rank correlations in power law graphs

  Volkovich, Y., Litvak, N. & Zwart, B., Jun 2008, Enschede: University of Twente, Faculty of Mathematical Sciences. 9 p.

  Research output: Book/Report › Report › Professional

  File
  85 Downloads (Pure)

• A framework for forensic face recognition based on recognition performance calibrated for the quality of image pairs

  Dutta, A., Veldhuis, R., Spreeuwers, L. & Meuwly, D., Sep 2012, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-12-20)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  39 Downloads (Pure)

• A framework for health care planning and control

  Hans, E. W., van Houdenhoven, M. & Hulshof, P. J. H., Feb 2011, Enschede: University of Twente, Department of Applied Mathematics. 23 p. (Memorandum / Department of Applied Mathematics; no. 1938)

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

  File
  1697 Downloads (Pure)

• A framework for QoS & mobility in the Internet next generation

  Karagiannis, G., Rexhepi, V. & Heijenk, G., Jun 2000, Ericsson . 52 p.

  Research output: Book/Report › Report › Academic

  Open Access

  File
  17 Downloads (Pure)

• A Framework for Representation, Validation and Implementation of Database Application Semantics

  van Keulen, M., Skowronek, J., Apers, P. M. G., Balsters, H., Blanken, H., de By, R. A. & Flokstra, J., 1995, Enschede, The Netherlands: University of Twente. 11 p. (Memoranda Informatica; no. INF 95-37)

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

  Open Access

  File
  29 Downloads (Pure)

• A Framework for Workload Modelling of Signalling Systems

  Heijenk, G., 1990, Geen adressering: RACE.

  Research output: Book/Report › Report › Professional

• A frequency domain solution to the sub-optimal Hankel norm approximation problem

  Sasane, A. J. & Curtain, R. F., 2002, Enschede: University of Twente, Faculty of Mathematical Sciences. 22 p. (Memorandum; no. 1653)

  Research output: Book/Report › Report › Professional

  File
  8 Downloads (Pure)

• Africa Prime: A Demonstrator Project

  Rip, A. & Mouton, J., 2006, Enschede: University of Twente.

  Research output: Book/Report › Report › Professional

• Afslag Driebergen: Woonwagenproblemen en bestuurlijke verhoudingen

  Aarts, K., van Amerongen, T., Bos, J. A., de Jong, O., Klompemaker, G., Maas, C. S. P., Spruit, G. B., van Valkenburg-Klij, H. E. & Visser, S., 2001, Driebergen: Gemeente Driebergen-Rijssenburg. 49 p.

  Research output: Book/Report › Report › Professional

• Afstemmingsregelingen in de Wet milieubeheer

  van de Peppel, R. A., 1997, Deventer: VMR. 8 p.

  Research output: Book/Report › Report › Professional

• A Fuzzy Approach to Erroneous Inputs in Context-Free Language Recognition

  Asveld, P. R. J., 1995, Enschede: University of Twente, Department of Computer Science. 12 p. (Memoranda Informatica; no. 95-29)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  16 Downloads (Pure)

• Ageing and Work: Evaluation and Focussed Program

  de Vroom, B., 1999, Enschede: University of Twente.

  Research output: Book/Report › Report › Professional

• A General Cnservative Extension Theorem in Process Algebras with Inqualities

  d' Argenio, P. R. & Verhoef, C., 1996, Enschede: Centre for Telematics and Information Technology (CTIT).

  Research output: Book/Report › Report › Professional

• A general conservative extension theorem in process algebras with inequalities

  d' Argenio, P. R. & Verhoef, C., 1996, University of Twente, Department of Computer Science. 33 p. (Memoranda Informatica; no. 96-17)

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

  Open Access

  File
  28 Downloads (Pure)

• A general framework for coloring problems: old results, new results, and open problems

  Broersma, H. J., 2003, Enschede: University of Twente, Department of Applied Mathematics. 14 p. (Memorandum; no. 1704)

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

  Open Access

  File
  87 Downloads (Pure)

• A Generalised Approach to Software Structure Metrics

  van den Broek, P. M. & van den Berg, K. G., Apr 1994, Enschede: University of Twente. 15 p. (Memoranda informatica; no. 94-22)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  22 Downloads (Pure)

• A generalization of AT-free graphs and a generic algorithm for solving triangulation problems

  Broersma, H., Kloks, T., Kratsch, D. & Müller, H., 1997, Enschede: University of Twente. 18 p. (Memorandum; no. 1385)

  Research output: Book/Report › Report › Professional

• A generalization of AT-free graphs and a generic algorithm for solving triangulation problems

  Broersma, H. J., Kloks, T., Kratsch, D. & Müller, H., 1998, Prague: Charles University. 21 p.

  Research output: Book/Report › Report › Professional

• A generalized clustering algorithm for dynamic wireless sensor networks

  Marin Perianu, R., Hurink, J. L. & Hartel, P. H., Sep 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT Technical Report Series; no. 08-56)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  2 Citations (Scopus)

  180 Downloads (Pure)

• A generalized traction curve for EHL contacts

  Jacod, B. & Venner, C. H., 2000, Enschede: Universiteit Twente. 10 p.

  Research output: Book/Report › Report › Professional

• A general semantic framework for design of federated database systems

  Balsters, H. & de Brock, E. O., 2000, Rijksuniversiteit Groningen: Onderzoeksinstituut SOM. 11 p.

  Research output: Book/Report › Report › Professional

• A Generator for Attribute Evaluators in a Functional Language

  Wolters, W., 1990, Universiteit Twente, Faculteit Informatica. 17 p. (Memoranda informatica)

  Research output: Book/Report › Report › Professional

• A Generator for Turing Machine Simulating Programs: User's Manual

  Asveld, P. R. J. & Boiten, E. A., 1986, Enschede: University of Twente, Department of Computer Science. 10 p. (Memoranda Informatica; no. INF-86-31)

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

  Open Access

  File
  61 Downloads (Pure)

• A Generic Material Flow Control Model for Two Different Industries

  Haneyah, S. W. A., Schutten, J. M. J., Schuur, P. & Zijm, W. H. M., 2012, BETA. (BETA Working papers; no. 378)

  Research output: Book/Report › Report › Professional

• Agent-based Intelligent Management of Distributed Organisational Resources

  Aroyo, L. M., de Diana, I. P. F. & Diakov, N. K., 1998, Sofia: Association for the Development of the Information Society. 7 p.

  Research output: Book/Report › Report › Professional

• Agent-Oriented Approach to Develop Context-Aware Applications: A Case Study on Communities of Practice

  Bonino da Silva Santos, L. O., Guizzardi-Silva Souza, R. & van Sinderen, M. J., May 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 13 p. (CTIT Technical Report Series; no. 05-20)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  26 Downloads (Pure)

• Agents for Task-based Learning Support.

  Aroyo, L. M., 1999, Geen adressering: Geen opgaven.

  Research output: Book/Report › Report › Professional

• A geometric construction of the dual wavefunction of the $n$-component $KP$-hierarchy

  Helminck, G. F., van de Leur, J. W. & van de Leur, J. W., 2000, Enschede: Universiteit Twente. 15 p. (Memorandum Faculteit TW; no. 1533)

  Research output: Book/Report › Report › Professional

  File
  41 Downloads (Pure)

• A Glance at Peer to Peer Systems

  Kaya, O. S., May 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. 05-21)

  Research output: Book/Report › Report › Professional

  File
  118 Downloads (Pure)

• A global analysis of tropical deforestation due to biofuel development

  Gao, Y., Skutsch, M., Masera, O. & Pacheco, P., 2011, Bogor, Indonesia: CIFOR. 100 p. (CIFOR Working paper; vol. 68)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  51 Downloads (Pure)

• A global and high-resolution assessment of the green, blue and grey water footprint of wheat

  Mekonnen, M. & Hoekstra, A. Y., 2010, Delft, the Netherlands: Unesco-IHE Institute for Water Education. 94 p. (Value of water research report 42; no. 42)

  Research output: Book/Report › Report › Professional

  File
  299 Citations (Scopus)

  547 Downloads (Pure)