Search

Your search keyword '"Vermeulen, Kees"' showing total 12 results
Start Over Author "Vermeulen, Kees"
12 results on '"Vermeulen, Kees"'

2. Full monitoring system sows and piglets

Author

Velarde, A., Algers, B., Bracke, M.B.M., Chaloupkova, H., Courboulay, V., D'Eath, R., Edwards, S.A., Forkman, B., Geers, R., Geverink, N.A., Guy, J.H., Hautekiet, V., Illmann, G., Keeling, L., Lammens, V., Lenskens, P., Meuleman, M., Meunier-Salaün, M.C., Millard, A.R., Namestkova, P., Neuhauserova, K., van Nuffe, A., van Reenen, C.G., Scott, K., Spinka, M., Spoolder, H.A.M., van Steenbergen, L., Turner, S., Tuyttens, F., Vermeulen, Kees, Wemelsfelder, F., and Dalmau, A.

Subjects
Leerstoelgroep Ethologie, Research, WIAS, Life Science, Research Institute for Animal Husbandry, Chair Ethology, Wageningen Livestock Research, Praktijkonderzoek Veehouderij, Onderzoek
Published
2007

3. Full monitoring system fattening pigs

Author

Velarde, A., Algers, B., Bracke, M.B.M., Courboulay, V., D'Eath, R., Edwards, S.A., Fabrega, E., Forkman, B., Geers, R., Geverink, N.A., Gispert, M., Guy, J.H., Hautekiet, V., Keeling, L., Lammens, V., Lenskens, P., Meuleman, M., Meunier-Salaün, M.C., Millard, A.R., Nordensten, L., van Nuffel, A., van Reenen, C.G., Scott, K., Spoolder, H.A.M., van Steenbergen, L., Turner, S., Tuyttens, F., Vermeulen, Kees, Wemelsfelder, F., and Dalmau, A.

Subjects
Leerstoelgroep Ethologie, Research, WIAS, Life Science, Research Institute for Animal Husbandry, Chair Ethology, Wageningen Livestock Research, Praktijkonderzoek Veehouderij, Onderzoek
Published
2007

4. Ondernemen in vraaggestuurde ketens : bouwstenen voor onderwijs en cursussen voor het bouwen van cursussen op HBO, MBO-niveau, (voltijd, deeltijd, duaal, cursorisch), projectverslag RIGO project Green Business School: vraaggestuurde ketens

Author

van Meggelen, Ineke, Vermeulen, Kees, Vermeulen, P.C.M., and Hattink, Toine

Subjects
supply chain management, bedrijfsmanagement, education, onderwijs, Wageningen UR Greenhouse Horticulture, lerarenopleidingen, netherlands, ketenmanagement, business management, Wageningen UR Glastuinbouw, educational courses, nederland
Abstract

De doelstelling van deze module is het beschikbaar maken van kennis waarmee partijen in de plantaardige productieketens de competentie ontwikkelen om besluitvorming t.a.v. marktkeuze en afzetstrategie bewust en onderbouwd te kunnen uitvoeren. Hierbij moeten deze actoren vooral ook ontwikkelingen in de omgeving en maatschappij leren onderkennen en vertalen naar de bedrijfsvoering.

Published
2006

9. Explorations of the dynamic environment

Author

Vermeulen, Kees and Logic and language

Abstract

In this thesis, concerning dynamic semantics, we investigate different techniques that are currently being used in the area. It turns out that one important feature that these techniques have in common is that they make information - that is of global relevance in the interpretation of some text - available locally. Thereby it becomes possible to give a step-by-step analysis of text interpretation. This general principle is illustrated in two specific cases: (i) the dynamic interpretation of variables and quantification, and (ii) a dynamic treatment of the (macro) structure of texts. In these examples it turns out that the combination of different kinds of information is a crucial factor in the development of dynamic semantics.

Published
1994

12. Counting Variables in a Dynamic Setting.

Author

HOLLENBERG, MARCO and VERMEULEN, KEES

Abstract

We discuss the issue of finite variable fragments from a dynamic perspective. In the traditional, static approach to first-order logic this is a well-investigated area of research which is relevant for reasons of memory management. Instead of taking PRED, first-order logic with equality, as our base language, we look at DPLE, a variant of predicate logic developed in the area of dynamic semantics for natural language. DPLE has the same expressive power as PRED, but gives a procedural treatment of the quantifiers: it represents existential quantification as a push operation on a stack. The end of the scope of a quantifier can then be mimicked by a pop operation. We present a characterization of all the finite variable fragments of DPLE. It is shown that, in the presence of =, all formulas of DPLE containing at most n-ary predicates have an equivalent that uses at most n variables. These equivalents can be obtained effectively: reducing the number of variables corresponds to using n stacks for the simulation of programs that run on n + m stacks. [ABSTRACT FROM PUBLISHER]

Published
1996
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results