- document
-
Attema, T. (author), Fehr, S. (author)In many occasions, the knowledge error κ of an interactive proof is not small enough, and thus needs to be reduced. This can be done generically by repeating the interactive proof in parallel. While there have been many works studying the effect of parallel repetition on the soundness error of interactive proofs and arguments, the effect of...conference paper 2022
- document
- Buendia, V.G. (author), Rodriguez, A.A. (author), Alrushud, K. (author), Podilchak, S.K. (author) conference paper 2022
- document
-
Li, L. (author), Hoefsloot, H. (author), de Graaf, A.A. (author), Acar, E. (author), Smilde, A.K. (author)Background: Analysis of dynamic metabolomics data holds the promise to improve our understanding of underlying mechanisms in metabolism. For example, it may detect changes in metabolism due to the onset of a disease. Dynamic or time-resolved metabolomics data can be arranged as a three-way array with entries organized according to a subjects...article 2022
- document
-
Safari, M. (author), Oortwijn, W. (author), Huisman, M. (author)Many real-world problems such as internet routing are actually graph problems. To develop efficient solutions to such problems, more and more parallel graph algorithms are proposed. This paper discusses the mechanized verification of a commonly used parallel graph algorithm, namely the Bellman–Ford algorithm, which provides an inherently...conference paper 2021
- document
-
Alrushud, K.M. (author), Gomez-Guillamon Buendia, V.A. (author), Podilchak, S.K. (author)A planar quasi-endfire surface-wave antenna (SWA) using substrate integrated waveguide (SIW) technology for integration with CubeSats and other small satellites is proposed in this letter. This antenna can be attached to the body of the satellite, resulting in a compact and low-cost design. A quasi-endfire beam pattern is achieved by the...article 2021
- document
-
Daderman, A.M. (author), Ingelgard, A. (author), Koopmans, L. (author)BACKGROUND: There is a need for a short, self-rated, validated and reliable instrument for individual work performance suitable for generic use in the Swedish work and organizational context. The Individual Work Performance Questionnaire (IWPQ), comprising originally 47 items, was initially developed in the Netherlands, based on a four...article 2020
- document
-
Kulesh, I. (author), Ke, C.T. (author), Thomas, C. (author), Karwal, S. (author), Moehle, C.M. (author), Metti, S. (author), Kallaher, R. (author), Gardner, G.C. (author), Manfra, M.J. (author), Goswami, S. (author)Indium-antimonide (InSb) two-dimensional electron gases (2DEGs) have a unique combination of material properties: high electron mobility, a strong spin-orbit interaction, a large Landé g factor, and a small effective mass. This makes them an attractive platform to explore a variety of mesoscopic phenomena ranging from spintronics to topological...article 2020
- document
-
Sylva, H. (author), Mol, S.T. (author), den Hartog, D.N. (author), Dorenbosch, L. (author)This two-wave study among 637 employees explores how individuals' perceived demands-abilities fit may change over time by virtue of career initiative (i.e., the proactive management of one's career and professional development). Using a parallel growth model, we found that (between-person) career initiative was related to (between-person)...article 2019
- document
-
Zhou, H. (author), Dorsman, J.L. (author), Snelder, M. (author), de Romph, E. (author), Mandjes, M. (author)Activity-based travel demand models (ABMs) are gaining popularity in the field of traffic modeling because of their high level of detail compared to traditional travel demand models. Due to this, however, ABMs have high computational requirements, making ABMs hard to use for analysis and optimization purposes. We address this problem by relying...conference paper 2019
- document
-
Snelder, M. (author), Wesseling, B. (author), van Arem, B. (author), Hertogh, M.J.C.M. (author)When infrastructures projects are evaluated, it is not only important to evaluate them with models that represent the average daily situation, but also to evaluate them in case of irregular situations like incidents. This becomes especially relevant when various project alternatives are expected to show significantly different scores in case of...article 2017
- document
-
Sadeghian Marnani, H. (author), Bijnagte, A.A. (author), Herfst, R.W. (author), Kramer, G.F.IJ. (author), Kramer, L. (author), Dekker, A. (author)In atomic force microscopy (AFM), the exchange and alignment of the AFM cantilever with respect to the optical beam and position-sensitive detector (PSD) are often performed manually. This process is tedious and time consuming, and sometimes damages the cantilever or tip. To increase the throughput of AFM in industrial applications, the ability...article 2017
- document
-
van Es, M.H. (author), Sadeghian Marnani, H. (author)Inspection of EUV mask substrates and blanks is demanding. We envision this is a good target application for massively parallel Atomic Force Microscopy (AFM). We envision to do a full surface characterization of EUV masks with AFM enabling 1nm true 3D resolution over the entire surface. The limiting factor to do this is in the sensor itself:...conference paper 2016
- document
-
Sadeghian Marnani, H. (author), Dekker, A. (author), Herfst, R.W. (author), Winters, J. (author), Eigenraam, A.B.C. (author), Rijnbeek, R.A. (author), Nulkes, N. (author)With the device dimensions moving towards the 1X node and below, the semiconductor industry is rapidly approaching the point where existing metrology, inspection and review tools face huge challenges in terms of resolution, the ability to resolve 3D and the throughput. Due to the advantages of sub-nanometer resolution and the ability of true 3D...conference paper 2015
- document
-
Gerards, S.M.P.L. (author), Dagnelie, P.C. (author), Gubbels, J.S. (author), van Buuren, S. (author), Hamers, F.J.M. (author), Jansen, M.W.J. (author), van der Goot, O.H.M. (author), de Vries, N.K. (author), Sanders, M.R. (author), Kremers, S.P.J. (author)Introduction Lifestyle Triple P is a general parenting intervention which focuses on preventing further excessive weight gain in overweight and obese children. The objective of the current study was to assess the effectiveness of the Lifestyle Triple P intervention in the Netherlands. Method We used a parallel randomized controlled design to...article 2015
- document
-
Peng, X.B. (author), Hirsch, M. (author), Köppen, M. (author), Fellinger, J. (author), Bykov, V. (author), Schauer, F. (author), Vliegenthart, W.A. (author)A 10 channels interferometer will be used in the Wendelstein 7-X (W7-X) for plasma density control and density profile tracking with laser beams passing through the plasma. Due to complex shape of non-planar modular coils and divertor structure, there are no large poloidally opposite ports on the plasma vessel (PV). Therefore 10 in-vessel Corner...article 2014
- document
-
Ladirat, S.E. (author), Schoterman, M.H.C. (author), Rahaoui, H. (author), Mars, M. (author), Schuren, F.H.J. (author), Gruppen, H. (author), Nauta, A. (author), Schols, H.A. (author)In the present double-blind, randomised, parallel intervention study, the effects of the intake of galacto-oligosaccharides (GOS) on the gut microbiota of twelve healthy adult subjects (aged 18-45 years with a normal BMI (18-25 kg/m2)) receiving amoxicillin (AMX) treatment were determined. All the subjects were treated with AMX (375 mg; three...article 2014
- document
-
Sadeghian Marnani, H. (author), van den Dool, T.C. (author), Crowcombe, W.E. (author), Herfstra, R.W. (author), Winters, J. (author), Kramers, G.F.I.J. (author), Koster, N.B. (author)With the device dimensions moving towards the 1X node, the semiconductor industry is rapidly approaching the point where 10 nm defects become critical. Therefore, new methods for improving the yield are emerging, including inspection and review methods with sufficient resolution and throughput. Existing industrial tools cannot anymore fulfill...conference paper 2014
- document
-
Raskovic, M. (author), Varbanescu, A.L. (author), Vlothuizen, W.J. (author), Ditzel, M. (author), Sips, H. (author)Application development for many-core processors is predominately hardware-centric: programmers design, implement, and optimize applications for a pre-chosen target platform. While this approach may deliver very good performance, it lacks portability, being inefficient for applications that aim to use multiple architectures or large-scale...conference paper 2011
- document
-
Vlothuizen, W.J. (author), Ditzel, M. (author), TNO Defensie en Veiligheid (author)This paper presents a brute force method to perform real-time SAR processing. The method has several advantages over traditional so-called fast SAR implementations, as it does not make any approximations to alleviate the processing burden. However, the method does allow efficient implementation on multi-core platforms. It is implemented on a...conference paper 2009
- document
-
TNO Informatie- en Communicatietechnologie (author), Li, H. (author)This paper presents a comprehensive statistical analysis of a variety of workloads collected on production clusters and Grids. The applications are mostly computational-intensive and each task requires single CPU for processing data, which dominate the workloads on current production Grid systems. Trace data obtained on a parallel supercomputer...article 2009