LEADER 02261nam0 22004093i 450 001 PUV0188435 005 20251003044311.0 020 $aIT$b77-9475 100 $a20111018d1977 ||||0itac50 ba 101 | $aita$cita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aSviluppo economico e strutture finanziarie in Italia$fa cura di Guido Carli 210 $aBologna$cIl Mulino$d[1977] 215 $a471 p.$d22 cm 225 | $aStudi e ricerche$v69 300 $aScritti di vari tratti dall'attivitŕ del gruppo di lavoro su Lo sviluppo economico italiano e le strutture finanziarie atte a sostenerlo, costituito presso l'Ente per gli Studi Monetari, Bancari e Finanziari L. Einaudi di Roma 410 0$1001CFI0001423$12001 $aStudi e ricerche$v69 500 11$aSviluppo economico e strutture finanziarie in Italia$3TSA1814705$9421187 676 $a330.945$9SITUAZIONI E CONDIZIONI ECONOMICHE. Italia$v20 676 $a332.01$9ECONOMIA FINANZIARIA. Filosofia e teoria$v23 676 $a332.0945$9ECONOMIA FINANZIARIA. Italia$v21 676 $a338.945$9SVILUPPO ECONOMICO. Italia$v21 676 $a338.945$9SVILUPPO E CRESCITA ECONOMICA. Italia$v23 686 $aSe.i.0$cStoria dell'economia italiana. Opere generali$2F 702 1$aCarli$b, Guido$f <1914-1993>$3CFIV079206 801 3$aIT$bIT-000000$c20111018 850 $aIT-BN0095 $aIT-SA0252 901 $bNAP 83$cDIM $n$ 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 912 $aPUV0188435 950 0$aBiblioteca Centralizzata di Ateneo$c1 v. in due copie$d 01POZZO LIB.F. PARRAVICINI 235$e 0101 0600161045E VMA 1 v. (Precedente collocazione P 249)$fB $h20220908$i20220908$c1 v. in due copie$d 01POZZO LIB.F. PARRAVICINI 235$e 0101 0600170195E VMA (bis 1 v. (2. copia. - Precedente collocazione P. 1162)$fB $h20050930$i20231109 977 $a 01$a 83 996 $aSviluppo economico e strutture finanziarie in Italia$9421187 997 $aUNISANNIO LEADER 04502nam 22007335 450 001 9910983329003321 005 20251225183559.0 010 $a3-031-74234-6 024 7 $a10.1007/978-3-031-74234-7 035 $a(MiAaPQ)EBC31724785 035 $a(Au-PeEL)EBL31724785 035 $a(CKB)36338114200041 035 $a(DE-He213)978-3-031-74234-7 035 $a(EXLCZ)9936338114200041 100 $a20241011d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRuntime Verification $e24th International Conference, RV 2024, Istanbul, Turkey, October 15?17, 2024, Proceedings /$fedited by Erika Ábrahám, Houssam Abbas 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (312 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15191 311 08$a3-031-74233-8 320 $aIncludes bibliographical references and index. 327 $a -- Invited Paper. -- Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities. -- Cyber-physical Systems. -- A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. -- Stream-based Monitoring under Measurement Noise. -- Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS. -- Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. -- Sampling-based and Gradient-based Efficient Scenario Generation. -- HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems. -- Temporal Logics. -- faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties. -- Efficient Online Monitoring for Dynamic Metric Temporal Logic. -- TimelyMon: A Streaming Parallel First-Order Monitor. -- Specification and Visualization. -- Adding State to Stream Runtime Verification. -- The Complexity of Data-Free Nfer. -- RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring. -- Deep Neural Networks. -- Case Study: Runtime Safety Verification of Neural Network Controlled System. -- Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. -- Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study. -- Distributed Systems. -- Distributed Monitoring of Timed Properties. -- Towards Efficient Runtime Veri ed Linearizable Algorithms. -- Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy. 330 $aThis book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15191 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer science 606 $aArtificial intelligence 606 $aAlgorithms 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 606 $aAlgorithms 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 0$aCompilers (Computer programs) 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 615 24$aAlgorithms. 615 24$aCompilers and Interpreters. 676 $a005.14 702 $aA?braha?m$b Erika 702 $aAbbas$b Houssam 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983329003321 996 $aRuntime Verification$9772115 997 $aUNINA