This paper discusses scatterometer measurements collected with multi-mode Digital Beamforming Synthetic Aperture Radar (DBSAR) during the SMAP-VEX 2008 campaign. The 2008 SMAP Validation Experiment was conducted to address a number of specific questions related to the soil moisture retrieval algorithms. SMAP-VEX 2008 consisted on a series of aircraft-based flights conducted on the Eastern Shore...

To my father and all other members of my family Summary In this dissertation, we propose to combine programmability with reconfig-urability by implementing an adaptable programmable VLIW processor in a reconfigurable hardware. The approach allows applications to be developed at high-level (C language level), while at the same time, the processor organization can be adapted to the specific requi...

The problem studied in this paper arises from a simple practical problem: how to divide a cake among the children attending a birthday p a r t y i n s u c h a way that each c hild gets the same amount o f c a k e and (perhaps more important to them) the same amount of icing. Let S be a convex set contained in the (xx y)-plane. In mathematical terms, a c a k e C with base S is a solid containing...

The Venus Express Radio Science Experiment (VeRa) was part of the scientific payload (VEX) spacecraft and targeted at investigation Venus’ atmosphere, surface, gravity field as well interplanetary medium. This paper describes methods required calibrations applied to VEX-VeRa raw radio occultation data used retrieve vertical profiles ionosphere neutral atmosphere. In this work we perform an inde...

In this paper, we present the rationale and design of the Delft reconfigurable and parameterized VLIW processor called ρ-VEX. Its architecture is based on the Lx/ST200 ISA developed by HP and STMicroelectronics. We implemented the processor on an FPGA as an open-source softcore and made it freely available. Using the ρ-VEX, we intend to bridge the gap between general-purpose and application-spe...

Most exact algorithms for general par­ tially observable Markov decision processes (POMDPs) use a form of dynamic program­ ming in which a piecewise-linear and con­ vex representation of one value function is transformed into another. We examine vari­ ations of the "incremental pruning" method for solving this problem and compare them to earlier algorithms from theoretical and em­ pirical persp...

The paper describes VEX-93 as a hybrid environment for developing knowledge-based and problem solver systems. It integrates methods and techniques from artiicial intelligence, image and signal processing and data analysis, which can be mixed. Two hierarchical levels of reasoning contains an intelligent toolbox with one upper strategic inference engine and four lower ones containing speciic reas...

In non-collisional magnetised astrophysical plasmas, vortices can form as it is the case of Venus plasma wake where Lundin et al. (2013) identified a large vortex through integration data many orbits from Express (VEX) spacecraft. On one hand, our purpose to develop theoretical foundation in order explain occurrence and formation plasmas. other apply latter study vorticity wakes Mars. We introd...

In light of the immense interest in understanding impact an electron on atoms low-energy scattering phenomena observed laboratories and astrophysical processes, we propose approach to construct potentials using relativistic coupled-cluster (RCC) theory for determination electron-atom (e-A) elastic cross-sections (eSCs). The net potential electron, scattered elastically by atom, is conveniently ...