| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996387334603316 |
|
|
Titolo |
The causes of a publick fast, and humiliation [[electronic resource] ] : to be kept with all convenient diligence: by all the members of this Kirk and Kingdom of Scosland [sic]. / / Set down by the Commissioners of the Generall Assemblie |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Abderdene, : Imprinted by James Brown, Anno 1650 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
DouglasRobert <1594-1674.> |
KerA |
|
|
|
|
|
|
|
|
Soggetti |
|
Fasts and feasts |
Scotland Church history 17th century |
Great Britain History Commonwealth and Protectorate, 1649-1660 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Included: "A Letter, to the Presbyteries, from the Commissioners of the General Assemblie," signed M. Robert Dowglas, dated Sept. 12, 1650, p. 7-9. |
Included: "A short Declaration and Warning, to all the Congregations of the Kirk of Scotland, From the Commiss. of the Generall Assemblie," signed A. Ker., dated Sept. 12, 1650, p. 10-12. |
Reproduction of original in: University of Glasgow Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996673176503316 |
|
|
Autore |
Gallina Barbara |
|
|
Titolo |
Computer Safety, Reliability, and Security : 44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10–12, 2025, Proceedings / / edited by Barbara Gallina, Martin Törngren, Friedemann Bitsch |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (329 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15954 |
|
|
|
|
|
|
Altri autori (Persone) |
|
TörngrenMartin |
BitschFriedemann |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks |
Software engineering |
Information technology - Management |
Robotics |
Microprogramming |
Computer networks - Security measures |
Computer Communication Networks |
Software Engineering |
Computer Application in Administrative Data Processing |
Control Structures and Microprogramming |
Mobile and Network Security |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- Safety Arguments/Cases. -- SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases. -- Principled Safety Assurance Arguments. -- Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases. -- Data Sets and Dependability Properties. -- Creation and use of a representative dataset for Advanced Persistent Threats detection. -- How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies. -- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation. -- Testing and Complex Environments. -- |
|
|
|
|
|
|
|
|
|
|
|
Alignment of SOTIF and Scenario-based Safety Evaluation Framework. -- Managing capability in software dependability testing through generic test rigs. -- Improving Out-of-Distribution Detection via Test-Time Augmentation. -- Methodologies (1) – Safety Design and Risk Assessment. -- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit. -- Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. -- ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment. -- Methodologies (2) – Machine Learning and Large Language Models. -- Large Language Models in Code Co-generation for Safe Autonomous Vehicles. .-Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development. -- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025. The 15 full papers included in these proceedings were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Safety Arguments/Cases; Data Sets and Dependability Properties; Testing and Complex Environments; Methodologies (1) - Safety Design and Risk Assessment; and Methodologies (2) Machine Learning and Large Language. |
|
|
|
|
|
|
|
| |