Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Titre (en) » - entrée « via »
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.
vhts < via < viamarkov  Facettes :

List of bibliographic references indexed by via

Number of relevant bibliographic references: 86.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
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
000498 (2015-06-12) Samuel Hornus [France]Intersection detection via Gauss maps; a review and new techniques
000585 (2015-04-14) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Anonymizing Social Graphs via Uncertainty Semantics
000702 (2015) Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France]Modal Satisfiability via SMT Solving
000713 (2015) Fabien Lauer [France] ; Henrik Ohlsson [États-Unis]Finding sparse solutions of systems of polynomial equations via group-sparsity optimization
000964 (2014-09-01) Akram Khémiri [Tunisie] ; Afef Kacem [Tunisie] ; Abdel Belaïd [France]Towards Arabic Handwritten Word Recognition via Probabilistic Graphical Models
000A32 (2014-07-18) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
000C71 (2014-02-24) Fabien Lauer [France] ; Henrik Ohlsson [États-Unis]Sparse phase retrieval via group-sparse optimization
000F61 (2013-10-28) Olga Kouchnarenko [France] ; Jean-Francois Weber [France]Adapting Component-based Systems at Runtime via Policies with Temporal Patterns
001180 (2013-06-07) Antonio Loria [France] ; G. Espinosa-Pérez [France] ; Erik Chumacero [France]Exponential stabilization of switched-reluctance motors via speed-sensorless feedback
001303 (2013-02-19) Imen Jemaa [Tunisie]Formant tracking via a multiresolution analysis
001527 (2013) Matthias Horbach [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne]Obtaining Finite Local Theory Axiomatizations via Saturation
001606 (2013) Philippe Balbiani [France] ; Szabolcs Mikulás [Royaume-Uni]Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders
001731 (2013) Davide Grossi [Royaume-Uni]Abstract argument games via modal logic
001880 (2012-10-29) Mingqiang Xue [Singapour] ; Panagiotis Karras [États-Unis] ; Chedy Raïssi [France] ; Panos Kalnis [Arabie saoudite] ; Hung Keng Pung [Singapour]Delineating social network data anonymization via random edge perturbation
001941 (2012-09-23) Fabien Lauer [France] ; Van Luong Le [France] ; Gérard Bloch [France]Learning smooth models of nonsmooth functions via convex optimization
001C95 (2012) Martine Cadot [France] ; Alain Lelu [France]Combining Explicitness and Classifying Performance via MIDOVA Lossless Representation for Qualitative Datasets
001D02 (2012) Habib Dimassi [France] ; Antonio Loria [France]A new secured transmission scheme based on chaotic synchronization via smooth adaptive unknown-input observers
002501 (2011) Denis Efimov [France] ; Antonio Loria [France] ; Elena Panteley [France]Robust output stabilization: improving performance via supervisory control
002837 (2011) Tony Bourdier [France]Specification, analysis and transformation of security policies via rewriting techniques
002846 (2011) Hans Van-Ditmarsch [France] ; Tiago De Lima [France] ; Emiliano Lorini [France]Intention change via local assignments

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/Title.i -k "via" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "via" \
         | 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=    Title.i
   |clé=    via
}}
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