AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AbsEn.i » - entrée « basic »
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.
bases < basic < basically  Facettes :

List of bibliographic references indexed by basic

Number of relevant bibliographic references: 678.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000007 (2016-07-11) Mathieu Hoyrup [France]The decidable properties of subrecursive functions
000049 (2016-04) Andrés Aristizábal [Colombie] ; Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne]Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
000053 (2016-03-08) Laurent Bougrain [France] ; Benjamin Le Golvan [France]Les neuroprothèses
000071 (2016-02-01) David W. Ritchie [France] ; Sergei Grudinin [France]Spherical polar Fourier assembly of protein complexes with arbitrary point group symmetry
000088 (2016-01-13) Serena Ivaldi [France] ; Jan Babi [Slovénie] ; Michael Mistry [Royaume-Uni] ; Robin Murphy [États-Unis]Special Issue on Whole-body control of contacts and dynamics for humanoid robots
000130 (2016) Denis Roegel [France]A mechanical calculator for arithmetic sequences (1844-1852): part 2, working details
000179 (2015-12-23) Guillaume Bosc [France] ; Philip Tan [États-Unis] ; Jean-François Boulicaut [France] ; Chedy Raïssi [France] ; Mehdi Kaytoue [France]A Pattern Mining Approach to Study Strategy Balance in RTS Games
000189 (2015-12-14) Peter Ryan [Luxembourg (pays)] ; Peter R Nne [France] ; Vincenzo Iovino [Luxembourg (pays)]Selene: Voting with Transparent Verifiability and Coercion-Mitigation
000318 (2015-09-21) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Rewriting Approach to the Combination of Data Structures with Bridging Theories
000346 (2015-09-04) Victor Codocedo-Henriquez [France]Contributions to indexing and retrieval using Formal Concept Analysis
000394 (2015-08-20) Asma Saïdani [Tunisie] ; Afef Kacem [Tunisie] ; Belaïd Abdel [France]Arabic/Latin and Machine-printed/Handwritten Word Discrimination using HOG-based Shape Descriptor
000529 (2015-05-23) Ngoc Chan Nguyen [France] ; Azim Roussanaly [France] ; Anne Boyer [France]Studying Relations Between E-learning Resources to Improve the Quality of Searching and Recommendation
000592 (2015-04-11) Emmanuel Hainry [France] ; Romain Péchoux [France]Higher order interpretations for Basic Feasible Functions
000639 (2015-02-02) Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada]On Synthesizing a Consistent Operational Transformation Approach
000663 (2015-01-01) Romain Gerbier [France] ; Vincent Leroux [France] ; Pierre Couvineau [France] ; Rodrigo Alvear-Perez [France] ; Bernard Maigret [France] ; Catherine Llorens-Cortes [France] ; Xavier Iturrioz [France]New structural insights into the apelin receptor: identification of key residues for apelin binding
000664 (2015-01-01) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Characterizing polynomial time complexity of stream programs using interpretations
000702 (2015) Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France]Modal Satisfiability via SMT Solving
000703 (2015) Mihai Andries [France] ; Olivier Simonin [France] ; François Charpillet [France]Localisation of humans, objects and robots interacting on load-sensing floors
000715 (2015) Fabien Lotte [France] ; Laurent Bougrain [France] ; Maureen Clerc [France]Electroencephalography (EEG)-based Brain-Computer Interfaces
000858 (2014-12) Hamri Salah [Algérie] ; Boudjlida Nacer [France] ; Boufaida Mahmoud [Algérie]Semantic Annotations for Workflow Interoperability
000926 (2014-09-28) Emmanuelle Gaillard [France] ; Jean Lieber [France] ; Emmanuel Nauer [France]Case-Based Cooking with Generic Computer Utensils: Taaable Next Generation

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

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