Výsledky vyhledávání

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Eco-engineered coastal defense integrated with sustainable aquatic food production in Bangladesh (ECOBAS)

Autor: Tangelder, M., Ysebaert, T., Chowdhury, Shah, Reinhard, A.J., Doorn, F., Hossain, M., Smaal, A.C.

The objective of the ECOBAS project is to provide the coastal people of Bangladesh with an alternative approach for adaptation to coastal erosion and flooding. By using the concept of “eco-engineering” the natural resistance of shellfish reefs ag

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6caf74cd58b91fabeb415506a788e8e1
https://research.wur.nl/en/publications/eco-engineered-coastal-defense-integrated-with-sustainable-aquati

Zobrazit plný text záznamu

Explicit convertibility proofs in pure type systems

Autor: Doorn, F. van, Geuvers, H., Wiedijk, F., Momiglinao, A.

Publikováno v: Momiglinao, A. (ed.), LFMTP '13 : Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, September 25-27, Boston, MA, USA, pp. 25-36
LFMTP
Momiglinao, A. (ed.), LFMTP '13 : Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, September 25-27, Boston, MA, USA, 25-36. New York : ACM
STARTPAGE=25;ENDPAGE=36;TITLE=Momiglinao, A. (ed.), LFMTP '13 : Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, September 25-27, Boston, MA, USA
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice (LFMTP'13, Boston MA, USA, September 23, 2013; in conjunction with ICFP'13), 25-36
STARTPAGE=25;ENDPAGE=36;TITLE=Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice (LFMTP'13, Boston MA, USA, September 23, 2013; in conjunction with ICFP'13)

We define type theory with explicit conversions. When type checking a term in normal type theory, the system searches for convertibility paths between types. The results of these searches are not stored in the term, and need to be reconstructed every

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::817f7e3ac8e42f6c27f97768fd07db4f
http://doi.acm.org/10.1145/2503887.2503890

Zobrazit plný text záznamu

Tax competition and the harmonisation of corporate tax rates in Europe

Autor: McCarthy, K.J., van Doorn, F., Unger, B., Jovanovic, Miroslav N.

Publikováno v: Competition, Spatial Location of Economic Activity and Financial Issues, 552-576
STARTPAGE=552;ENDPAGE=576;TITLE=Competition, Spatial Location of Economic Activity and Financial Issues

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::62234b6b0dab3ebd1b0d21bb784e654b
https://research.rug.nl/en/publications/c3d08e33-b7e5-48e5-9414-19866a26438d

Zobrazit plný text záznamu

Integrale logistieke besturing bij Magista

Autor: van Doorn, F., Igel, M., Ploos van Amstel, W.

Publikováno v: Handboek logistiek : logistiek management, material management, fysieke distributie, A1091-1/19
STARTPAGE=A1091;ENDPAGE=1/19;TITLE=Handboek logistiek : logistiek management, material management, fysieke distributie

Het verdient aanbeveling om ieder halfjaar een verkoopplan te maken. Daaruit moet een HPP worden opgesteld up het niveau van de KOOP-artikelen en worden doorgerekend op de gevolgen voor de produktiecapaciteit. Het HPP dient ook als referentiekader vo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::414ab988c554183e3e7ccf7bda1f1bc3
https://research.tue.nl/nl/publications/6eabaad7-423e-4511-9778-6f6b02e90ca6

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání