Find Research Output

Search concepts
Selected filters
Report

Proof of a conjecture of Narayana on dominance refinements of the Smirnov two-sample tests

Di Bucchianico, A. & Loeb, D. E., 1994, Eindhoven: Technische Universiteit Eindhoven. 6 p. (Memorandum COSOR; vol. 9418)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

PROOFS: formalisms and methods

Aalst, van der, W. M. P. & Hee, van, K. M., 1993, Eindhoven: Capaciteitsgroep Informatica. (TUE-TR-0035-V4.0-WP1)

Research output: Book/ReportReportAcademic

Proofs of partial knowledge and simplified design of witness hiding protocols

Cramer, R., Damgard, I. & Schoenmakers, B., 1994, Amsterdam: Centrum voor Wiskunde en Informatica. 18 p. (CWI report. CS-R; vol. 9413)

Research output: Book/ReportReportAcademic

625 Citations (Scopus)

Propagatie van elektromagnetische golven langs voorspanstaven in betonconstructies

Tijhuis, A. G. & Ongers, I. C., 1994, Eindhoven: Technische Universiteit Eindhoven. 44 p.

Research output: Book/ReportReportPopular

Open Access
File
66 Downloads (Pure)

Proper orthogonal decomposition model order reduction of nonlinear IC models

Verhoeven, A., Striebel, M., Rommes, J., Maten, ter, E. J. W. & Bechtold, T., 2008, Eindhoven: Technische Universiteit Eindhoven. 8 p. (CASA-report; vol. 0833)

Research output: Book/ReportReportAcademic

Open Access
File
62 Downloads (Pure)

Properties of Fourier-Stieltjes sequences of distributions with support in [0,1)

Wilms, R. J. G., 1991, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Memorandum COSOR; vol. 9106)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

Property-dependent reductions for the modal mu-calculus

Mateescu, R. & Wijs, A. J., 2011, Grenoble: INRIA. 33 p. (Rapport de Recherche; vol. 7690)

Research output: Book/ReportReportAcademic

7 Citations (Scopus)

Proposal for amendment on IEC 268-13: listening tests on loudspeakers

Houtsma, A. J. M., 1988, The Hague: Committee Methodology Loudspeaker Testing. 21 p.

Research output: Book/ReportReportAcademic

Proposal for a prototype integrated system for non-programmer's personal and professional information management (PIM) in natural language

Hajek, J., 1982, Eindhoven: Technische Hogeschool Eindhoven. 24 p. (Computing centre note; vol. 12)

Research output: Book/ReportReportPopular

Open Access
File
13 Downloads (Pure)

Proposal for cooperative research on testing and classification of cemented carbide tool materials

Kals, H. J. J. & Veenstra, P. C., 1974, Eindhoven: Technische Hogeschool Eindhoven. 21 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0333)

Research output: Book/ReportReportPopular

Open Access
File
35 Downloads (Pure)

Proposal of a PQ-DER lab

Morales Gonzalez, R. M. D. G., 2011, Eindhoven: Technische Universiteit Eindhoven.

Research output: Book/ReportReportAcademic

Proposed system architecture for MEDIAN 2

Berkvens, W. A. H., 1998, Technische Universiteit Eindhoven. 4 p.

Research output: Book/ReportReportAcademic

ProRisk: risk analysis instrument : developed for William properties

van Doorn, W. H. W., Egeberg, I., Hendrickx, K., Kahramaner, Y., Masseur, B., Waijers, K. & Weglicka, K. A., 2005, Eindhoven: Technische Universiteit Eindhoven. Stan Ackermans Instituut. 65 p. (ADMS-reeks; vol. 23)

Research output: Book/ReportReportAcademic

Prosodic manipulation of speech using knowledge of instants of significant excitation

Yegnanarayana, B. & Teunen, R., 23 Dec 1994, Eindhoven: Instituut voor Perceptie Onderzoek (IPO). 11 p. (IPO-Rapport; vol. 1029)

Research output: Book/ReportReportPopular

Prosodische kenmerken als signalen voor tekststructuur: een verkennend onderzoek naar de relatie tussen fonetiek en tekstwetenschap

Dassen, I., Noordman, L., Swerts, M. G. J. & Terken, J. M. B., 15 Aug 1995, Eindhoven: Instituut voor Perceptie Onderzoek (IPO). 63 p. (IPO rapport; vol. 1066)

Research output: Book/ReportReportPopular

Prospectief onderzoek naar de marktaandeel- ontwikkeling op de telecommunicatiemarkten voor internettoegang, vaste telefonie en zakelijke netwerkdiensten

van der Vorst, T., Brennenraedts, R., Veldkamp, J., Jager, C-J. & Bekkers, R. N. A., 2014, Utrecht: Dialogic. 108 p. (Publication; vol. 2013.147.1403)

Research output: Book/ReportReportAcademic

