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 « programming »
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.
programmes < programming < programs  Facettes :

List of bibliographic references indexed by programming

Number of relevant bibliographic references: 197.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000011 (2016-06-06) Salvatore Signorello [Luxembourg (pays)] ; Radu State [Luxembourg (pays)] ; Jerome Francois [France] ; Olivier Festor [France]NDN.p4: Programming Information-Centric Data-Planes
000451 (2015-07-06) Martin Quinson [France] ; Gérald Oster [France]A Teaching System To Learn Programming: the Programmer's Learning Machine
000814 (2015) Philippe De Groote [France]Abstract Categorial Parsing as Linear Logic Programming
000831 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Science of Computer Programming Special Issue: Automated Verification of Critical Systems
000D49 (2014) Eugene A. Feinberg [États-Unis] ; Jefferson Huang [États-Unis] ; Bruno Scherrer [France]Modified policy iteration algorithms are not strongly polynomial for discounted dynamic programming
000E23 (2014) Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Effective strategic programming for Java developers
000E66 (2014) Stéphane Vialle [France] ; Sylvain Contassot-Vivier [France]Optimization methodology for Parallel Programming of Homogeneous or Hybrid Clusters
000F09 (2013-12-05) Victor Gabillon [France] ; Mohammad Ghavamzadeh [France] ; Bruno Scherrer [France]Approximate Dynamic Programming Finally Performs Well in the Game of Tetris
001194 (2013-06-03) Bruno Scherrer [France]On the Performance Bounds of some Policy Search Dynamic Programming Algorithms
001650 (2013) Christoph Wernhard [Allemagne]Abduction in Logic Programming as Second-Order Quantifier Elimination
001672 (2013) Pham Viet-Nga [France] ; Hoai An Le Thi [France] ; Pham Dinh Tao [France]A DC Programming Framework for Portfolio Selection by Minimizing the Transaction Costs
001C17 (2012-03-02) Cláudia Tavares [France]A type system for embedded rewriting programming
002062 (2011-10-13) Guillaume Bonfante [France]Course of value distinguishes the intentionality of programming languages
002313 (2011-06-13) Aiying Rong ; José Figueira [France] ; Margarida Vaz PatoA Two State Reduction Based Dynamic Programming Algorithm for the Bi-Objective 0-1 Knapsack Problem
002C07 (2010-07) Sansom Abramski ; Cyril Gavoille [France] ; Claude Kirchner [France] ; Friedhelm Meyer Auf Der Heide ; Paul G. SpirakisProceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Bordeaux, France, July 6-10, 2010, Part I & II. Volume 6198 & 6199 of Lecture Notes in Computer Science (ARCoSS)
002F13 (2010) Raghav Aras [France] ; Alain Dutech [France]An investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
003038 (2010) Rajeev Joshi [États-Unis]Programming with Miracles
003439 (2009-08-17) Francisco L Pez Fraguas [Espagne] ; Stephan Merz [France] ; Juan Rodríguez Hortalá [Espagne]A Formalization of the Semantics of Functional-Logic Programming in Isabelle
003453 (2009-07-26) Pierre Le Bodic [France] ; Hervé Locteau [France] ; Sébastien Adam [France] ; Pierre Héroux [France] ; Yves Lecourtier [France] ; Arnaud Knippel [France]Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming
003454 (2009-07-26) Santosh K. C. [France] ; Bart Lamiroy [France] ; Jean Philippe Ropers [France]Inductive Logic Programming for Symbol Recognition
003465 (2009-07-21) Bart Lamiroy [France] ; Jean-Philippe Ropers [France]Assessing Inductive Logic Programming Classification Quality by Image Synthesis

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 "programming" 

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