LEADER 01256nam0 22003013i 450 001 SUN0099699 005 20161107123641.390 010 $d0.00 100 $a20141105d1969 |0gerc50 ba 101 $ager 102 $aDE 105 $a|||| ||||| 200 1 $aQuod interest im bonae-fidei-iudicium$estudien zum römischen Schadensersatzrecht$fHeinrich Honsell 205 $aMünchen : Beck$b1969 210 $aXIV$d186 p. ; 24 cm 215 $aBiblioteca Lauria. 410 1$1001SUN0013323$12001 $aMünchener Beiträge zur Papyrusforschung und antiken Rechtsgeschichte$v55$1210 $aMünchen$cBeck. 606 $aRisarcimento dei danni$xDiritto romano$2SG$3SUNC030246 620 $dMünchen$3SUNL001057 676 $a349.737$v22 700 1$aHonsell$b, Heinrich$3SUNV046514$0229735 712 $aBeck$3SUNV001176$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0099699 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS BL.900M.959 55 $e00 BL 1625 SLP 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$gBL$h1625$kCONS BL.900M.959 55 SLP$op$qa 996 $aQuod interest im Bonae fidei iudicium$9704093 997 $aUNICAMPANIA LEADER 05159nam 22006495 450 001 996466105003316 005 20200701124012.0 010 $a3-540-69753-5 024 7 $a10.1007/BFb0054159 035 $a(CKB)1000000000210911 035 $a(SSID)ssj0000327277 035 $a(PQKBManifestationID)11230849 035 $a(PQKBTitleCode)TC0000327277 035 $a(PQKBWorkID)10298454 035 $a(PQKB)10998853 035 $a(DE-He213)978-3-540-69753-4 035 $a(PPN)155164007 035 $a(EXLCZ)991000000000210911 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTools and Algorithms for the Construction and Analysis of Systems$b[electronic resource] $e4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /$fedited by Bernhard Steffen 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (XV, 461 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1384 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64356-7 327 $aFormal verification of pipelined processors -- Fully local and efficient evaluation of alternating fixed points -- Modular model checking of software -- Verification based on local states -- Exploiting symmetry in linear time temporal logic model checking: One step beyond -- OPEN/CÆSAR: An open software architecture for verification, simulation, and testing -- Practical model-checking using games -- Combining finite automata, parallel programs and SDL using Petri nets -- Mesa: Support for scenario-based design of concurrent systems -- Efficient modeling of memory arrays in symbolic ternary simulation -- Translation validation -- A verified model checker for the modal ?-calculus in Coq -- Detecting races in relay ladder logic programs -- Verification of large state/event systems using compositionality and dependency analysis -- Tamagotchis need not die ? Verification of statemate designs -- Modeling and verification of sC++ applications -- Factotum: Automatic and systematic sharing support for systems analyzers -- Model checking via reachability testing for timed automata -- Formal design and analysis of a gear controller -- Verifying networks of timed processes -- Model checking of real-time reachability properties using abstractions -- Symbolic exploration of transition hierarchies -- Static partial order reduction -- Set-based analysis of reactive infinite-state systems -- Deciding fixed and non-fixed size bit-vectors -- Experience with literate programming in the modelling and validation of systems -- A proof of burns N-process mutual exclusion algorithm using abstraction -- Automated verification of Szymanski's algorithm -- Formal verification of SDL systems at the siemens mobile phone department. 330 $aThis book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1384 606 $aComputers 606 $aComputer logic 606 $aSoftware engineering 606 $aComputer communication systems 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputers. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 14$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 676 $a004.2/1 702 $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTACAS '98 906 $aBOOK 912 $a996466105003316 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNISA LEADER 06991nam 22007215 450 001 9910760299603321 005 20251113201316.0 010 $a3-031-46664-0 024 7 $a10.1007/978-3-031-46664-9 035 $a(MiAaPQ)EBC30867568 035 $a(Au-PeEL)EBL30867568 035 $a(DE-He213)978-3-031-46664-9 035 $a(CKB)28781784500041 035 $a(EXLCZ)9928781784500041 100 $a20231104d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Data Mining and Applications $e19th International Conference, ADMA 2023, Shenyang, China, August 21?23, 2023, Proceedings, Part II /$fedited by Xiaochun Yang, Heru Suhartanto, Guoren Wang, Bin Wang, Jing Jiang, Bing Li, Huaijie Zhu, Ningning Cui 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (722 pages) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14177 311 08$aPrint version: Yang, Xiaochun Advanced Data Mining and Applications Cham : Springer,c2023 9783031466632 320 $aIncludes bibliographical references and index. 327 $aKnowledge Graph -- Improving Distance Based Knowledge Graph Embedding via Contrastive Learning -- Knowledge Graph Completion with Information Adaptation and Refinement -- Duet Representation Learning with Entity Multi-Attribute Information in Knowledge Graphs -- TKGAT: Temporal Knowledge Graph Representation Learning Using Attention Network -- Separate-and-Aggregate: A Transformer-based Patch Refinement Model for Knowledge Graph Completion -- Two Birds With One Stone: An Link Prediction Model for Knowledge Hypergraph Based on Fully-Connected Tensor Decomposition -- HEM: an improved parametric link prediction algorithm based on hybrid network evolution mechanism -- Joint embedding of local structures and evolutionary patterns for temporal link prediction -- Multimedia -- DQN-based Stitching Algorithm for Unmanned Aerial Vehicle Images -- HM-QCNN: Hybrid Multi-branches Quantum-Classical Neural Network for image classification -- DetOH: An Anchor-free Object Detector with Only Heatmaps -- LAANet: An Efficient Automatic Modulation Recognition Model Based on LSTM-Autoencoder and Attention Mechanism -- A Compact Phoneme-To-Audio Aligner for Singing Voice -- Song-to-Video Translation: Writing a Video from Song Lyrics Based on Multimodal Pre-Training -- Medical Image Analysis -- Breast Cancer Histopathology Image Classification Using Frequency Attention Convolution Network -- Wavelet-SVDD: Anomaly Detection and Segmentation with Frequency Domain Attention -- Anatomical-Functional Fusion Network for Lesion Segmentation using Dual-view CEUS -- SpMVNet: Spatial Multi-view Network for Head and Neck Organs at Risk Segmentation -- SNN-BS: A Clinical Terminology Standardization Method using Siamese Networks with Batch Sampling Strategy -- Natural Language -- Read then Respond: Multi-granularity Grounding Prediction for Knowledge-Grounded Dialogue Generation -- SUMO-PEGASUS: A Two-Stage Model for Long Text Summarization -- An Extractive Automatic Summarization Method for Chinese Long Text -- A Likelihood Probability-based Online Summarization Ranking Model -- Spatial Commonsense Reasoning for Machine Reading Comprehension -- Multimodal learning for Automatic Summarization: A Survey -- Deep Knowledge Tracing with Concept Trees -- Privacy and Security -- Cryptography-Inspired Federated Learning for Generative Adversarial Networks and Meta Learning -- A Hessian-Based Federated Learning Approach to tackle Statistical Heterogeneity -- Analyzing the Convergence of Federated Learning with Biased Client Participation -- Privacy Lost in online Education: Analysis of Web Tracking Evolution -- DANAA: Towards transferable attacks with double adversarial neuron attribution -- CRNN-SA: A Network Intrusion Detection Method Based on Deep Learning -- Applications -- Conspiracy SpoofingOrders Detection with Transformer-based Deep Graph Learning -- A Novel Explainable Rumor Detection Model with Fusing Objective Information -- VLS: A Reinforcement Learning-based Value Lookahead Strategy for Multi-product Order Fulfillment -- Deep Reinforcement Learning for Stock Trading with Behavioral Finance Strategy -- Ensemble Learning based Employment Recommendation under Interaction Sparsity for College Students -- How does ChatGPT Affect Fake News Detection Systems? -- CNGT: Co-attention Networks with Graph Transformer for Fact Verification -- Multi-Modal -- Supervised Discriminative Discrete Hashing for Cross-modal Retrieval -- A Knowledge-enhanced Inferential Network for Cross-modality Multi-hop VQA -- Multi-Head Similarity Feature Representation and Filtration for Image-Text Matching -- Multimodal Conditional VAE for Zero-shot Real-world Event Discovery -- MAMRP: Multi-modal Data Aware Movie Rating Prediction -- MFMGC: A Multi-Modal Data Fusion Model for Movie Genre Classification -- TED-CS: Textual Enhanced Sensitive Video Detection with Common Sense Knowledge. 330 $aThis book constitutes the refereed proceedings of the 19th International Conference on Advanced Data Mining and Applications, ADMA 2023, held in Shenyang, China, during August 21?23, 2023. The 216 full papers included in this book were carefully reviewed and selected from 503 submissions. They were organized in topical sections as follows: Data mining foundations, Grand challenges of data mining, Parallel and distributed data mining algorithms, Mining on data streams, Graph mining and Spatial data mining. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14177 606 $aData mining 606 $aArtificial intelligence 606 $aApplication software 606 $aComputer systems 606 $aEducation$xData processing 606 $aComputer vision 606 $aData Mining and Knowledge Discovery 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aComputer System Implementation 606 $aComputers and Education 606 $aComputer Vision 615 0$aData mining. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aComputer systems. 615 0$aEducation$xData processing. 615 0$aComputer vision. 615 14$aData Mining and Knowledge Discovery. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aComputer System Implementation. 615 24$aComputers and Education. 615 24$aComputer Vision. 676 $a006.3 702 $aYang$b Xiaochun 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910760299603321 996 $aAdvanced Data Mining and Applications$92982700 997 $aUNINA