Výsledky vyhledávání - "Hendriks, M.R."

Natural pollution caused by the extremely acidic crater lake Kawah Ijen, East Java, Indonesia

Autor: Lohr, A.J., Bogaard, T.A., Heikens, A., Hendriks, M.R., Sumarti, S., van Bergen, M.J., van Gestel, C.A.M., van Straalen, N.M., Vroon, P.Z., Widianarko, B.

Publikováno v: Lohr, A J, Bogaard, T A, Heikens, A, Hendriks, M R, Sumarti, S, van Bergen, M J, van Gestel, C A M, van Straalen, N M, Vroon, P Z & Widianarko, B 2005, ' Natural pollution caused by the extremely acidic crater lake Kawah Ijen, East Java, Indonesia. ', Environmental Science and Pollution Research International, vol. 12, pp. 89-95 . https://doi.org/10.1065/espr2004.09.118
Environmental Science and Pollution Research International, 12, 89-95. Springer

Background, Aims and Scope. Lakes developing in volcano craters can become highly acidic through the influx of volcanic gases, yielding one of the chemically most extreme natural environments on earth. The Kawah Ijen crater lake in East Java (Indones

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ebd76f74399742aff7affb80e4cc8d34
https://hdl.handle.net/1871.1/9398521e-8b3c-42ff-bb9d-a8a052e6b165

Zobrazit plný text záznamu

Hortonian runoff closure relations for geomorphologic response units: evaluation against field data

Autor: Vannametee, E., Karssenberg, D.J., Hendriks, M.R., Bierkens, M.F.P., Landscape functioning, Geocomputation and Hydrology, Hydrologie

Publikováno v: Hydrology and Earth System Sciences, Vol 17, Iss 7, Pp 2981-3004 (2013)
Hydrology and Earth System Sciences, 17, 2981. European Geosciences Union

This paper presents an evaluation of the closure relation for Hortonian runoff, proposed in Vannametee et al. (2012), that incorporates a scaling component to explicitly account for the process heterogeneity and scale effects in runoff generation for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d63ea99d8888bca91fe3cddc792eb49d
https://dspace.library.uu.nl/handle/1874/310269

Zobrazit plný text záznamu

Automated geomorphological mapping using Multiple Point Geostatistics

Autor: Vannametee, E., Babel, L.C., Karssenberg, D.J., Schuur, J., Hendriks, M.R., Bierkens, M.F.P.

Publikováno v: Geophysical Research Abstracts, 14(EGU2012-2765). Copernicus Publications

The geomorphological map is an important tool for studying land-surface processes. Automated mapping ensures a consistent mapping scheme with a reduced field survey time...

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8a9d50fc4c5a7c95d45d90f9a918a9ff
https://dspace.library.uu.nl/handle/1874/281752

Zobrazit plný text záznamu

Teaching logic using a state-of-the-art proof assistant

Autor: Kaliszyk, C, Wiedijk, F., Hendriks, M.R., van Raamsdonk, F., Geuvers, H., Courtieu, P.

Publikováno v: Istenes, Z. (ed.), FORMED2008: Formal Methods in Computer Science Eduction, Budapest, Hungary, March, 2008, Proceedings. Satellite workshop of ETAPS 2008, pp. 111-120
Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, 37-50. Paris, France : CNAM
STARTPAGE=37;ENDPAGE=50;TITLE=Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education
Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, pp. 37-50
Acta Didactica Napocensia, 3, 2, pp. 35-48
Acta Didactica Napocensia, 3, 35-48
Proceedings of PATE 2007 (International Workshop on Proof Assistants and Types in Education)

Contains fulltext : 249690.pdf (Publisher’s version ) (Open Access) FORMED2008, 29 maart 2008

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1e6eb37255c3e874474891e08abc91ce
https://repository.ubn.ru.nl/handle/2066/249690

Zobrazit plný text záznamu

Teaching logic using a state-of-the-art proof assistant

Autor: Kaliszyk, C, Wiedijk, F., Hendriks, M.R., van Raamsdonk, F.

Publikováno v: Kaliszyk, C, Wiedijk, F, Hendriks, R D A & van Raamsdonk, F 2008, Teaching logic using a state-of-the-art proof assistant . in Z Istenes (ed.), Proceedings of FORMED 2008 (Formal Methods in Computer Science Education) . Budapest, Hungary .
Kaliszyk, C, Wiedijk, F, Hendriks, M R & van Raamsdonk, F 2007, Teaching logic using a state-of-the-art proof assistant . in H Geuvers & P Courtieu (eds), Proceedings of PATE 2007 (International Workshop on Proof Assistants and Types in Education) . Paris, France .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::21c6cd8621b576c530d9c9ffe1f0c6e5
https://hdl.handle.net/1871.1/d4b7eb89-57ae-498c-9f14-dfd4400916f0

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání