Author: "École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne)" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne)"' showing total 91 results

Start Over Author "École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne)"

91 results on '"École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne)"'

1. Stochastic multiple-stream decoding of Cortex codes

Author: Matthieu ARZEL, Cyril Lahuec, Christophe Jego, Gross, Warren J., Yvain Bruned, Lab-STICC_TB_CACS_IAS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) ( Lab-STICC ), Université européenne de Bretagne ( UEB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Télécom Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ) -Université européenne de Bretagne ( UEB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Télécom Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ), Département Electronique ( ELEC ), Université européenne de Bretagne ( UEB ) -Télécom Bretagne-Institut Mines-Télécom [Paris], Laboratoire de l'intégration, du matériau au système ( IMS ), Université Sciences et Technologies - Bordeaux 1-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique ( CNRS ), McGill University, École normale supérieure - Cachan, antenne de Bretagne ( ENS Cachan Bretagne ), École normale supérieure - Cachan ( ENS Cachan ), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Département Electronique (ELEC), Université européenne de Bretagne - European University of Brittany (UEB)-Institut Mines-Télécom [Paris] (IMT)-Télécom Bretagne, Laboratoire de l'intégration, du matériau au système (IMS), Université Sciences et Technologies - Bordeaux 1-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS), McGill University = Université McGill [Montréal, Canada], École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), and JEGO, Christophe
Subjects: Data_CODINGANDINFORMATIONTHEORY, [SPI.TRON] Engineering Sciences [physics]/Electronics, [SPI.TRON]Engineering Sciences [physics]/Electronics, Computer Science::Information Theory, [ SPI.TRON ] Engineering Sciences [physics]/Electronics
Abstract: International audience; Cortex codes are short length block codes having a large Hamming distance. Their modular construction, based on simple and very short block codes, yield to difficulties in efficiently decoding them with digital decoders implementing the Sum-Product algorithm. However, this construction lends itself to analog decoding with performance close to ML decoding as was recently demonstrated. A digital decoding method close to analog decoding is stochastic decoding. This paper brings the two together to design a Cortex stochastic architecture with good decoding performance. Moreover, the proposed stochastic decoder architecture is simplified when compared to the customary one. Instead of edge or tracking forecast memories the proposed architecture uses multiple streams to represent the same probability and deterministic shufflers. This results in a more efficient architecture in terms of ratio between data throughput and hardware complexity. Finally, the proposed method offers decoding performance similar to a Min-Sum decoder with 50 iterations.
Published: 2011

2. Approche QFT de la dérivation d'équations cinétiques

Author: Sébastien Breteaux, Institut de Recherche Mathématique de Rennes ( IRMAR ), Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -AGROCAMPUS OUEST-École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Université de Rennes 2 ( UR2 ), Université de Rennes ( UNIV-RENNES ) -Centre National de la Recherche Scientifique ( CNRS ), École normale supérieure - Cachan, antenne de Bretagne ( ENS Cachan Bretagne ), École normale supérieure - Cachan ( ENS Cachan ), Université Rennes 1, Francis Nier(francis.nier@univ-rennes1.fr), Institut de Recherche Mathématique de Rennes (IRMAR), AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), and École normale supérieure - Cachan (ENS Cachan)
Subjects: [ MATH ] Mathematics [math], Champ aléatoire gaussien, [PHYS.MPHY]Physics [physics]/Mathematical Physics [math-ph], Gaussian random field, Kinetic equation, Limite de champ moyen, Schrödinger equation, Équation de Schrödinger non-linéaire cubique, Théorie quantique des champs, Équation cinétique, Équation de Boltzmann linéaire, Quantum field theory, Analyse semi-classique, Semiclassical limit, Linear Boltzmann equation, [ PHYS.MPHY ] Physics [physics]/Mathematical Physics [math-ph], [MATH]Mathematics [math], État cohérent, Coherent state, Équation de Schrödinger, Mean field limit, Cubic non linear Schrödinger equation
Abstract: The derivation of a kinetic equation is the justification from a microscopic model describing a given physical system of an evolution equation containing the relevant information at a macroscopic scale on this system. In this PhD thesis we study, on some particular cases, the derivation of kinetic equations with the framework of quantum field theory (QFT) and semiclassical calculus. After a general introduction, the second part is dedicated to the derivation of the linear Boltzmann equation for a particle in a Gaussian random field, within the low density (or weak interaction) limit. More general initial data are considered than in the work of Erdös and Yau on the same subject, but a renewal of the random field is used to get the Markovian properties of the evolution. In the third part a proof is given of a formula describing the evolution of a Wick quantized observable for a dynamic defined by a quadratic quantum time-dependent Hamiltonian. This formula holds both in finite and infinite dimension. The fourth part is a joint work with Zied Ammari devoted to the derivation of the defocusing cubic nonlinear Schrödinger equation in dimension one, for bosons interacting via a delta potential, within the mean field limit.; La dérivation d'équations cinétiques consiste à obtenir, à partir d'un modèle microscopique décrivant un système physique donné, des équations d'évolution contenant les informations pertinentes d'un point de vue macroscopique sur ce système. Dans cette thèse on s'intéresse, dans des cas particuliers, à la dérivation d'équations cinétiques par des méthodes utilisant le formalisme de la théorie quantique des champs (QFT) et le calcul semi-classique en dimension finie et infinie. Après une introduction générale, on traite dans la seconde partie de la dérivation de l'équation de Boltzmann linéaire pour une particule dans un champ aléatoire Gaussien, dans la limite de faible densité (ou de faible couplage). On considère des données initiales plus générales que dans les travaux de Erdös et Yau sur le même sujet mais on renouvelle l'aléa pour obtenir le caractère Markovien de l'évolution. On démontre dans la troisième partie une formule décrivant l'évolution, pour un Hamiltonien quantique quadratique dépendant du temps, d'une observable quantifiée à l'aide de la quantification de Wick. Cette formule est valable en dimension finie ou infinie. Enfin la quatrième partie est un travail conjoint avec Zied Ammari. On y considère des bosons interagissant via un potentiel delta, dans la limite de champ moyen, en dimension un. On dérive de ce modèle l'équation de Schrödinger non-linéaire cubique défocalisante.
Published: 2011

3. Genetically regulated metabolic networks: Gale-Nikaido modules and differential inequalities

Author: Radulescu, Ovidiu, Siegel, Anne, Pecou, Elisabeth, Chatelain, Clément, Lagarrigue, Sandrine, Biological systems and models, bioinformatics and sequences (SYMBIOSE), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Institut de Recherche Mathématique de Rennes (IRMAR), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Laboratoire Jean Alexandre Dieudonné (JAD), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Génétique Animale (GARen), Institut National de la Recherche Agronomique (INRA)-AGROCAMPUS OUEST-Ecole Nationale Supérieure Agronomique de Rennes, Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-AGROCAMPUS OUEST-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS), Université Nice Sophia Antipolis (... - 2019) (UNS), Université Côte d'Azur (UCA)-Université Côte d'Azur (UCA)-Centre National de la Recherche Scientifique (CNRS), IFR140-Ecole Nationale Supérieure Agronomique de Rennes-AGROCAMPUS OUEST-Institut National de la Recherche Agronomique (INRA), Biological systems and models, bioinformatics and sequences ( SYMBIOSE ), Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ), Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique ( Inria ), Institut de Recherche Mathématique de Rennes ( IRMAR ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -AGROCAMPUS OUEST-École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Université de Rennes 2 ( UR2 ), Université de Rennes ( UNIV-RENNES ) -Centre National de la Recherche Scientifique ( CNRS ), Laboratoire Jean Alexandre Dieudonné ( JAD ), Université Nice Sophia Antipolis ( UNS ), Université Côte d'Azur ( UCA ) -Université Côte d'Azur ( UCA ) -Centre National de la Recherche Scientifique ( CNRS ), École normale supérieure - Cachan, antenne de Bretagne ( ENS Cachan Bretagne ), École normale supérieure - Cachan ( ENS Cachan ), Génétique Animale ( GARen ), Institut National de la Recherche Agronomique ( INRA ) -AGROCAMPUS OUEST-Ecole Nationale Supérieure Agronomique de Rennes-IFR140, AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Institut National de la Recherche Agronomique (INRA)-AGROCAMPUS OUEST, and Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Ecole Nationale Supérieure Agronomique de Rennes
Subjects: [ INFO.INFO-BI ] Computer Science [cs]/Bioinformatics [q-bio.QM], Quantitative Biology::Molecular Networks, univalence property, systems biology, qualitative constraints, metabolic control, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [ SDV.BIBS ] Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], ComputingMilieux_MISCELLANEOUS, genetic regulation
Abstract: International audience; We propose an approach to study static properties of metabolic networks with genetic regulation. We base our results on differential inequalities which are constraints on the values of the partial derivatives of the reaction rate functions. The approach uses an iterative elimination method for the steady state equations involving algebraic modules that satisfy the Gale-Nikaido global univalence property. The same method allows to find conditions for unique steady state. In the case of metabolic pathways, partial elimination of variables can produce several alternative models, allowing to compare steady state changes of metabolites with and without genetic regulation.
Published: 2011
Full Text: View/download PDF

4. Exercise testing criteria to diagnose lower extremity peripheral artery disease assessed by computed-tomography angiography

