document

Geochemistry of sulfides in coal and microbial leaching experiments

Kos, C.H. (author), Poorter, R.P.E. (author), Bos, P. (author), Kuenen, J.G. (author)

conference paper 1981

document

Microbiology of sulfur-oxidizing bacteria

Bos, P. (author), Kuenen, J.G. (author)

conference paper 1983

document

A Dutch feasibility study on microbial coal desulfurization

Bos, P. (author), Huber, T.F. (author), Kos, C.H. (author), Ras, C. (author), Kuenen, J.G. (author)

conference paper 1986

document

A Review of Bioenergetics and Enzymology of Sulfur Compound Oxidation by Acidophilic Thiobacilli

Kuenen, J.G. (author), Pronk, J.T. (author), Hazeu, W. (author), Meulenberg, R. (author), Bos, P. (author)

conference paper 1993

document

Thiobacillus ferrooxidans, a versatile mineworker

Bos, P. (author), Meulenberg, R. (author), Pronk, J.T. (author), Hazeu, W. (author), Kuenen, J.G. (author)

conference paper 1994

document

A Dynamic Systems Framework for Multi-Agent Experiments

Bos, A. (author), De Weerdt, M.M. (author), Witteveen, C. (author), Tonino, J.F.M. (author), Valk, J. (author)

conference paper 1999

document

A Plan Fusion Algorithm for Multi-Agent Systems

De Weerdt, M.M. (author), Bos, A. (author), Tonino, J.F.M. (author), Witteveen, C. (author)

We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits. A computational resources and skills framework is developed for representing the planned activities of an agent under time constraints. Using this resource-skill...

conference paper 2000

document

A Framework for Multi-Agent Planning

Bos, A. (author), Tonino, J.F.M. (author), De Weerdt, M.M. (author), Witteveen, C. (author)

We introduce a computational framework, consisting of resources, skills, goals and services to represent the plans of individual agents and to develop models and algorithms for cooperation processes between a collection of agents.

conference paper 2000

document

An algorithm for replanning

Van der Krogt, R.P.J. (author), Bos, A. (author), De Weerdt, M.M. (author), Witteveen, C. (author)

conference paper 2000

document

Multi-agent Cooperation in a Planning Framework

De Weerdt, M.M. (author), Bos, A. (author), Tonino, J.F.M. (author), Witteveen, C. (author)

The promise of multi-agent systems is that multiple agents can solve problems more efficiently than single agents can. In this paper we propose a method to implement cooperation between agents in the planning phase, in order to achive more cost-effective solutions than without cooperation. Two results are presented: First of all, we introduce a...

conference paper 2000

document

Fusion of Plans in a Framework with Constraints

De Weerdt, M.M. (author), Bos, A. (author), Tonino, J.F.M. (author), Witteveen, C. (author)

The promise of multi-agent systems is that multiple agents can solve problems more efficiently than single agents can. In this paper we propose a method to implement cooperation between agents in the planning phase, in order to achieve more cost-effective solutions than without cooperation. Two results are presented: First of all, we introduce a...

conference paper 2000

document

Improving efficiency by plan fusion in a personal transport domain

De Weerdt, M.M. (author), Bos, A. (author), Tonino, J.F.M. (author), Witteveen, C. (author)

ƒ†Œˆœ

conference paper 2000

document

Car driver's preferences for P&R facilities: An application of the HII approach

Bos, D.M. (author), Molin, E.J.E. (author), van der Heijden, R.E.C.M. (author), Timmermans, H.J.P. (author)

conference paper 2002

document

Robust estimation of the noise variance from background MR data

Sijbers, J. (author), Den Dekker, A.J. (author), Poot, D. (author), Bos, R. (author), Verhoye, M. (author), Van Camp, N. (author), Van der Linden, A. (author)

In the literature, many methods are available for estimation of the variance of the noise in magnetic resonance (MR) images. A commonly used method, based on the maximum of the background mode of the histogram, is revisited and a new, robust, and easy to use method is presented based on maximum likelihood (ML) estimation. Both methods are...

conference paper 2006

document

The relation between motions of moored ships due to wake wash of passings vessls and the hindrance thereof

Luth, H. Robert (author), Bos, J. (author), Keuning, J.A. (author), van der Hout, I. (author)

conference paper 2009

document

English Language Test for Scientific Staff at D.U.T.

Klaassen, R.G. (author), Bos, M.H.P.C. (author), Roubos, Tim (author)

Delft University of Technology (DUT) screened her (non-native English) scientific staff on their level of language proficiency over the year academic 2006/2007. In this paper the large scale operation, involving planning, policy decisions, assessment means, advise and training are discussed. Results are framed against the background of becoming...

conference paper 2009

document

Surgical Quay-wall Renovation

Bos, J.W. (J.Bos@royalhskoning.com) (author), Winde, S.C. (sc.winde@portofrotterdam.com) (author)

This paper describes an innovative approach towards quay wall renovation design. In the “RDM Kraanbaan 13” project in Rotterdam, significant cost savings were made and environmental impact was minimised, while on a tight schedule and with limited information about the structure and its future use. Essential were a very practical and flexible...

conference paper 2010

document

Formation flying as an innovative air transportation system for long-haul commercial flight: A focus on operational feasibility and potential gain

Herinckx, L.E. (author), Gutleb, T.L.M. (author), Van Nunen, R. (author), Van Rompuy, E. (author), Bos, D.A. (author), Dijkers, H.P.A. (author), De Wit, J. (author), Radfar, H. (author), Sahin, S.E. (author), Beelarts van Blokland, W.W.A. (author)

Formation flying is introduced as a new and innovative air transportation system for long-haul commercial flight. With this paper the operational feasibility of formation flying is addressed, both from a market demand and economic, as well as an air traffic control perspective. Preliminary results of a case study indicate that operating a newly...

conference paper 2011

document

Integrated Design of a Long-Haul Commercial Aircraft Optimized for Formation Flying

Dijkers, H.P.A. (author), Van Nunen, R. (author), Bos, D.A. (author), Gutleb, T.L.M. (author), Herinckx, L.E. (author), Radfar, H. (author), Van Rompuy, E. (author), Sayin, S.E. (author), De Wit, J. (author), Beelaerts van Blokland, W.W.A. (author)

The airline industry is under continuous pressure to reduce emissions and costs. This paper investigates the feasibility for commercial airlines to use formation flight to reduce emissions and fuel burn. To fly in formation, an aircraft needs to benefit from the wake vortices of the preceding aircraft. This requires a stable aerodynamic flow,...

conference paper 2011

document

A tool for GNSS integrity verification based on statistical extreme value theory

Veerman, H. (author), Van Kleef, A. (author), Wokke, F. (author), Ober, O. (author), Tiberius, C.C.J.M. (author), Verhagen, A.A. (author), Bos, A. (author), Mieremet, A. (author)

The paper presents a short introduction to the mathematical theory of the EVT, the consecutive steps that are made in the software tool to address MI probability estimation and proof of range error distribution overbounding. Finally some early results obtained by GIMAT are presented.

conference paper 2012