Find Research Output

A decision support system for a crane plan as part of a generic construction plan

Gassel, van, F. J. M. & Schaefer, W. F., 1999, Proceedings 16th IAARC/IFAC/IEEE International Symposium on Automation and Robotics in Construction.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

A Decision Support System for Building Refurbishment Design

Leeuwen, van, J. P., Vries, de, B. & Oetelaar, den, E. L. W., 2000, Proceedings of the International Conference on Construction Information Technology. Gudnason, G. (ed.). Reykjavik, Iceland

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

A Decision Support System for Housing Management

Smeets, J. J. A. M. & Maussen, S. J. E., 1998, Proceedings 4th Design and Decision Support Systems in Architecture and Urban Planning Conference.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2 Downloads (Pure)

A decision support system for housing management : towards an integration of object related technical, commercial and financial

Smeets, J. J. A. M. & Maussen, S. J. E., 1998, Proceedings of the 4th Design and Decision Support Systems in Architecture and Urban Planning Conference, Maastricht. Timmermans, H. J. P. (ed.).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Decision support systems
Decision making
Decision table
Investment policy
Strategic management
2 Downloads (Pure)

A Decision Support System for Land-Use Selection Decisions Using a Combined AHP and KBS Approach

Dousma, G., Arentze, T. A., Borgers, A. W. J. & Smeets, J. J. A. M., 2000, Design and Decisions Support Systems in Urban Planning, Nijkerk, August 2000. Timmermans, H. J. P. & Vries, de, B. (eds.). Eindhoven: Eindhoven University of Technology, p. 80-101

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Decision tables
Knowledge acquisition
Spreadsheets
Decision support systems
Land use

A decision support system for locating facilities and routing traffic on a factory site

Derks, J. J. M. & Spieksma, F. C. R., 1996, In : Jorbel : Belgian Journal of Operations Research, Statistics, and Computer Science. 36, 2-3, p. 173-184

Research output: Contribution to journalArticleAcademicpeer-review

Decision support systems
Industrial plants
Cements
Quarries

A decision support system for location and allocation problems within a brewery

van Nunen, J. A. E. E. & Benders, J. F., 1992, Operations Research Proceedings 1981 (Papers of the 10th Annual Meeting of DGOR, Göttingen, Germany, September 30-October 2, 1981). Fleischmann, B., Bloech, J., Fandel, G., Seifert, O. & Weber, H. (eds.). Berlin: Springer, p. 96-105

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

103 Downloads (Pure)

A decision support system for location and allocation problems within a brewery

van Nunen, J. A. E. E. & Benders, J. F., 1981, Eindhoven: Technische Hogeschool Eindhoven. (Memorandum COSOR; vol. 8119)

Research output: Book/ReportReportAcademic

Open Access
File
Breweries
Warehouses
Decision support systems
Linear programming
Logistics
1 Citation (Scopus)

A decision support system for manpower planning

van Nunen, J. A. E. E. & Wessels, J., 1986, Quantitative Methods in Management : Case Studies in Failures and Successes. Tilanus, C. B., Gans, de, O. B. & Lenstra, J. K. (eds.). Chichester: Wiley, p. 243-250

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

A decision support system for preliminary design

Groot, de, E. H., Mallory-Hill, S. M., Zutphen, van, R. H. M. & Vries, de, B., 1999, Proceedings of the 8th International Conference on Durability of Building Materials and Components, Vancouver, May 30-June 3, 1999. p. 970-979

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Decision support systems
Life cycle
Decision making
Costs

A decision support system for the Court of East Brabant

Narayan, N., 6 Jan 2020, (Accepted/In press) Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

496 Downloads (Pure)

A decision support system for the planning of retail facilities : theory, methodology and application

van der Heijden, R. E. C. M., 1986, Eindhoven: Technische Universiteit Eindhoven. 334 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
43 Downloads (Pure)

A decision support systems shell in Prolog

Hee, van, K. M. & Nuijten, W. P. M., 1990, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Designing decision support systems notes; vol. 9001)

Research output: Book/ReportReportAcademic

Open Access
File
15 Citations (Scopus)
3 Downloads (Pure)

A decision support system tool for the transportation by barge of import containers : a case study

Fazi, S., Fransoo, J. C. & Woensel, van, T., 2015, In : Decision Support Systems. 79, p. 33-45 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Barges
Decision support systems
Containers
Motor Vehicles
Oceans and Seas

A Decision Support Tool for Bamboo Building

Mardjono, F., Trum, H. M. G. J. & Janssen, J. J. A., 2002, Proceedings of the International Bamboo Housing Workshop, Aizawl, Mizoram, India.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

