LEADER 06670nam 22007335 450 001 996466013703316 005 20200705112024.0 024 7 $a10.1007/b105806 035 $a(CKB)1000000000212732 035 $a(SSID)ssj0000317698 035 $a(PQKBManifestationID)11246702 035 $a(PQKBTitleCode)TC0000317698 035 $a(PQKBWorkID)10294159 035 $a(PQKB)11765661 035 $a(DE-He213)978-3-540-32262-7 035 $a(MiAaPQ)EBC3068010 035 $a(PPN)123091853 035 $a(EXLCZ)991000000000212732 100 $a20101221d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Concept Analysis$b[electronic resource] $eThird International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /$fedited by Robert Godin, Bernhard Ganter 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XI, 419 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3403 300 $a"Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis ... held at the Universite??? d'Artois, Lens, France"--Pref. 311 08$aPrinted edition: 9783540245254 320 $aIncludes bibliographical references and index. 327 $aTowards Generic Pattern Mining -- Conceptual Exploration of Semantic Mirrors -- Towards a Formal Concept Analysis Approach to Exploring Communities on the World Wide Web -- Automatic Selection of Noun Phrases as Document Descriptors in an FCA-Based Information Retrieval System -- Combining Spatial and Lattice-Based Information Landscapes -- Explaining the Structure of FrameNet with Concept Lattices -- Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering -- Navigation Spaces for the Conceptual Analysis of Software Structure -- Restructuring Help Systems Using Formal Concept Analysis -- An Application of FCA to the Analysis of Aeronautical Incidents -- Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis -- Formal Concept Analysis Constrained by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm for Generating Closed Sets of a Binary Relation -- Uncovering and Reducing Hidden Combinatorics in Guigues-Duquenne Bases -- A Parallel Algorithm for Lattice Construction -- Using Intermediate Representation Systems to Interact with Concept Lattices -- Crisply Generated Fuzzy Concepts -- Triadic Concept Graphs and Their Conceptual Contents -- Alpha Galois Lattices: An Overview -- A Finite State Model for On-Line Analytical Processing in Triadic Contexts -- Complete Subalgebras of Semiconcept Algebras and Protoconcept Algebras -- Coherence Networks of Concept Lattices: The Basic Theorem -- Turing Machine Representation in Temporal Concept Analysis -- Protoconceptual Contents and Implications -- Planarity of Lattices -- Bialgebraic Contexts for Distributive Lattices ? Revisited -- Which Concept Lattices Are Pseudocomplemented?. 330 $aThis volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of advances in applied lattice and order theory, and in particular scienti?c advances related to formal concept analysis. Formal concept analysis is a ?eld of applied mathematics with its mat- matical root in order theory, in particular in the theory of complete lattices. Researchers had long been aware of the fact that these ?elds have many - tential applications. Formal concept analysis emerged in the 1980s from e?orts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. The key theme was the mathe- tization of concept and conceptual hierarchy. Since then, the ?eld has developed into a growing research area in its own right with a thriving theoretical com- nity and an increasing number of applications in data and knowledge processing, including data visualization, information retrieval, machine learning, data an- ysis and knowledge management. ICFCA2005re?ectedbothpracticalbene?tsandprogressinthefoundational theory of formal concept analysis. Algorithmic aspects were discussed as well as e?orts to broaden the ?eld. All regular papers appearing in this volume were refereed by at least two, in most cases three independent reviewers. The ?nal decision to accept the papers was arbitrated by the Program Chairs based on the referee reports. It was the involvement of the Program Committee and the Editorial Board that ensured the scienti?c quality of these proceedings. 410 0$aLecture Notes in Artificial Intelligence ;$v3403 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aMathematical logic 606 $aSoftware engineering 606 $aInformation storage and retrieval 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 610 1 $aICFCA 610 1 $aFormal concept analysis 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aMathematical logic. 615 0$aSoftware engineering. 615 0$aInformation storage and retrieval. 615 14$aArtificial Intelligence. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering. 615 24$aInformation Storage and Retrieval. 676 $a006.3 702 $aGodin$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGanter$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466013703316 996 $aFormal Concept Analysis$9772457 997 $aUNISA LEADER 02542nam 22006491a 450 001 9910780301003321 005 20230629234811.0 010 $a0-309-16880-5 010 $a1-280-18310-1 010 $a9786610183104 010 $a0-309-50515-1 035 $a(CKB)111069351129712 035 $a(OCoLC)614522461 035 $a(CaPaEBR)ebrary10038592 035 $a(SSID)ssj0000235364 035 $a(PQKBManifestationID)11203288 035 $a(PQKBTitleCode)TC0000235364 035 $a(PQKBWorkID)10243555 035 $a(PQKB)10860904 035 $a(MiAaPQ)EBC3375321 035 $a(Au-PeEL)EBL3375321 035 $a(CaPaEBR)ebr10038592 035 $a(OCoLC)923254151 035 $a(EXLCZ)99111069351129712 100 $a20030522h20022002 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdamedia 200 00$aReliability issues for DoD systems $ereport of a workshop /$feditors, Francisco Samaniego, Michael Cohen 210 1$aWashington, D.C. :$cNational Academies Press,$d2002. 210 4$aŠ2002 215 $a1 online resource (ix, 94 pages) 300 $a"Division of Behavioral and Social Sciences and Education, National Research Council of the National Academies." 311 0 $a0-309-08606-X 320 $aIncludes bibliographical references (p. 79-82) and index. 327 $aFront Matter Preface and Acknowledgments Contents1 Introduction and Overview 2 The Measurement and Management of Reliability Growth 3 Current Research in Reliability Modeling and Inference 4 Further Discussion and Next Steps References Appendix WORKSHOP AGENDA AND PARTICIPANTS Index 606 $aReliability (Engineering)$xStatistical methods 606 $aComputer programs$xReliability 607 $aUnited States$xArmed Forces$xWeapons systems$xTesting$xStatistical methods 607 $aUnited States$xArmed Forces$xProcurement 607 $aUnited States$xArmed Forces$xSupplies and stores 615 0$aReliability (Engineering)$xStatistical methods. 615 0$aComputer programs$xReliability. 676 $a355.6/212/0973 701 $aSamaniego$b Francisco J$01462486 701 $aCohen$b Michael L$027662 712 02$aNational Research Council (U.S.) 712 02$aUnited States.$bDepartment of Defense. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910780301003321 996 $aReliability issues for DoD systems$93671490 997 $aUNINA