BibSonomy publications for /author/NapoliSun Jan 22 00:00:00 CET 2012BIBM Workshopsconf/bibm/2011w201-208Ontology-based functional classification of genes: Evaluation with reference sets and overlap analysis.2011dblp Wed Dec 28 00:00:00 CET 2011ICTAIconf/ictai/2011621-628Numerical Information Fusion: Lattice of Answers with Supporting Arguments.2011dblp Mon Dec 05 00:00:00 CET 2011CoRRGraded CTL Model Checking for Test Generationabs/1111.27682011dblp Mon Dec 05 00:00:00 CET 2011CoRRCorrelations in sequences of generalized eigenproblems arising in Density Functional Theoryabs/1108.25942011dblp Mon Dec 05 00:00:00 CET 2011CoRRCase Base Mining for Adaptation Knowledge Acquisitionabs/cs/07031562007dblp Mon Dec 05 00:00:00 CET 2011CoRRMining Biclusters of Similar Values with Triadic Concept Analysisabs/1111.32702011dblp Mon Dec 05 00:00:00 CET 2011CoRRThe Coron Systemabs/1111.56902011dblp Mon Dec 05 00:00:00 CET 2011CoRRRevisiting Numerical Pattern Mining with Formal Concept Analysisabs/1111.56892011dblp Mon Dec 05 00:00:00 CET 2011CoRRMatrix Structure Exploitation in Generalized Eigenproblems Arising in Density Functional Theoryabs/1007.44002010dblp Mon Dec 05 00:00:00 CET 2011CoRRAdaptation Knowledge Discovery from a Case Baseabs/cs/06101562006dblp Mon Dec 05 00:00:00 CET 2011CoRRVarious Solutions to the Firing Squad Synchronization Problemsabs/cs/05110442005dblp Mon Dec 05 00:00:00 CET 2011CoRRTreillis de concepts et ontologies pour l'interrogation d'un annuaire de sources de données biologiques (BioRegistry)abs/cs/05060172005dblp Mon Dec 05 00:00:00 CET 2011CoRRHiérarchisation des règles d'association en fouille de textesabs/cs/05100372005dblp Mon Dec 05 00:00:00 CET 2011CoRRSolving Dense Generalized Eigenproblems on Multi-threaded Architecturesabs/1111.63742011dblp Mon Dec 05 00:00:00 CET 2011CoRRAn Example of Symmetry Exploitation for Energy-related Eigencomputationsabs/0910.54342009dblp Mon Dec 05 00:00:00 CET 2011CoRRCoron : Plate-forme d'extraction de connaissances dans les bases de donnéesabs/1111.56872011dblp Thu Dec 01 00:00:00 CET 2011SpringSim (TMS-DEVS)conf/springsim/2011-459-66Graded CTL model checking for test generation.2011dblp Mon Nov 28 00:00:00 CET 2011Int. J. Software and Informatics3219-238Generating Rare Association Rules Using the Minimal Rare Itemsets Family.42010dblp Mon Nov 28 00:00:00 CET 2011Electr. Notes Theor. Comput. Sci.215-228On a Logic for Coalitional Games with Priced-Resource Agents.2782011dblp Mon Nov 07 00:00:00 CET 2011IEEE Trans. Software Eng.111621-1639Web Structures: A Tool for Representing and Manipulating Programs.141988dblp