The q-analogue of the wild fundamental group and the inverse problem of the Galois theory of q-difference equations

In previous papers, we defined $q$-analogues of alien derivations for linear analytic $q$-difference equations with integral slopes and proved a density theorem (in the Galois group) and a freeness theorem. In this paper, we completely describe the wild fundamental group and apply this result to the inverse problem in $q$-difference Galois theory. The new version contains an appendix on pronilpotent completion and the main result on the direct problem is made more precise. (Submitted for publication

To Be Or Not To Be Innovative: An Exercise In Measurement

not availableeconomics of technology ;

The Importance of R&D for Innovation: A Reassessment Using French Survey Data

This paper compares the contribution of R&D to innovation in terms of the various innovation output measures provided by the third Community Innovation Survey (CIS 3) for French manufacturing firms and in terms of accounting for interindustry innovation differences.research and development ;

The Importance of R&D for Innovation: A Reassessment Using French Survey Data

This paper compares the contribution of R&D to innovation in terms of the various innovation output measures provided by the third Community Innovation Survey (CIS 3) for French manufacturing firms and in terms of accounting for inter-industry innovation differences.

Using Innovation Surveys for Econometric Analysis

After presenting the history, the evolution and the content of innovation surveys, we discuss the characteristics of the data they contain and the challenge they pose to the analyst and the econometrician. We document the two uses that have been made of these data: the construction of scoreboards for monitoring innovation and the scholarly analysis of various issue related to innovation. In particular we review the questions examined and the results obtained regarding the determinants, the effects, the complementarities, and the dynamics of innovation. We conclude by suggesting ways to improve the data collection and their econometric analysis. Dans cet article de survol sur les utilisations des enquêtes innovation, nous commençons par présenter leur historique et les informations qu’elles apportent. Nous discutons en détail les caractéristiques des données fournies et les difficultés qu’elles peuvent poser pour les analyses. Nous considérons successivement les deux usages auxquelles ces données servent principalement : la construction d'indicateurs et de « scoreboard » de l'innovation et les études économétriques sur différents thèmes ayant trait à l'innovation. Nous passons ainsi en revue les questions posées et les résultats obtenus par les études sur les déterminants de l’innovation, sur ses effets, sur les complémentarités entre types d’innovation et sur sa dynamique. Nous concluons par une liste de suggestions pour améliorer la conception et l’organisation des enquêtes innovation et pour progresser dans leur analyse économétrique.innovation survey, econometrics, complementarity, productivity, R&D, collaboration. , enquêtes innovation, économetrie, complémentarité, productivité, R&D, collaboration

To Be or Not To Be Innovative: An Exercise in Measurement

In this paper, we put forward the idea of an innovation accounting framework and consider two main indicators based on it: expected innovation and innovativeness. The framework is the analogue of the standard framework of economic growth accounting, with innovativeness being a parallel notion to that of (total factor) productivity. We provide an illustration of the idea using data from the European Community Innovation Surveys (CIS1 and CIS2) and measuring innovation by the share of firm innovative sales. We adopt a generalized tobit model of the propensity and intensity of innovation as our accounting framework. We first apply the framework to a comparison of the innovation performance of French manufacturing industries, while also checking the robustness of our estimates to the use of micro- aggregated firm data provided by Eurostat versus the original individual firm data. We also provide an overview of the results of a larger comparison of innovation across seven European countries.

Processing Metonymy: a Domain-Model Heuristic Graph Traversal Approach

We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a conceptual representation from texts according to a domain model expressed in a knowledge representation formalism. We focus in this paper on the part of the semantic analyser which deals with semantic composition. We explain how we use the domain model to handle metonymy dynamically, and more generally, to underlie semantic composition, using the knowledge descriptions attached to each concept of our ontology as a kind of concept-level, multiple-role qualia structure. We rely for this on a heuristic path search algorithm that exploits the graphic aspects of the conceptual graphs formalism. The methods described have been implemented and applied on French texts in the medical domain.Comment: 6 pages, LaTeX, one encapsulated PostScript figure, uses colap.sty (included) and epsf.sty (available from the cmp-lg macro library). To appear in Coling-9

Syntactic Abstraction of B Models to Generate Tests

In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their state space often makes them hard to handle. To reduce the amount of states, an abstraction function can be used, often combining state variable elimination and domain abstractions of the remaining variables. This paper complements previous results, based on domain abstraction for test generation, by adding a preliminary syntactic abstraction phase, based on variable elimination. We define a syntactic transformation that suppresses some variables from a B event model, in addition to a method that chooses relevant variables according to a test purpose. We propose two methods to compute an abstraction A of an initial model M. The first one computes A as a simulation of M, and the second one computes A as a bisimulation of M. The abstraction process produces a finite state system. We apply this abstraction computation to a Model Based Testing process.Comment: Tests and Proofs 2010, Malaga : Spain (2010