LEADER 03991nam 2200757 450 001 9910459726803321 005 20210422012607.0 010 $a1-5231-0061-3 010 $a3-11-039597-5 010 $a3-11-032970-0 024 7 $a10.1515/9783110329704 035 $a(CKB)3710000000229179 035 $a(EBL)1609478 035 $a(SSID)ssj0001333767 035 $a(PQKBManifestationID)12565662 035 $a(PQKBTitleCode)TC0001333767 035 $a(PQKBWorkID)11392113 035 $a(PQKB)10696546 035 $a(MiAaPQ)EBC1609478 035 $a(DE-B1597)211984 035 $a(OCoLC)890071030 035 $a(OCoLC)891761734 035 $a(DE-B1597)9783110329704 035 $a(Au-PeEL)EBL1609478 035 $a(CaPaEBR)ebr11010276 035 $a(CaONFJC)MIL805214 035 $a(EXLCZ)993710000000229179 100 $a20150213h20142014 uy 0 101 0 $aeng 135 $aur|nu---|u||u 181 $ctxt 182 $cc 183 $acr 200 10$aSemantic knowledge representation for information retrieval /$fWinfried Go?dert, Jessica Hubrich, Matthias Nagelschmidt 210 1$aBerlin, [Germany] ;$aBoston, [Massachusetts] :$cDe Gruyter Saur,$d2014. 210 4$d©2014 215 $a1 online resource (308 p.) 300 $aDescription based upon print version of record. 311 $a3-11-030477-5 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tPreface --$tTable of Contents --$t1. Introduction: Envisioning Semantic Information Spaces --$tPart A Propaedeutics - Organizing, Representing, and Exploring Knowledge --$t2. Indexing and Knowledge Organization --$t3. Semantic Technologies for Knowledge Representation --$t4. Information Retrieval and Knowledge Exploration --$tPart B Status quo - Handling Heterogeneity in Indexing and Retrieval --$t5. Approaches to Handle Heterogeneity --$t6. Problems with Establishing Semantic Interoperability --$tPart C Vision - Ontology-based Indexing and Retrieval --$t7. Formalization in Indexing Languages --$t8. Typification of Semantic Relations --$t9. Inferences in Retrieval Processes --$t10. Semantic Interoperability and Inferences --$t11. Remaining Research Questions --$tPart D Appendices --$tSystematic Glossary --$tAbbreviations --$tList of figures --$tList of tables --$tReferences --$tIndex 330 $aThis book covers the basics of semantic web technologies and indexing languages, and describes their contribution to improve methods of formal knowledge representation and reasoning. The methodologies included combine the specifics of indexing languages, Web representation languages and intersystem relations, and explain their contribution to search functionalities in information retrieval scenarios. An example oriented discussion, considering aspects of conceptual and semantic interoperability in processes of subject querying and knowledge exploration is provided. The book is relevant to information scientists, knowledge workers and indexers. It provides a suitable combination of theoretical foundations and practical applications. 606 $aSemantic Web 606 $aInformation retrieval 606 $aKnowledge representation (Information theory) 606 $aInformation organization 606 $aIndexing 606 $aWorld Wide Web$xSubject access 608 $aElectronic books. 615 0$aSemantic Web. 615 0$aInformation retrieval. 615 0$aKnowledge representation (Information theory) 615 0$aInformation organization. 615 0$aIndexing. 615 0$aWorld Wide Web$xSubject access. 676 $a025.042/7 700 $aGo?dert$b Winfried$01049756 702 $aHubrich$b Jessica 702 $aNagelschmidt$b Matthias 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459726803321 996 $aSemantic knowledge representation for information retrieval$92479040 997 $aUNINA LEADER 06840oam 2200613 450 001 996465305503316 005 20210713121706.0 010 $a3-540-48249-0 024 7 $a10.1007/3-540-48249-0 035 $a(CKB)1000000000211164 035 $a(SSID)ssj0000322116 035 $a(PQKBManifestationID)11227109 035 $a(PQKBTitleCode)TC0000322116 035 $a(PQKBWorkID)10281163 035 $a(PQKB)10517907 035 $a(DE-He213)978-3-540-48249-9 035 $a(MiAaPQ)EBC3072096 035 $a(MiAaPQ)EBC6485726 035 $a(PPN)155227777 035 $a(EXLCZ)991000000000211164 100 $a20210713d1999 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aComputer safety, reliability and security $e18th international conference, safecomp'99, toulouse, france, september 27-29, 1999, proceedings /$fedited by Massimo Felici, Karama Kanoun, Alberto Pasquini 205 $a1st ed. 1999. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer,$d[1999] 210 4$d©1999 215 $a1 online resource (XVIII, 490 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1698 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66488-2 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Software Reliability Engineering in Industry -- Assessment and Certification -- A Systematic Approach to Safety Case Maintenance -- SQUALE Dependability Assessment Criteria -- Assessment and Certification of Safety-Critical Digital Architectures ? the ACRuDA Project -- Safety Assessment and Human Factors (Poster Session) -- Safety Evaluation of a Train Leader Telephone System -- Safety Analysis Techniques for Validating Formal Models during Verification -- Evaluating the Contribution of DesktopVR for Safety?Critical Applications -- Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces -- The Impact of Different Media on Safety and Usability of Interactive ATC Applications -- Human Factors -- Patterns for Safer Human-Computer Interfaces -- Impact of Communication on Systems Dependability: Human Factors Perspectives -- A Method for Operator Error Detection Based on Plan Recognition -- Safety Assessment -- Hierarchically Performed Hazard Origin and Propagation Studies -- Hardware Redundant Vital Computers ? Demonstration of Safety on the Basis of Current Standards -- Design for Safety (Poster Session) -- System and Software Safety Analysis for the ERA Control Computer -- Safety Markup Language: Concept and Application -- Extendable Ground-to-Air Communication Architecture for CoDySa -- Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems -- The Development of a Commercial ?Shrink-Wrapped Application? to Safety Integrity Level 2: the DUST-EXPERT? Story -- Verification and Testing -- Safety Verification of ADA95 Programs Using Software Fault Trees -- Programming Rule Static Verification for Reliable Software -- Automated Black-Box Testing with Abstract VDM Oracle -- Towards Statistical Control of an Industrial Test Process -- Design for Safety -- Choosing Effective Methods for Diversity ? How to Progress from Intuition to Science -- A First Step Towards the Integration of Accident Reports and Constructive Design Documents -- A Holistic Design Concept to Improve Safety Related Control Systems -- Dependability Analysis and Evaluation -- Comparing Fault Trees and Bayesian Networks for Dependability Analysis -- FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems -- Structural Software Reliability Estimation -- Formal Methods and Security (Poster Session) -- Hazard Analysis in Formal Specification -- Modeling Safety-Critical Systems with Z and Petri Nets -- On Formal Languages for Sequences of Authorization Transformations -- Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability -- Formal Methods -- Forma Design of Distributed Control Systems with Lustre -- Formal Specification and Development of a Safety-Critical Train Management System -- Formal Validation of the GUARDS Inter-consistency Mechanism -- A Graphical Environment for the Specification and Verification of Reactive Systems -- Security -- Dependability Requirements and Security Architectures for the Healthcare/Medical Sector -- Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature -- The Integration of Safety and Security Requirements. 330 $aThe European Commission emphasizes, in its Fifth Research Framework, the ?. . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of embedded and networked systems and services as well as from the global and complex nature of large scale information and communication infrastructures, from citizens, administrations and business in terms of technologies, tools, systems, applications and services". The series of Conference on Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these requirements by reviewing the state of the art, experiences, and new trends in the relevant scientific and industrial areas. Safecomp is intended to be a platform for technology transfer among academia, industry, and research institutions, providing the opportunity for exchange of ideas, opinions, and visions among experts. This year Safecomp celebrates the 20th anniversary, its first Conference having been organized in Stuttgart by EWICS (European Workshop on Industrial Computer Systems) in 1979, and we hope these Proceedings will contribute to the celebration by supporting Safecomp aims. The Proceedings include the 25 papers that have been presented orally at the Conference and the full version of the 14 papers that have been presented as posters, all of which were selected from 76 submissions. Papers almost uniformly take up Safecomp topics, dealing with the issues of Safety Assessment and Human Factors, Verification and Validation, Design for Safety, Formal Methods, and Security. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1698 606 $aComputer systems$xReliability$vCongresses 606 $aComputer security$vCongresses 615 0$aComputer systems$xReliability 615 0$aComputer security 676 $a005.1 702 $aPasquini$b Alberto 702 $aFelici$b Massimo$f1973- 702 $aKanoun$b Karama 712 12$aSAFECOMP '99 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465305503316 996 $aComputer Safety, Reliability, and Security$92175020 997 $aUNISA LEADER 01297nam a2200325 i 4500 001 991000955449707536 005 20020507180539.0 008 990510s1993 us ||| | eng 020 $a0691087776 035 $ab10780890-39ule_inst 035 $aLE01304846$9ExL 040 $aDip.to Matematica$beng 082 0 $a530.11 084 $aAMS 35L70 100 1 $aChristodoulou, Demetrios$0320209 245 14$aThe global nonlinear stability of the Minkowski space /$cDemetrios Christodoulou and Sergiu Klainerman 260 $aPrinceton, New Jersey :$bPrinceton Univ. Press,$c1993 300 $aix, 514 p. ;$c25 cm 490 0 $aPrinceton mathematical series,$x0079-5194 ;$v41 500 $aIncludes bibliographical references (p. 513-514) 650 0$aGeneralized spaces 650 0$aNonlinear theories 650 0$aSpace and time-Mathematics 700 1 $aKlainerman, Sergiu$eauthor$4http://id.loc.gov/vocabulary/relators/aut$048535 907 $a.b10780890$b23-02-17$c28-06-02 912 $a991000955449707536 945 $aLE013 35L CHR11 (1993)$g1$i2013000117065$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10880537$z28-06-02 996 $aGlobal nonlinear stability of the Minkowski space$91424917 997 $aUNISALENTO 998 $ale013$b01-01-99$cm$da $e-$feng$gus $h4$i1