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

Index « AbsEn.i » - entrée « novel »
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.
novartis < novel < novell  Facettes :

List of bibliographic references indexed by novel

Number of relevant bibliographic references: 481.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000027 (2016-05-16) Denis Roegel [France]A preliminary note on Bürgi's computation of the sine of the first minute
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
000071 (2016-02-01) David W. Ritchie [France] ; Sergei Grudinin [France]Spherical polar Fourier assembly of protein complexes with arbitrary point group symmetry
000072 (2016-02-01) Jean-Guillaume Dumas [France] ; Erich Kaltofen [États-Unis] ; Emmanuel Thomé [France] ; Gilles Villard [France]Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
000073 (2016-02) Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne]Extended security arguments for signature schemes
000077 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000078 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000081 (2016-01-20) Bikash Gyawali [France]Surface Realisation from Knowledge Bases
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000169 (2016) Derry Fitzgerald [Irlande (pays)] ; Antoine Liutkus [France] ; Roland Badeau [France]PROJET - Spatial Audio Separation Using Projections
000172 (2016) Fabian-Robert Stöter [Allemagne] ; Antoine Liutkus [France] ; Roland Badeau [France] ; Bernd Edler [Allemagne] ; Paul Magron [France]Common Fate Model for Unison source Separation
000175 (2016) Denis Roegel [France]A note on the complexity of Bürgi's algorithm for the computation of sines
000191 (2015-12-14) Lei Mo [France] ; Pengcheng You [République populaire de Chine] ; Xianghui Cao [République populaire de Chine] ; Ye-Qiong Song [France] ; Jiming Chen [République populaire de Chine]Decentralized Multi-Charger Coordination for Wireless Rechargeable Sensor Networks
000202 (2015-12-08) Kevin Dalleau [France] ; Ndeye Coumba Ndiaye [France] ; Adrien Coulet [France]Suggesting valid pharmacogenes by mining linked data
000208 (2015-12-01) Matthijs Van Leeuwen [Pays-Bas] ; Esther Galbrun [France]Association Discovery in Two-View Data
000244 (2015-11-05) Laurent Ciarletta [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)] ; Loïc Fejoz [France]Pragmatic Incremental Approach to an Affordable Certification Process for RPAS-Building-up from core Safety Functions
000248 (2015-11-03) Jérôme Gleyzes [France] ; David Langlois [France] ; Filippo Vernizzi [France]A unifying description of dark energy
000284 (2015-10-12) David Adrian [France] ; Karthikeyan Bhargavan [France] ; Zakir Durumeric [France] ; Pierrick Gaudry [France] ; Matthew Green [États-Unis] ; J. Alex Halderman [France] ; Nadia Heninger [États-Unis] ; Drew Springall [États-Unis] ; Emmanuel Thomé [France] ; Luke Valenta [États-Unis] ; Benjamin Vandersloot [France] ; Eric Wustrow [France] ; Santiago Zanella-Béguelin [Canada] ; Paul Zimmermann [France]Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice
000285 (2015-10-12) Guillaume Bonfante [France] ; Jose Fernandez [Canada] ; Jean-Yves Marion [France] ; Benjamin Rouxel [France] ; Fabrice Sabatier [France] ; Aurélien Thierry [France]CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions
000291 (2015-10-05) Bernardetta Addis [France] ; Dallal Belabed [France] ; Mathieu Bouet [France] ; Stefano Secci [France]Virtual Network Functions Placement and Routing Optimization
000324 (2015-09-16) Mohamad Daher [France] ; Maan El Badaoui El Najjar [France] ; Ahmad Diab [Liban] ; Mohamad Khalil [Liban] ; François Charpillet [France]Towards a usable and an efficient elder fall detection system

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

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