A decision table system to support provincial spatial policy

Verkerk-Dodd, E. M. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Ontwerp-, Plannings- en Beheerstechnieken van het bouwen en de gebouwde omgeving (OPB), 1996, Eindhoven: Eindhoven University of Technology.

Research output: ThesisPd Eng Thesis

334 Citations (Scopus)
1 Downloads (Pure)

A declarative approach for flexible business processes management

Pesic, M. & Aalst, van der, W. M. P., 2006, Business Process Management Workshops (Proceedings BPM 2006 International Workshops, Vienna, Austria, September 4-7, 2006). Eder, J. & Dustdar, S. (eds.). Berlin: Springer, p. 169-180 (Lecture Notes in Computer Science; vol. 4103).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Business process management
Language
Dynamic process
Business process
Process management
10 Citations (Scopus)
1 Downloads (Pure)

A decommitment strategy in a competitive multi-agent transportation setting

t Hoen, P. J. & Poutré, la, J. A., 2004, Agent Mediated Electronic Commerce V (AMEC-V). Faratin, P., Parkes, D. & Rodriquez-Aguilar, J. (eds.). Berlin: Springer, p. 56-72 (Lecture Notes in Artificial Intelligence LNAI; vol. 3048).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Logistics
Industry
Profitability
Uncertainty
45 Downloads (Pure)

A decomposition approach to solve the quay crane scheduling problem

Sampaio Oliveira, A. H., Urrutia, S. & Oppen, J., 2016, In : arXiv. 1604.00527, 24 p., 1604.00527.

Research output: Contribution to journalArticleAcademic

Open Access
File
Cranes
Scheduling
Decomposition
Vehicle routing
Integer programming

A DECOMSYS based tool-chain for analyzing flexray based automotive control applications

Goswami, D., Seshadri, P., Bordoloi, U. D. & Chakraborty, S., 12 Nov 2009, 2009 IEEE International Conference on Automation Science and Engineering, CASE 2009. Piscataway: Institute of Electrical and Electronics Engineers, p. 403-408 6 p. 5234107

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Communication systems
Scheduling
Specifications
Controllers
Communication
1 Downloads (Pure)

A DECT/Bluetooth Multi-Standard Front-End with Adaptive Image Rejection in 0.18 µm CMOS

Vidojkovic, V., Tang, van der, J. D., Leeuwenburgh, A. J. & Roermund, van, A. H. M., 2004, Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS 2004) 23 - 26 May 2004, Vancouver, British Columbia, Canada. Piscataway, New Jersey, USA: Institute of Electrical and Electronics Engineers, Vol. 1. p. 573-576

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Cordless telephones
Bluetooth
Electric power utilization
2 Downloads (Pure)

A dedicated guided-search displacement algorithm for cardiovascular strain imaging

Petterson, N. J., Van De Vosse, F. N. & Lopata, R. G. P., 20 Oct 2014, IEEE International Ultrasonics Symposium, IUS. IEEE Computer Society, p. 2288-2291 4 p. 6932027

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

data simulation
aorta
inoculation
vessels

A dedicated numerical technique for field simulations of antennas on electromagnetic band-gap substrates

Hon, de, B. P., Beurden, van, M. C., Gonzalo, R., Martinez, B., Ederra, I., Rio, del, C., Azcona, L., Alderman, B. E. J., Huggard, P. G., Marchand, L. & de Maagt, P. J. I., 2004, 27th ESA Antenna Technology Workshop on Innovative Periodic Antennas: Electromagnetic bandgap, left-handed materials, fractal and frequency selective surfaces. Noordwijk, The Netherlands: European Space Agency, p. 505-511

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A dedicated tool for analysing protection selectivity and back-up in large MV networks

Rombouts, S. P. J. & Morren, J., 10 Sep 2010, 10th IET International Conference on Developments in Power System Protection, DPSP 2010 - Managing the Change. 558 CP ed. Vol. 2010. p. 1-5

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Distributed power generation
Electric power distribution
Electric potential
17 Downloads (Pure)

A dedicated verification approach for scheduling in complex manufacturing machines

Nieuwelaar, van den, N. J. M., Driessen, M. M. H. & Groote, J. F., 2004, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0427)

Research output: Book/ReportReportAcademic

Open Access
File
7 Downloads (Pure)

A deep learning method for image-based subject-specific local SAR assessment

Meliadò, E. F., Raaijmakers, A. J. E., Sbrizzi, A., Steensma, B. R., Maspero, M., Savenije, M. H. F., Luijten, P. R. & van den Berg, C. A. T., 1 Feb 2020, In : Magnetic Resonance in Medicine. 83, 2, p. 695-711 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Learning
Computer Simulation
Safety
Uncertainty
Prostate
4 Citations (Scopus)

