- document
-
Fernández, Marc (author), Peter, Heike (author), Arnold, Daniel (author), Duan, Bingbing (author), Simons, W.J.F. (author), Wermuth, Martin (author), Hackel, S.F.G. (author), Fernández, Jaime (author), Jäggi, Adrian (author), Hugentobler, Urs (author), Visser, P.N.A.M. (author), Féménias, Pierre (author)Copernicus Sentinel–1 is a C-Band Synthetic Aperture Radar (SAR) satellite mission within the European Copernicus Programme. The two satellites Sentinel-1A and -1B were launched in April 2014 and 2016, respectively. The Copernicus POD (Precise Orbit Determination) Service is responsible for the determination of orbital and auxiliary products...journal article 2022
- document
-
Touboul, Pierre (author), Métris, Gilles (author), Rodrigues, Manuel (author), Bergé, Joel (author), Robert, Alain (author), Baghi, Quentin (author), André, Yves (author), Bedouet, Judicaël (author), Visser, P.N.A.M. (author)The MICROSCOPE mission was designed to test the weak equivalence principle (WEP), stating the equality between the inertial and the gravitational masses, with a precision of 10-15 in terms of the Eötvös ratio η. Its experimental test consisted of comparing the accelerations undergone by two collocated test masses of different compositions as...journal article 2022
- document
-
Lips, Esther H. (author), Kumar, Tapsi (author), Megalios, Anargyros (author), Visser, Lindy L. (author), Sheinman, Michael (author), Fortunato, Angelo (author), Shah, Vandna (author), Hoogstraat, Marlous (author), Wessels, L.F.A. (author)Ductal carcinoma in situ (DCIS) is the most common form of preinvasive breast cancer and, despite treatment, a small fraction (5–10%) of DCIS patients develop subsequent invasive disease. A fundamental biologic question is whether the invasive disease arises from tumor cells in the initial DCIS or represents new unrelated disease. To address...journal article 2022
- document
-
Pelsmaeker, D.A.A. (author), van Antwerpen, H. (author), Poulsen, C.B. (author), Visser, Eelco (author)Code completion is an editor service in IDEs that proposes code fragments for the user to insert at the caret position in their code. Code completion should be sound and complete. It should be sound, such that it only proposes fragments that do not violate the syntactic and static semantic rules of the language. It should be complete, such that...journal article 2022
- document
-
Touboul, Pierre (author), Métris, Gilles (author), Rodrigues, Manuel (author), Bergé, Joel (author), Robert, Alain (author), Baghi, Quentin (author), André, Yves (author), Bedouet, Judicael (author), Visser, P.N.A.M. (author)The space mission MICROSCOPE dedicated to the test of the equivalence principle (EP) operated from April 25, 2016 until the deactivation of the satellite on October 16, 2018. In this analysis we compare the free-fall accelerations (a <sub>A</sub> and a <sub>B</sub>) of two test masses in terms of the Eötvös parameter η ( A,B ) = 2 a A − a B a...journal article 2022
- document
-
Altiparmaki, O. (author), Kleinherenbrink, M. (author), Naeije, M.C. (author), Slobbe, D.C. (author), Visser, P.N.A.M. (author)This article shows the first spectral analysis of fully-focused Synthetic Aperture Radar (FFSAR) altimetry data with the objective of studying backscatter modulations caused by swells. Swell waves distort the backscatter in altimetry radargrams by means of velocity and range bunching. These swell signatures are visible in the tail of the...journal article 2022
- document
-
Li, Z. (author), Homborg, A.M. (author), Gonzalez Garcia, Y. (author), Kosari, A. (author), Visser, Peter (author), Mol, J.M.C. (author)The formation process of a lithium-based conversion layer on AA2024-T3 and its corrosion protective behavior are studied using electrochemical noise (EN). Wavelet transform, as well as noise resistance analysis, have been employed to interpret the EN data. The EN data confirmed five different stages during the conversion layer growth,...journal article 2022
- document
-
van Biert, L. (author), Visser, K. (author)As shipping is setting sail for a sustainable future, the application of fuel cells is increasingly regarded as a promising technology to reduce or fully eliminate emissions. Fuel cells convert the chemical energy in fuels directly into electricity, achieving high efficiencies while emitting no hazardous compounds and producing little noise...book chapter 2022
- document
-
Taralli, E. (author), de Wit, M. (author), Gottardi, L. (author), Nagayoshi, K. (author), Visser, S. (author), Ridder, M.L. (author), Akamatsu, H. (author), Vaccaro, D. (author), Gao, J.R. (author)Large arrays of transition edge sensors (TESs) are the baseline for a number of future space observatories. For instance, the X-ray integral field unit (X-IFU) instrument on board the ATHENA space telescope will consist of ∼ 3000 TESs with high energy resolution (2eV at X-ray energies up to 7 keV). In this contribution we report on the...journal article 2022
- document
-
Gurvits, L. (author), Falcke, Heino (author), Frey, Sándor (author), Fromm, Christian M. (author), García-Miró, Cristina (author), Janssen, Michael (author), Masania, K. (author), Rajan, R.T. (author), Visser, P.N.A.M. (author)Ultra-high angular resolution in astronomy has always been an important vehicle for making fundamental discoveries. Recent results in direct imaging of the vicinity of the supermassive black hole in the nucleus of the radio galaxy M87 by the millimeter VLBI system Event Horizon Telescope and various pioneering results of the Space VLBI...journal article 2022
- document
-
Simons, W.J.F. (author), Broerse, D.B.T. (author), Kleptsova, O.S. (author), Nijholt, N. (author), Pietrzak, J.D. (author), Naeije, M.C. (author), Lhermitte, S.L.M. (author), Visser, P.N.A.M. (author), Riva, R.E.M. (author)A devastating tsunami struck Palu Bay in the wake of the 28 September 2018 M<sub>w</sub> = 7.5 Palu earthquake (Sulawesi, Indonesia). With a predominantly strike-slip mechanism, the question remains whether this unexpected tsunami was generated by the earthquake itself, or rather by earthquake-induced landslides. In this study we examine the...journal article 2022
- document
-
Carzana, L. (author), Visser, P.N.A.M. (author), Heiligers, M.J. (author)Solar sailing is a propellantless propulsion method that takes advantage of solar radiation pressure to generate thrust. The last decades have seen the launch of several solar-sail missions to demonstrate the technology’s potential for space exploration and exploitation. Even more missions are scheduled for launch in the near future, including...conference paper 2022
- document
-
Nedeljković, Marija (author), Visser, Jeanette (author), Nijland, Timo G. (author), Valcke, Siska (author), Schlangen, Erik (author)In the Netherlands, beside cement replacement with more green cement types, there is also an urgent need for alternative materials for natural sand in new concrete in order to make it circular. Furthermore, the recyclers have raised questions regarding upscaling and the potential of fine recycled concrete aggregates (fRCA) in structural concrete...conference paper 2021
- document
-
Nedeljković, Marija (author), Visser, Jeanette (author), Šavija, B. (author), Valcke, Siska (author), Schlangen, E. (author)This paper discusses the state-of-the-art of the fine recycled concrete aggregates (fRCA), focusing on their physical and chemical properties, engineering properties and durability of concretes with fRCA. Based on the systematic review of the published literature, it is impossible to deduce without any further research the guidelines and...review 2021
- document
-
Rouvoet, A.J. (author), Krebbers, R.J. (author), Visser, Eelco (author)To avoid compilation errors it is desirable to verify that a compiler is type correct-i.e., given well-typed source code, it always outputs well-typed target code. This can be done intrinsically by implementing it as a function in a dependently typed programming language, such as Agda. This function manipulates data types of well-typed source...journal article 2021
- document
-
Carzana, L. (author), Visser, P.N.A.M. (author), Heiligers, M.J. (author)Solar sailing is a spacecraft propulsion method relying solely on solar radiation pressure to provide thrust and is therefore propellantless by nature. Although it represents a practical and promising propulsion system particularly suited for heliocentric flight regimes, near-term sailcraft missions will remain Earth-bound due to the current...conference paper 2021
- document
- Schiereck, Gerrit Jan (author), Visser, P.J. (author) book chapter 2021
- document
-
Antonopoulos, S. (author), Visser, K. (author), Kalikatzarakis, Miltiadis (author), Reppa, V. (author)This paper proposes an advanced shipboard energy management strategy (EMS) based on model predictive control (MPC). This EMS aims to reduce mission-scale fuel consumption of ship hybrid power plants, taking into account constraints introduced by the shipboard battery system. Such constraints are present due to the boundaries on the battery...journal article 2021
- document
-
van Antwerpen, H. (author), Visser, Eelco (author)Compilers that can type check compilation units in parallel can make more efficient use of multi-core architectures, which are nowadays widespread. Developing parallel type checker implementations is complicated by the need to handle concurrency and synchronization of parallel compilation units. Dependencies between compilation units are...conference paper 2021
- document
-
Nedeljković, Marija (author), Visser, Jeanette (author), Nijland, Timo G. (author), Valcke, Siska (author), Schlangen, E. (author)In the Netherlands, beside cement replacement with more green cement types, there is also an urgent need for alternative materials for natural sand in new concrete in order to make it circular. Furthermore, the recyclers have raised questions regarding upscaling and the potential of fine recycled concrete aggregates (fRCA) in structural concrete...conference paper 2021