- document
-
Attema, T. (author), Dunning, V.A. (author), Everts, M. (author), Langenkamp, P. (author)We present a novel compiler for transforming arbitrary, passively secure MPC protocols into efficient protocols with covert security and public verifiability in the honest majority setting. Our compiler works for protocols with any number of parties > 2 and treats the passively secure protocol in a black-box manner. In multi-party computation ...conference paper 2022
- document
-
Sioutas, S. (author), Stuijk, S. (author), Basten, T. (author), Corporaal, H. (author), Somers, L. (author)The Halide DSL and compiler have enabled high-performance code generation for image processing pipelines targeting heterogeneous architectures through the separation of algorithmic description and optimization schedule. However, automatic schedule generation is currently only possible for multi-core CPU architectures. As a result, expert...conference paper 2020
- document
-
Sioutas, S. (author), Stuijk, S. (author), Corporaal, H. (author), Basten, A.A. (author), Somers, L. (author)Memory-bound applications heavily depend on the bandwidth of the system in order to achieve high performance. Improving temporal and/or spatial locality through loop transformations is a common way of mitigating this dependency. However, choosing the right combination of optimizations is not a trivial task, due to the fact that most of them...conference paper 2018
- document
-
Fu, X. (author), Rol, M.A. (author), Bultink, C.C. (author), van Someren, J. (author), Khammassi, N. (author), Ashraf, I. (author), Vermeulen, R.F.L. (author), De Sterke, J.C. (author), Vlothuizen, W.J. (author), Schouten, R.N. (author), Almudever, C.G. (author), DiCarlo, L. (author), Bertels, K. (author)Quantum computers promise to solve certain problems that are intractable for classical computers, such as factoring large numbers and simulating quantum systems. To date, research in quantum computer engineering has focused primarily at opposite ends of the required system stack: devising high-level programming languages and compilers to...conference paper 2017
- document
-
Bosse, T. (author), van Lambalgen, R. (author), Maanen, P.P. (author), Treur, J. (author), TNO Defensie en Veiligheid (author)This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four submodels, including a model to reason about a subject's attention. The model was evaluated based on a practical case study which was formally analysed and verified using...conference paper 2009
- document
-
Heuvelink, A. (author), Both, F. (author), TNO Defensie en Veiligheid (author)Simulation-based training in complex decision-making can be made more effective by using intelligent software agents to play key roles, such as teammates, opponents and instructors. This paper presents a cognitive software agent that is capable of compiling a tactical picture in the domain of Naval Anti-Surface Warfare. The agent is implemented...conference paper 2007
- document
-
TNO Defensie en Veiligheid (author), van Doesburg, W.A. (author)Accurate and efficient models of human behavior offer great potential in military and crisis management applications. However, little attention has been given to the man ner in which it can be determined if this potential is actually realized. In this study a quality assessment approach that combines the perspectives of application users,...conference paper 2007
- document
-
TNO Fysisch en Elektronisch Laboratorium (author), Kemp, R.A.W. (author)The analysis of video observation tapes can be tedious and tiring work. An analysis system can relieve this burden and create a compilation tape autonomously. Working unattended AVACS creates a tape and a Compact Disk (CD) with only the images-of-interest.conference paper 2002
- document
-
Energieonderzoek Centrum Nederland (author), van Arkel, W.G. (author), Kroon, P. (author), van Dril, A.W.N. (author), Uyterlinde, M.A. (author), Jeeninga, H. (author), Burger, H. (author)-report 2001
- document
-
Energieonderzoek Centrum Nederland (author), de Raad, A. (author), va. Wees, M.T. (author)-report 2001
- document
-
Energieonderzoek Centrum Nederland (author), van Arkel, W.G. (author), Kroon, P. (author), van Dril, A.W.N. (author), Uyterlinde, M.A. (author), Jeeninga, H. (author), Burger, H. (author)The study uses energy efficiency indicators to present and review theenergy efficiency situation in the Netherlands in the last decades. The indicators are calculated along a common methodology, using the ODYSSEE database and national data. Such analysis leads to a better understanding of national developments, because indicators allow for a...report 2000
- document
-
Energieonderzoek Centrum Nederland (author), Lako, P. (author), Gilijamse, W. (author), de Groot, A. (author), Ruijg, G.J. (author), van der Woude, R.R. (author), de Noord, M. (author), de Boer, B.J. (author), Jong, M.J.M. (author)-report 2000
- document
-
Energieonderzoek Centrum Nederland (author), Volkers, C.H. (author), McKay, P.C. (author)-report 1999