A defeasible logic programming system for the web

Antoniou, G., Bikakis, A. & Wagner, G. R., 2004, Proc. 16th IEEE Conference on Tools with Artificial Intelligence. IEEE Press, p. 756-757

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

A deficiency of natural deduction

Wiltink, J. G., 1987, In : Information Processing Letters. 25, 4, p. 233-234 2 p.

Research output: Contribution to journalArticleAcademicpeer-review

Natural Deduction
1 Downloads (Pure)

A definition for perceived image quality

Blommaert, F. J. J. & Janssen, T. J. W. M., 1996, In : Perception. 25, Suppl., p. 90-91 2 p.

Research output: Contribution to journalMeeting AbstractAcademic

189 Downloads (Pure)

A defInition of effective shear strain and its application in analysis of flow turning

Veenstra, P. C., 1970, Eindhoven: Technische Hogeschool Eindhoven. 11 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0240)

Research output: Book/ReportReportPopular

Open Access
File
2 Citations (Scopus)

A definition scheme for quantitative bisimulation

Latella, D., Massink, M. & Vink, de, E. P., 2015, Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015, London, UK, April 11-12, 2015). Bertrand, N. & Tribastone, M. (eds.). EPTCS, p. 63-78 (Electronic Proceedings in Theoretical Computer Science; vol. 194).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Bisimulation
Automata
Markov chain
Equivalence
Labeled Transition System
21 Citations (Scopus)
119 Downloads (Pure)

A degradation-based model for joint optimization of burn-in, quality inspection, and maintenance: a light display device application

Feng, Q., Peng, H. & Coit, D. W., 2010, In : International Journal of Advanced Manufacturing Technology. 50, 5, p. 801-808 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Inspection
Display devices
Degradation
Preventive maintenance
Costs
33 Citations (Scopus)
3 Downloads (Pure)

A de Haas-van Alphen study of the field dependence of the Fermi surface in ZrZn2

Ruitenbeek, van, J. M., Verhoef, W. A., Mattocks, P. G., Dixon, A. E., Deursen, van, A. P. J. & Vroomen, De, A. R., 1982, In : Journal of Physics F: Metal Physics. 12, 12, p. 2919-2928 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Fermi surface
Fermi surfaces
Band structure
Orbits
field strength
52 Downloads (Pure)

A deliberation layer for instantiating robot execution plans from abstract task descriptions

Di Marco, D., Janssen, R. J. M., Perzylo, A., Molengraft, van de, M. J. G. & Levi, P., 2013, Proceedings of the International Conference on Automated Planning and Scheduling : Workshop on Planning and Robotics (PlanRob), 11-14 June 2013, Rome, Italy. p. 12-19

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Robots
9 Citations (Scopus)
6 Downloads (Pure)

A delta–sampling verification theorem for discrete–time, possibly discontinuous systems

Bobiti, R. V. & Lazar, M., 2015, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC '15), 14-16 April 2015, Seattle, Washington. New York: Association for Computing Machinery, Inc

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Sampling
Lyapunov functions
Invariance
Hybrid systems
Scalability

Ademinademuit

Hauben, T. T. L. & Vermeulen, M., 1997, In : LisA : Eindhovens Tijdschrift voor Architectuur. 1, 1, p. 18-23 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Eindhoven
Restaurants
Route
Huns
47 Downloads (Pure)

A demonstration of Tribler : peer-to-peer television

Fokker, J. E., Brinke, ten, M., Ridder, de, H., Westendorp, P. H. & Pouwelse, J. A., 2007, Interactive TV: A Shared Experience, TICSP Adjunct Proceedings of EuroITV 2007, May 24-25, 2007, Amsterdam. Lugmayr, A. & Golebiowski, P. (eds.). Tampere: TICSP, p. 185-186 (TICSP Series; vol. 35).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Television
Demonstrations
Video on demand
83 Citations (Scopus)
3 Downloads (Pure)

A DEMS and cyclic voltammetry study of NH3 oxidation on platinized platinum

Gootzen, J. F. E., Wonders, A. H., Visscher, W., Santen, van, R. A. & Veen, van, J. A. R., 1998, In : Electrochimica Acta. 43, 12-13, p. 1851-1861

Research output: Contribution to journalArticleAcademicpeer-review

Adsorbates
Platinum
Cyclic voltammetry
Mass spectrometry
Ammonia
1 Citation (Scopus)

A denotational real-time semantics for shared processors