Author: O Stivalet, A Paisant, D Belabbas, L Omarjee, A Le Faucheur, P Landreau, R Garlantezec, V Jaquinandi, D A Liedl, P W Wennberg, G Mahé, Unité de Médecine Vasculaire [Rennes], Centre Hospitalier Universitaire de Rennes (CHU Rennes), Service de Médecine Vasculaire [Saint Malo], CH de Saint-Malo, Service de radiologie et imagerie médicale [Rennes] = Radiology [Rennes], CHU Pontchaillou [Rennes], Unité de Médecine Vasculaire [Redon], Centre Hospitalier de Redon (CH Redon), Centre d'Investigation Clinique [Rennes] (CIC), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Hôpital Pontchaillou-Institut National de la Santé et de la Recherche Médicale (INSERM), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Gonda Vascular Center [Rochester, MN, États-Unis], Mayo Clinic [Rochester], Bodescot, Myriam, and Université de Rennes (UR)-Hôpital Pontchaillou-Institut National de la Santé et de la Recherche Médicale (INSERM)
Subjects: Male, Computed Tomography Angiography, Blood Pressure, Pathology and Laboratory Medicine, Vascular Medicine, Medicine and Health Sciences, Public and Occupational Health, Prospective Studies, Musculoskeletal System, ComputingMilieux_MISCELLANEOUS, Stenosis, Arteries, Middle Aged, Sports Science, [SDV.MHEP.CSC] Life Sciences [q-bio]/Human health and pathology/Cardiology and cardiovascular system, Chemistry, Lower Extremity, Physical Sciences, Medicine, Legs, Female, Anatomy, Research Article, Chemical Elements, Science, Sensitivity and Specificity, Peripheral Arterial Disease, Signs and Symptoms, [SDV.MHEP.CSC]Life Sciences [q-bio]/Human health and pathology/Cardiology and cardiovascular system, Diagnostic Medicine, Humans, Ankle Brachial Index, Sports and Exercise Medicine, Exercise, Aged, Ankles, Biology and Life Sciences, Physical Activity, Femoral Arteries, body regions, Oxygen, ROC Curve, Physical Fitness, Body Limbs, Exercise Test, Cardiovascular Anatomy, Blood Vessels, Blood Gas Monitoring, Transcutaneous
Abstract: BACKGROUND:The sensitivity and specificity of exercise testing have never been studied simultaneously against an objective quantification of arterial stenosis. Aims were to define the sensitivity and specificity of several exercise tests to detect peripheral artery disease (PAD), and to assess whether or not defined criteria defined in patients suspected of having a PAD show a difference dependent on the resting ABI. METHODS:In this prospective study, consecutive patients with exertional limb pain referred to our vascular center were included. All patients had an ABI, a treadmill exercise-oximetry test, a second treadmill test (both 10% slope; 3.2km/h speed) with post-exercise pressures, and a computed-tomography-angiography (CTA). The receiver-operating-characteristic curve was used to define a cut-off point corresponding to the best area under the curve (AUC; [CI95%]) to detect arterial stenosis ≥50% as determined by the CTA. RESULTS:Sixty-three patients (61+/-11 years-old) were included. Similar AUCs from 0.72[0.63-0.79] to 0.83[0.75-0.89] were found for the different tests in the overall population. To detect arterial stenosis ≥50%, cut-off values of ABI, post-exercise ABI, post-exercise ABI decrease, post-exercise ankle pressure decrease, and distal delta from rest oxygen pressure (DROP) index were ≤0.91, ≤0.52, ≥43%, ≥20mmHg and ≤-15mmHg, respectively (p0.91, cut-off values of post-exercise ABI decrease (AUC = 0.67[0.53-0.78]), and DROP (AUC = 0.67[0.53-0.78]) were ≥18.5%, and ≤-15mmHg respectively (p
Published: 2019
Full Text: View/download PDF

5. Minimum Reload Cost Graph Factors

Author: Julien Baste, Mordechai Shalom, Didem Gözüpek, Dimitrios M. Thilikos, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Dpt of Computer Engineering [Kocaeli], Gebze Teknik Üniversitesi [Gebze], Tel-Hai College, Algorithmes, Graphes et Combinatoire (ALGCO), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), ANR-16-CE40-0028,DE-MO-GRAPH,Décomposition de Modèles Graphiques(2016), ANR-17-CE23-0010,ESIGMA,Efficacité et structure pour les applications de la fouille de graphes(2017), Operational Research, Knowledge And Data (ORKAD), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Gebze Technical University, Holon Institut of Technology (HIT), and Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: FOS: Computer and information sciences, 05C85, 68R10, Computer science, Total cost, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0211 other engineering and technologies, Parameterized complexity, G.2.1, G.2.2, 0102 computer and information sciences, 02 engineering and technology, Computational Complexity (cs.CC), [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], 01 natural sciences, Theoretical Computer Science, Combinatorics, symbols.namesake, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), 021103 operations research, Spanning tree, Degree (graph theory), 020206 networking & telecommunications, Vertex (geometry), Planar graph, Computer Science - Computational Complexity, Edge coloring, Graph factors, Computational Theory and Mathematics, 010201 computation theory & mathematics, Bounded function, Path (graph theory), symbols, Reload costs, MathematicsofComputing_DISCRETEMATHEMATICS
Abstract: International audience; The concept of Reload cost in a graph refers to the cost that occurs while traversing a vertex via two of its incident edges. This cost is uniquely determined by the colors of the two edges. This concept has various applications in transportation networks, communication networks, and energy distribution networks. Various problems using this model are defined and studied in the literature. The problem of finding a spanning tree whose diameter with respect to the reload costs is the smallest possible, the problems of finding a path, trail or walk with minimum total reload cost between two given vertices, problems about finding a proper edge coloring of a graph such that the total reload cost is minimized, the problem of finding a spanning tree such that the sum of the reload costs of all paths between all pairs of vertices is minimized, and the problem of finding a set of cycles of minimum reload cost, that cover all the vertices of a graph, are examples of such problems. In this work we focus on the last problem. Noting that a cycle cover of a graph is a 2-factor of it, we generalize the problem to that of finding an r -factor of minimum reload cost of an edge colored graph. We prove several $NP$-hardness results for special cases of the problem. Namely, bounded degree graphs, planar graphs, bounded total cost, and bounded number of distinct costs. For the special case of r =2 , our results imply an improved $NP$-hardness result. On the positive side, we present a polynomial-time solvable special case which provides a tight boundary between the polynomial and hard cases in terms of r and the maximum degree of the graph. We then investigate the parameterized complexity of the problem, prove W[1]-hardness results and present an FPT-algorithm.
Published: 2019
Full Text: View/download PDF

6. Geometric stochastic heat equations

Author: Martin Hairer, Yvain Bruned, Franck Gabriel, Lorenzo Zambotti, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Department of Mathematics [Imperial College London], Imperial College London, Warwick Mathematics Institute (WMI), University of Warwick [Coventry], Laboratoire de Probabilités, Statistiques et Modélisations (LPSM (UMR_8001)), Université Paris Diderot - Paris 7 (UPD7)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-15-CE40-0020,LSD,Modèles stochastiques en grande dimension pour la physique statistique hors équilibre(2015), Laboratoire de Probabilités, Statistique et Modélisation (LPSM (UMR_8001)), and ANR-15-CE40-0020,LSD,Large Stochastic Dynamical Models in Non-Equilibrium Statistical Physics(2015)
Subjects: Pure mathematics, General Mathematics, Isometry (Riemannian geometry), 01 natural sciences, math.PR, quasi-invariance theorem, brownian loops, Mathematics - Analysis of PDEs, values, FOS: Mathematics, spaces, 0101 mathematics, 60H15, 60L30, math.AP, Mathematics, Rough path, Dirichlet form, Applied Mathematics, 010102 general mathematics, diffusion, Probability (math.PR), path, Brownian bridge, Riemannian manifold, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], Flow (mathematics), renormalisation, Heat equation, pinned brownian-motion, Diffeomorphism, stochastic pde, Mathematics - Probability, Analysis of PDEs (math.AP)
Abstract: We consider a natural class of $\mathbf{R}^d$-valued one-dimensional stochastic PDEs driven by space-time white noise that is formally invariant under the action of the diffeomorphism group on $\mathbf{R}^d$. This class contains in particular the KPZ equation, the multiplicative stochastic heat equation, the additive stochastic heat equation, and rough Burgers-type equations. We exhibit a one-parameter family of solution theories with the following properties: - For all SPDEs in our class for which a solution was previously available, every solution in our family coincides with the previously constructed solution, whether that was obtained using It\^o calculus (additive and multiplicative stochastic heat equation), rough path theory (rough Burgers-type equations), or the Hopf-Cole transform (KPZ equation). - Every solution theory is equivariant under the action of the diffeomorphism group, i.e. identities obtained by formal calculations treating the noise as a smooth function are valid. - Every solution theory satisfies an analogue of It\^o's isometry. - The counterterms leading to our solution theories vanish at points where the equation agrees to leading order with the additive stochastic heat equation. In particular, points 2 and 3 show that, surprisingly, our solution theories enjoy properties analogous to those holding for both the Stratonovich and It\^o interpretations of SDEs simultaneously. For the natural noisy perturbation of the harmonic map flow with values in an arbitrary Riemannian manifold, we show that all these solution theories coincide. In particular, this allows us to conjecturally identify the process associated to the Markov extension of the Dirichlet form corresponding to the $L^2$-gradient flow for the Brownian loop measure., Comment: Accepted version; major changes in Sections 5 and 6
Published: 2019
Full Text: View/download PDF

7. A Complexity Dichotomy for Hitting Small Planar Minors Parameterized by Treewidth

Author: Baste, Julien, Sau, Ignasi, Thilikos, Dimitrios M., École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Algorithmes, Graphes et Combinatoire (ALGCO), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Christophe Paul, and Michal Pilipczuk
Subjects: 000 Computer science, knowledge, general works, Treewidth, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Graph minors, 0102 computer and information sciences, 02 engineering and technology, Topological minors, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Dynamic programming, 01 natural sciences, Parameterized complexity, 010201 computation theory & mathematics, Hitting minors, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Exponential Time Hypothesis
Abstract: International audience; For a fixed graph H, we are interested in the parameterized complexity of the following problem, called {H}-M-Deletion, parameterized by the treewidth tw of the input graph: given an n-vertex graph G and an integer k, decide whether there exists S ⊆ V (G) with |S| ≤ k such that G\S does not contain H as a minor. In previous work [IPEC, 2017] we proved that if H is planar and connected, then the problem cannot be solved in time 2 o(tw) · n O(1) under the ETH, and can be solved in time 2 O(tw·log tw) · n O(1). In this article we manage to classify the optimal asymptotic complexity of {H}-M-Deletion when H is a connected planar graph on at most 5 vertices. Out of the 29 possibilities (discarding the trivial case H = K 1), we prove that 9 of them are solvable in time 2 Θ(tw) · n O(1) , and that the other 20 ones are solvable in time 2 Θ(tw·log tw) · n O(1). Namely, we prove that K 4 and the diamond are the only graphs on at most 4 vertices for which the problem is solvable in time 2 Θ(tw·log tw) · n O(1) , and that the chair and the banner are the only graphs on 5 vertices for which the problem is solvable in time 2 Θ(tw) · n O(1). For the version of the problem where H is forbidden as a topological minor, the case H = K 1,4 can be solved in time 2 Θ(tw) · n O(1). This exhibits, to the best of our knowledge, the first difference between the computational complexity of both problems. 2012 ACM Subject Classification Mathematics of computing → Graph algorithms, Theory of computation → Parameterized complexity and exact algorithms
Published: 2018
Full Text: View/download PDF

