Searched for: +
(1 - 9 of 9)
document
Vermaas, H. (author)
report 1981
document
Vermaas, H. (author)
report 1985
document
Bravenboer, M. (author), Kalleberg, K.T. (author), Vermaas, R. (author), Visser, E. (author)
Preprint of paper published in: Science of Computer Programming (Elsevier), 72 (1-2), 2008; doi:10.1016/j.scico.2007.11.003 Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules...
report 2008
document
Kats, L.C.L. (author), Vermaas, R. (author), Visser, E. (author)
The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as domain-specific languages, often remain untested. General-purpose testing techniques and test...
report 2011
document
Vermaas, T. (author)
In Nederland ligt ongeveer 27% van het landoppervlak onder zeeniveau. Ons economische hart - (het westen van) de randstad - is erg kwetsbaar voor overstromingen vanuit zee. Sinds 1990 wordt de kust beschermt door zandsuppleties, ook wel ‘zachte bescherming’ genoemd. In 2001 is besloten om het totale zandvolume van het actieve kustsysteem - het...
report 2012
document
Vermaas, P.E. (author), Nas, Deborah (author), Vandersypen, L.M.K. (author), Elkouss Coronas, D. (author)
Emerging quantum technologies will impact industry and society at large, but how and to what extent we do not know yet. That is why a TU Delft Quantum Vision team set about exploring this impact, with a special focus on quantum internet as the first technology that is likely to become reality.
report 2019
document
Vermaas, P.E. (author), Wimmer, M.T. (author), Lomas, J.D. (author), Almudever, Carmen G. (author), Scappucci, G. (author)
This magazine is both an introduction into quantum computing and an exploration of its impact on our world. It follows on from our 2019 magazine on the quantum internet. Since 2019, much progress has been made in quantum technologies worldwide. In 2020, for instance, the first European quantum computer came online in Delft. Although this is...
report 2022
document
van Heesch, Maran (author), Vermaas, P.E. (author)
De economische en nationale veiligheidsbelangen van Nederland worden beide gediend door snel toegang tot de eerste generaties van grotere operationele quantumcomputers. Het leveren van een sleutelbijdrage aan een Europees project voor het bouwen van deze quantumcomputers lijkt daarvoor het beste middel.
report 2022
document
van Bortel, G.A. (author), Hackauf, U.D. (author), Vermaas, P.E. (author), van Gameren, D.E. (author), Hertogh, M.J.C.M. (author), Van Eekelen, Bregje F. (author), Asselbergs, M.F. (author), Ghorbani, Amineh (author), Groen, E.J. (author), Kloosterziel, A. (author), Spoor, K. (author)
“De woningcrisis biedt kansen. De kans om een duurzaam en langdurig gezond woonklimaat te realiseren.”<br/><br/>Woningnood is geen nieuw verschijnsel in ons land. Al in de negentiende eeuw leidde snelle bevolkingsgroei en verstedelijking tot een huisvestingstekort; de woningwet van 1901 moest daar een eind aan maken. In de wederopbouwjaren na de...
report 2024
Searched for: +
(1 - 9 of 9)