Hooman, J. J. M., 1991, PARLE'91: Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 10-13, 1991). Aarts, E. H. L., Leeuwen, van, J. & Rem, M. (eds.). Eindhoven: Springer, Vol. 2. p. 184-201 (Lecture Notes in Computer Science; vol. 506).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Program processors
Semantics
Multiprogramming
Message passing
Scheduling

A denotational semantics for synchronous and asynchronous behavior with multiform time

Roncken, M. & Gerth, R. T., 1990, Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990). Kwiatkowska, M. Z., Shields, M. W. & Thomas, R. M. (eds.). Berlin: Springer, p. 21-37

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A dense Pd/Ag membrane reactor for both methanol steam reforming and oxidative steam reforming

Basile, A., Gallucci, F. & Paturzo, L., 2004, p. 124-.

Research output: Contribution to conferencePosterAcademic

66 Citations (Scopus)
1 Downloads (Pure)

A dense Pd/Ag membrane reactor for methanol steam reforming: Experimental study

Basile, A., Gallucci, F. & Paturzo, L., 2005, In : Catalysis Today. 104, 2-4, p. 244-250

Research output: Contribution to journalArticleAcademicpeer-review

Steam reforming
Methanol
Membranes
Hydrogen
Reforming reactions

A dense Pd/Ag membrane reactor for methanol steam reforming : experimental study

Gallucci, F., Paturzo, L., Iulianelli, A. & Basile, A., 2004, p. 127-.

Research output: Contribution to conferencePosterAcademic

4 Citations (Scopus)
12 Downloads (Pure)

A dense spot size converter array fabricated in a generic process on InP

D'Agostino, D., Kleijn, E., Lemos Alvares Dos Santos, R. M., Ambrosius, H. P. M. M. & Smit, M. K., 2013, Integrated Optics Materials Devices, and Applications, 24-28 April 2013, Grenoble, France. Ramiro-Manzano, F., Prtljaga, N., Pavesi, L., Pucker, G. & Ghulinyan, M. (eds.). Bellingham: SPIE, p. 87670Q- (Proceedings of SPIE; vol. 8767).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

converters
chips
fibers
output
crosstalk
20 Citations (Scopus)
3 Downloads (Pure)

A density functional study of the acetoxylation of ethylene to vinyl acetate catalyzed by palladium acetate

Kragten, D. D., Santen, van, R. A., Neurock, M. & Lerou, J. J., 1999, In : Journal of Physical Chemistry B. 103, 15, p. 2756-2765

Research output: Contribution to journalArticleAcademicpeer-review

Palladium
palladium
acetates
Ethylene
Acetates
8 Citations (Scopus)
2 Downloads (Pure)

A density functional study of the adsorption of CO on Rh(111)

Curulla Ferre, D., Linke, R., Clotet, A., Ricart, J. M. & Niemantsverdriet, J. W., 2002, In : Physical Chemistry Chemical Physics. 4, 21, p. 5372-5376

Research output: Contribution to journalArticleAcademicpeer-review

Carbon Monoxide
dipoles
Adsorption
adsorption
chemical effects
69 Citations (Scopus)

A density functional theory analysis of the reaction pathways and intermediates for ethylene dehydrogenation over Pd(111)

Pallassana, V., Neurock, M., Lusvardi, V. S., Lerou, J. J., Kragten, D. D. & Santen, van, R. A., 2002, In : Journal of Physical Chemistry B. 106, 7, p. 1656-1669

Research output: Contribution to journalArticleAcademicpeer-review

Dehydrogenation
dehydrogenation
Density functional theory
Ethylene
ethylene
24 Citations (Scopus)

A density functional theory study of direct oxidation of benzene to phenol by N2O on a [FeO]1+ZSM-5 cluster

Fellah, M. F., Önal, I. & Santen, van, R. A., 2010, In : Journal of Physical Chemistry C. 114, 29, p. 12580-12589 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Phenol
Benzene
phenols
Phenols
Density functional theory
25 Citations (Scopus)

A density functional theory study of HCN hydrogenation to methylamine on Co(111)

Oliva, C., Berg, van den, C., Niemantsverdriet, J. W. & Curulla Ferre, D., 2007, In : Journal of Catalysis. 248, 1, p. 38-45 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Hydrogenation
hydrogenation
Density functional theory
density functional theory
Adsorption
35 Citations (Scopus)
1 Downloads (Pure)

A density functional theory study of HCN hydrogenation to methylamine on Ni(111)

Oliva, C., Berg, van den, C., Niemantsverdriet, J. W. & Curulla Ferre, D., 2007, In : Journal of Catalysis. 245, 2, p. 436-445 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Hydrogen Cyanide
Hydrogenation
hydrogenation
Density functional theory
hydrocyanic acid