HAL-UNICE
Not a member yet
30584 research outputs found
Sort by
Challenges to Support Scalable Software Composition
No full textInternational audienceSoftware systems became so complex that the need to decompose them into simpler, more manageable pieces became crucial. Because of this, one has to compose every isolated pieces to build the expected system. Thus, composition is a mechanism used in many different domains developed from scratch through custom composition operators. Therefore, nowadays composition use-cases are developed in isolation from each other and do not reuse common mechanisms nor common abstractions. Do these composition mechanisms and operators can be shared and reused across (other) domains? Is there any common abstractions behind the composition in itself? This Ph.D. thesis, started in 2016, explores different composition examples, taken from real-life use-cases, to explore these questions
Aozan: an automated post-sequencing data-processing pipeline
No full textInternational audienceMotivation: Data management and quality control of output from Illumina sequencers is a disk space- and time-consuming task. Thus, we developed Aozan to automatically handle data transfer, demultiplexing, conversion and quality control once a run has finished. This software greatly improves run data management and the monitoring of run statistics via automatic emails and HTML web reports. Availability and Implementation: Aozan is implemented in Java and Python, supported on Linux systems, and distributed under the GPLv3 License at: http://www.outils.genomique.biologie.ens.fr/aozan/. Aozan source code is available on GitHub: https://github.com/GenomicParisCentre/aozan
Smeared Coulomb potential orbitals for the electron-nucleus mean field configuration interaction method
No full textWe propose to use the eigenfunctions of a one-electron model Hamiltonian to perform electron-nucleus mean field configuration interaction (EN-MFCI) calculations. The potential energy of our model Hamiltonian corresponds to the Coulomb potential of an infinite wire with charge Z distributed according to a Gaussian function. The time independent \sch equation for this Hamiltonian is solved
Exclusive graph searching vs. pathwidth
No full textInternational audienceIn Graph Searching, a team of searchers aims at capturing an invisible fugitive moving arbitrarily fast in a graph. Equivalently, the searchers try to clear a contaminated network. The problem is to compute the minimum number of searchers required to accomplish this task. Several variants of Graph Searching have been studied mainly because of their close relationship with the pathwidth of a graph. Blin et al. defined the Exclusive Graph Searching where searchers cannot " jump " and no node can be occupied by more than one searcher. In this paper, we study the complexity of this new variant. We show that the problem is NP-hard in planar graphs with maximum degree 3 and it can be solved in linear-time in the class of cographs. We also show that monotone Exclusive Graph Searching is NP-complete in split graphs where Pathwidth is known to be solvable in polynomial time. Moreover, we prove that monotone Exclusive Graph Searching is in P in a subclass of star-like graphs where Pathwidth is known to be NP-hard. Hence, the computational complexities of monotone Exclusive Graph Searching and Pathwidth cannot be compared. This is the first variant of Graph Searching for which such a difference is proved
Open source tools for locomotion and apprehension of space by visually impaired persons: some propositions to build a prototype based on Arduino, speech recognition and OpenStreetMap
No full textInternational audienceIn this article, we discuss about the benefit of IoT for people with disabilities, particularly for visually impaired and blind people mobility. We propose a simple prototype using OpenStreetMap data combined to physical environment data measured from sensors connected to a Arduino board through Speech recognition
Dispersion for the wave equation outside a ball and counterexamples
No full textInternational audienceThe purpose of this note is to prove dispersive estimates for the wave equation outside a ball in R^d. If d = 3, we show that the linear flow satisfies the dispersive estimates as in R^3. In higher dimensions d ≥ 4 we show that losses in dispersion do appear and this happens at the Poisson spot
Remarks on bernoulli constants, gauge conditions and phase velocities in the context of water waves
No full textInternational audienceThis short note is about the gauge condition for the velocity potential, the definitions of the Bernoulli constant and of the velocity speeds in the context of water waves. These definitions are often implicit and thus the source of confusion in the literature. Thi
Optical pump-rejection filter based on silicon sub-wavelength engineered photonic structures
No full textInternational audienceThe high index contrast of the silicon-on-insulator (SOI) platform allows the realization of ultra-compact photonic circuits. However, this high contrast hinders the implementation of narrow-band Bragg filters. These typically require corrugations widths of a few nanometers or double-etch ge-ometries, hampering device fabrication. Here we report, for the first time, on the realization of SOI Bragg filters based on sub-wavelength index engineering in a differential corrugation width configuration. The proposed double periodicity structure allows narrow-band rejection with a single etch step and relaxed width constraints. Based on this concept, we experimentally demonstrate a single-etch, 220 nm thick, Si Bragg filter featuring a corrugation width of 150 nm, a rejection bandwidth of 1.1 nm and an extinction ratio exceeding 40 dB. This represents a tenfold width increase compared to conventional single-periodicity, single-etch counterparts with similar bandwidths
Automated analysis of human cochlea shape variability from segmented μCT images
No full textInternational audienceThe aim of this study is to define an automated and reproducible framework for cochlear anatomical analysis from high-resolution segmented images and to provide a comprehensive and objective shape variability study suitable for cochlear implant design and surgery planning. For the scala tympani (ST), the scala vestibuli (SV) and the whole cochlea, the variability of the arc lengths and the radial and longitudinal components of the lateral, central and modiolar paths are studied. The robustness of the automated cochlear coordinate system estimation is validated with synthetic and real data. Cochlear cross-sections are statistically analyzed using area, height and width measurements. The cross-section tilt angle is objectively measured and this data documents a significant feature for occurrence of surgical trauma