Open Access
File
178 Downloads (Pure)

Prospective classification of distance-transitive graphs

Bon, van, J. T. M. & Cohen, A. M., 1988, Amsterdam: Centrum voor Wiskunde en Informatica. 11 p. (CWI report. PM-R; vol. 8804)

Research output: Book/ReportReportAcademic

Open Access
File
46 Downloads (Pure)

Prospects for Jatropha biofuels in developing countries : an analysis for Tanzania with strategic niche management

Eijck, van, J. A. J. & Romijn, H. A., 2006, Eindhoven: Technische Universiteit Eindhoven. (ECIS working paper series; vol. 200612)

Research output: Book/ReportReportAcademic

Open Access
File
424 Downloads (Pure)

Protective effect of lead aprons in medical radiology

Huyskens, C. J., 23 Oct 1995, Eindhoven: Technische Universiteit Eindhoven. 11 p. (Technische Universiteit Eindhoven. Stralingsbeschermingsdienst rapport; vol. 12601b)

Research output: Book/ReportReportAcademic

Open Access
File
4 Downloads (Pure)

Protocol for the Baltimore longitudinal study on aging : gait and respiration analysis

Olmer, E., 1994, Eindhoven: Technische Universiteit Eindhoven. 50 p. (BMGT; vol. 94.915)(DCT rapporten; vol. 1994.118)

Research output: Book/ReportReportPopular

Open Access
File
66 Downloads (Pure)

Protocolo de la prueba piloto en campo de herramientas de fondo con fluído densificado con ORIMATITA® mejorada

Alvarez, R. & Quercia Bianchi, G., 2002, Los Teques, Venezuela: CIT PDVSA Intevep.

Research output: Book/ReportReportAcademic

Protocolo general para la prueba de campo en Occidente utilizando ORIMATITA® mejorada con aditivo INTOIL® P como reductor de abrasividad

Quercia Bianchi, G. & Contreras, H., 2002, Los Teques, Venezuela: CIT PDVSA Intevep.

Research output: Book/ReportReportAcademic

Prototype of the Numlab program : a laboratory for numerical engineering

Buskens, J. P. E. & Slob, M. J. D., 1996, Eindhoven: Eindhoven University of Technology. 47 p. (RANA : reports on applied and numerical analysis; vol. 9604)

Research output: Book/ReportReportPopular

Open Access
File
41 Downloads (Pure)

Prototypes of the hardware implementation tools.

Corvino, R., Jordans, R., Nery, A. S. & Jozwiak, L., 2012, Eindhoven: ASAM. 26 p. (ARTEMIS; vol. 2009-1-ASAM-100265-D4.6)

Research output: Book/ReportReportAcademic

Prototype tools for application analysis/profiling and parallelization

Diken, E., Corvino, R. & Jozwiak, L., 2011, Eindhoven: ASAM. 44 p. (ARTEMIS; vol. 2009-1-ASAM-100265-D3.5)

Research output: Book/ReportReportAcademic

Prototype tools for application analysis/profiling and parallelization

Diken, E., Corvino, R. & Jozwiak, L., 2012, ASAM. 66 p.

Research output: Book/ReportReportAcademic

Prototype tools for computational pattern identification and selection

Jordans, R., Corvino, R., Nery, A. S. & Jozwiak, L., 2012, Eindhoven: ASAM. 26 p. (ARTEMIS; vol. 2009-1-ASAM-100265-D3.6)

Research output: Book/ReportReportAcademic

Proving a conjecture of V. Strehl on necklaces

Bruijn, de, N. G., 1995, S.l.: s.n. 1 p. (Publicaties de Bruijn; vol. M36)

Research output: Book/ReportReportPopular

Open Access
File
35 Downloads (Pure)

Proving liveness with fairness using rewriting

Koprowski, A. & Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0506)

Research output: Book/ReportReportAcademic

Open Access
File
48 Downloads (Pure)

Proving looping and non-looping non-termination by finite automata

Endrullis, J. & Zantema, H., 2015, s.n. 20 p. (arXiv; vol. 1505.00478 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)

Proving monitors revisited : a first step towards verifying object oriented systems

Gerth, R. T. & Roever, de, W. P., 1986, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computing science notes; vol. 8613)

Research output: Book/ReportReportAcademic

Open Access
File
54 Downloads (Pure)

Proving termination of graph transformation systems using weighted type graphs over semirings

Bruggink, H. J. S., König, B., Nolte, D. & Zantema, H., 2015, s.n. 19 p. (arXiv; vol. 1505.01695 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
5 Citations (Scopus)
75 Downloads (Pure)

Proving termination of parallel programs

Apt, K. R., Boer, de, F. S. & Olderog, E-R., 1990, Eindhoven: Technische Universiteit Eindhoven. 7 p. (Computing science notes; vol. 9013)

Research output: Book/ReportReportAcademic

Open Access
File
92 Downloads (Pure)

Proviola: a tool for proof re-animation

Tankink, C., Geuvers, J. H., McKinna, J. & Wiedijk, F., 2010, s.n. 15 p. (arXiv.org [cs.DL]; vol. 1005.2672)

Research output: Book/ReportReportAcademic

14 Citations (Scopus)
1 Downloads (Pure)

Provisional report on cooperative work on the dynamic cutting coefficient carried out at Eindhoven

Kals, H. J. J., 1969, Eindhoven: Technische Hogeschool Eindhoven. 21 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0213)

Research output: Book/ReportReportPopular

Open Access
File
33 Downloads (Pure)

Proximity, knowledge base and the innovation process : the case of Unilever's Becel diet margarine

Davids, M. & Frenken, K., 2015, Eindhoven: Technische Universiteit Eindhoven. 37 p. (ECIS working paper series; vol. 201501)

Research output: Book/ReportReportAcademic

Open Access
File
145 Downloads (Pure)

Proximity matters : synergies through co-location of logistics establishments

Heuvel, van den, F. P., Langen, de, P. W., Donselaar, van, K. H. & Fransoo, J. C., 2012, Eindhoven: Technische Universiteit Eindhoven. 33 p. (BETA publicatie : working papers; vol. 387)

Research output: Book/ReportReportAcademic

Open Access
File
153 Downloads (Pure)

Proximity matters : synergies through co-location of logistics establishments

Heuvel, van den, F. P., Langen, de, P. W., Donselaar, van, K. H. & Fransoo, J. C., 2012, Eindhoven: Technische Universiteit Eindhoven. 32 p. (BETA publicatie : working papers; vol. 380)

Research output: Book/ReportReportAcademic

Open Access
File
49 Downloads (Pure)

Pruning state spaces with extended beam search

Torabi Dashti, M. & Wijs, A. J., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 19 p. (CWI report. SEN-R : software engineering; vol. 0610)

Research output: Book/ReportReportAcademic

1 Downloads (Pure)

Pseudo-conservation laws in cyclic-service systems

Boxma, O. J. & Groenendijk, W. P., 1986, Amsterdam: Centrum voor Wiskunde en Informatica. 12 p. (CWI Report; vol. OS-R8606)

Research output: Book/ReportReportAcademic

Pseudo-linear scale-space theory : towards the integration of linear and morphological scale-space paradigms

Florack, L. M. J. & Maas, R., 1997, Utrecht: Utrecht University. 8 p. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9725)

Research output: Book/ReportReportAcademic

Open Access
File
25 Downloads (Pure)

Pseudo maximum likelihood estimation for differential equations

Lalam, N. & Klaassen, C. A. J., 2006, Eindhoven: Eurandom. 14 p. (Report Eurandom; vol. 2006018)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

PSIM ontology structure: Deliverable 2.1; WP 2

Goossenaerts, J. B. M., Pelletier, C. M. P., Reyneri, L. M., van den Berg, R. J. & Zwegers, A. J. R., 2000, Brussels: EU. 26 p.

Research output: Book/ReportReportAcademic

Psi reference manual

Tosserams, S., Hofkamp, A. T., Etman, L. F. P. & Rooda, J. E., 2009, Eindhoven: Technische Universiteit Eindhoven. 119 p. (SE report; vol. 2009-04)

Research output: Book/ReportReportAcademic

Open Access
File
50 Downloads (Pure)

PSODELEX v.1.0: een delexicalisatietool gebruikmakend van PSOLA-synthese

Smits, M. & de Pijper, J. R., 15 Dec 1994, Eindhoven: Instituut voor Perceptie Onderzoek (IPO). 23 p. (IPO-Rapport; vol. 1024)

Research output: Book/ReportReportPopular

Psychiatrie en technologie : afstemming op stemmingsstoornissen

Graafmans, J. A. M., Hofhuis, J. E. & Brouwers, A., 1987, Eindhoven: Technische Universiteit Eindhoven. 64 p. (BMGT; vol. 87.354)

Research output: Book/ReportReportPopular

Open Access
File
134 Downloads (Pure)

Psycho-acoustical evaluation of pitch-marker positioning in natural speech

Houben, M. M. J., 5 Nov 1996, Eindhoven: Instituut voor Perceptie Onderzoek (IPO). 21 p. (IPO-Rapport; vol. 1132)

Research output: Book/ReportReportPopular

Psycholinguistics and electronic publishing : relevant experimental data from reading, writing and translating technical texts

Ulijn, J. M., 1992, Duisburg: Linguistic Agency University of Duisburg. 29 p. (Universitaet Duisburg Gesamthochschule. L.A.U.D. Series C: Language for specific purposes; vol. 22)

Research output: Book/ReportReportPopular

Open Access
File
61 Downloads (Pure)