Author: "IRIT Toulouse" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"IRIT Toulouse"' showing total 689 results

Start Over Author "IRIT Toulouse"

689 results on '"IRIT Toulouse"'

201. Asymmetric Composition of Possibilistic Operators in Formal Concept Analysis: Application to the Extraction of Attribute Implications from Incomplete Contexts

Author: Ait-Yakoub, Zina, Djouadi, Yassine, Dubois, Didier, Prade, Henri, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université des Sciences et de la Technologie Houari Boumediene - USTHB (ALGERIA), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Mouloud Mammeri Tizi Ouzou - UMMTO (ALGERIA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Mouloud Mammeri [Tizi Ouzou] (UMMTO), University of Sciences and Technology Houari Boumediene [Alger] (USTHB), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), 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, and Centre National de la Recherche Scientifique (CNRS)
Subjects: Logique en informatique, Galois derivation operator, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Asymmetric composition, Formal concept analysis (FCA), TBoxes
Abstract: International audience; Formal concept analysis theory (FCA) classically relies on the use of the Galois powerset operator. Formal similarities between possibility theory and formal concept analysis have led to the use of possibilistic operators in FCA, which were ignored before. In this paper, an approach based on the use of asymmetric composition of the two most usual possibilistic operators is proposed. It enables us to complement the stem base, by deriving attribute implications with disjunctions on both sides of the implications. Besides, the approach is also generalized to incomplete contexts involving explicit positive and negative information. We outline the potential application of these results to the completion of TBoxes in description logic.
Published: 2017
Full Text: View/download PDF

202. Measuring rotor-speed with a smartphone camera

Author: Thanh-Chi Le, Axel Carlier, Quoc-Dzung Phan, Pascal Maussion, Centre National de la Recherche Scientifique - CNRS (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), Ho Chi Minh City University of Technology - HCMUT (VIETNAM), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Ho Chi Minh City University of Technology (HCMUT), Real Expression Artificial Life (IRIT-REVA), 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, Institut National Polytechnique (Toulouse) (Toulouse INP), COmmande et DIAgnostic des Systèmes Electriques (LAPLACE-CODIASE), LAboratoire PLasma et Conversion d'Energie (LAPLACE), Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-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 III - Paul Sabatier (UT3), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Energie électrique, Computer science, Real-time computing, Exposure time, Measure (physics), Image processing, 02 engineering and technology, 01 natural sciences, 7. Clean energy, law.invention, Grayscale, law, 0202 electrical engineering, electronic engineering, information engineering, Traitement du signal et de l'image, Velocity measurement, Region of interest, Rest (physics), Speed measurement, Frames per second, Background subtraction, Rotor (electric), 020208 electrical & electronic engineering, 010401 analytical chemistry, [SPI.NRJ]Engineering Sciences [physics]/Electric power, Technologies Émergeantes, Rotational speed, Frame rate, 0104 chemical sciences, [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET], [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
Abstract: International audience; This paper presents a new method to measure a rotor speed using a smartphone camera. An image processing algorithm is proposed to measure the rotation speed, based on the periodic detection of a mark placed on the rotor. Experiments demonstrate our method can estimate rotor speed with a good precision, provided that the camera frame rate is high enough. The method could be very useful for periodic speed measurement in applications where a sensor is prohibited, for example in pico-hydro-turbine for rural electrification. Since the smartphones are almost everywhere, they contribute to cost and environmental impact reductions in such solutions. The rest of the system is composed of reused components according to the principles of frugal innovation.
Published: 2017

203. Compressed quantitative acoustic microscopy

Author: Daniel Rohrbach, Denis Kouame, Jonghoon Kim, Jonathan Mamou, Alin Achim, Paul R. Hill, Adrian Basarab, Nishan Canagarajah, University of Bristol [Bristol], Riverside Research Institute, CoMputational imagINg anD viSion (IRIT-MINDS), 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, Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Bristol (UNITED KINGDOM), Riverside Research (USA), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Subjects: Materials science, Compressive sampling, business.industry, Acoustic microscopy, 020206 networking & telecommunications, 02 engineering and technology, Iterative reconstruction, 01 natural sciences, Wavelet, Compressed sensing, Transducer, Optics, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Approximate message passing, Speed of sound, 0103 physical sciences, Microscopy, 0202 electrical engineering, electronic engineering, information engineering, Maximum a posteriori estimation, Cauchy distribution, Traitement du signal et de l'image, [PHYS.PHYS.PHYS-INS-DET]Physics [physics]/Physics [physics]/Instrumentation and Detectors [physics.ins-det], business, 010301 acoustics, Scanning acoustic microscopy
Abstract: International audience; Scanning acoustic microscopy is a well-accepted modality for forming quantitative 2D maps of acoustic properties of soft tissues at microscopic scales. In our studies, the sample is raster-scanned with a spatial step size of 2 μm using a 250 MHz transducer resulting in 3D RF data cubes. Each RF signal is processed to obtain, for each spatial location, acoustic parameters, e.g., the speed of sound. The scanning time is directly dependent on the sample size and can range from few minutes to hours. In order to maintain constant experimental conditions for the sensitive thin sectioned samples, the scanning time is an important practical issue. Hence, the main objective of this work is to reduce the scanning time by reconstructing acoustic microscopy images from spatially under sampled measurements, based on the theory of compressive sampling. A recently proposed approximate message passing method using a Cauchy maximum a posteriori image denoising algorithm is thus employed to account for the non-Gaussianity of quantitative acoustic microscopy wavelet coefficients.
Published: 2017
Full Text: View/download PDF

204. Other-Condemning Anger = Blaming Accountable Agents for Frustrated Intentions

Author: Dastani, Mehdi, Lorini, Emiliano, Meyer, John-Jules, Pankov, Alexander, Utrecht University [Utrecht], 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), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Utrecht University - UU (NETHERLANDS), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Subjects: Logique en informatique, GeneralLiterature_INTRODUCTORYANDSURVEY, Multi-agent logic, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Anger emotion, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Système multi-agents
Abstract: International audience; This paper focuses on the other-condemning anger emotion whichis a social type of anger triggered by the behaviour of other agents. Other-condemning anger responds to frustration of committed goalsby others, and motivates goal-congruent behavior towards the blame-worthy agents. Understanding this type of anger is crucial formodelling human behavior in social settings as well as design-ing socially aware artificial systems. We summarize some exist-ing psychological theories on other-condemning anger and advo-cate building logical frameworks to formally specify this emotion.We believe that a formalization should provide a precise conceptu-alization and characterization of other-condemning anger in termsof social and cognitive concepts such as beliefs, goals, intentions,controllability, accountability, and blameworthiness.
Published: 2017

205. A variational approach to shape-from-shading under natural illumination

Author: Fabien Castan, Daniel Cremers, Yvain Quéau, Jean-Denis Durou, Jean Mélou, Technische Universität München (TUM), Mikros Image (Levallois-Perret, France), Mikros Image (FRANCE), Real Expression Artificial Life (IRIT-REVA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-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é Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), 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), Marcello Pelillo, Edwin Hancock, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Technische Universität München - TUM (GERMANY), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: FOS: Computer and information sciences, Computer Vision and Pattern Recognition (cs.CV), Noise reduction, Computer Science - Computer Vision and Pattern Recognition, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, 010103 numerical & computational mathematics, 02 engineering and technology, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Traitement des images, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Depth map, Computer Science::Multimedia, 0202 electrical engineering, electronic engineering, information engineering, Traitement du signal et de l'image, Computer vision, 0101 mathematics, Synthèse d'image et réalité virtuelle, Mathematics, ComputingMethodologies_COMPUTERGRAPHICS, business.industry, Augmented Lagrangian method, Natural illumination, Orthographic projection, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Vision par ordinateur et reconnaissance de formes, Intelligence artificielle, Spherical harmonic lighting, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], Photometric stereo, Computer Science::Graphics, Shape-from-shading, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], 020201 artificial intelligence & image processing, Artificial intelligence, business
Abstract: A numerical solution to shape-from-shading under natural illumination is presented. It builds upon an augmented Lagrangian approach for solving a generic PDE-based shape-from-shading model which handles directional or spherical harmonic lighting, orthographic or perspective projection, and greylevel or multi-channel images. Real-world applications to shading-aware depth map denoising, refinement and completion are presented., Presented at EMMCVPR 2017 conference
Published: 2017
Full Text: View/download PDF

206. Receiver for FTN signaling in non-linear channel: Joint channel estimation and synchronization

Author: Jean-Alain Lucciardi, Marie-Laure Boucheret, G. Mesnager, Charly Poulliat, Nathalie Thomas, IRT Saint Exupéry - Institut de Recherche Technologique, Signal et Communications (IRIT-SC), 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, Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National de la Recherche Scientifique - CNRS (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), IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Computer science, Channel estimation, 050801 communication & media studies, Context (language use), 02 engineering and technology, Synchronization, Receivers, 0508 media and communications, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Traitement du signal et de l'image, Training, Frequency offset, Waveform, 05 social sciences, Detector, 020206 networking & telecommunications, Spectral efficiency, Systèmes embarqués, Kernel, Intersymbol interference, Frequency estimation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Estimation, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, Algorithm, Communication channel
Abstract: International audience; In order to increase the capacity of future satellite communication systems, faster-than-Nyquist (FTN) signaling is increasingly considered. The gain in terms of transmission rate is obtained at the price of significant intersymbol interference (ISI) introduction. To benefit from an improved spectral efficiency (SE), many iterative detectors have already been investigated, demonstrating the interest of such a waveform in linear and non linear channels. A thorny point in FTN signaling remains its synchronization since the usual algorithms considered in the DVB-S2X standard cannot be applied on this waveform without significant loss on the performance. This paper proposes a synchronization scheme for FTN signaling in a satellite context. It is based on a Volterra decomposition of the received signal in order to fit both with linearized and non-linearized amplifiers which can be found in the satellite payload. Two steps, initialization and tracking are considered, based on training sequences fulfilling the DVB-S2Xs frames requirements. After start of sequence detection and frequency offset correction, the channel estimation is used for time offset issue in the two proposed schemes. Their performance are compared to the performance of a perfect synchronized detection.
Published: 2017
Full Text: View/download PDF

207. B-PERFect - Applying the PERF Approach to B Based System Developments

Author: Halchin, Alexandra, Feliachi, Abderrahmane, Singh, Neeraj Kumar, Aït-Ameur, Yamine, Ordioni, Julien, Centre National de la Recherche Scientifique - CNRS (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), Régie Autonome des Transports Parisiens - RATP (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), RATP - Département ING/STF/QS [Fontenay-sous-Bois] (RATP), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), 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, Institut National Polytechnique (Toulouse) (Toulouse INP), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Translation, B method, Safety assessment, PERF, Cryptographie et sécurité, HLL, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Abstract: International audience; An independent safety assessment of railway software systems is performed by RATP (Régie Autonome des Transports Parisiens) for all safety-critical systems before their deployment in its network. Whenever possible, this activity is performed using the PERF approach (Proof Executed over a Retro-engineered Formal model). PERF is a methodology which handles formal verification of already developed software. This approach is applied to a variety of software systems, developed using languages such as SCADE, Ada or C. It provides an alternative verification that can be applied for the independent safety assessment of critical systems used by RATP. In this paper, we propose the B-PERFect method to generalize the application of the PERF approach for critical systems which are based on the B method. In particular, this paper focuses on transformation strategy from B language to the pivot language of PERF: HLL. HLL is a synchronous data-flow language equipped with formal verification techniques. The differences between B and HLL are pointed out and the translation process is presented in this regard.
Published: 2017

208. Maximum Likelihood Estimation and Coarse Data

Author: Didier Dubois, Inés Couso, Eyke Hüllermeier, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Universidad de Oviedo (SPAIN), Universität Paderborn (GERMANY), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - INPT (FRANCE), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), 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, and Centre National de la Recherche Scientifique (CNRS)
Subjects: Coarsening at random, Computer science, Estimation theory, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Algorithme et structure de données, Coarse data, Grouped data, 02 engineering and technology, Minimum chi-square estimation, Maximum likelihood sequence estimation, Visible likelihood, Term (time), 020204 information systems, Expectation–maximization algorithm, 0202 electrical engineering, electronic engineering, information engineering, Sample space, Maximum a posteriori estimation, 020201 artificial intelligence & image processing, Algorithm, Maximum likelihood, Face likelihood
Abstract: National audience; The term coarse data encompasses different types of incomplete data where the (partial) information about the outcomes of a random experiment can be expressed in terms of subsets of the sample space. We consider situations where the coarsening process is stochastic, and illustrate with examples how ignoring this process may produce misleading estimations
Published: 2017

209. On Axiomatization of Epistemic GDL

Author: Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Nankai University (NKU), 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, School of Computing, Engineering and Mathematics [Sydney] (SCEM), Western Sydney University, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Nankai University - NKU (CHINA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Western Sydney - UWS (AUSTRALIA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Computer Science::Computer Science and Game Theory, Computer science, Logic, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, General game playing, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Official language, Langage de programmation, Declarative programming, Soundness, Logique en informatique, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Perfect information, ComputingMilieux_PERSONALCOMPUTING, Axiomatic system, Game, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 16. Peace & justice, Epistemology, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Proof theory, LILaC, Dynamic logic (modal logic), 020201 artificial intelligence & image processing, computer
Abstract: International audience; The Game Description Language (GDL) has been introduced as an official language for specifying games in the AAAI General Game Playing Competition since 2005. It was originally designed as a declarative language for representing rules of arbitrary games with perfect information. More recently, an epistemic extension of GDL, called EGDL, has been proposed for representing and reasoning about imperfect information games. In this paper, we develop an axiomatic system for a variant of EGDL and prove its soundness and completeness with respect to the semantics based on the epistemic state transition model. With a combination of action symbols, temporal modalities and epistemic operators, the completeness proof requires novel combinations of techniques used for completeness of propositional dynamic logic and epistemic temporal logic. We demonstrate how to use the proof theory for inferring game properties from game rules.
Published: 2017

210. An Existence Theorem of Nash Equilibrium in Coq and Isabelle

Author: Érik Martin-Dorel, Jan-Georg Smaus, Stéphane Le Roux, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Libre de Bruxelles - ULB (BELGIUM), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Université libre de Bruxelles (ULB), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), 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, and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Model checking, FOS: Computer and information sciences, TheoryofComputation_MISCELLANEOUS, Computer Science::Computer Science and Game Theory, Computer Science - Logic in Computer Science, Constructive proof, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Interface homme-machine, lcsh:QA75.5-76.95, symbols.namesake, Linear extension, Architectures Matérielles, Computer Science - Computer Science and Game Theory, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Game theory, Mathematics, Notice, lcsh:Mathematics, ComputingMilieux_PERSONALCOMPUTING, Existence theorem, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], TheoryofComputation_GENERAL, Généralités, 020207 software engineering, lcsh:QA1-939, 16. Peace & justice, Modélisation et simulation, Systèmes embarqués, Logic in Computer Science (cs.LO), 010201 computation theory & mathematics, Nash equilibrium, symbols, Cryptographie et sécurité, F.4.1, lcsh:Electronic computers. Computer science, Rewriting, Mathematical economics, Computer Science and Game Theory (cs.GT)
Abstract: Nash equilibrium (NE) is a central concept in game theory. Here we prove formally a published theorem on existence of an NE in two proof assistants, Coq and Isabelle: starting from a game with finitely many outcomes, one may derive a game by rewriting each of these outcomes with either of two basic outcomes, namely that Player 1 wins or that Player 2 wins. If all ways of deriving such a win/lose game lead to a game where one player has a winning strategy, the original game also has a Nash equilibrium. This article makes three other contributions: first, while the original proof invoked linear extension of strict partial orders, here we avoid it by generalizing the relevant definition. Second, we notice that the theorem also implies the existence of a secure equilibrium, a stronger version of NE that was introduced for model checking. Third, we also notice that the constructive proof of the theorem computes secure equilibria for non-zero-sum priority games (generalizing parity games) in quasi-polynomial time., SCOPUS: cp.p, info:eu-repo/semantics/published
Published: 2017
Full Text: View/download PDF

211. Localisation directe par un système MIMO massif

Author: Garcia, Nil, Wymeersch, Henk, Larsson, Erick G., Haimovich, Alexander M., Coulon, Martial, Chalmers University of Technology [Göteborg], Linköping University (LIU), New Jersey Institute of Technology [Newark] (NJIT), Signal et Communications (IRIT-SC), 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, Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National de la Recherche Scientifique - CNRS (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), Chalmers University of Technology (SWEDEN), Linköpings Universitet - LiU (SWEDEN), New Jersey Institute of Technology - NJIT (USA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Traitement des images, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], Traitement du signal et de l'image, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Vision par ordinateur et reconnaissance de formes, Intelligence artificielle, Synthèse d'image et réalité virtuelle, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; Nous considérons le problème de localisation de cible pour des canaux multi-trajets par un réseau massif d’antennes. Contrairement aux méthodes indirectes utilisant la multilatération, nous proposons une approche directe basée sur une représentation parcimonieuse du problème, qui exploite les propriétés différentes des trajets directs et indirects. Cette méthode présente des performances supérieures à celles desméthodes indirectes, ou des méthodes directes conçues pour des canaux non sélectifs, et se révèle robuste au blocage des trajets directs.
Published: 2017

212. Stéréophotométrie microscopique sans démosaïquage

Author: Quéau, Yvain, Pizenberg, Matthieu, Cremers, Daniel, Durou, Jean-Denis, Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), Real Expression Artificial Life (IRIT-REVA), 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 (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Technische Universität München - TUM (GERMANY), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Traitement des images, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], Traitement du signal et de l'image, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Vision par ordinateur et reconnaissance de formes, Intelligence artificielle, Synthèse d'image et réalité virtuelle, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], Stéréophotométrie, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; Nous montrons comment estimer la couleur et les micro-structures géométriques d’une surface opaque par stéréophotométrie, à l’aide d’un instrument dédié. Afin de limiter les reflets, cet instrument est équipé d’un éclairage diffus réglable, que nous étalonnons grâce à une procédure spécifique. Nous montrons aussi qu’il est nécessaire de manipuler les images brutes, sans démosaïquage, afin d’éviter toute transformation sur les données, ce qui simplifie l’estimation de l’albédo coloré et l’estimation du relief.
Published: 2017

213. Mobile interaction with and in autonomous vehicles

Author: Andreas Riener, Alexander Meschtscherjakov, Manfred Tscheligi, Philippe Palanque, Peter Fröhlich, Roderick McCall, Paris-Lodron-Universität Salzburg (PLUS), Austrian Institute of Technology [Vienna] (AIT), Luxembourg Institute of Science and Technology (LIST), Technische Hochschule Ingolstadt - THI ( GERMANY), Interactive Critical Systems (IRIT-ICS), 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 (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Austrian Institute of Technology - AIT (AUSTRIA), Luxembourg Institute of Science and Technology - LIST (LUXEMBOURG), Paris Lodron Universität Salzburg - PLUS (AUSTRIA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, 05 social sciences, 020207 software engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Interaction design, Modélisation et simulation, Computer security, computer.software_genre, Systèmes embarqués, Interface homme-machine, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Human-centered computing, Cryptographie et sécurité, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 0501 psychology and cognitive sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Mobile interaction, computer, 050107 human factors
Abstract: International audience; The rise of autonomous and fully autonomous vehicles requires a closer examination of how people will interact with them. In this workshop, we especially address two areas: (1) What can we learn from mobile HCI for the interaction design between human drivers and the autonomous vehicle? (2) What opportunities for mobile HCI arise due to new freedoms for drivers, when they also take on the role of passengers in autonomous vehicles? The workshop will seek to further develop the challenges involved and/or to suggest early solutions through the use of a highly participative format.
Published: 2017
Full Text: View/download PDF

214. Learning mechanical engineering in a virtual workshop: A preliminary study on utilisability, utility and acceptability

Author: Pierre Lagarrigue, David Panzoli, Nicolas Muller, Michel Galaup, Jean-Pierre Jessel, Real Expression Artificial Life (IRIT-REVA), 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, Serious Game Research Network (SGRN), Institut national universitaire Champollion [Albi] (INUC), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées, Education, Formation, Travail, Savoirs (EFTS), École Nationale Supérieure de Formation de l'Enseignement Agricole de Toulouse-Auzeville (ENSFEA)-Université Toulouse - Jean Jaurès (UT2J), Institut Clément Ader (ICA), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-IMT École nationale supérieure des Mines d'Albi-Carmaux (IMT Mines Albi), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), Centre National de la Recherche Scientifique - CNRS (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), Institut National Universitaire Champollion - INU (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université de Toulouse (UT)-Université de Toulouse (UT), Université de Toulouse (UT)-Université de Toulouse (UT)-École Nationale Supérieure de Formation de l'Enseignement Agricole de Toulouse-Auzeville (ENSFEA), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-IMT École nationale supérieure des Mines d'Albi-Carmaux (IMT Mines Albi), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: Immersive learning, Computer science, Mechanical engineering, 02 engineering and technology, Environments, Virtual reality, computer.software_genre, Field (computer science), User experience design, Human–computer interaction, 0202 electrical engineering, electronic engineering, information engineering, Multimedia, business.industry, Mechanical Engineering, 05 social sciences, Virtual Reality, Game, 050301 education, Immersive learning game, 020207 software engineering, Usability, Human-Computer Interactions, Environnements Informatiques pour l'Apprentissage Humain, [SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph], Variety (cybernetics), User Experience, [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, business, 0503 education, computer
Abstract: International audience; With the recent development of virtual reality (VR) technology, a variety of new tools can be imagined. This article presents a preliminary study on the use of VR for immersive learning games in the field of mechanical engineering. We present the design of such a game and the results of the experiments that followed the implementation of the game. This study was conducted with teachers and students from an undergraduate school of Mechanical Engineering and focuses on utility, usability and acceptability.
Published: 2017
Full Text: View/download PDF

215. A Distant Learning Approach for Extracting Hypernym Relations from Wikipedia Disambiguation Pages

Author: Cécile Fabre, Nathalie Aussenac-Gilles, Adel Ghamnia, Cassia Trojahn, Mouna Kamel, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Perpignan Via Domitia - UPVD (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université de Perpignan Via Domitia (UPVD), 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, Université Toulouse - Jean Jaurès (UT2J), Centre National de la Recherche Scientifique (CNRS), Cognition, Langues, Langage, Ergonomie (CLLE-LTC), École pratique des hautes études (EPHE), and Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Université Toulouse - Jean Jaurès (UT2J)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Relation (database), Process (engineering), Computer science, Hypernym relation, 02 engineering and technology, computer.software_genre, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Domain (software engineering), Knowledge extraction, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Fragment (logic), Distant learning, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Pattern matching, General Environmental Science, Logique en informatique, Information retrieval, Knowledge bases, business.industry, Supervised learning, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Informatique et langage, Intelligence artificielle, Variety (linguistics), Apprentissage, Key (cryptography), General Earth and Planetary Sciences, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer, Natural language processing, Wikipedia
Abstract: International audience; Extracting hypernym relations from text is one of the key steps in the automated construction and enrichment of semantic resources. The state of the art offers a large varierty of methods (linguistic, statistical, learning based, hybrid). This variety could be an answer to the need to process each corpus or text fragment according to its specificities (e.g. domain granularity, nature, language, or target semantic resource). Moreover, hypernym relation may take different linguistic forms. The aim of this paper is to study the behaviour of a supervised learning approach to extract hypernym relations whatever the way they are expressed, and to evaluate its ability to capture regularities from the corpus, without human intervention. We apply a distant supervised learning algorithm on a sub-set of Wikipedia in French made of disambiguation pages where we manually annotated hypernym relations. The learned model obtained a F-measure of 0.67, outperforming lexico-syntactic pattern matching used as baseline.
Published: 2017

216. Interaction-in-the-large vs interaction-in-the-small in multi-device systems

Author: Emmanuel Dubois, Augusto Celentano, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Università Ca' Foscari (ITALY), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Subjects: Computer science, In-the-large, Interactive experience, Context (language use), 02 engineering and technology, multi-device, Notation, in-the-small, Interface homme-machine, Task (project management), Multi-device, Human–computer interaction, Distributed interaction, Multi device, Sonic interaction design, 0202 electrical engineering, electronic engineering, information engineering, in-the-large, 0501 psychology and cognitive sciences, Layer (object-oriented design), 050107 human factors, Interactive systems engineering, interaction trajectory, 05 social sciences, In-the-small, 020207 software engineering, Distributed interaction, in-the-large, in-the-small, interaction trajectory, interactive experience, multi-device, Interaction trajectory, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni, interactive experience
Abstract: In this paper we analyze how interaction develops in multi-device environments by distinguishing two layers: an interaction in the large layer defines an interactive experience across different devices and locations, where roles and tasks evolve and intertwine; an interaction in the small layer defines the actions done and the interaction techniques used to execute a specific, self-contained task on a device. We present a notation to describe interaction in the large and demonstrate how it can be useful to understand the interaction layers perceived by the users during an interactive experience. We finally report about a user experiment in the context of a real application scenario to evaluate concretely which interaction layers the users observe and if they are able to recognize the boundaries theoretically identified through the notation.
Published: 2017

217. Learning the cell cycle with a game: Virtual experiments in cell biology

Author: David Panzoli, Yves Duthent, Catherine Pons Lelardeux, Florence Geret, Jonathan Pascalie, Jean Disset, Laetitia Brichese, Sylvain Cussat-Blanc, Marvyn O'Rourke, Bernard Ducommun, Valérie Lobjois, Elsa Bonnafé, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut National Universitaire Champollion - INU (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Class (computer programming), Multimedia, Computer science, Process (engineering), Ordinateur et société, Environnements Informatiques pour l'Apprentissage Humain, computer.software_genre, Data type, Early results, Learning game, Common knowledge, Mathematics education, Cellular biology, Game data, Curriculum, computer
Abstract: Cell Cycle Learn (CCL) is a learning game designed for undergraduate students in Biology to learn common knowledge about the cell-division cycle along with practical skills related with setting up an experiment and the scientific method in general. In CCL, learners are guided through the process of formulating hypotheses, conducting virtual experiments and analysing the results in order to validate or invalidate the hypotheses. The game has been designed in the University of Toulouse and introduced last year as part of the curriculum of a cellular biology class. This paper presents early results of an evaluation of the game enabled by questionnaires filled by the participants and game data collected during the training sessions. The results demonstrate with examples that both types of data can be used to assess the game's utility.
Published: 2017
Full Text: View/download PDF

218. Validation of image restoration methods on 3D-printed ultrasound phantoms

Author: Adrian Basarab, Krisztián Füzesi, Miklós Gyöngy, Denis Kouame, György Cserey, Pázmány Péter Catholic University, CoMputational imagINg anD viSion (IRIT-MINDS), 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, Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique - CNRS (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), Pázmány Péter Catholic University - PPCU (HUNGARY), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Mean squared error, Computer science, Deconvolution, 02 engineering and technology, 01 natural sciences, Imaging phantom, Rendering (computer graphics), Image restoration, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, 0103 physical sciences, Phantom manufacture, 0202 electrical engineering, electronic engineering, information engineering, Traitement du signal et de l'image, Computer vision, 14. Life underwater, 010301 acoustics, Image resolution, Ground truth, Scattering, business.industry, 3D printing, 020201 artificial intelligence & image processing, Artificial intelligence, business
Abstract: National audience; Abstract:The resolution of ultrasound images is limited by the bandwidth of the imaging system and the features of the propagating medium. Using certain assumptions, image restoration can recover out-of-bandwidth data and improve resolution. Several resolution improvement methods have been reported in the literature. However, due to the lack of ground truth, their evaluation on experimental data remains an open issue. Indeed, to evaluate the performance of such methods, knowledge of the scattering function is necessary. Usually this is achieved with numerical simulations, since in traditional phantoms the exact distribution of scatterers is unknown. In the current work, based on a 3D-printed phantom, the feasibility of the evaluation of deconvolution is investigated. The deconvolution method used lp-norm-regularization terms with p=0.5 and p=2. Knowledge of the scattering function allows comparison of the deconvolved images with the ground truth. Thus, using the scattering function and the originally acquired B-mode image, performance of image restoration methods could be evaluated quantitatively through comparison of root mean square error and full width half maximum values. Preliminary results demonstrate the benefits of knowing the scattering function during experimental testing of image restoration methods. In summary, the current work shows the potential of an experimental method for evaluating the extent to which an image restoration method provides a faithful rendering of the underlying scattering structure.
Published: 2017
Full Text: View/download PDF

219. Visualizing Large Graphs Out of Unstructured Data for Competitive Intelligence Purposes

Author: Anass El Haddadi, Amine El Haddadi, Zakaria Boulouard, Fadwa Bouhafer, Nihal Chouati, Lahcen Koutti, Bernard Dousset, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), École nationale des sciences appliquées d'Al Hoceima - ENSAH (MAROC), Ecole Nationale des Sciences Appliquées de Tanger - ENSAT (MOROCCO), Université Ibn Zohr Agadir (MOROCCO), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Université Ibn Zohr [Agadir], Ecole Nationale des Sciences Appliquées [Tanger] (ENSAT), Systèmes d’Informations Généralisées (IRIT-SIG), 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, Université Toulouse III - Paul Sabatier (UT3), and École nationale des sciences appliquées d'Al Hoceima (ENSAH)
Subjects: Service (systems architecture), Graph visualization, Competitive intelligence, Computer science, Relational database, RSS, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Algorithme et structure de données, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], Analyse numérique, Réseaux sociaux et d'information, World Wide Web, Big data, User experience design, Web page, 0202 electrical engineering, electronic engineering, information engineering, Social media, Unstructured data, Large graphs, business.industry, 020207 software engineering, computer.file_format, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Data science, Competitive intelligence system, 010201 computation theory & mathematics, business, computer, Graphs
Abstract: International audience; In the information era, people’s lives are deeply impacted by IT via exposure to social media, emails, RSS feed, chats, web pages, etc. Such data is considered very valuable nowadays since it may help companies to better their strategies. For example, companies can analyse their customers’ trends or their competitors marketing interventions and adjust their strategies accordingly. Several decisional tools have been developed but most of them rely on relational databases. This makes it difficult for decision makers to take advantage of unstructured data which today represents more than 85% of the available data. Thus, there is a rising need for a suitable management process of unstructured data through collecting, managing, transferring and transforming it into a meaningful informed data. This paper will introduce a new tool for Big Unstructured Data for the Competitive Intelligence named Xplor EveryWhere (XEW). It will also describe the enhancement brought to its newest feature XEWGraph. This tool, or as described later on the paper, this “Service”, offers the decision makers the possibility to have a better user experience regarding large graph visualization on their web browsers as well as their mobile devices.
Published: 2017

220. A Metric for Sentence Ordering Assessment Based on Topic-Comment Structure

Author: Josiane Mothe, Anton Firsov, Liana Ermakova, Laboratoire Interdisciplinaire Sciences, Innovations, Sociétés (LISIS), Institut National de la Recherche Agronomique (INRA)-Université Paris-Est Marne-la-Vallée (UPEM)-ESIEE Paris-Centre National de la Recherche Scientifique (CNRS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-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, Perm State University, Systèmes d’Informations Généralisées (IRIT-SIG), 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é Toulouse - Jean Jaurès (UT2J), Université de Lorraine (UL), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole de l'Innovation Technologique - ESIEE PARIS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut National de la Recherche Agronomique - INRA (FRANCE), Perm state university (RUSSIA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Lorraine (FRANCE), Université Paris-Est Marne-La-Vallée - UPEM (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Computer science, [SDV]Life Sciences [q-bio], 02 engineering and technology, computer.software_genre, [SHS]Humanities and Social Sciences, Sentence ordering, 03 medical and health sciences, 0302 clinical medicine, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Information retrieval, Evaluation, Information structure, Structure (mathematical logic), Théorie de l'information, business.industry, Topic, Text coherence, Comment, Contrast (statistics), Recherche d'information, Readability, Topic-comment structure, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], Metric (mathematics), 030221 ophthalmology & optometry, Key (cryptography), 020201 artificial intelligence & image processing, Artificial intelligence, business, computer, Natural language processing, Sentence
Abstract: International audience; Sentence ordering (SO) is a key component of verbal ability. It is also crucial for automatic text generation. While numerous researchers developed various methods to automatically evaluate the informativeness of the produced contents, the evaluation of readability is usually performed manually. In contrast to that, we present a self-sufficient metric for SO assessment based on text topic-comment structure. We show that this metric has high accuracy.
Published: 2017
Full Text: View/download PDF

221. MDA-based approach for NoSQL Databases Modelling

Author: Gilles Zurfluh, Fatma Abdelhedi, Faten Atigui, Amal Ait Brahim, Conservatoire National des Arts et Métiers - CNAM (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Trimane (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - INPT (FRANCE), Systèmes d’Informations Généralisées (IRIT-SIG), 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 d'études et de recherche en informatique et communications (CEDRIC), and Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM)
Subjects: QVT, Computer science, Models transformation, MDA, Big data, 02 engineering and technology, computer.software_genre, NoSQL, Unified Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, Logical data model, H- INFORMATIQUE, computer.programming_language, Théorie de l'information, Database, business.industry, 020207 software engineering, Recherche d'information, UML, Data access, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], Scalability, Graph (abstract data type), 020201 artificial intelligence & image processing, business, computer
Abstract: International audience; It is widely accepted today that relational systems are not appropriate to handle Big Data. This has led to a new category of databases commonly known as NoSQL databases that were created in response to the needs for better scalability, higher flexibility and faster data access. These systems have proven their efficiency to store and query Big Data. Unfortunately, only few works have presented approaches to implement conceptual models describing Big Da-ta in NoSQL systems. This paper proposes an automatic MDA-based approach that provides a set of transformations, formalized with the QVT language, to translate UML conceptual models into NoSQL models. In our approach, we build an intermediate logical model compatible with column, document and graph oriented systems. The advantage of using a unified logical model is that this model remains stable, even though the NoSQL system evolves over time which simplifies the transformation process and saves developers efforts and time.
Published: 2017
Full Text: View/download PDF

222. Scaling in Internet Traffic: a 14 year and 3 day longitudinal study, with multiscale analyses and random projections

Author: Kenjiro Cho, Romain Fontugne, Kensuke Fukuda, Pierre Borgnat, Darryl Veitch, Herwig Wendt, Patrice Abry, Japanese French Laboratory for Informatics (JFLI), National Institute of Informatics (NII)-The University of Tokyo (UTokyo)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), IIJ Innovation Institute, IIJ Japan, Laboratoire de Physique de l'ENS Lyon (Phys-ENS), École normale supérieure - Lyon (ENS Lyon)-Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon, University of Technology Sydney (UTS), Signal et Communications (IRIT-SC), 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 de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Normale Supérieure de Lyon - ENS de Lyon (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Claude Bernard-Lyon I - UCBL (FRANCE), University of Technology, Sydney - UTS (AUSTRALIA), IIJ Innovation Institute (JAPAN), National Institute of Informatics - NII (JAPAN), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: FOS: Computer and information sciences, Computer Networks and Communications, Computer science, 02 engineering and technology, 01 natural sciences, Electronic mail, law.invention, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Computer Science - Networking and Internet Architecture, Traitement des images, 010104 statistics & probability, Fractal, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Robustness (computer science), law, Statistics, Internet Protocol, 0202 electrical engineering, electronic engineering, information engineering, Traitement du signal et de l'image, Statistical physics, 0101 mathematics, Electrical and Electronic Engineering, Synthèse d'image et réalité virtuelle, Scaling, Computer networks, Networking and Internet Architecture (cs.NI), Internet, business.industry, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], 020206 networking & telecommunications, Vision par ordinateur et reconnaissance de formes, Internet traffic, Intelligence artificielle, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], Computer Science Applications, Communications technology, Heavy-tailed distribution, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], The Internet, Networking & Telecommunications, business, Software
Abstract: International audience; In the mid 1990s, it was shown that the statistics of aggregated time series from Internet traffic departed from those of traditional short range-dependent models, and were instead characterized by asymptotic self-similarity. Following this seminal contribution, over the years, many studies have investigated the existence and form of scaling in Internet traffic. This contribution first aims at presenting a methodology, combining multiscale analysis (wavelet and wavelet leaders) and random projections (or sketches), permitting a precise, efficient and robust characterization of scaling, which is capable of seeing through non-stationary anomalies. Second, we apply the methodology to a data set spanning an unusually long period: 14 years, from the MAWI traffic archive, thereby allowing an in-depth longitudinal analysis of the form, nature, and evolutions of scaling in Internet traffic, as well as network mechanisms producing them. We also study a separate three-day long trace to obtain complementary insight into intra-day behavior. We find that a biscaling (two ranges of independent scaling phenomena) regime is systematically observed: long-range dependence over the large scales, and multifractallike scaling over the fine scales. We quantify the actual scaling ranges precisely, verify to high accuracy the expected relationship between the long range dependent parameter and the heavy tail parameter of the flow size distribution, and relate fine scale multifractal scaling to typical IP packet inter-arrival and to round-trip time distributions.
Published: 2017
Full Text: View/download PDF

223. Identification of categories of liquid sounds

Author: Julien Pinquier, Régine André-Obrecht, Patrick Susini, Olivier Houix, Nicolas Misdariis, Patrice Guyot, Institut de Recherche et Coordination Acoustique/Musique (IRCAM), Équipe Structuration, Analyse et MOdélisation de documents Vidéo et Audio (IRIT-SAMoVA), 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, Grant N° GDR 720 ISIS (Information, Signal, Image et ViSion), ANR-09-BLAN-0165,IMMED,Indexation de données MultiMédia Embarquées pour le Diagnostic et traitement des démences(2009), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Pierre et Marie Curie, Paris 6 - UPMC (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche et Coordination Acoustique/Musique - IRCAM (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Equipe Perception et design sonores, Sciences et Technologies de la Musique et du Son (STMS), and Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Acoustics and Ultrasonics, Computer science, Acoustics, media_common.quotation_subject, Speech recognition, Sound detection, 01 natural sciences, 050105 experimental psychology, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Traitement des images, Arts and Humanities (miscellaneous), [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Perception, 0103 physical sciences, Acoustic analysis, Traitement du signal et de l'image, Acoustical properties, 0501 psychology and cognitive sciences, Set (psychology), Synthèse d'image et réalité virtuelle, 010301 acoustics, media_common, Solid surfaces, 05 social sciences, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Liquid consonant, Vision par ordinateur et reconnaissance de formes, Intelligence artificielle, Fluid bubbles, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], Identification (information), [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]
Abstract: International audience; Sounds involving liquid sources are part of everyday life. They form a category of sounds easily identified by human listeners in different experimental studies. Unlike acoustic models that focus on bubble vibrations, real life instances of liquid sounds, such as sounds produced by liquids with or without other materials, are very diverse and include water drop sounds, noisy flows, and even solid vibrations. The process that allows listeners to group these different sounds in the same category remains unclear. This article presents a perceptual experiment based on a sorting task of liquid sounds from a household environment. It seeks to reveal the cognitive subcategories of this set of sounds. The clarification of this perceptive process led to the observation of similarities between the perception of liquid sounds and other categories of environmental sounds. Furthermore, the results provide a taxonomy of liquid sounds on which an acoustic analysis was performed that highlights the acoustical properties of the categories, including different rates of air bubble vibration.
Published: 2017
Full Text: View/download PDF

224. Missing data reconstruction and anomaly detection in crop development using agronomic indicators derived from multispectral satellite images

Author: Guillaume Rieu, Mohanad Albughdadi, Denis Kouame, Jean-Yves Tourneret, Traitement et Compréhension d’Images (IRIT-TCI), 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, TerraNIS, CoMputational imagINg anD viSion (IRIT-MINDS), Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National de la Recherche Scientifique - CNRS (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), TerraNIS (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: 2. Zero hunger, Mean shift, 010504 meteorology & atmospheric sciences, Computer science, Multispectral image, Agronomic indicators, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], 02 engineering and technology, Vision par ordinateur et reconnaissance de formes, Anomaly detection, Missing data, 01 natural sciences, Traitement des images, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, KNN reconstruction, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], 0202 electrical engineering, electronic engineering, information engineering, Traitement du signal et de l'image, 020201 artificial intelligence & image processing, Mean-shift, Spot 5 satellite images, 0105 earth and related environmental sciences, Remote sensing
Abstract: International audience; This paper studies a new three-step procedure for detecting anomalies in crop development using temporal indicators derived from multispectral satellite images. These anomalies may result from seeding problems, heterogeneity, deficiency and stress. The first step estimates different biophysical and statistical parameters associated with these parameters from the observed images. In a second step, missing data that arise from the existence of clouds or limited coverage in the satellite image are reconstructed. Finally, the mean shift algorithm is used as an unsupervised classifier to detect anomalies in these reconstructed data. The proposed procedure is evaluated using agronomic indicators estimated from SPOT 5 Take 5 satellite images from the Beauce area in France.
Published: 2017

225. Dependent Event Types

Author: Sergei Soloviev, Zhaohui Luo, Royal Holloway [University of London] (RHUL), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), 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, Saint Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), National Research University of Information Technologies, Mechanics and Optics of St- Petersburg - ITMO (RUSSIA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Royal Holloway University of London - RHUL (UNITED KINGDOM), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Theoretical computer science, Semantics (computer science), Computer science, Principle of compositionality, Event (relativity), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0603 philosophy, ethics and religion, Interface homme-machine, 01 natural sciences, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Event types, Coercive subtyping, Génie logiciel, Natural (music), [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], 0101 mathematics, Davidson semantics, 010102 general mathematics, Logical consistency, Event quantification problem, 06 humanities and the arts, Extension (predicate logic), Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Subtyping, Dependent types, Type theory, 060302 philosophy, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Abstract: This paper studies how dependent types can be employed for a refined treatment of event types, offering a nice improvement to Davidson’s event semantics. We consider dependent event types indexed by thematic roles and illustrate how, in the presence of refined event types, subtyping plays an essential role in semantic interpretations. We consider two extensions with dependent event types: first, the extension of Church’s simple type theory as employed in Montague semantics that is familiar with many linguistic semanticists and, secondly, the extension of a modern type theory as employed in MTT-semantics. The former uses subsumptive subtyping, while the latter uses coercive subtyping, to capture the subtyping relationships between dependent event types. Both of these extensions have nice meta-theoretic properties such as normalisation and logical consistency; in particular, we shall show that the former can be faithfully embedded into the latter and hence has expected meta-theoretic properties. As an example of applications, it is shown that dependent event types give a natural solution to the incompatibility problem (sometimes called the event quantification problem) in combining event semantics with the traditional compositional semantics, both in the Montagovian setting with the simple type theory and in the setting of MTT-semantics.
Published: 2017

226. Two safety patterns

Author: Eduardo B. Fernandez, Brahim Hamid, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Florida Atlantic University - FAU (USA), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Subjects: Computer science, Architecture patterns, Event (relativity), Assertion, 020207 software engineering, 02 engineering and technology, Safety constraints, Modélisation et simulation, Computer security, computer.software_genre, Systèmes embarqués, Interface homme-machine, Reliability engineering, Architectures Matérielles, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 020204 information systems, Cryptographie et sécurité, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Safety patterns, State (computer science), Safety, Safety assertions, computer
Abstract: Safety is the avoidance of unacceptable hazards, including threats to human lives, the environment, or to costly facilities. Safety constraints are expressed using assertions that define system states that should not occur because they may lead to mishaps. We present here two safety patterns. The Safety Assertion pattern describes the contents of an assertion that indicates a state of the system that must not happen. The Safety Assertion Enforcer pattern evaluates safety assertions when there is an incoming event that can change the state of the system and prevents the change if it violates an assertion. These patterns can be useful for designing or certifying safe systems.
Published: 2017
Full Text: View/download PDF

227. A two-tiered propositional framework for handling multi source inconsistent information

Author: Didier Dubois, Davide Ciucci, Dipartimento di Informatica Sistemistica e Comunicazione (DISCo), Università degli Studi di Milano-Bicocca [Milano] (UNIMIB), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), 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), Centre National de la Recherche Scientifique - CNRS (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), Università degli Studi di Milano-Bicocca - BICOCCA (ITALY), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Antonucci, A, Cholvy, L, Papini, O, Ciucci, D, and Dubois, D
Subjects: Theoretical computer science, Zeroth-order logic, Framework, 02 engineering and technology, 0603 philosophy, ethics and religion, Machine learning, computer.software_genre, Belnap logic, Epistemic modal logic, Description logic, 0202 electrical engineering, electronic engineering, information engineering, Propositional information, Boolean capacities, Autoepistemic logic, Mathematics, Propositional variable, Logique en informatique, Traitement du texte et du document, business.industry, Multimodal logic, Modal logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 06 humanities and the arts, BC-logic, Two-tiered propositional logic, [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 060302 philosophy, Dynamic logic (modal logic), 020201 artificial intelligence & image processing, Artificial intelligence, Epistemic logic, multi-source information, business, computer
Abstract: National audience; This paper proposes a conceptually simple but expressive framework for handling propositional information stemming from several sources, namely a two-tiered propositional logic augmented with classical modal axioms (BC-logic), a fragment of the non-normal modal logic EMN, whose semantics is expressed in terms of two-valued monotonic set-functions called Boolean capacities. We present a theorem-preserving translation of Belnap logic in this setting. As special cases, we can recover previous translations of three-valued logics such as Kleene and Priest logics. Our translation bridges the gap between Belnap logic, epistemic logic, and theories of uncertainty like possibility theory or belief functions, and paves the way to a unified approach to various inconsistency handling methods.
Published: 2017
Full Text: View/download PDF

228. LED-based Photometric Stereo: Modeling, Calibration and Numerical Solution

Author: François Lauze, Jean-Denis Durou, Yvain Quéau, Bastien Durix, Daniel Cremers, Tao Wu, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Technische Universität München - TUM (GERMANY), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Copenhagen - UCPH (DENMARK), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), Real Expression Artificial Life (IRIT-REVA), 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 Computer Science [Copenhagen] (DIKU), Faculty of Science [Copenhagen], University of Copenhagen = Københavns Universitet (KU)-University of Copenhagen = Københavns Universitet (KU), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), University of Copenhagen = Københavns Universitet (UCPH), European Project: 649323,H2020,ERC-2014-CoG,3D Reloaded(2015), University of Copenhagen = Københavns Universitet (KU), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Statistics and Probability, FOS: Computer and information sciences, Computer science, Photometric stereo, Computer Vision and Pattern Recognition (cs.CV), ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, Computer Science - Computer Vision and Pattern Recognition, Initialization, 02 engineering and technology, 01 natural sciences, 010309 optics, Variational methods, Depth map, Point light sources, 0103 physical sciences, Convergence (routing), 0202 electrical engineering, electronic engineering, information engineering, Calibration, Astrophysics::Solar and Stellar Astrophysics, Computer vision, ComputingMethodologies_COMPUTERGRAPHICS, 3D-reconstruction, business.industry, Applied Mathematics, 3D reconstruction, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Vision par ordinateur et reconnaissance de formes, Condensed Matter Physics, Nonlinear system, Alternating reweighted least-squares, Modeling and Simulation, RGB color model, 020201 artificial intelligence & image processing, Geometry and Topology, Computer Vision and Pattern Recognition, Artificial intelligence, business, Algorithm
Abstract: International audience; We conduct a thorough study of photomet-ric stereo under nearby point light source illumination, from modeling to numerical solution, through calibration. In the classical formulation of photometric stereo, the luminous fluxes are assumed to be directional, which is very difficult to achieve in practice. Rather, we use light-emitting diodes (LEDs) to illuminate the scene to be reconstructed. Such point light sources are very convenient to use, yet they yield a more complex photo-metric stereo model which is arduous to solve. We first derive in a physically sound manner this model, and show how to calibrate its parameters. Then, we discuss two state-of-the-art numerical solutions. The first one alternatingly estimates the albedo and the normals, and then integrates the normals into a depth map. It is shown empirically to be independent from the ini-tialization, but convergence of this sequential approach is not established. The second one directly recovers the depth, by formulating photometric stereo as a system of nonlinear partial differential equations (PDEs), which are linearized using image ratios. Although the sequential approach is avoided, initialization matters a lot and convergence is not established either. Therefore, we introduce a provably convergent alternating reweighted least-squares scheme for solving the original system of nonlinear PDEs. Finally, we extend this study to the case of RGB images.
Published: 2017
Full Text: View/download PDF

229. Work in progress paper: pessimism analysis of network calculus approach on AFDX networks

Author: Xiaoting Li, Christian Fraboul, Aakash Soni, Jean-Luc Scharbarg, Centre National de la Recherche Scientifique - CNRS (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), École Centrale d’Électronique de Paris - ECE (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Ecole Centrale d'Electronique [ECE Paris], Ecole Centrale d'Electronique, Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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, and Institut National Polytechnique (Toulouse) (Toulouse INP)
Subjects: Computer science, Real-time computing, Réseaux et télécommunications, Jitter, Aerospace electronics, 02 engineering and technology, Upper and lower bounds, Scheduling (computing), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], FIFO and LIFO accounting, 0202 electrical engineering, electronic engineering, information engineering, Delays, Ports (Computers), Calculus, business.industry, 020208 electrical & electronic engineering, 020207 software engineering, Work in process, Avionics, Systèmes embarqués, Bounded function, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Network calculus, business, Switches, Upper bound, Computer network
Abstract: International audience; Worst-case delay analysis of real-time networks is mandatory, since distributed real-time applications require bounded end-to-end delays. Switched Ethernet technologies have become popular solutions in the context of real-time systems. Several approaches, based on Network Calculus, trajectories, ..., have been proposed for the worst-case analysis of such technologies. They compute pessimistic upper bounds of end-toend delays. Since this pessimism leads to an over-dimensioning of the network, it is important to quantify the pessimism of the computed upper bounds. In this paper, we propose such a pessimism analysis, based on Network Calculus. In a first step we focus on avionics switched Ethernet network (AFDX) with Fixed Priority/First In First Out (FP/FIFO) scheduling.
Published: 2017

230. Synapse at CAp 2017 NER challenge: Fasttext CRF

Author: Damien Sileo, Camille Pradel, Philippe Muller, Tim van de Cruys, Synapse Développement, 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 (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Synapse Développement (FRANCE), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Subjects: FOS: Computer and information sciences, Named entity recognition, Word vectors, Computer Science - Computation and Language, Fasttext, Informatique et langage, CRF, Computation and Language (cs.CL), Unsupervised learning, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: National audience; We present our system for the CAp 2017 NER challenge which is about named entity recognition on French tweets. Our system leverages unsupervised learning on a larger dataset of French tweets to learn features feeding a CRF model. It was ranked first without using any gazetteer or structured external data, with an F-measure of 58.89\%. To the best of our knowledge, it is the first system to use fasttext embeddings (which include subword representations) and an embedding-based sentence representation for NER.
Published: 2017

231. Graphical Representations of Multiple Agent Preferences

Author: Héla Gouider, Henri Prade, Nahla Ben Amor, Didier Dubois, Université de Tunis, Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), 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), University of Technology, Sydney - UTS, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Technology, Sydney - UTS (AUSTRALIA), Université de Tunis (TUNISIA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Focus (computing), Theoretical computer science, Possibilistic network, Computer science, 010102 general mathematics, Representation (systemics), 02 engineering and technology, Extension (predicate logic), Système multi-agents, 01 natural sciences, Logic Preferences, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0101 mathematics, Preference (economics), Multiple agent
Abstract: National audience; A multiple-agent logic, which associates subsets of agents to logical formulas, has been recently proposed. The paper presents a graphical counterpart of this logic, based on a multiple agent version of possibilistic conditioning, and applies it to preference modeling. First, preferences of agents are supposed to be all or nothing. We discuss how one can move from the network to the logic representation and vice-versa. The new representation enables us to focus on networks associated to subsets of agents, and to identify inconsistent agents, or conflicting subsets of agents. The question of optimization and dominance queries is discussed. Finally, the paper outlines an extension where gradual preferences are handled.
Published: 2017

232. Large-scale 3D EM modeling with a Block Low-Rank multifrontal direct solver

Author: Théo Mary, Piyoosh Jaysaval, Patrick R. Amestoy, Jean-Yves L'Excellent, Sébastien de la Kethulle de Ryhove, Alfredo Buttari, Daniil V. Shantsev, emgs [Oslo], Department of Physics [Oslo], Faculty of Mathematics and Natural Sciences [Oslo], University of Oslo (UiO)-University of Oslo (UiO), Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Algorithmes Parallèles et Optimisation (IRIT-APO), 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), Centre National de la Recherche Scientifique (CNRS), Optimisation des ressources : modèles, algorithmes et ordonnancement (ROMA), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon)-Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), Laboratoire de l'Informatique du Parallélisme (LIP), Université Toulouse III - Paul Sabatier (UT3), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université de Toulouse (UT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Texas at Austin (USA), University of Oslo (NORWAY), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Floating point, Discretization, Rank (linear algebra), Computer science, 010103 numerical & computational mathematics, 010502 geochemistry & geophysics, 01 natural sciences, Numerical solutions, Matrix decomposition, Computational science, Factorization, Geochemistry and Petrology, Numerical approximations and analysis, [INFO]Computer Science [cs], 0101 mathematics, 0105 earth and related environmental sciences, Block (data storage), Linear system, Solver, Electromagnetic theory, Calcul parallèle, distribué et partagé, Geophysics, Numerical modelling, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Marine electromagnetics, Controlled source electromagnetics (CSEM)
Abstract: International audience; We put forward the idea of using a Block Low-Rank (BLR) multifrontal direct solver to efficiently solve the linear systems of equations arising from a finite-difference discretization of the frequency-domain Maxwell equations for 3-D electromagnetic (EM) problems. The solver uses a low-rank representation for the off-diagonal blocks of the intermediate dense matrices arising in the multifrontal method to reduce the computational load. A numerical threshold, the so-called BLR threshold, controlling the accuracy of low-rank representations was optimized by balancing errors in the computed EM fields against savings in floating point operations (flops). Simulations were carried out over large-scale 3-D resistivity models representing typical scenarios for marine controlled-source EM surveys, and in particular the SEG SEAM model which contains an irregular salt body. The flop count, size of factor matrices and elapsed run time for matrix factorization are reduced dramatically by using BLR representations and can go down to, respectively, 10, 30 and 40 per cent of their full-rank values for our largest system with N = 20.6 million unknowns. The reductions are almost independent of the number of MPI tasks and threads at least up to 90 × 10 = 900 cores. The BLR savings increase for larger systems, which reduces the factorization flop complexity from O(N2) for the full-rank solver to O(Nm) with m = 1.4–1.6. The BLR savings are significantly larger for deep-water environments that exclude the highly resistive air layer from the computational domain. A study in a scenario where simulations are required at multiple source locations shows that the BLR solver can become competitive in comparison to iterative solvers as an engine for 3-D controlled-source electromagnetic Gauss–Newton inversion that requires forward modelling for a few thousand right-hand sides.
Published: 2017
Full Text: View/download PDF

233. Inter-flow and intra-flow interference mitigation routing in wireless mesh networks

Author: Thierry Val, Hanen Idoudi, Leila Azouz Saidane, Chiraz Houaidia, Adrien van den Bossche, Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Nationale des Sciences de l'Informatique - ENSI (TUNISIA), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université de la Manouba - UMA (TUNISIA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Université de la Manouba [Tunisie] (UMA), École Nationale des Sciences de l'Informatique [Manouba] (ENSI), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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, Université Toulouse - Jean Jaurès (UT2J), Université de la Manouba [Tunisie], Ecole Nationale des sciences de l'informatique [Manouba] ( ENSI ), Institut de recherche en informatique de Toulouse ( IRIT ), Institut National Polytechnique [Toulouse] ( INP ) -Université Toulouse 1 Capitole ( UT1 ) -Université Toulouse - Jean Jaurès ( UT2J ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Dynamic Source Routing, Computer science, Distributed computing, Routing table, [ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI], Enhanced Interior Gateway Routing Protocol, Réseaux et télécommunications, Geographic routing, 02 engineering and technology, Metrics, Routing Information Protocol, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 0508 media and communications, Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Networking and Internet Architecture, [ INFO.INFO-ES ] Computer Science [cs]/Embedded Systems, Hierarchical routing, Static routing, Zone Routing Protocol, Wireless mesh network, Quality of service, 05 social sciences, Path vector protocol, Systèmes embarqués, Link-state routing protocol, Multipath routing, [ INFO.INFO-OS ] Computer Science [cs]/Operating Systems [cs.OS], Hazy Sighted Link State Routing Protocol, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Computer network, Routing protocol, Computer Networks and Communications, Equal-cost multi-path routing, Système d'exploitation, Wireless Routing Protocol, QoS, 050801 communication & media studies, Throughput, Available bandwidth, Destination-Sequenced Distance Vector routing, Routing, business.industry, Policy-based routing, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, 020206 networking & telecommunications, Optimized Link State Routing Protocol, Routing domain, [ INFO.INFO-AR ] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Conflict graph, business, Interference
Abstract: International audience; In this paper, we address the problem of QoS support in an heterogeneous multi-rate wireless mesh network. We propose a new routing metric that provides information about link quality, based on PHY and MAC characteristics, including the link availability, the loss rate and the available bandwidth. This metric allows to apprehend inter-flow interferences and avoid bottleneck formation by balancing traffic load on the links. Based on the conflict graph model and calculation of maximal cliques, we define a method to estimate the available bandwidth of a path which considers, in addition, intra-flow interferences. Finally, we propose a routing protocol that supports this metric and we study by simulation its performances compared to different existing routing metrics and protocols. The results revealed the ability of our protocol (LARM) to support the network scalability as well as its ability to choose routes with high throughput and limited delay, thus, better delivery of data traffic.
Published: 2017
Full Text: View/download PDF

234. A Collaborative Solution for IT Infrasctructure Maintenance based on Web Services and Mobiles Agents

Author: Elandaloussi, Sid Ahmed, Taghezout, Noria, Zaraté, Pascale, Université d'Oran 1 Ahmed Ben Bella [Oran], Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), 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 (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), Université d'Oran (ALGERIA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), and Université d'Oran 1 - Ahmed Ben Bella (ALGERIA)
Subjects: Logique en informatique, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Informatique et langage, Intelligence artificielle, H- INFORMATIQUE, Decision making process, 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; Today, organizations have become more and more complex which has complicated the decision making process. However, with the technological advances and the evolution of collaboration technologies, industrial companies wish to benefit from it, in order to accelerate the interventions of the specialists of maintenance on the sites and to reduce the time inactivity of their equipment. As a result, this makes it possible to envisage keeping them at a distance without necessarily having locally qualified staff. Indeed, these situations require the rapid and effective intervention of experts, who are not basically available. Furthermore, in this work we propose a new service oriented approach which is essentially based on mobiles agents.
Published: 2017

235. End-user software engineering for the personal web: poster

Author: Firmenich, Sergio, Bosetti, Gabriela, Rossi, Gustavo, Alba Winckler, Marco Antonio, Universidad Nacional de la Plata [Argentine] (UNLP), Interactive Critical Systems (IRIT-ICS), 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 (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Universidad Nacional de la Plata - UNLP (ARGENTINA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Personal web, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Modélisation et simulation, Systèmes embarqués, Interface homme-machine, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, End-user software engineering, Cryptographie et sécurité, Génie logiciel, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Mashups
Abstract: International audience; In this work we present an approach for creatingPersonal Web applications by reusing existing content that canbe extracted even from third-party Web sites. Our approachstarts with the harvesting of content from diverse Web sites, byDOM manipulation. Users without programming skills areempowered with tools for transforming DOM elements intomeaningful classes of objects that can be reused to build otherdomain-specific applications, such as mashups, Webaugmentations, PIM systems, etc.
Published: 2017
Full Text: View/download PDF

236. Strategically knowing how

Author: Andreas Herzig, Raul Fervari, Yanjun Li, Yanjing Wang, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Universidad Nacional de Cordoba - UNC (ARGENTINA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Groningen (NETHERLANDS), Consejo Nacional de Investigaciones Científicas y Técnicas - CONICET (ARGENTINA), Peking University (CHINA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Semantics (computer science), Computer Science - Artificial Intelligence, Existential quantification, 0102 computer and information sciences, 0603 philosophy, ethics and religion, Semantics, 01 natural sciences, Operator (computer programming), Epistemic modal logic, Computer Science::Logic in Computer Science, Calculus, Axiom, Soundness, Logique en informatique, Informatique et langage, 06 humanities and the arts, Intelligence artificielle, 16. Peace & justice, Apprentissage, Decidability, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Completeness (logic), 060302 philosophy, Epistemic logic
Abstract: In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of the new operator is based on the idea that knowing how to achieve $\phi$ means that there exists a (uniform) strategy such that the agent knows that it can make sure $\phi$. We give an intuitive axiomatization of our logic and prove the soundness, completeness, and decidability of the logic. The crucial axioms relating knowing that and knowing how illustrate our understanding of knowing how in this setting. This logic can be used in representing both knowledge-that and knowledge-how., Comment: an earlier version of the paper to appear in IJCAI 2017
Published: 2017

237. Direct Localization for Massive MIMO

Author: Nil Garcia, Alexander M. Haimovich, Henk Wymeersch, Erik G. Larsson, Martial Coulon, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Chalmers University of Technology [Göteborg], Linköping University (LIU), New Jersey Institute of Technology [Newark] (NJIT), Signal et Communications (IRIT-SC), 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, Institut National Polytechnique (Toulouse) (Toulouse INP), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: FOS: Computer and information sciences, Computer science, Computer Science - Information Theory, MIMO, Base stations, 02 engineering and technology, Communications system, Multipath channels, Base station, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Angle of arrival, 5G mobile communication, 0202 electrical engineering, electronic engineering, information engineering, Antenna accessories, Position measurement, Parameter estimation, Traitement du signal et de l'image, Antenna arrays, Electrical and Electronic Engineering, business.industry, Information Theory (cs.IT), 020206 networking & telecommunications, Navigation, Compressed sensing, Embedded system, Signal Processing, Array signal processing, Sparse matrices, 020201 artificial intelligence & image processing, Direction-of-arrival estimation, business, Signal processing algorithms, Algorithm, Estimation, Multipath propagation, Communication channel
Abstract: Large-scale MIMO systems are well known for their advantages in communications, but they also have the potential for providing very accurate localization thanks to their high angular resolution. A difficult problem arising indoors and outdoors is localizing users over multipath channels. Localization based on angle of arrival (AOA) generally involves a two-step procedure, where signals are first processed to obtain a user's AOA at different base stations, followed by triangulation to determine the user's position. In the presence of multipath, the performance of these methods is greatly degraded due to the inability to correctly detect and/or estimate the AOA of the line-of-sight (LOS) paths. To counter the limitations of this two-step procedure which is inherently sub-optimal, we propose a direct localization approach in which the position of a user is localized by jointly processing the observations obtained at distributed massive MIMO base stations. Our approach is based on a novel compressed sensing framework that exploits channel properties to distinguish LOS from non-LOS signal paths, and leads to improved performance results compared to previous existing methods., Comment: 11 pages, journal
Published: 2017
Full Text: View/download PDF

238. Microgeometry capture and RGB albedo estimation by photometric stereo without demosaicing

Author: Daniel Cremers, Matthieu Pizenberg, Yvain Quéau, Jean-Denis Durou, Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), Real Expression Artificial Life (IRIT-REVA), 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 (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Technische Universität München - TUM (GERMANY), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Surface (mathematics), Opacity, Photometric stereo, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, 02 engineering and technology, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], 010309 optics, Traitement des images, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, 0103 physical sciences, Traitement du signal et de l'image, Computer vision, Synthèse d'image et réalité virtuelle, Estimation theory, Remote sensing, ComputingMethodologies_COMPUTERGRAPHICS, Physics, Diffuse illumination, Demosaicing, business.industry, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], Vision par ordinateur et reconnaissance de formes, Intelligence artificielle, Albedo, 021001 nanoscience & nanotechnology, Channel, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], RGB color model, Artificial intelligence, 0210 nano-technology, business
Abstract: International audience; We present a photometric stereo-based system for retrieving the RGB albedo and the fine-scale details of an opaque surface. In order to limit specularities, the system uses a controllable diffuse illumination, which is calibrated using a dedicated procedure. In addition, we rather handle RAW, non-demosaiced RGB images, which both avoids uncontrolled operations on the sensor data and simplifies the estimation of the albedo w.r.t. each color channel and of the normals. We eventually show on real-world examples the potential of photometric stereo for the 3D-reconstruction of very thin structures from a wide variety of surfaces.
Published: 2017
Full Text: View/download PDF

239. Automated analysis of Stateflow models

Author: Christophe Garion, Arie Gurfinkel, Hamza Bourbouh, Xavier Thirioux, Temesghen Kahsai, Pierre-Loïc Garoche, Département d'Ingénierie des Systèmes Complexes (DISC), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), NASA, ONERA, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, University of Waterloo [Waterloo], Carnegie Mellon University [Pittsburgh] (CMU), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), 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 (FRANCE), Carnegie Mellon University - CMU (USA), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE), National Aeronautics and Space Administration - NASA (USA), Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Waterloo (CANADA), Département Traitement de l'Information et Modélisation - DTIM (Toulouse, France), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Model checking, Continuation-passing style, Computer science, Process (engineering), Stateflow, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Denotational semantics, Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Code generation, ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Automatique / Robotique, computer.programming_language, Finite-state machine, Programming language, Verification, 020207 software engineering, Modélisation et simulation, Formal semantics, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Toolbox, Modal, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Compiler, computer
Abstract: International audience; Stateflow is a widely used modeling framework for embedded and cyberphysical systems where control software interacts with physical processes. In this work, we present a framework and a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based verification engine to decide the validity of safety properties. The starting point of our approach is a denotational semantics of Stateflow. We propose a compilation process using continuation-passing style (CPS) denotational semantics. Our compilation technique preserves the structural and modal behavior of the system. The overall approach is implemented as an open source toolbox that can be integrated into the existing Mathworks Simulink/Stateflow modeling framework. We present preliminary experimental evaluations that illustrate the effectiveness of our approach in code generation and safety verification of industrial scale Stateflow models.
Published: 2017

240. Turbulent Touch: Touchscreen Input for Cockpit Flight Displays

Author: Andy Cockburn, Carl Gutwin, Catherine Trask, Karon E. MacLean, Philippe Palanque, Marcus Yung, Ashley Coveney, Yannick Deleris, University of Canterbury [Christchurch], University of Saskatchewan [Saskatoon] (U of S), Interactive Critical Systems (IRIT-ICS), 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, AIRBUS Operations Ltd., University of British Columbia (CANADA), Airbus (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), University of Canterbury - UC (NEW ZEALAND), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Saskatchewan (CANADA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, InformationSystems_INFORMATIONINTERFACESANDPRESENTATION(e.g.,HCI), 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Interface homme-machine, law.invention, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Touchscreen, Architectures Matérielles, law, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, 0501 psychology and cognitive sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], 050107 human factors, Simulation, business.industry, 05 social sciences, Work (physics), 020207 software engineering, Usability, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Cockpit, Turbulence, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Touch interaction, business, Aviation
Abstract: International audience; Touchscreen input in commercial aircraft cockpits offers potential advantages, including ease of use, modifiability, and reduced weight. However, tolerance to turbulence is a challenge for their deployment. To better understand the impact of turbulence on cockpit input methods we conducted a comparative study of user performance with three input methods -- touch, trackball (as currently used in commercial aircraft), and a touchscreen stencil overlay designed to assist finger stabilization. These input methods were compared across a variety of interactive tasks and at three levels of simulated turbulence (none, low, and high). Results showed that performance degrades and subjective workload increases as vibration increases. Touch-based interaction was faster than the trackball when precision requirements were low (at all vibrations), but it was slower and less accurate for more precise pointing, particularly at high vibrations. The stencil did not improve touch selection times, although it did reduce errors on small targets at high vibrations, but only when finger lift-off errors had been eliminated by a timeout. Our work provides new information on the types of tasks affected by turbulence and the input mechanisms that perform best under different levels of vibration.
Published: 2017

241. Thirteen Ways to Write an Abstract

Author: James Hartley, Guillaume Cabanac, Keele University [Keele], Recherche d’Information et Synthèse d’Information (IRIT-IRIS), 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, Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique - CNRS (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), Keele University (UNITED KINGDOM), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Graphical abstracts, Head (linguistics), Computer science, Library and Information Sciences, 050905 science studies, Video abstracts, Structured abstracts, Component (UML), Media Technology, Z004, Research article, Business and International Management, Key words, Théorie de l'information, Information retrieval, Communication, 05 social sciences, Tweetable abstracts, Recherche d'information, Computer Science Applications, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], 0509 other social sciences, 050904 information & library sciences, Strengths and weaknesses, Readable abstracts
Abstract: International audience; The abstract is a crucial component of a research article. Abstracts head the text-and sometimes they can appear alone in separate listings (e.g., conference proceedings). The purpose of the abstract is to inform the reader succinctly what the paper is about, why and how the research was carried out, and what conclusions might be drawn. In this paper we consider the same (or a similar) abstract in 13 different formats to illustrate the strengths and weaknesses of each approach.
Published: 2017
Full Text: View/download PDF

242. New OLAP operators for missing data

Author: Maha Ben Kraiem, Kaïs Khrouf, Jamel Feki, Franck Ravat, Olivier Teste, Multimedia, InfoRmation systems and Advanced Computing Laboratory ( MIRACL ), FSEG-Sfax, ISIM-Sfax, University of Jeddah (SAUDI ARABIA), Institut de recherche en informatique de Toulouse ( IRIT ), Institut National Polytechnique [Toulouse] ( INP ) -Université Toulouse 1 Capitole ( UT1 ) -Université Toulouse - Jean Jaurès ( UT2J ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Sfax (TUNISIA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - INPT (FRANCE), Multimedia, InfoRmation systems and Advanced Computing Laboratory (MIRACL), Faculté des Sciences Economiques et de Gestion de Sfax (FSEG Sfax), Université de Sfax - University of Sfax-Université de Sfax - University of Sfax, University of Jeddah, Systèmes d’Informations Généralisées (IRIT-SIG), 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, and Université Toulouse - Jean Jaurès (UT2J)
Subjects: Théorie de l'information, [ INFO.INFO-IR ] Computer Science [cs]/Information Retrieval [cs.IR], [ INFO.INFO-IT ] Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], Missing data, Recherche d'information, OLAP analysis, H- INFORMATIQUE, Tweet
Abstract: International audience; Data analysis of social networks is often impeded by the problem of missing data. Recent studies highlight the negative effects of this problem mainly regarding querying process. The analysis of data social networks would be severely distorted when limited to filled fields (i.e., not null valued fields)whereas missing data are ignored. To overcome the missing data problem, we provide in this paper an extension of classical Drilldown and Rollup operators in order to support analyses on multidimensional datasets containing missing values of dimension members.
Published: 2017

243. A reconstruction of default conditionals within epistemic logic

Author: Christos Moyzes, Costas D. Koutras, Christos Rantsoudis, University of Peloponnese, Department Of Computer Science, University of Liverpool, 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 (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Liverpool (UNITED KINGDOM), University of the Peloponnese - UOP (GREECE), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Subjects: Knowledge representation and reasoning, Statement (logic), Computer science, media_common.quotation_subject, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Possible world, Operator (computer programming), Epistemic modal logic, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, Axiom, Normality, media_common, Logique en informatique, Algebra and Number Theory, business.industry, 010102 general mathematics, Default Ccnditionals, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Modal logic, 16. Peace & justice, Strict conditional, Conditional logic, Quantifier (logic), Computational Theory and Mathematics, 020201 artificial intelligence & image processing, Artificial intelligence, Epistemic logic, business, Mathematical economics, Information Systems
Abstract: International audience; Default conditionals are statements that express a condition of normality, in the form ‘if φ then normally ψ’ and are of primary importance in Knowledge Representation. There exist modal approaches to the construction of conditional logics of normality. Most of them are built on notions of preference among possible worlds, corresponding to the semantic intuition that φ ⇒ ψ is true in a situation if in the most preferred (most ‘normal’) situations in which φ is true, ψ is also true. It has been noticed that there exist natural epistemic readings of a default conditional, but this direction has not been thoroughly explored. A statement of the form ‘something known to be a bird, that can be consistently believed to fly, does fly’ involves well-known epistemic attitudes and allows the possibility of defining defaults within the rich framework of Epistemic Logic. We pursue this direction here and proceed to define conditionals within KBE, a recently introduced S4.2-based modal logic of knowledge, belief and estimation. In this logic, knowledge is a normal S4 operator, belief is a normal KD45 operator and estimation is a non-normal operator interpreted as a ‘majority’ quantifier over the set of epistemically alternative situations. We define and explore various conditionals using the epistemic operators of KBE, capturing φ ⇒ ψ in various ways, including ‘according to the agent’s knowledge, an estimation that φ is true implies the estimation that (φ∧ψ) is true’ or ‘if φ is known and there is no reason to believe ¬ψ then ψ can be plausibly inferred’. Overall, we define here three nonmonotonic default conditionals, one conditional satisfying monotonicity (strengthening the antecedent) and two nonmonotonic conditionals that do not satisfy the ubiquitous axiom ID (reflexivity). Our project provides concrete evidence that the machinery of epistemic logic can be exploited for the study of default conditionals.
Published: 2017
Full Text: View/download PDF

244. Predicting Emotional Reaction in Social Networks

Author: Jérémie Clos, Guillaume Cabanac, Anil Bandhakavi, Nirmalie Wiratunga, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Robert Gordon University - RGU (UNITED KINGDOM), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Robert Gordon University (RGU), Recherche d’Information et Synthèse d’Information (IRIT-IRIS), 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, Université Toulouse III - Paul Sabatier (UT3), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut de recherche en informatique de Toulouse ( IRIT ), and Institut National Polytechnique [Toulouse] ( INP ) -Université Toulouse 1 Capitole ( UT1 ) -Université Toulouse - Jean Jaurès ( UT2J ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS )
Subjects: Emotion lexicon, [ INFO.INFO-IR ] Computer Science [cs]/Information Retrieval [cs.IR], Théorie de l'information, Word embedding, Social network, business.industry, Computer science, Sentiment analysis, Internet privacy, Emotional contagion, Recherche d'information, 02 engineering and technology, Root mean square error, Multilinear regression, [ INFO.INFO-IT ] Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], Order (business), [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], 020204 information systems, Emotional reaction, Rating vector, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, business
Abstract: International audience; Online content has shifted from static and document-oriented to dy- namic and discussion-oriented, leading users to spend an increasing amount of time navigating online discussions in order to participate in their social network. Recent work on emotional contagion in social networks has shown that information is not neutral and affects its receiver. In this work, we present an approach to detect the emotional impact of news, using a dataset extracted from the Face- book pages of a major news provider. The results of our approach significantly outperform our selected baselines.
Published: 2017

245. The delights, discomforts, and downright furies of the manuscript submission process

Author: Hartley, James, Cabanac, Guillaume, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Keele University (UNITED KINGDOM), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - INPT (FRANCE), Keele University [Keele], Recherche d’Information et Synthèse d’Information (IRIT-IRIS), 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, and Université Toulouse III - Paul Sabatier (UT3)
Subjects: Théorie de l'information, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], Research, Formatting, BF, Publication, Recherche d'information, ComputingMilieux_MISCELLANEOUS, Manuscript
Abstract: International audience; Key points: - Instructions to authors about submitting papers for publication vary hugely – from none at all to whole handbooks. - Online submission systems have not reduced the complexity of submission and may have increased the work of authors. - Electronic submission processes do not appear to have been adequately ‘road tested’ with authors. - Some publishers are introducing more flexible submission rules that may help authors.
Published: 2017
Full Text: View/download PDF

246. Profil utilisateur dans les réseaux sociaux : État de l'art

Author: Ramiandrisoa, Faneva, Mothe, Josiane, Université d'Antananarivo, Systèmes d’Informations Généralisées (IRIT-SIG), 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, École supérieure du professorat et de l'éducation - Toulouse Midi-Pyrénées (ESPE Toulouse), Université Toulouse - Jean Jaurès (UT2J), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université d'Antananarivo (MADAGASCAR), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Modélisation de l'utilisateur, Théorie de l'information, Profil utilisateur, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], Réseaux sociaux, Recherche d'information, SIGEVI
Abstract: International audience; Les réseaux sociaux sont de plus en plus utilisés; les utilisateurs y échangent des informations et fournissent des éléments sur leur profil. Ces données peuvent être utilisées pour modéliser un individu selon les activités qu'il réalise sur le réseau social: il s'agit du profil de l' utilisateur. Ces profils peuvent ensuite être analysés et exploités selon le domaine d'application. Par exemple, les publicités proposées sur les réseaux sociaux sont différentes pour chaque utilisateur selon les préférences de ces derniers. Cet article correspond à un état de l'art sur les informations constituant un profil utilisateur ainsi que sur la représentation des profils. Nous indiquerons également les pistes de recherche pour nos travaux dans ce domaine.
Published: 2017

247. A stack cross-layer analytical model for CSMA/CA IEEE 802.15.4 networks

Author: Daniela Dragomirescu, Georges Da Costa, Zongyi Liu, Thierry Monteil, Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture (IRIT-SEPIA), 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, Équipe MIcro et Nanosystèmes pour les Communications sans fil (LAAS-MINC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Toulouse III - Paul Sabatier (UT3), Équipe Services et Architectures pour Réseaux Avancés (LAAS-SARA), Université Toulouse Capitole (UT Capitole), Université Fédérale Toulouse Midi-Pyrénées-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse Capitole (UT Capitole), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National des Sciences Appliquées de Toulouse - INSA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), and Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], IEEE 802.15.4, Cross-layer model, Computer science, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Electronic engineering, Wireless, Network performance, [SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics, IEEE 802.15, Multivariate parameters, business.industry, Wireless network, Quality of service, 020208 electrical & electronic engineering, Physical layer, 020206 networking & telecommunications, Transmitter power output, Systèmes embarqués, [SPI.ELEC]Engineering Sciences [physics]/Electromagnetism, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Wireless sensor network, Carrier sense multiple access with collision avoidance, Communication channel
Abstract: International audience; Because of the specifications in low-cost, low-power IEEE 802.15.4 wireless sensor networks, comprehensive analytical model is important for evaluating performance under varying wireless channel constraints. The systematic properties of single physical layer and medium access control (MAC) layer protocol have been studied through the techniques based on mathematical models or experiment-based approaches. However, It is insufficient to evaluate network performance on the basis of existing single layer model or cross-layer model with stationary parameters, especially for the multi-variable parameters-based wireless network environment. In this paper, we propose an enhanced stack cross-layer analytical model based on the comprehensive combination and interaction between PHY layer propagation model and MAC layer Markov chain model. Dynamic interaction between sublayer models achieve adaptive performance estimation with hyperparameters sets. Cross-layer performance degradation is analyzed under the varying inputs of multi-parameters vectors, several Quality of Service (QoS) metrics and effective energy consumption metric are proposed and evaluated, respectively. From the simulation results compared with benchmark models, stack cross-layer model offers more comprehensive performance analysis with different cross-layer parameters sets which include distance, transmit power, noise power, and information loads, etc.
Published: 2017
Full Text: View/download PDF

248. A model-based approach for describing offline navigation of web applications

Author: Albertos Marco, Félix, Penichet, Victor, Gallud, José, Alba Winckler, Marco Antonio, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Universidad de Castilla-La Mancha - UCLM (SPAIN), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Universidad de Castilla-La Mancha (UCLM), Universidade Federal do Rio Grande do Sul [Porto Alegre] (UFRGS), Interactive Critical Systems (IRIT-ICS), 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, Département Informatique [Université Nice Sophia Antipolis], Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Université Côte d'Azur (UCA), Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), 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)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 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)-Université Côte d'Azur (UCA), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Subjects: Model-Based, Interactive applications, [INFO.INFO-WB]Computer Science [cs]/Web, Offline, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Web, Interactive Applications, Interruptions, Architectures Matérielles, Cryptographie et sécurité, Génie logiciel, [INFO]Computer Science [cs]
Abstract: International audience; The ubiquitousness of the Internet is changing the way users perform their tasks. There is a trend and sometimes a real need to be always connected. The client-server paradigm used in the Web greatly facilitates the consumption of contents. However, there are many situations where the user's tasks in a Web application might be interrupted due to an unexpected loss of connectivity, temporary unavailability of Web servers, external events, etc., setting the browse to an offline state. The availability of local storage in Web browsers might suggest that users can perform some of their tasks when offline. Nonetheless, several technical constraints might prevent users from efficiently resuming their tasks over the Web after the offline period. In this paper we present a model-based approach called the Offline Model, which is aimed at supporting the execution of tasks interrupted by loss of connectivity based on user navigation with Web applications. Furthermore, we demonstrate how the Offline Model can be exploited to mitigate some of the disruptive effects of interruptions, due to offline navigation, on user tasks based on Web navigation in existent Web applications. The feasibility of such a model approach is demonstrated by a support tool and illustrated by a case study of navigation in a real scenario: the DBLP Web site.
Published: 2017

249. Learning cultural heritage by serious games

Author: Chiara Eva Catalano, Giusy Fiucci, Minica Houry-Panchetti, Michela Mortara, Francesco Bellotti, Panagiotis Petridis, Centre National de la Recherche Scientifique - CNRS (FRANCE), Consiglio Nazionale delle Ricerche - CNR (ITALY), Coventry University (UNITED KINGDOM), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Organisation Reconstruction Travail - ORT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Università degli Studi di Genova - UNIGE (ITALY), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Istituto di Matematica Applicata e Tecnologie Informatiche (IMATI-CNR), Consiglio Nazionale delle Ricerche [Roma] (CNR), Electronics for the Information Society Laboratory - ELIOS (Genova, Italy), Real Expression Artificial Life (IRIT-REVA), 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 Coventry (SGI), SGI-University of Coventry, and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Serious games, Archeology, Materials Science (miscellaneous), Proposition, Context (language use), 02 engineering and technology, Conservation, computer.software_genre, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Exhibition, Traitement des images, Portrait, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Traitement du signal et de l'image, Sociology, Game-based learning, Synthèse d'image et réalité virtuelle, Spectroscopy, Multimedia, business.industry, Serious Games, Digital Humanities And Heritage, 05 social sciences, ComputingMilieux_PERSONALCOMPUTING, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], 050301 education, Vision par ordinateur et reconnaissance de formes, Intangible good, Intelligence artificielle, Public relations, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], Cultural heritage, Immersive technology, Digital humanities and heritage, Chemistry (miscellaneous), [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], 020201 artificial intelligence & image processing, Augmented reality, Game-Based Learning, business, 0503 education, General Economics, Econometrics and Finance, computer
Abstract: International audience; Immersive technologies such as virtual environments and augmented reality have a clear potential to support the experiencing of cultural heritage by the large public, complementing the current tools and practices based on tangible goods such as museums, exhibitions, books and visual content. Serious games - videogames designed for educational objectives - appear as a new tool to learn cultural content in an engaging way. In this paper, we will provide an extensive portrait of the current proposition of serious games in the cultural sector, highlighting the educational objectives of games in this domain and analysing the complex relations between genre, context of use, technological solutions and learning effectiveness. We finally identify and discuss the most significant challenges in the design and adoption of educational games in cultural heritage.
Published: 2014
Full Text: View/download PDF

250. Composition of Aspectual Requirements: A Multi-criteria Process for Conflict Resolution

Author: Mohamed Amroune, Jean-Michel Inglebert, Nacereddine Zarour, Pierre-Jean Charrel, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Constantine 2 Abdelhamid Mehri (ALGERIA), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Subjects: Requirements engineering, Programming language, Computer science, Process (engineering), business.industry, Aspect, Intelligence artificielle, Aspect-oriented software development, computer.software_genre, Conflict resolution, Join point, Information system, Priority, Requirements engeering, Software architecture, Software engineering, business, computer, Requirements analysis, Software
Abstract: In Aspect Oriented Software Development, aspects are not only used at the programming level but also tend to arise at the requirements analysis and software architecture design. We previously proposed an approach named AspeCiS (An aspect-oriented Approach to Develop a Cooperative Information System) to develop a Cooperative Information System from existing Information Systems by using their artifacts such as existing requirements and design elements. This approach include an important step in which the aspectual requirements composition problem is considered to be one of the remaining challenges. So, when multiple aspectual requirements share the same join point, undesired behavior may emerge and a conflict resolution process must be triggered. This study presents a conflict resolution process among aspects during the requirements engineering level: A priority value is computed for each aspect and it allows identifying a dominant aspectual requirement on the basis of stakeholder priority. This process is more formal than those currently proposed, which requires a trade-off negotiation to resolve conflicts.
Published: 2014
Full Text: View/download PDF

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

Publication Type

Journal

Region

Database

Publisher

689 results on '"IRIT Toulouse"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources