LEADER 01451nam--2200397---450- 001 990000544770203316 005 20100623091046.0 010 $a88-14-04041-9 035 $a0054477 035 $aUSA010054477 035 $a(ALEPH)000054477USA01 035 $a0054477 100 $a20010705d1993----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> diritto privato europeo$eproblemi e prospettive$eatti del convegno internazionale$eMacerata 8-10 giugno 1989$fa cura di Luigi Moccia 210 $aMilano$cGiuffrè$dc1993 215 $aXII, 210 p.$d24 cm 225 2 $aUniversità degli studi di Macerata, Dipartimento di diritto privato e del lavoro italiano e comparato$v1 410 $aUniversità degli studi di Macerata, Dipartimento di diritto privato e del lavoro italiano e comparato$12001$v1 606 0 $aDiritto privato$yEuropa$xCongressi$z1989 676 $a346.1 702 1$aMOCCIA,$bLuigi 801 0$aIT$bsalbc$gISBD 912 $a990000544770203316 951 $aXXX.A. Coll. 136/ 4 (X 9 XIV 1)$b2084 G$cXXX.A. Coll. 136/ 4(X 9 XIV)$d00271778 959 $aBK 969 $aGIU 979 $aPATTY$b90$c20010705$lUSA01$h0910 979 $c20020403$lUSA01$h1703 979 $aPATRY$b90$c20040406$lUSA01$h1638 979 $aRSIAV2$b90$c20100623$lUSA01$h0910 979 $aCHIARA$b90$c20111222$lUSA01$h1521 996 $aDiritto privato europeo$969182 997 $aUNISA LEADER 03125nam 2200661Ia 450 001 9910797151103321 005 20150526173120.0 010 $a1-78441-781-5 035 $a(CKB)3710000000410179 035 $a(EBL)2054909 035 $a(SSID)ssj0001540477 035 $a(PQKBManifestationID)11906685 035 $a(PQKBTitleCode)TC0001540477 035 $a(PQKBWorkID)11533922 035 $a(PQKB)10103570 035 $a(MiAaPQ)EBC2054909 035 $a(Au-PeEL)EBL2054909 035 $a(CaPaEBR)ebr11055518 035 $a(CaONFJC)MIL784699 035 $a(OCoLC)913843019 035 $a(UtOrBLW)bslw09340704 035 $a(EXLCZ)993710000000410179 100 $a20150526d2015 uy 0 101 0 $aeng 135 $aurun||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aResearch in economic history$b[electronic resource] /$fedited by Susan Wolcott and Christopher Hanes 205 $aFirst edition. 210 1$aBingley, England :$cEmerald,$d2015. 210 4$d©2015 215 $a1 online resource (272 p.) 225 0 $aResearch in economic history,$x0363-3268 ;$v31 300 $a"Emerald Books"--Cover. 311 $a1-78441-782-3 320 $aIncludes bibliographical references at the end of each chapters. 327 $aDecline and stagnation in the Arab world : preliminary real wage evidence comparing Algeria, Egypt, Syria and Tunisia, 1847-1913 / Paul Caruana-Galizia -- New Deal funding : estimates of federal grants and loans across states by year, 1930-1940 / Price Fishback -- How many calories? food availability in England and Wales in the eighteenth and nineteenth centuries / Bernard Harris, Roderick Floud, Sok Hong -- "Not much use in disliking it" : the work and wages of female home workers in London, 1897-1908 / Jessica Bean -- Capital inflows, current accounts and the investment cycle in Italy : 1861-1913 / Barbara Pistoresi, Alberto Rinaldi. 330 $aVolume 31 of Research in Economic History (REHI) is forthcoming in April 2015. REHI is a peer-reviewed series published once a year. We cover all areas of economic history, including demography and development. Research in Economic History is a well-established and well-cited journal which has presented work by leading researchers in the field of economic history, including economists, historians and demographers. 410 0$aResearch in Economic History 606 $aBusiness & Economics$xEconomic History$2bisacsh 606 $aEconomic theory & philosophy$2bicssc 606 $aEconomic history$xStatistics 606 $aEconomic history 606 $aEconomic indicators 615 7$aBusiness & Economics$xEconomic History. 615 7$aEconomic theory & philosophy. 615 0$aEconomic history$xStatistics. 615 0$aEconomic history. 615 0$aEconomic indicators. 676 $a339.31021 701 $aHanes$b Christopher$0140374 701 $aWolcott$b Susan$01548073 801 0$bUtOrBLW 906 $aBOOK 912 $a9910797151103321 996 $aResearch in economic history$93804873 997 $aUNINA LEADER 06877nam 22008535 450 001 9910744507403321 005 20251113174101.0 010 $a9783031409530 010 $a3031409531 024 7 $a10.1007/978-3-031-40953-0 035 $a(MiAaPQ)EBC30742260 035 $a(Au-PeEL)EBL30742260 035 $a(OCoLC)1397572395 035 $a(DE-He213)978-3-031-40953-0 035 $a(PPN)272734039 035 $a(CKB)28223159500041 035 $a(EXLCZ)9928223159500041 100 $a20230913d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security. SAFECOMP 2023 Workshops $eASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings /$fedited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (448 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14182 311 08$aPrint version: Guiochet, Jérémie Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops Cham : Springer,c2023 9783031409523 327 $aUsing Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities -- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.-Assurance Cases for Timing Properties of Automotive TSN Networks -- Toward Dependability Assurance Framework for Automated Driving Systems -- A Quantitative Approach for System of Systems? Resilience Analyzing Based on Archimate -- Towards DO-178C Compliance of a Secure Product -- The Need for Threat Modelling in Unmanned Aerial Systems -- Using Runtime information of controllers for safe adaptation at runtime: a Process Mining approach -- Safety and Robustness for Deep Neural Networks: An Automotive Use Case -- Towards Dependable Integration Concepts for AI-based Systems -- A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices -- Computer-Aided Generation of Assurance Cases -- RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence -- Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases -- Analyzing Origins of Safety and Security Interactions using Feared Events Trees and Multi-level Model -- Utilising Redundancy to Enhance Security of Safety-Critical Systems -- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain -- Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning -- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals -- Research on Brain Load prediction based on machine learning for High-speed Railway -- Paired Safety Rule Structure for Human-machine Cooperation with Feature Update and Evolution -- Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling -- Rear-end Collision Risk Analysis for Autonomous Driving -- Improving road traffic safety and performance ? barriers and directions towards cooperative automated vehicles -- A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions -- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning -- AIMOS: Metamorphic Testing of AI - An Industrial Application -- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms -- A Reasonable Driver Standard for Automated Vehicle Safety -- Structuring Research Related to Dynamic Risk Management for Autonomous Systems -- Towards Safe Machine Learning Lifecycles with ESG Model Cards -- Towards Deep Anomaly Detection with Structured Knowledge Representations -- Evaluating and Increasing Segmentation Robustness in CARLA -- Safety Integrity Levels for Artificial Intelligence -- Can Large Language Models assist in Hazard Analysis -- Contextualised Out-of-Distribution Detection using Pattern Identification. . 330 $aThis book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023. The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023) - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023) - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023) - Second International Workshop on Security and Safety Interactions (SENSEI 2023) - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023) . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14182 606 $aComputer engineering 606 $aComputer networks 606 $aImage processing$xDigital techniques 606 $aComputer vision 606 $aApplication software 606 $aSoftware engineering 606 $aComputer science 606 $aData protection 606 $aComputer Engineering and Networks 606 $aComputer Imaging, Vision, Pattern Recognition and Graphics 606 $aComputer and Information Systems Applications 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aSecurity Services 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aImage processing$xDigital techniques. 615 0$aComputer vision. 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aData protection. 615 14$aComputer Engineering and Networks. 615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics. 615 24$aComputer and Information Systems Applications. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aSecurity Services. 676 $a621.39 676 $a004.6 700 $aGuiochet$b Je?re?mie$00 701 $aTonetta$b Stefano$01427977 701 $aSchoitsch$b Erwin$01429222 701 $aRoy$b Matthieu$01429223 701 $aBitsch$b Friedemann$01427978 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910744507403321 996 $aComputer Safety, Reliability, and Security. SAFECOMP 2023 Workshops$93567868 997 $aUNINA