Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « variables »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
variable < variables < variablesand  Facettes :

List of bibliographic references indexed by variables

Number of relevant bibliographic references: 415.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000001 (2016-07-19) Jean-Charles Faugere ; Pierre-Jean Spaenlehauer [France] ; Jules Svartz [France]Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
000031 (2016-05-09) Mohab Safey El Din ; Pierre-Jean Spaenlehauer [France]Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
000094 (2016-01) Sébastien Da Silva [France] ; Florence Le Ber [France] ; Claire Lavigne [France]Structures de haies dans un paysage agricole : une étude par chemin de Hilbert adaptatif et chaînes de Markov
000105 (2016) Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]Separation Logic with One Quantified Variable
000115 (2016) Miguel Couceiro [France] ; Erkko Lehtonen [Portugal]On the arity gap of finite functions : results and applications.
000122 (2016) Paul Loubet [France] ; Nezha Samih-Lenzi [France] ; Florence Galtier [France] ; Philippe Vanhems [France] ; Pierre Loulergue [France] ; Xavier Duval [France] ; Stéphane Jouneau [France] ; Déborah Postil [France] ; Sylvie Rogez [France] ; Martine Valette [France] ; Corinne Merle [France] ; Corinne Régis [France] ; Yolande Costa [France] ; Zineb Lesieur [France] ; Pierre Tattevin [France] ; Bruno Lina [France] ; Fabrice Carrat [France] ; Odile Launay [France]Factors associated with poor outcomes among adults hospitalised for influenza in France: A three-year prospective multicenter study
000142 (2016) Viviana Loria-Kohen [Espagne] ; Isabel Espinosa-Salinas [Espagne] ; Helena Marcos-Pasero [Espagne] ; Thais Lourenço-Nogueira [Royaume-Uni] ; Jesús Herranz [Espagne] ; Susana Molina [Espagne] ; Guillermo Reglero [Espagne] ; Ana Ramirez De Molina [Espagne]Polymorphism in the CLOCK gene may influence the effect of fat intake reduction on weight loss.
000151 (2016) João Pedro Ferreira [France] ; Nicolas Girerd ; Mattia Arrigo ; Pedro Bettencourt Medeiros ; Miguel Bento Ricardo ; Tiago Almeida ; Alexandre Rola ; Heli Tolpannen ; Said Laribi ; Etienne Gayat ; Alexandre Mebazaa ; Christian Mueller ; Faiez Zannad ; Patrick Rossignol ; Irene AragãoEnlarging Red Blood Cell Distribution Width During Hospitalization Identifies a Very High-Risk Subset of Acutely Decompensated Heart Failure Patients and Adds Valuable Prognostic Information on Top of Hemoconcentration.
000254 (2015-11) Antonio Loria [France] ; G. Espinosa-Pérez [France] ; Erik Chumacero [France]Robust passivity-based control of switched-reluctance motors
000256 (2015-11) Martine Cadot [France] ; Anne Bonneau [France]Pourquoi et comment transformer des variables quantitatives en catégorielles ? Application à l’intonation de la langue française.
000313 (2015-09-25) Noam Zeilberger [France] ; Alain Giorgetti [France]A correspondence between rooted planar maps and normal planar lambda terms
000349 (2015-09-02) Aicha-Baya Goumeidane [Algérie] ; Abdessalem Bouzaieni [France] ; Nafaa Nacereddine [Algérie] ; Salvatore Tabbone [France]Bayesian Networks-Based Defects Classes Discrimination in Weld Radiographic Images
000411 (2015-08-10) Haniel Barbosa [France] ; Pascal Fontaine [France]Congruence Closure with Free Variables (Work in Progress)
000419 (2015-08-02) Ranjan Jha [France] ; Damien Chablat [France] ; Fabrice Rouillier [France] ; Guillaume Moroz [France]An algebraic method to check the singularity-free paths for parallel robots
000423 (2015-08) Paolo Ballarini [Italie] ; Benoît Barbot [France] ; Marie Duflot [France] ; Serge Haddad [France] ; Nihal Pekergin [France]HASL: A new approach for performance evaluation and model checking from concepts to experimentation
000440 (2015-07-22) Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France]Exploiting separability in multiagent planning with continuous-state mdps (extended abstract)
000494 (2015-06-17) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Guillaume Moroz [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Michael Sagraloff [Allemagne]Improved algorithms for solving bivariate systems via Rational Univariate Representations
000556 (2015-05) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Marc Pouget [France] ; Fabrice Rouillier [France]Separating linear forms and Rational Univariate Representations of bivariate systems
000809 (2015) Haniel Barbosa [France] ; Pascal Fontaine [France]Congruence Closure with Free Variables (Work in Progress)
000811 (2015) Marek Kosta [France] ; Thomas Sturm [Allemagne] ; Andreas Dolzmann [Allemagne]Better Answers to Real Questions
000883 (2014-11-07) Sai Qian [France]Accessibility of Referents in Discourse Semantics

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "variables" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "variables" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    variables
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022