8. Randomized Mixed-Radix Scalar Multiplication

Author: Théo Winterhalter, Eleonora Guerrini, Laurent Imbert, Exact Computing (ECO), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), and École normale supérieure - Cachan (ENS Cachan)
Subjects: covering systems of congruences, Scalar (mathematics), 02 engineering and technology, Side-channel attacks, Scalar multiplication, 01 natural sciences, Theoretical Computer Science, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, Mathematics, Discrete mathematics, Addition chain, randomized algorithms, 010102 general mathematics, Congruence relation, Matrix multiplication, 020202 computer hardware & architecture, Randomized algorithm, Algebra, Elliptic curve point multiplication, Finite field, Computational Theory and Mathematics, Hardware and Architecture, mixed-radix number system, Software
Abstract: A set of congruence relations is a $\mathbb {Z}$ -covering if each integer belongs to at least one congruence class from that set. In this paper, we first show that most existing scalar multiplication algorithms can be formulated in terms of covering systems of congruences. Then, using a special form of covering systems called exact $n$ -covers, we present a novel uniformly randomized scalar multiplication algorithm with built-in protections against most passive side-channel attacks. Our algorithm randomizes the addition chain using a mixed-radix representation of the scalar. Its reduced overhead and purposeful robustness could make it a sound replacement to several conventional countermeasures. In particular, it is significantly faster than Coron's scalar blinding technique for elliptic curves when the choice of a particular finite field tailored for speed compels to double the size of the scalar, hence the cost of the scalar multiplication.
Published: 2018
Full Text: View/download PDF

9. One-photon excited luminescence of single gold particles diffusing in solution under pulsed illumination

Author: Anne Débarre, Matthieu Loumaigne, Anna Lombardi, Alain Richard, Priya Vasanthakumar, Laboratoire de Spectrométrie Ionique et Moléculaire (LASIM), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Institut Lumière Matière [Villeurbanne] (ILM), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Laboratoire Aimé Cotton (LAC), Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-École normale supérieure - Cachan (ENS Cachan), University of Pisa - Università di Pisa, Laboratoire de Photophysique et Photochimie Supramoléculaires et Macromoléculaires (PPSM), and École normale supérieure - Cachan (ENS Cachan)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Photon, Physics::Optics, General Physics and Astronomy, Fluorescence correlation spectroscopy, 02 engineering and technology, 010402 general chemistry, 01 natural sciences, Molecular physics, law.invention, [SPI]Engineering Sciences [physics], law, [CHIM]Chemical Sciences, Physical and Theoretical Chemistry, [PHYS]Physics [physics], Chemistry, business.industry, 021001 nanoscience & nanotechnology, Laser, 0104 chemical sciences, Excited state, Picosecond, Particle, Optoelectronics, 0210 nano-technology, Luminescence, business, Excitation
Abstract: International audience; Here we report on the visible luminescence of single gold nanospherical particles diffusing in water excited by a pulsed-laser at 488 nm. The signal studied by fluorescence correlation spectroscopy does not display the expected characteristics. The main deviation is obtained for the diffusion time that depends on the laser irradiance. Additional advanced methods of measurements have been implemented to further characterize the emission. These methods have allowed us to demonstrate that the luminescence does not blink even in the picosecond domain and that it does not photobleach either. The comparison between the signals obtained under pulsed and continuous excitations at the same wavelength suggests that the increase in the particle temperature plays a role in the non-linear increase in the luminescence intensity with the excitation power. As in the case of two-photon excited luminescence, it implies that a model describing the luminescence process for a single particle diffusing in liquid must take into account the whole system composed of the gold particle, the capping ligands and the surrounding water.
Published: 2013
Full Text: View/download PDF

10. Integrating Type Theory and Distributional Semantics: A Case Study on Adjective–Noun Compositions

Author: Tim Van de Cruys, Nicholas Asher, Antoine Bride, Márta Abrusán, MEthodes et ingénierie des Langues, des Ontologies et du DIscours (IRIT-MELODI), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Research Centre for English and Applied Linguistics (RCEAL), University of Cambridge [UK] (CAM), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL), École des hautes études en sciences sociales (EHESS), Département d'Etudes Cognitives - ENS Paris (DEC), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Institut Jean-Nicod (IJN), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS Paris), and Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Collège de France (CdF (institution))-Centre National de la Recherche Scientifique (CNRS)-Département de Philosophie - ENS Paris
Subjects: Linguistics and Language, Computer science, 02 engineering and technology, computer.software_genre, Language and Linguistics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Artificial Intelligence, 020204 information systems, Noun, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], [SHS.LANGUE]Humanities and Social Sciences/Linguistics, Composition (language), ComputingMilieux_MISCELLANEOUS, Interpretation (logic), business.industry, Lexical definition, Semantic theory of truth, Computer Science Applications, Type theory, 020201 artificial intelligence & image processing, Distributional semantics, Artificial intelligence, business, computer, Adjective, Natural language processing
Abstract: In this article, we explore an integration of a formal semantic approach to lexical meaning and an approach based on distributional methods. First, we outline a formal semantic theory that aims to combine the virtues of both formal and distributional frameworks. We then proceed to develop an algebraic interpretation of that formal semantic theory and show how at least two kinds of distributional models make this interpretation concrete. Focusing on the case of adjective–noun composition, we compare several distributional models with respect to the semantic information that a formal semantic theory would need, and we show how to integrate the information provided by distributional models back into the formal semantic framework.
Published: 2016
Full Text: View/download PDF

11. On the construction of probabilistic diagnosers

Author: Eric Fabre, Loïg Jezequel, Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique
Subjects: 0209 industrial biotechnology, Current (mathematics), Observer (quantum physics), Computation, Probabilistic logic, 0102 computer and information sciences, 02 engineering and technology, Conditional probability distribution, 16. Peace & justice, 01 natural sciences, Automaton, 020901 industrial engineering & automation, 010201 computation theory & mathematics, Probabilistic automaton, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], State (computer science), Algorithm, Mathematics
Abstract: International audience; This paper revisits the notions of observer and diagnoser, and adapts them to probabilistic automata, in a setting of weighted automata computations. In the non stochastic case, observers and diagnosers are obtained by standard elementary steps, as state augmentation, epsilon-reduction and determinization. It is shown that these steps can be adapted to probabilistic automata, and algorithms to perform them efficiently are provided. In particular, the determinization is related to a standard filtering equation that recursively computes the conditional distribution of the current state given past observations. New notions of probabilistic observers and diagnosers are provided and compared to previous constructions, and simpler derivations of the latter are proposed.
Published: 2010
Full Text: View/download PDF

12. An Automated Recording Method in Clinical Consultation to Rate the Limp in Lower Limb Osteoarthritis

Author: Ch. Truong, Stéphane Buffat, Aliénor Vienne, Th. Moreau, C. de Waele, Pierre-Paul Vidal, Nicolas Vayatis, Ch. Labourdette, Alain Yelnik, Alfredo Aram Pulini, Sébastien Laporte, Damien Ricard, Th. Gregory, Laurent Oudre, R. Barrois, Cognition and Action Group (COGNAC-G - UMR 8257), École normale supérieure - Cachan (ENS Cachan)-Université Paris Descartes - Paris 5 (UPD5)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Centre de Mathématiques et de Leurs Applications (CMLA), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche Biomédicale des Armées (IRBA), Groupe Hospitalier Saint Louis - Lariboisière - Fernand Widal [Paris], Assistance publique - Hôpitaux de Paris (AP-HP) (APHP), Institut de Biomecanique Humaine Georges Charpak, Université Paris 13 (UP13)-Arts et Métiers ParisTech, Hôpital d'instruction des Armées Percy, Service de Santé des Armées, Université René Descartes, Institut Galilée, Laboratoire de Génie Electrique de Grenoble (G2ELab), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Service de chirurgie orthopédique et traumatologique, hôpital d'Instruction des Armées Percy, 92140 Clamart, France, and parent
Subjects: Male, Inertia, Physiology, Limp, Velocity, lcsh:Medicine, Walking, 02 engineering and technology, Accelerometer, Clinical Biomechanics, Severity of Illness Index, Mathematical and Statistical Techniques, 0302 clinical medicine, Gait (human), Medicine and Health Sciences, Medicine, Biomechanics, lcsh:Science, Gait, Musculoskeletal System, Aged, 80 and over, Multidisciplinary, medicine.diagnostic_test, Physics, Classical Mechanics, [SPI.MECA.BIOM]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Biomechanics [physics.med-ph], Signal Processing, Computer-Assisted, Middle Aged, Biomechanical Phenomena, 3. Good health, Physical Sciences, Legs, Female, [SDV.IB]Life Sciences [q-bio]/Bioengineering, Step detection, Anatomy, medicine.symptom, Gait Analysis, Statistics (Mathematics), Research Article, Adult, medicine.medical_specialty, Acceleration, 0206 medical engineering, Physical examination, Research and Analysis Methods, Motion, 03 medical and health sciences, Physical medicine and rehabilitation, Rheumatology, Inertial measurement unit, Osteoarthritis, Humans, Statistical Methods, Mécanique: Biomécanique [Sciences de l'ingénieur], Aged, Monitoring, Physiologic, Leg, Analysis of Variance, Biological Locomotion, business.industry, Arthritis, Limbs (Anatomy), lcsh:R, ingénierie bio-médicale [Sciences du vivant], Biology and Life Sciences, 020601 biomedical engineering, Preferred walking speed, Gait analysis, Physical therapy, lcsh:Q, Feet (Anatomy), business, Mathematics, 030217 neurology & neurosurgery
Abstract: International audience; For diagnosis and follow up, it is important to be able to quantify limp in an objective, and precise way adapted to daily clinical consultation. The purpose of this exploratory study was to determine if an inertial sensor-based method could provide simple features that correlate with the severity of lower limb osteoarthritis evaluated by the WOMAC index without the use of step detection in the signal processing. Forty-eight patients with lower limb osteoarthritis formed two severity groups separated by the median of the WOMAC index (G1, G2). Twelve asymptomatic age-matched control subjects formed the control group (G0). Subjects were asked to walk straight 10 meters forward and 10 meters back at self-selected walking speeds with inertial measurement units (IMU) (3-D accelerometers, 3-D gyroscopes and 3-D magnetometers) attached on the head, the lower back (L3-L4) and both feet. Sixty parameters corresponding to the mean and the root mean square (RMS) of the recorded signals on the various sensors (head, lower back and feet), in the various axes, in the various frames were computed. Parameters were defined as discriminating when they showed statistical differences between the three groups. In total, four parameters were found discriminating: mean and RMS of the norm of the acceleration in the horizontal plane for contralateral and ipsilateral foot in the doctor’s office frame. No discriminating parameter was found on the head or the lower back. No discriminating parameter was found in the sensor linked frames. This study showed that two IMUs placed on both feet and a step detection free signal processing method could be an objective and quantitative complement to the clinical examination of the physician in everyday practice. Our method provides new automatically computed parameters that could be used for the comprehension of lower limb osteoarthritis. It may not only be used in medical consultation to score patients but also to monitor the evolution of their clinical syndrome during and after rehabilitation. Finally, it paves the way for the quantification of gait in other fields such as neurology and for monitoring the gait at a patient’s home.
Published: 2016
Full Text: View/download PDF

13. GroddDroid: a gorilla for triggering malicious behaviors

Author: A. Abraham, Valérie Viet Triem Tong, Radoniaina Andriatsimandefitra, Jean-François Lalande, A. Brunelat, Confidentialité, Intégrité, Disponibilité et Répartition (CIDRE), CentraleSupélec-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Labex CominLabs, ANR-10-LABX-0007,COMIN Labs,Digital Communication and Information Sciences for the Future Internet(2010), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)
Subjects: Software_OPERATINGSYSTEMS, Source code, Computer science, Event (computing), business.industry, media_common.quotation_subject, 020207 software engineering, Cryptography, 02 engineering and technology, Static analysis, computer.software_genre, Computer security, Obfuscation (software), Cryptovirology, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], ComputingMilieux_MANAGEMENTOFCOMPUTINGANDINFORMATIONSYSTEMS, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Malware, 020201 artificial intelligence & image processing, business, computer, media_common
Abstract: Best Paper Award; International audience; Android malware authors use sophisticated techniques to hide the malicious intent of their applications. They use cryptography or obfuscation techniques to avoid detection during static analysis. They can also avoid detection during a dynamic analysis. Frequently, the malicious execution is postponed as long as the malware is not convinced that it is running in a real smartphone of a real user. However, we believe that dynamic analysis methods give good results when they really monitor the malware execution. In this article, we propose a method to enhance the execution of the malicious code of unknown malware. We especially target malware that have triggering protections, for example branching conditions that wait for an event or expect a specific value for a variable before triggering malicious execution. In these cases, solely executing the malware is far from being sufficient. We propose to force the triggering of the malicious code by combining two contributions. First, we define an algorithm that automatically identifies potentially malicious code. Second, we propose an enhanced monkey called GroddDroid, that stimulates the GUI of an application and forces the execution of some branching conditions if needed. The forcing is used by GroddDroid to push the execution flow towards the previously identified malicious parts of the malware and execute it. The source code for our experiments with GroddDroid is released as free software. We have verified on a malware dataset that we investigated manually that the malicious code is accurately executed by GroddDroid. Additionally, on a large dataset of 100 malware we precisely identify the nature of the suspicious code and we succeed to execute it at 28%.
Published: 2015
Full Text: View/download PDF

14. A Failure Detector for k-Set Agreement in Dynamic Systems

Author: Thibault Rieutord, Pierre Sens, Denis Jeanneau, Luciana Arantes, Large-Scale Distributed Systems and Applications (Regal), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), and Labex SMART
Subjects: Theoretical computer science, K-set, Consensus, Asynchronous communication, Computer science, Detector, Failure detector, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Algorithm, Connectivity
Abstract: International audience; The k-set agreement problem is a generalization of the consensus problem where processes can decide up to k different values. Very few papers have tackled this problem in dynamic networks, and to the best of our knowledge, every algorithm proposed so far for k-set agreement in dynamic networks assumed synchronous communications or made strong failure pattern assumptions. Exploiting the formalism of the Time-Varying Graph model, this paper proposes a new quorum-based failure detector for solving k-set agreement in dynamic networks with asynchronous communications. We present two algorithms that implement this new failure detector using graph connectivity and message pattern assumptions. We also provide an algorithm for solving k-set agreement using our new failure detector.
Published: 2015
Full Text: View/download PDF

15. Towards hierarchical curiosity-driven exploration of sensorimotor models

Author: Pierre-Yves Oudeyer, Sébastien Forestier, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Flowing Epigenetic Robots and Systems (Flowers), Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris), IEEE, INRIA/ENSTA-ParisTech, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Subjects: business.industry, Computer science, media_common.quotation_subject, 02 engineering and technology, Reuse, Space exploration, Electronic mail, 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, Robot, Curiosity, Intrinsic motivation, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], Artificial intelligence, Architecture, business, Competence (human resources), 030217 neurology & neurosurgery, media_common
Abstract: International audience; Curiosity-driven exploration mechanisms have been proposed to allow robots to actively explore high dimensional sensorimotor spaces in an open-ended manner [1], [2]. In such setups, competence-based intrinsic motivations show better results than knowledge-based exploration mechanisms which only monitor the learner's prediction performance [2], [3]. With competence-based intrinsic motivations, the learner explores its sensor space with a bias toward regions which are predicted to yield a high competence progress. Also, throughout its life, a developmental robot has to incrementally explore skills that add up to the hierarchy of previously learned skills, with a constraint being the cost of experimentation. Thus, a hierarchical exploration architecture could allow to reuse the sensorimotor models previously explored and to combine them to explore more efficiently new complex sensorimotor models. Here, we rely more specifically on the R-IAC and SAGG-RIAC series of architectures [3]. These architectures allow the learning of a single mapping between a motor and a sensor space with a competence-based intrinsic motivation. We describe some ways to extend these architectures with different tasks spaces that can be explored in a hierarchical manner, and mechanisms to handle this hierarchy of sensorimotor models that all need to be explored with an adequate amount of trials. We also describe an interactive task to evaluate the hierarchical learning mechanisms, where a robot has to explore its motor space in order to push an object to different locations. The robot can first explore how to make movements with its hand and then reuse this skill to explore the task of pushing an object.
Published: 2015
Full Text: View/download PDF

16. Sparse spectral approximations for computing polynomial functionals

Author: Erwan Faou, Fabio Nobile, Christophe Vuillot, Guillemer, Marie-Annick, Invariant Preserving SOlvers ( IPSO ), Institut de Recherche Mathématique de Rennes ( IRMAR ), Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -AGROCAMPUS OUEST-École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées ( INSA ) -Université de Rennes 2 ( UR2 ), Université de Rennes ( UNIV-RENNES ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique ( Inria ), Université de Rennes ( UNIV-RENNES ) -Centre National de la Recherche Scientifique ( CNRS ), Ecole Polytechnique Fédérale de Lausanne ( EPFL ), École normale supérieure - Cachan, antenne de Bretagne ( ENS Cachan Bretagne ), École normale supérieure - Cachan ( ENS Cachan ), Invariant Preserving SOlvers (IPSO), Institut de Recherche Mathématique de Rennes (IRMAR), AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-AGROCAMPUS OUEST, Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Ecole Polytechnique Fédérale de Lausanne (EPFL), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Inria Rennes – Bretagne Atlantique, and Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)
Subjects: Spectral methods, Hermite polynomials, FOS: Mathematics, 65D15, 65M70, 33C45, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), [ MATH.MATH-NA ] Mathematics [math]/Numerical Analysis [math.NA], [MATH.MATH-NA] Mathematics [math]/Numerical Analysis [math.NA], Sparse representations, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Abstract: We give a new fast method for evaluating sprectral approximations of nonlinear polynomial functionals. We prove that the new algorithm is convergent if the functions considered are smooth enough, under a general assumption on the spectral eigenfunctions that turns out to be satisfied in many cases, including the Fourier and Hermite basis.

17. Etude de la cartographie des systèmes SCADA à l'échelle d'Internet

Author: Chevalier, Ronny, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Management of dynamic networks and services (MADYNES), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), ENS Cachan antenne de Bretagne, Université de Rennes 1, abdelkader lahmadi, Olivier Festor, Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)
Subjects: scan, Internet, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], SCADA
Abstract: Les systèmes SCADA ont eu un regain d’intérêt dans le monde de la sécurité informatique, notamment dû à la découverte du logiciel malveillant Stuxnet. Des vies humaines dépendant de ces systèmes, il est nécessaire de mettre en place des mécanismes pour les sécuriser et évaluer leur exposition sur Internet. Dans ce papier, nous allons étudier les différentes approches et méthodes disponibles afin de cartographier les systèmes SCADA à l’échelle d’Internet.
Published: 2014

18. Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (IDAS 2014)

Author: Gasquet, Olivier, Goranko, Valentin, Schwarzentruber, François, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, University of Johannesburg (UJ), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), SINTELNET, the European network for social intelligence, and Grélaud, Françoise
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2014

19. Polystyrene: the Decentralized Data Shape That Never Dies

Author: Hoel Kervadec, Simon Bouget, Anne-Marie Kermarrec, François Taïani, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA), ANR-10-LABX-0007,COMIN Labs,Digital Communication and Information Sciences for the Future Internet(2010), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)
Subjects: business.industry, Computer science, Logical topology, Survivability, 020206 networking & telecommunications, Torus, Extension topology, Topology (electrical circuits), 02 engineering and technology, Network topology, Decentralized computing, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Hypercube, Routing (electronic design automation), [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], business, Computer network
Abstract: International audience; Decentralized topology construction protocols organize nodes along a predefined topology (e.g. a torus, ring, or hypercube). Such topologies have been used in many contexts ranging from routing and storage systems, to publish-subscribe and event dissemination. Since most topologies assume no correlation between the physical location of nodes and their positions in the topology, they do not handle catastrophic failures well, in which a whole region of the topology disappears. When this occurs, the overall shape of the system typically gets lost. This is highly problematic in applications in which overlay nodes are used to map a virtual data space, be it for routing, indexing or storage. In this paper, we propose a novel decentralized approach that maintains the initial shape of the topology even if a large (consecutive) portion of the topology fails. Our approach relies on the dynamic decoupling between physical nodes and virtual ones enabling a fast reshaping. For instance, our results show that a 51,200-node torus converges back to a full torus in only 10 rounds after 50% of the nodes have crashed. Our protocol is both simple and flexible and provides a novel form of collective survivability that goes beyond the current state of the art.
Published: 2014
Full Text: View/download PDF

20. CALCioM: Mitigating I/O Interference in HPC Systems through Cross-Application Coordination

Author: Dries Kimpe, Gabriel Antoniu, Matthieu Dorier, Robert Ross, Shadi Ibrahim, Scalable Storage for Clouds and Beyond (KerData), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), MCS, Argonne National Laboratory [Lemont] (ANL), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Subjects: Input/output, File system, 020203 distributed computing, I/O scheduling, Computer science, Distributed computing, Serialization, 02 engineering and technology, Dynamic priority scheduling, computer.software_genre, Supercomputer, Fair-share scheduling, Scheduling (computing), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, computer
Abstract: International audience; Unmatched computation and storage performance in new HPC systems have led to a plethora of I/O optimizations ranging from application-side collective I/O to network and disk-level request scheduling on the file system side. As we deal with ever larger machines, the interferences produced by multiple applications accessing a shared parallel file system in a concurrent manner become a major problem. These interferences often break single-application I/O optimizations, dramatically degrading application I/O performance and, as a result, lowering machine wide efficiency. This paper focuses on CALCioM, a framework that aims to mitigate I/O interference through the dynamic selection of appropriate scheduling policies. CALCioM allows several applications running on a supercomputer to communicate and coordinate their I/O strategy in order to avoid interfering with one another. In this work, we examine four I/O strategies that can be accommodated in this framework: serializing, interrupting, interfering and coordinating. Experiments on Argonne's BG/P Surveyor machine and on several clusters of the French Grid'5000 show how CALCioM can be used to efficiently and transparently improve the scheduling strategy between two otherwise interfering applications, given specified metrics of machine wide efficiency.
Published: 2014

21. Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane

Author: Gasquet, Olivier, Goranko, Valentin, Schwarzentruber, François, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, University of the Witwatersrand [Johannesburg] (WITS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Normale Supérieure de Cachan - ENS Cachan (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of the Witwatersrand - WITS (SOUTH AFRICA), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Logique en informatique, Artificial intelligence, Model checking, Surveillance camera, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Logical reasoning, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Informatique et langage, Intelligence artificielle, Apprentissage, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; We consider multi-agent scenarios where each agent control sa surveillance camera positioned in the plane, with xed position and angle of view, but rotating freely. The agents can thus observe the surroundings and each other. They can also reason about each other's observation abilities and knowledge derived from these observations. We introduce suitable logical languages for reasoning about such scenarios which involve atomic formulae stating what agents can see, multi-agent epistemic operators for individual, distributed and common knowledge, as well as dynamic operators reflecting the ability of cameras to turn around in order to reach positions satisfying formulae in the language. We introduce semantics of our basic logic BBL and its extensions on natural geometric models, as well as formal Kripke semantics for them in vision-based nite abstractions of the geometric models. We discuss the expressiveness of our logical languages and provide their translations in PDL style. Using these translations we develop algorithms and obtain complexity results for model checking and satisability testing for BBL and its extensions. Notably, we show that even for the extension with common knowledge, model checking remains in PSPACE. Finally, we discuss some further extensions: by adding obstacles, positioning the cameras in 3D or enabling them to change positions.
Published: 2014

22. On the a.c. spectrum of 1D discrete Dirac operator

Author: Golenia, Sylvain, Haugomat, Tristan, Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), and École normale supérieure - Cachan (ENS Cachan)
Subjects: 47B36, 39A70, 46N50, 47A10, 81Q10, FOS: Physical sciences, Mathematical Physics (math-ph), [MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA], 1-dimensional, Mathematics - Spectral Theory, ac spectrum, jacobi matrix, [MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph], FOS: Mathematics, discrete Dirac, Spectral Theory (math.SP), Mathematical Physics, [MATH.MATH-SP]Mathematics [math]/Spectral Theory [math.SP]
Abstract: In this paper, under some integrability condition, we prove that an electrical perturbation of the discrete Dirac operator has purely absolutely continuous spectrum for the one dimensional case. We reduce the problem to a non-self-adjoint Laplacian-like operator by using a spin up/down decomposition and rely on a transfermatrices technique., Comment: Small changes. The article will be published in Methods of Functional Analysis and Topology
Published: 2014

23. Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version)

Author: GASQUET, Olivier, GORANKO, Valentin, SCHWARZENTRUBER, François, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Department of Applied Mathematics and Computer Science, Technical University of Denmark [Lyngby] (DTU), University of Johannesburg (UJ), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), IRIT, and Grélaud, Françoise
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs]
Abstract: Long version of the paper accepted at AAMAS'2014.
Published: 2014

24. Kripke's Worlds: An introduction to modal logics via tableaux

Author: Andreas Herzig, Bilal Said, François Schwarzentruber, Olivier Gasquet, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), and École normale supérieure - Cachan (ENS Cachan)
Subjects: 060303 religions & theology, temporal logics, Computer science, epistemic logics, 010102 general mathematics, hybrid logics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 06 humanities and the arts, 0603 philosophy, ethics and religion, 01 natural sciences, modal logics, tableaux method, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, dynamic logics, model construction, 0101 mathematics, lotrec, Hardware_LOGICDESIGN
Abstract: International audience; Possible worlds models were introduced by Saul Kripke in the early sixties. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics: logics of necessity and possibility (alethic logics), logics of time (temporal logics), logics of knowledge and belief (epistemic and doxastic logics), logics of programs and of action (dynamic logics), logics of obligation (deontic logics), as well as for logics for describing ontologies (description logics). They have also turned out useful for other nonclassical logics such as intuitionistic logics, conditional logics, and several paraconsistent and relevant logics. All these logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in various domains such as program semantics, artificial intelligence, and more recently in the semantic web. All these logics were not only studied semantically but also proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the most uniform and most successful such systems are tableaux systems. Given a logic and a formula, they allow to check whether it has a model in that logic. This basically amounts to trying to build a model for the formula by building a tree. In this book we follow a more general approach and try to build a graph, the advantage being that a graph is closer to a Kripke model than a tree. This book provides a step-by-step introduction to possible worlds semantics (and by that to modal and other nonclassical logics) via the tableaux method. It is accompanied by a piece of software called LoTREC that is accessible at the following webpage: http://www.irit.fr/Lotrec . LoTREC allows to check whether a given formula is true at a given world of a given model and to check whether a given formula is satisfiable in a given logic. The latter can be done immediately if the tableau system for that logic has already been implemented in LoTREC. For logics for which this has not been done yet LoTREC offers the possibility to implement a tableau system in a relatively easy way: users need not be computer scientists in order to implement new modal logics, thanks to a simple, graph-based, interactive language.
Published: 2014
Full Text: View/download PDF

25. Component reuse methodology for multi-clock Data-Flow parallel embedded Systems

Author: Steven Derrien, Anne Marie Chana, Patrice Quinton, National Advanced School of Engineering (University of Yaounde I), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES), and Université de Rennes (UR)
Subjects: multi-clock architecture, Computer science, Scheduling (production processes), 02 engineering and technology, [MATH] Mathematics [math], Reuse, [INFO] Computer Science [cs], polyhedral model, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Polytope model, [INFO]Computer Science [cs], Architecture, [MATH]Mathematics [math], 020203 distributed computing, parallelism, business.industry, Flexible component, General Medicine, 020202 computer hardware & architecture, Data flow diagram, Range (mathematics), Embedded system, Software design, SoC, data-flow model, business
Abstract: The growing complexity of new chips and the time-to-market constraints require fundamental changes in the way systems are designed. Systems on Chip (SoC) based on reused components have become an absolute necessity to embedded systems companies that want to remain competitive. However, the design of a SoC is extremely complex because it encompasses a range of difficult problems in hardware and software design. This paper focuses on the design of parallel and multi-frequency applications using flexible components. Flexible parallel components are assembled using a scheduling method which combines the synchronous data-flow principle of balance equations and the polyhedral scheduling technique. Our approach allows a flexible component to be modelled and a full system to be assembled and synthesized with automatically generated wrappers. The work presented here is an extension of previous work. We illustrate our method on a simplified WCDMA system. We discuss the relationship of this approach with multi-clock architecture, latency-insensitive design, multidimensional data-flow systems and stream programming
Published: 2014
Full Text: View/download PDF

26. Generation of polynomial inequalities as invariants

Author: Zakowski, Yannick, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), INRIA-IRISA Rennes Bretagne Atlantique, équipe CELTIQUE, and David Cachera
Subjects: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Language and Software Engineering
Abstract: Embedded software in critical systems rise a need for software analysis, especially for guaranteeing safety properties. In the late seventies, Cousot & Cousot introduced a general framework, called abstract interpretation, dedicated to the conception of particular analyses: static analyses. Among the program properties of interest, discovering algebraic relationships between variables allows for proving the lack of run-time errors. While the inference of linear relationships is e fficiently solved, computing polynomial equalities as invariants is still a challenge, a fortiori is the inequality counterpart. After a brief overview of existing techniques for invariant inference, this report investigates the viability of a constraint-based method dedicated to the inference of polynomial inequalities as program invariants.
Published: 2013

27. Apprentissage discriminant sur des graphes pour la caractérisation des paysages propices à l'étalement urbain

Author: Vantroys, Daniel, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), IRISA, équipe DREAM, and Thomas Guyet, Véronique Masson, René Quiniou
Subjects: [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]
Abstract: Un paysage peut-être décrit comme une organisation spatiale d'éléments paysagers. Pour caractériser des paysages propices à l'étalement urbain, des outils liés à leur représentation sous forme de structures apparentées à des graphes ou à un ensemble de relations doivent être considérés. Différentes approches ont été étudiées : pour les graphes, une caractérisation à partir de la fouille de motifs pour l'utilisation d'un classifieur classique, des SVM avec noyaux adaptés ou des arbres de décision particuliers, et la programmation logique inductive pour la représentation sous forme de relations. L'approche relationnelle a été retenue pour son expressivité et les outils puissants disponibles (Prolog). Une implémentation de Foil (First-Order Inductive Learner) avec quelques extensions est devenue l'objectif du stage.
Published: 2013

28. An automaton approach to Kripke semantics

Author: Douady, Gaspard, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), INRIA-IRISA Rennes Bretagne Atlantique, équipe S4, and Sophie Pinchinat, François Schwarzentruber
Subjects: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Computer Science::Logic in Computer Science, Computer Science::Formal Languages and Automata Theory, Kripke semantics, modal logic
Abstract: We study the satis ability problem over axiomatic extensions of modal logic K, with an automata-theoretic point of view. We exhibit optimal subclasses of alternating tree automata, thus providing a new framework for the satis ability problem with frame constraints. Additionally, we clarify the correspondence between runs of automata and branches of the standard tableau construction for modal logic. We are confi dent this pioneer work is a milestone in bridging philosophers, logicians and computer scientists know-hows.
Published: 2013

29. The role of planarity in connectivity problems parameterized by treewidth

Author: Baste, Julien, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier [LIRMM], équipe Algorithmes, Graphes et Combinatoire [ALGCO], and Ignasi Sau
Subjects: dynamic programming, single-exponential algorithms, Parameterized complexity, connectivity problems, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], treewidth, planar graphs
Abstract: For some years, it was believed that for "connectivity" problems such as Hamiltonian Cycle, algorithms running in time 2O(tw) nO(1) -called singleexponential- existed only on planar and other sparse graph classes, where tw stands for the treewidth of the n-vertex input graph. This was recently disproved by Cygan et al. [FOCS 2011] and Bodlaender et al. [ICALP 2013], who provided single-exponential algorithms on general graphs for essentially all connectivity problems that were known to be solvable in single-exponential time on sparse graphs. During my internship, we further investigate the role of planarity in connectivity problems parameterized by treewidth, and convey that several problems can indeed be distinguished according to their behavior on planar graphs. In particular, we show that there exist problems that cannot be solved in time 2o(twlog tw) nO(1) on general graphs but that can be solved in time 2O(tw) nO(1) when restricted to planar graphs, and problems that can be solved in time 2O(twlog tw) nO(1) on general graphs but that cannot be solved in time 2o(twlog tw) nO(1) even when restricted to planar graphs, the negative results holding unless the ETH fails. We feel that our results constitute a first step in a subject that can be much exploited.
Published: 2013

30. Interactive Physically-based Simulation of Virtual Objects Torsion

Author: Le Gouis, Benoît, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), INRIA-IRISA Rennes Bretagne Atlantique, équipe HYBRID, and Maud Marchal
Subjects: Torsion, Haptic Rendering, Computer Science::Graphics, Physically-based Simulation, Continuum Mechanics, Virtual reality, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], ComputingMethodologies_COMPUTERGRAPHICS
Abstract: In the elds of virtual reality, physically-based simulation focuses on reproducing the motion and properties of real objects in virtual environments. Until now, various physically-based models of mechanical phenomena have been proposed in the literature, simulating several physical properties such as rigid, fluid or deformable behaviors of the multiple real-life objects. In this master thesis, we propose to simulate the torsion of any deformable object and its haptic rendering. We intend to create haptic and visual rendering of a virtual environment, in which objects can be twisted, either by the user or by the action of other objects of the environment. Our two contributions are first the introduction of a novel constraint for torsion modeling in a physically-based simulation, and second a novel coupling scheme for haptic rendering of 3D virtual object torsion.
Published: 2013

31. Implémenter le droit à l'oubli

Author: Bouget, Simon, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), INRIA-IRISA Rennes Bretagne Atlantique, équipe CIDRE, and Sébastien Gambs, Guillaume Piolle
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], publication éphémère, dégradation des données, Vie privée, droit à l'oubli
Abstract: Le respect de la vie privée est un droit fondamental mais difficile à protéger dans un monde numérique : copier et transmettre de l'information est devenu extrêmement simple. Aussi, le droit à l'oubli est-il une composante de plus en plus importante de la protection de la vie privée. Toutefois, une solution technique et complète pour implémenter le droit à l'oubli paraît impossible à l'heure actuelle. Nous présentons donc les systèmes existants et leurs domaines d'applications respectifs. Leur mise en œuvre se heurte cependant à des intérêts contradictoires entre utilisateurs et hébergeurs des données, qui engendrent un manque de confiance. Puis, nous introduisons le mécanisme de dégradation des données qui recoupe les principes de rétention et de collecte minimales et qui permet, combiné à une technique de publication éphémère, de réconcilier partiellement les intérêts des hébergeurs et des utilisateurs et de passer outre les problèmes. Enfin, nous présentons une architecture générale utilisant ces deux mécanismes ainsi qu'une illustration sur le cas d'un réseau géo-social.
Published: 2013

32. A simple and unified algorithm to solve fluid phase equilibria using either the gamma-phi or the phi-phi approach for binary and ternary mixtures

Author: Jean-Noël Jaubert, Yannick Privat, Romain Privat, Laboratoire Réactions et Génie des Procédés (LRGP), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), and Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)
Subjects: General Chemical Engineering, Binary number, 02 engineering and technology, Type (model theory), 010402 general chemistry, Mole fraction, 01 natural sciences, 0104 chemical sciences, Computer Science Applications, symbols.namesake, 020401 chemical engineering, Simple (abstract algebra), Phase (matter), Phase rule, symbols, [CHIM]Chemical Sciences, Gravitational singularity, 0204 chemical engineering, Ternary operation, Algorithm, Mathematics
Abstract: International audience; A new algorithm is proposed for calculating phase equilibria in binary systems at a fixed temperature and pressure. This algorithm is then extended to ternary systems (in which case, the mole fraction of one constituent in a given phase must be fixed in order to satisfy the Gibbs' phase rule). The algorithm has the advantage of being very simple to implement and insensitive to the procedure used to initialize the unknowns. Most significantly, the algorithm allows the same solution procedure to be used regardless of the thermodynamic approach considered (gamma-phi or phi-phi), the type of phase equilibrium (VLE, LLE, etc.) and the existence of singularities (azeotropy, criticality and so on).
Published: 2013
Full Text: View/download PDF

33. Caractérisation et corrosion de l'alliage de titane Low Cost Beta

Author: Dupuis, J., Gloriant, Thierry, Faure, S. P., Razan, Florence, Cornen, M., Castany, P., Chenon, M., Institut des Sciences Chimiques de Rennes (ISCR), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Ecole Nationale Supérieure de Chimie de Rennes (ENSCR)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Bio-MIcroSystèmes et BioSensors (SATIE-BIOMIS), Systèmes d'Information et d'Analyse Multi-Echelles (SATIE-SIAME), Systèmes et Applications des Technologies de l'Information et de l'Energie (SATIE), École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-École normale supérieure - Rennes (ENS Rennes)-Université de Cergy Pontoise (UCP), Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-École normale supérieure - Rennes (ENS Rennes)-Université de Cergy Pontoise (UCP), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-Centre National de la Recherche Scientifique (CNRS)-Systèmes et Applications des Technologies de l'Information et de l'Energie (SATIE), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-Centre National de la Recherche Scientifique (CNRS), Razan, Florence, Centre National de la Recherche Scientifique (CNRS)-Institut de Chimie du CNRS (INC)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Ecole Nationale Supérieure de Chimie de Rennes (ENSCR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Systèmes d'Information et d'Analyse Multi-Echelles (SIAME), Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)-Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-École normale supérieure - Rennes (ENS Rennes)-Université de Cergy Pontoise (UCP), Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Centre National de la Recherche Scientifique (CNRS)-Systèmes et Applications des Technologies de l'Information et de l'Energie (SATIE), and Université Paris-Seine-Université Paris-Seine-Conservatoire National des Arts et Métiers [CNAM] (CNAM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [SPI.NANO] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics
Published: 2013

34. Effects of recovery mode (active vs. passive) on performance during a short high-intensity interval training program: a longitudinal study

Author: Karim Chamari, Abderraouf Ben Abderrahman, Pierre-Yves de Müllenheim, Zouhair Tabka, Hassane Zouhal, Jacques Prioux, Steven Gastinger, Delphine Thevenet, Laboratoire Mouvement Sport Santé (M2S), École normale supérieure - Cachan (ENS Cachan)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Brest (UBO)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique ), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Laboratoire de Physiologie et de Biomécanique de l'Exercice Musculaire. UHB, Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES), École normale supérieure - Cachan (ENS Cachan)-Université de Rennes (UR)-Université de Brest (UBO)-Université de Rennes 2 (UR2)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique ), Activité Physique, Corps, Sport et Santé (APCOSS), and Université Catholique de l'Ouest (UCO)
Subjects: Male, medicine.medical_specialty, Longitudinal study, Anaerobic Threshold, Physiology, [SDV]Life Sciences [q-bio], Passive recovery, Athletic Performance, 030204 cardiovascular system & hematology, Interval training, Running, Random Allocation, Young Adult, 03 medical and health sciences, 0302 clinical medicine, Physiology (medical), Internal medicine, medicine, Humans, Orthopedics and Sports Medicine, Longitudinal Studies, ComputingMilieux_MISCELLANEOUS, Time to exhaustion, Mathematics, Exercise Tolerance, Significant difference, Public Health, Environmental and Occupational Health, VO2 max, 030229 sport sciences, General Medicine, Oxygen, Case-Control Studies, Cardiology, Anaerobic exercise, High-intensity interval training
Abstract: The aim of this longitudinal study was to compare two recovery modes (active vs. passive) during a seven-week high-intensity interval training program (SWHITP) aimed to improve maximal oxygen uptake ([Formula: see text]), maximal aerobic velocity (MAV), time to exhaustion (t lim) and time spent at a high percentage of [Formula: see text], i.e., above 90 % (t90 [Formula: see text]) and 95 % (t95 [Formula: see text]) of [Formula: see text]. Twenty-four adults were randomly assigned to a control group that did not train (CG, n = 6) and two training groups: intermittent exercise (30 s exercise/30 s recovery) with active (IEA, n = 9) or passive recovery (IEP, n = 9). Before and after seven weeks with (IEA and IEP) or without (CG) high-intensity interval training (HIT) program, all subjects performed a maximal graded test to determine their [Formula: see text] and MAV. Subsequently only the subjects of IEA and IEP groups carried out an intermittent exercise test consisting of repeating as long as possible 30 s intensive runs at 105 % of MAV alternating with 30 s active recovery at 50 % of MAV (IEA) or 30 s passive recovery (IEP). Within IEA and IEP, mean t lim and MAV significantly increased between the onset and the end of the SWHITP and no significant difference was found in t90 VO2max and t95 VO2max. Furthermore, before and after the SWHITP, passive recovery allowed a longer t lim for a similar time spent at a high percentage of VO2max. Finally, within IEA, but not in IEP, mean VO2max increased significantly between the onset and the end of the SWHITP both in absolute (p < 0.01) and relative values (p < 0.05). In conclusion, our results showed a significant increase in VO2max after a SWHITP with active recovery in spite of the fact that t lim was significantly longer (more than twice longer) with respect to passive recovery.
Published: 2013
Full Text: View/download PDF

35. Consistency of l1 recovery from noisy deterministic measurements

Author: DOSSAL, Charles, TESSON, Rémi, Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), and École normale supérieure - Cachan (ENS Cachan)
Subjects: [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control
Abstract: In this paper a new result of recovery of sparse vectors from deterministic and noisy measurements by l1 minimization is given. The sparse vector is randomly chosen and follows a generic p-sparse model introduced by Candes and al. The main theorem ensures consistency of l1 minimization with high probability. This first result is secondly extended to compressible vectors., Comment: 9 pages
Published: 2013

36. Learning from Multiple Experts with Random Forests: Application to the Segmentation of the Midbrain in 3D Ultrasound

Author: Seyed-Ahmad Ahmadi, Pierre Chatelain, Kai Bötzel, Annika Plate, Nassir Navab, Loïc Peter, Olivier Pauly, Computer Aided Medical Procedures & Augmented Reality (CAMPAR), Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Institute of Biomathematics and Biometry - Helmholtz Zentrum München (IBB), Helmholtz-Zentrum München (HZM), Ludwig-Maximilians-University of Munich-Grosshadern, Department of Neurology, Ludwig Maximilians university, Ludwig-Maximilians-Universität München (LMU), and Chatelain, Pierre
Subjects: [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, Computer science, [INFO.INFO-IM] Computer Science [cs]/Medical Imaging, 02 engineering and technology, Machine learning, computer.software_genre, Field (computer science), 030218 nuclear medicine & medical imaging, 03 medical and health sciences, 0302 clinical medicine, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-IM]Computer Science [cs]/Medical Imaging, 0202 electrical engineering, electronic engineering, information engineering, medicine, Segmentation, Computer vision, 3D ultrasound, ComputingMilieux_MISCELLANEOUS, Ground truth, medicine.diagnostic_test, business.industry, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], Image segmentation, Random forest, Multiple experts, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer
Abstract: In the field of computer aided medical image analysis, it is often difficult to obtain reliable ground truth for evaluating algorithms or supervising statistical learning procedures. In this paper we present a new method for training a classification forest from images labelled by variably performing experts, while simultaneously evaluating the performance of each expert. Our approach builds upon state-of-the-art randomized classification forest techniques for medical image segmentation and recent methods for the fusion of multiple expert decisions. By incorporating the performance evaluation within the training phase, we obtain a novel forest framework for learning from conflicting expert decisions, accounting for both inter- and intra-expert variability. We demonstrate on a synthetic example that our method allows to retrieve the correct segmentation among other incorrectly labelled images, and we present an application to the automatic segmentation of the midbrain in 3D transcranial ultrasound images.
Published: 2013
Full Text: View/download PDF

37. Dynamics of Klein-Gordon on a compact surface near an homoclinic orbit

Author: Gr��bert, Beno��t, J��z��quel, Tiphaine, Thomann, Laurent, Laboratoire de Mathématiques Jean Leray (LMJL), Centre National de la Recherche Scientifique (CNRS)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN), Equations aux Dérivées Partielles et Physique Mathématique, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), and École normale supérieure - Cachan (ENS Cachan)-École normale supérieure - Cachan (ENS Cachan)
Subjects: Mathematics - Analysis of PDEs, 37K45, 35Q55, 35Bxx, homoclinic orbit, FOS: Mathematics, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], Klein-Gordon equation, wave equation, center manifold, Analysis of PDEs (math.AP)
Abstract: We consider the Klein-Gordon equation on a Riemannian surface which is globally well-posed in the energy space. This equation has an homoclinic orbit to the origin, and in this paper we study the dynamics close to it. Using a strategy from Groves-Schneider, we show that there are many solutions which stay close to this homocline during all times. We point out that the solutions we construct are not small., To appear in DCDS-A. The last part has been removed, and gives a separate publication
Published: 2012

38. PDPA: Period Driven Task and Cache Partitioning Algorithm for Mumti-core Systems

Author: Berna, Brice, Puaut, Isabelle, Amdahl's Law is Forever (ALF), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Puaut, Isabelle, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems
Abstract: International audience; Multi-core architectures are well suited to ful ll the increasing performance requirements of embedded real-time systems. However, such systems also require the capacity to estimate the timing behavior of their critical components. Interference between tasks, as they occur on standard multicore micro-architectures due to cache sharing are still di - cult to predict accurately. An alternative is to remove these indirect interferences between tasks through partitioning of the shared cache and through the use of partitioned task scheduling. In this paper, we present a new algorithm for joint task and cache partitioning in multi-core systems scheduled using non-preemptive EDF. The main novelty of the algorithm is to take into account the tasks' period repartition in the task partitioning problem, which is critical in a non-preemptive context. Other task properties such as task cache requirements are also considered to optimize cache partitioning. Experiments show that our algorithm outperforms the stateof- the-art algorithm for tasks and cache partitioning, named IA3 [18], in terms of schedulability, specially when tasks have varied periods.
Published: 2012

39. Turbo Planning

Author: Loig Jezequel, Eric Fabre, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Inria Rennes – Bretagne Atlantique, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique
Subjects: distributed algorithms, 0209 industrial biotechnology, 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, 020206 networking & telecommunications, 02 engineering and technology, turbo algorithms, discrete event systems, planning, weighted automata, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; The complexity of planning problems comes from the size of the state graph of the systems, which suggests to consider factored (or distributed) solutions. We previously proposed a solution of this kind which revealed to be very efficient on problems where components have a sparse interaction. This work explores a step further in this direction. The idea is to extend the celebrated turbo algorithms, extremely successful to decode large-scale sparse error correcting codes. The paper proposes an adaptation of this technique to the setting of cost-optimal factored planning, and illustrates its behavior on large randomly generated systems.
Published: 2012
Full Text: View/download PDF

40. Incremental and adaptive learning for online monitoring of embedded software

Author: Angheloiu, Monica Loredana, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Diagnosing, Recommending Actions and Modelling (DREAM), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), INRIA-IRISA Rennes Bretagne Atlantique, équipe DREAM, and Marie-Odile Cordier, Laurence Rozé
Subjects: monitoring, systèmes embarqués, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Apprentissage
Abstract: A lot of useful hidden information is included among everyday data, which often can't be extracted manually. Therefore, machine learning is used to get knowledge by generalizing examples. When all data is already stored, a common approach used is batch learning, but when learning comes to deal with huge amounts of data, arriving at different instances of time in sets of examples, incremental learning is the best solution. To improve the performances of supervised incremental learning algorithms specific examples are stored and used for future learning steps. In this paper is described an incremental learning framework that generates classification predictions, a partial memory approach (specific border examples stored), for the "Manage YourSelf" project, that deals with the diagnosis and monitoring of embedded platforms. This approach extends the AQ21 algorithm to solve a specific learning task. It was chosen because it is one of the latest developed and it has many useful features. The incremental solution is proposed because we are dealing with a data flow and partial-memory approaches were searched because here is no need to re-examine all the instances at every learning step. Furthermore, those notably decrease memory requirements and learning times.
Published: 2012

41. Analyse de la dynamique de réseaux de contacts

Author: Rieutord, Thibault, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR), Laboratoire d'informatique de Paris 6 [LIP6], Clémence Magnien, Fabien Tarissan, Université de Rennes 1 (UR1), and Université de Rennes (UNIV-RENNES)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Graphe dynamique, Diffusion par inondation, Réseau de contacts, Plus courts chemins, Centralité dynamique
Abstract: En munissant des individus de capteurs, il est possible de mesurer à quels moments deux personnes sont physiquement proches. L'ensemble de ces contacts, permettant l'échange d'information sans passer par une infrastructure existante, forme ce qu'on appelle un réseau de contacts. L'étude de tels réseaux se diversifie dans la littérature, mais la structure dynamique inhérente de ces réseaux complexifie grandement leur étude. Les méthodes classiques d'étude des graphes doivent donc être repensées. Dans ce rapport de stage, on détaille des propositions pour adapter la notion de centralité, classique pour les graphes statiques, afin de prendre en compte l'aspect dynamique de tels réseaux. Le but est de quantifier l'importance des différents nœuds du réseau lors de diffusion d'information. Le rôle des nœuds évoluant au cours du temps, la métrique que nous proposons permet de quantifier l'importance d'un nœud donné en fonction du temps de départ de la diffusion d'information et ce pour tous les temps de départ possibles. Les résultats montrent que les métriques proposées permettent d'observer des nuances non négligeables entre les différents nœuds. L'évolution de l'importance d'un nœud reste toutefois difficile à bien caractériser, les résultats présentant une grande variabilité au cours du temps.
Published: 2012

42. Joint tasks and cache partitioning for real-time systems

Author: Berna, Brice, Amdahl's Law is Forever (ALF), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), INRIA-IRISA Rennes Bretagne Atlantique, équipe ALF, and Isabelle Puaut, Erven Rohou
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, real time system, cache, join task
Abstract: Ce rapport commence par rappeler l'état de l'art de manière assez large en évoquant notamment les méthodes de partitionnement de cache ou d'ordonnancement dans les systèmes temps-réel. Ensuite, l'objet du stage est détaillé. Il s'agit d'un algorithme de partitionnement conjoint de tâche et de cache. Pour finir, il est comparé au seul algorithme connu qui résout le même problème (IA3).
Published: 2012

43. Vérification probabiliste de résultats d'analyse statique

Author: Bride, Antoine, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Software certification with semantic analysis (CELTIQUE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA-IRISA Rennes Bretagne Atlantique, équipe Celtique, and David Cachera
Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Language and Software Engineering
Abstract: Ce document traite de la vérification probabiliste de résultats d'analyse statique. Il s'agit plus précisément de mettre au point un algorithme de Monte-Carlo permettant de vérifier qu'un objet (appelé certificat) que l'on nous donne est bien le résultat d'une analyse statique. À notre connaissance, aucun algorithme de la sorte n'existe. Nous avons donc commencé par nous définir un cas précis sur lequel travailler à savoir une analyse Points-to sur un langage impératif simple que nous définissons. Nous avons ensuite proposé un algorithme de Monte-Carlo qui soit simple à implémenter et rapide à exécuter pour ce cas en particulier. Une grande partie de notre travail a alors consisté à démontrer que l'algorithme avait de bonnes propriétés de convergence en termes de probabilité d'erreur. Nous avons enfin implémenté cet algorithme afin d'obtenir des résultats expérimentaux. Finalement, nous proposons des pistes pour élargir le champ d'application et ne plus se restreindre à un cas précis.
Published: 2012

44. Building up on SIDAN: improved and new invariants for a software hardening Frama-C plugin

Author: Karpman, Pierre, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), SUPELEC-Campus Rennes, Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Supélec, équipe Cidre, and Eric Torel, Frédéric Tronel
Subjects: SIDAN, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Analyse statique de programmes, Sécurité, détection d'intrusions
Abstract: We present improvements made on SIDAN, an intrusion detection system working at the software level. The operating principle of SIDAN consists in statically computing invariant properties of the targeted programs and in generating an instrumentation to check those properties at runtime, in order to detect attacks. More precisely, it focuses on invariants involving the values of variables of the program. It checks these invariants when calling functions. We present improvements on the existing invariants used by SIDAN and propose new invariants as well. We also describe how these have been implemented in SIDAN by using the Frama-C framework, and how they could improve its attack detection capabilities.
Published: 2012

45. Algorithmes efficaces de recherche pour une machine chimique pair-à-pair

Author: Perrin, Matthieu, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Design and Implementation of Autonomous Distributed Systems (MYRIADS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), INRIA-IRISA Rennes Bretagne Atlantique, équipes MYRIADS et ASAP, and Marin Bertier, Cédric Tedeschi
Subjects: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Paradigme chimique, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], complexité, parallélisme
Abstract: La difficulté de la programmation des systèmes répartis à large échelle est encore aujourd'hui un frein à leur développement. Le paradigme chimique fournit une abstraction de haut-niveau adaptée à la programmation de tels systèmes. Cependant, l'exécution de programmes chimiques nécessite la recherche de tuples d'éléments d'un multi-ensemble vérifiant une certaine propriété. Le but de ce rapport est d'améliorer la complexité de cette opération.
Published: 2012

46. Infrastructures immersives ouvertes dans le cadre du projet européen Visionair, exemple de la plateforme Immersia

Author: Ronan Gaugne, Georges Dumont, Valérie Gouranton, Alain Chauffaut, ARNALDI Bruno, Virtual Reality for Improved Innovative Immersive Interaction (VR4I), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Rennes (UNIV-RENNES), École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES), European Project: 262044,EC:FP7:INFRA,FP7-INFRASTRUCTURES-2010-1,VISIONAIR(2011), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Inria Rennes – Bretagne Atlantique, Université de Rennes (UR), Institut National des Sciences Appliquées (INSA), Gouranton, Valérie, and VISION ADVANCED INFRASTRUCTURE FOR RESEARCH - VISIONAIR - - EC:FP7:INFRA2011-02-01 - 2015-01-31 - 262044 - VALID
Subjects: [SHS.ARCHEO] Humanities and Social Sciences/Archaeology and Prehistory, [SHS.ARCHEO]Humanities and Social Sciences/Archaeology and Prehistory, archéologie, [INFO.INFO-GR] Computer Science [cs]/Graphics [cs.GR], [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], réalité virtuelle
Abstract: National audience; Visionair est un projet européen d'infrastructure de visualisation de haut niveau (http://www.infra-visionair.eu), ouverte aux communautés scientifiques du monde entier. Il a pour objectif de proposer un point d'entrée unique, visible et attractif vers une infrastructure internationale. La salle de réalité virtuelle, Immersia (http://www.irisa.fr/immersia) est une plateforme commune à l'IRISA et au centre de recherche Inria Rennes Bretagne-Atlantique, noeud clé de l'infrastructure transnationale Visionair. Elle permet une immersion complète avec des interactions temps-réel, multi-modales (vision, son, haptique, interface cerveau-ordinateur). La plateforme est constituée de quatre faces dont trois en verre, de dimension d'environ 10m x 3m x 3m, une des plus grandes au monde actuellement. Nous avons initié une collaboration avec l'INRAP autour de la représentation immersive de sites archéologiques. L'objectif est d'immerger un utilisateur dans une reconstitution numérique à l'échelle 1 de bâtiments ou de sites, et de lui permettre d'interagir avec l'environnement virtuel. Nous avons commencé par le déploiement immersif de reconstitutions 3D de différents bâtiments tels qu'un temple gallo-romain d'une fouille de Bais. Nous sommes convaincus que nos deux communautés peuvent s'enrichir mutuellement et qu'il existe à l'heure actuelle de véritables opportunités pour collaborer.
Published: 2012

47. Formalisation de HOCore en Coq

Author: Boulier, Simon, Schmitt, Alan, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Software certification with semantic analysis (CELTIQUE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), and Monteil, Alain
Subjects: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Abstract: National audience; Nous présentons les premiers résultats de la formalisation de propriétés du calcul de processus d'ordre supérieur HOCore [I. Lanese, J. A. Pérez, D. Sangiorgi et A. Schmitt : On the expressiveness and decidability of higher-order process calculi. Information and Computation, 209(2):198-226, fév. 2011.] dans l'assistant de preuve Coq. Nous décrivons notre choix de représentation des lieurs de HOCore, nous basant sur l'approche canonique de Pollack et al .[R. Pollack, M. Sato et W. Ricciotti : A canonical locally named representation of binding. Journal of Automated Reasoning, p. 1-23, mai 2011. 10.1007/s10817-011-9229-y.] Nous donnons la représentation de différentes notions de bissimulations, puis la preuve formelle de la correction de l'IO-bissimilarité par rapport à l'équivalence contextuelle barbue, correspondant à un des théorèmes fondamentaux de [I. Lanese, J. A. Pérez, D. Sangiorgi et A. Schmitt : On the expressiveness and decidability of higher-order process calculi. Information and Computation, 209(2):198-226, fév. 2011.]. Nous montrons également que l'IO-bissimilarité est décidable. L'objectif de ce travail est de montrer l'utilité de Coq et de la représentation canonique pour prouver des propriétés de calculs d'ordre supérieur.
Published: 2012

48. Net Neutrality Debate: Impact of Competition among ISPs

Author: Francois Boussion, Patrick Maillé, Bruno Tuffin, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Département Réseaux, Sécurité et Multimédia (RSM), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT), Dependability Interoperability and perfOrmance aNalYsiS Of networkS (DIONYSOS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES (IRISA-D2), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Subjects: Computer science, media_common.quotation_subject, 02 engineering and technology, Computer security, computer.software_genre, Net neutrality, Microeconomics, Competition (economics), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Monopolistic competition, Network neutrality,Competition,Pricing,Game theory, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Complaint, 050207 economics, Network neutrality, Game theory, media_common, Competition, 05 social sciences, 020206 networking & telecommunications, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, Payment, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Backward induction, Neutrality, computer, Pricing
Abstract: International audience; Network neutrality has recently been the topic of an important debate, in both the telecommunication and political worlds, because of its potential impact in every-day life. While there has been many studies discussing the advantages and drawbacks of neutrality, there is no game-theoretical study dealing with the observable situation of competitive ISPs in front of a (quasi-)monopolistic content provider (CP), while it is a complaint from ISPs, and an illustration of the non-neutrality need. This paper provides a first game-theoretical analysis of relations between two competitive ISPs and a single CP, in the form of a four-level game, played at different time scales. This game is analyzed by backward induction. We show that while the complaint from ISPs is relevant with a such a competitive model, inserting side payments does not solve the problem.
Published: 2012

49. Object-based Layered Depth Images for improved virtual view synthesis in rate-constrained context

Author: Vincent Jantet, Luce Morin, Christine Guillemot, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Digital image processing, modeling and communication (TEMICS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)
Subjects: Pixel, Computer science, business.industry, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, 020206 networking & telecommunications, 02 engineering and technology, View synthesis, Rendering (computer graphics), Computer graphics (images), [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], 0202 electrical engineering, electronic engineering, information engineering, Discrete cosine transform, 020201 artificial intelligence & image processing, Segmentation, Computer vision, Artificial intelligence, Visual artifact, business, Transform coding
Abstract: International audience; Layered Depth Image (LDI) representations are attractive compact representations for multi-view videos. Any virtual viewpoint can be rendered from LDI by using view synthesis technique. However, rendering from classical LDI leads to annoying visual artifacts, such as cracks and disocclusions. Visual quality gets even worse after a DCT-based compression of the LDI, because of blurring effects on depth discontinuities. In this paper, we propose a novel object-based LDI representation, improving synthesized virtual views quality, in a rate-constrained context. Pixels from each LDI layer are reorganised to enhance depth continuity.
Published: 2011

50. On the beneﬁt of dedicating cores to mask I/O jitter in HPC simulations

Author: Dorier, Matthieu, École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), ENS Cachan antenne de Bretagne, Université de Rennes 1, Gabriel Antoniu, Joint INRIA/UIUC Laboratory for Petascale Computing, and Dorier, Matthieu
Subjects: [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Abstract: National audience; With exascale computing on the horizon, the performance variability of I/O systems presents a key challenge in sustaining high performance. In many HPC applications, I/O is performed concurrently by all processes; this produces I/O bursts, which causes resource contention and substantial variability of I/O performance, signiﬁcantly impacting the overall application performance. We here utilize the IOR benchmark to explore the inﬂuence of user-conﬁgurable parameters of the I/O stack on performance variability. We then propose a new approach, called Damaris, leveraging dedicated I/O cores on each multicore SMP node to efﬁciently perform asynchronous data processing and I/O. We evaluate our approach on two different platforms with the CM1 atmospheric model, one of the BlueWaters HPC applications. By gathering data into large ﬁles while avoiding synchronization between cores, our solution increases the I/O throughput by a factor of 6, hides all I/O-related costs, and enables a 600% compression ratio without any additional overhead.
Published: 2011

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Journal

Database

Publisher

91 results on '"École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne)"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources