Grenoble Institute of Technology

About: Grenoble Institute of Technology is a education organization based out in Grenoble, France. It is known for research contribution in the topics: Hyperspectral imaging & Geology. The organization has 3427 authors who have published 5345 publications receiving 137158 citations. The organization is also known as: Grenoble INP.

Evaluation of MRI to Ultrasound Registration Methods for Brain Shift Correction: The CuRIOUS2018 Challenge

Abstract: In brain tumor surgery, the quality and safety of the procedure can be impacted by intra-operative tissue deformation, called brain shift. Brain shift can move the surgical targets and other vital structures such as blood vessels, thus invalidating the pre-surgical plan. Intra-operative ultrasound (iUS) is a convenient and cost-effective imaging tool to track brain shift and tumor resection. Accurate image registration techniques that update pre-surgical MRI based on iUS are crucial but challenging. The MICCAI Challenge 2018 for Correction of Brain shift with Intra-Operative UltraSound (CuRIOUS2018) provided a public platform to benchmark MRI-iUS registration algorithms on newly released clinical datasets. In this work, we present the data, setup, evaluation, and results of CuRIOUS 2018, which received 6 fully automated algorithms from leading academic and industrial research groups. All algorithms were first trained with the public RESECT database, and then ranked based on a test dataset of 10 additional cases with identical data curation and annotation protocols as the RESECT database. The article compares the results of all participating teams and discusses the insights gained from the challenge, as well as future work.

Freestanding redox buckypaper electrodes from multi-wall carbon nanotubes for bioelectrocatalytic oxygen reduction via mediated electron transfer

Abstract: An efficient and easy way of designing free standing redox buckypaper electrodes via the elegant combination of multi-walled carbon nanotubes (MWCNTs) and a bis-pyrene derivative is reported. This bis-pyrene 2,2′-azino-bis(3-ethylbenzothiazoline-6-sulfonic acid (bis-Pyr-ABTS) acts as a cross-linker between the nanotubes and assures the formation of a mechanically reinforced buckypaper, obtained by a classical filtration technique of a MWCNT suspension in the presence of bis-Pyr-ABTS. In addition, the ABTS derivative assures a mediated electron transfer to laccase. The electroactive buckypapers were characterized in terms of morphology, conductivity, and electrochemical properties. Two setups were evaluated. The first consisted of the immobilization and wiring of laccase enzymes via an inclusion complex formation between the hydrophobic cavity of laccase and the pyrene groups of bis-Pyr-ABTS that are not π-stacked to the nanotubes. The second approach was to evaluate the mediated electron transfer using laccase in solution. For this setup, the developed mediator electrodes demonstrated high performances with maximum currents up to 2 mA ± 70 μA and an excellent operational stability for two weeks with daily one hour discharges using refreshed laccase solutions.

Analysis and modeling of 255 source levels of merchant ships from an acoustic observatory along St. Lawrence Seaway

Abstract: An ensemble of 255 spectral source levels (SSLs) of merchant ships were measured with an opportunistic seaway acoustic observatory adhering to the American National Standards Institute/Acoustical Society of America S12.64-2009 standard as much as possible, and deployed in the 350-m deep lower St. Lawrence Seaway in eastern Canada. The estimated SSLs were sensitive to the transmission loss model. The best transmission loss model at the three measuring depths was an empirical in situ function for ranges larger than 300 m, fused with estimates from a wavenumber integration propagation model fed with inverted local geoacoustic properties for [300 to 1 m] ranges. Resulting SSLs still showed a high variability. Uni- and multi-variate analyses showed weak intermingled relations with ship type, length, breadth, draught, speed, age, and other variables. Cluster analyses distinguished six different SSL patterns, which did not correspond to distinctive physical characteristics of the ships. The broadband [20-500 Hz] source levels varied by 30 dB or more within all four 50-m length categories. Common SSL models based on frequency, length and speed failed to unbiasly replicate the observations. This article presents unbiased SSL models that explain 75%-88% of the variance using frequency, ship speed, and three other automatic identification system ship characteristics.

Counterexample guided synthesis of monitors for realizability enforcement

Abstract: Many of today's software systems are built using distributed services, which evolve in different organizations. In order to facilitate their integration, it is necessary to provide a contract that the services participating in a composition should adhere to. A contract specifies interactions among a set of services from a global point of view. One important problem in a top-down development process is figuring out whether such a contract can be implemented by a set of services, obtained by projection and communicating via message passing. It was only recently shown, that this problem, known as realizability, is decidable if asynchronous communication (communication via FIFO buffers) is considered. It can be verified using the synchronizability property. If the system is not synchronizable, the system is not realizable either. In this paper, we propose a new, automatic approach, which enforces both synchronizability and realizability by generating local monitors through successive equivalence checks and refinement.