methodology < methods < methyl

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

Number of relevant bibliographic references: 31.
[0-20] [0 - 20][0 - 31][20-30][20-40]

Ident.	Authors (with country if any)	Title
000266 (2013)	José Rui Figueira [Portugal] ; Salvatore Greco [Italie] ; Bernard Roy [France] ; Roman Słowi Ski [Pologne]	An Overview of ELECTRE Methods and their Recent Extensions
000636 (2011)	Jean-Charles Lamirel [France] ; Raghvendra Mall [Inde] ; Mumtaz Ahmad [France]	Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study
000665 (2011)	Diego Patino [France, Colombie] ; Mihai Bâja [France] ; Pierre Riedinger [France] ; Hervé Cormerais [France] ; Jean Buisson [France] ; Claude Iung [France]	Alternative control methods for DC–DC converters: An application to a four‐level three‐cell DC–DC converter
000766 (2010)	Mehdi Kaytoue [France] ; Zainab Assaghir [France] ; Nizar Messai [France] ; Amedeo Napoli [France]	Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data
000774 (2010)	Yamine Ait Ameur [France] ; Frédéric Boniol [France] ; Dominique Méry [France] ; Virginie Wiels [France]	Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems
000889 (2010)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
000986 (2009)	Mehdi Kaytoue [France] ; Sébastien Duplessis [France] ; Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France]	Two FCA-Based Methods for Mining Gene Expression Data
000B04 (2009)	Francis Klay [France] ; Laurent Vigneron [France]	Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder
000D64 (2008)	Karl Tombre [France] ; Bart Lamiroy [France]	Pattern Recognition Methods for Querying and Browsing Technical Documentation
001076 (2007)	Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France]	Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
001284 (2006)	Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France]	Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
001297 (2006)	Markus Rabe [Allemagne]	Methods for the Analysis of Supply Network Processes at European SMEs
001396 (2006)	E. Valveny [Espagne] ; P. Dosch [France] ; Adam Winstanley [Irlande (pays)] ; Yu Zhou [Irlande (pays)] ; Su Yang [République populaire de Chine] ; Luo Yan [République populaire de Chine, Hong Kong] ; Liu Wenyin [République populaire de Chine, Hong Kong] ; Dave Elliman [Royaume-Uni] ; Mathieu Delalandre [France] ; Eric Trupin [France] ; Sébastien Adam [France] ; Jean-Marc Ogier [France]	A general framework for the evaluation of symbol recognition methods
001588 (2005)	A. V. Larin [Belgique, Russie] ; V. S. Parbuzin [Russie] ; D. P. Vercauteren [Belgique]	Cumulative coordinate technique for approximation of high atomic multipole moments of aluminophosphate sieves on the basis of electron densities calculated with DFT methods
001738 (2004)	Volker Weispfenning [Allemagne]	Solving Constraints by Elimination Methods
001A66 (2003)	Allen Holder [États-Unis]	Designing Radiotherapy Plans with Elastic Constraints and Interior Point Methods
001E02 (2001)	John M. Marriott ; Nancy M. Spencer	Theory & Methods: A Note on Bayesian Prediction from the Regression Model with Informative Priors
002148 (2000)	Beverly Sanders [États-Unis] ; Dominique Méry [France]	Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000
002162 (2000)	Yamine Ait-Ameur [France]	Cooperation of Formal Methods in an Engineering Based Software Development Process
002340 (1999)	Weldon A. Lodwick [États-Unis] ; Steve Mccourt [États-Unis] ; Francis Newman [États-Unis] ; Stephen Humphries [États-Unis]	Optimization Methods for Radiation Therapy Plans
002540 (1998)		Treatment planning optimization by quasi-Newton and simulated annealing methods for gamma unit treatment system

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "methods" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "methods" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    methods
}}

---

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