{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":47,"n_cols":5,"rows_kept":47,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[20,2,20,3],[21,2,21,3],[23,2,23,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[32,2,32,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9911009341903321"]
[null,null,"Autore",null,"Dutle Aaron"]
[null,null,"Titolo",null,"NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings / / edited by Aaron Dutle, Laura Humphrey, Laura Titolo"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"3-031-93706-6"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (820 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 15682"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computer Engineering and Networks"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Computer Modelling"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types -- Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software -- Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust -- Verification of an Anti-Unification Algorithm in PVS -- Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators -- Vellvm: Formalizing the Informal LLVM (Experience Report) -- Eliminating flakiness: deterministic control for validating nondeterministic Asmeta specifications -- Mode-based Reactive Synthesis -- Reusable Formal Verification of DAG-based Consensus Protocols -- A Streamlined, Formal Approach to Requirements-based Testing -- Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints -- Querying Labeled Time Series Data with "]
[{"$nulls":4},"Scenario Programs -- Formal Verification as a Service: A CERN-GSI Case Study -- Formal Verification of Composite Field Multipliers for Information-Theoretically Secure Radio Communication in Spacecraft Control -- Rare Event Simulation for Stochastic Hybrid Systems using Symbolic Importance Functions -- Algorithmic Analysis of Event-B in Rewriting Logic -- HyTwin: A Formal Semantics for Digital Twin Interventions in ICS Based on Time-to-Violation -- Language Partitioning for Mission-time Linear Temporal Logic -- Visualizing Temporal Interval Hierarchies -- Mechanized RS274 semantics for additive manufacturing -- An SMT Formalization of Mixed-Precision Matrix Multiplication (Modeling Three Generations of Tensor Cores) -- TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation -- Extending Dynamic Logics with First-Class Relational Reasoning -- Automata Size Reduction by Procedure Finding."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025. The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems. ."]
[null,"2.","Record Nr.",null,"UNINA9911011316903321"]
[null,null,"Autore",null,"Becker Ann M"]
[null,null,"Titolo",null,"Literarische Beziehungen Zum Mittelalter : Ein ›scalable Reading‹ Von 1750 Bis 1930 Mit Einer Fallstudie Zur Mittelalterrezeption Friedrich Haugs"]
[null,null,"Pubbl/distr/stampa",null,"LaVergne, : De Gruyter, 2025"]
[{"$nulls":4},"Berlin/Boston : , : Walter de Gruyter GmbH, , 2025"]
[{"$nulls":4},"©2025"]
[null,null,"ISBN",null,"9783111615776"]
[{"$nulls":4},"3111615774"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (342 pages)"]
[null,null,"Collana",null,"Hermaea. Neue Folge Series ; ; v.164"]
[null,null,"Classificazione",null,"GL 1451"]
[null,null,"Soggetti",null,"LITERARY CRITICISM / General"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Title from eBook information screen.."]
[null,null,"Nota di contenuto",null,"Frontmatter -- Danksagung -- Inhaltsverzeichnis -- 1 Einleitung -- 2 Mittelalterrezeption und Mediävalismus: Theoretische Grundlagen -- 3 Das Mittelalter in der deutschsprachigen Literatur aus quantitativer Perspektive -- 4 Die literarische Rezeption mittelalterlicher Lyrik von 1750 bis 1930 -- 5 Minnesangrezeption zwischen Klassizismus und Romantik: Johann Christoph Friedrich Haug (1761–1829) -- 6 Fazit -- 7 Anhänge -- 8 Abkürzungsverzeichnis -- 9 Literaturverzeichnis -- Register -- Open-Access-Transformation in der Literaturwissenschaft"]
[null,null,null,"Sommario/riassunto","Das Buch befasst sich mit der Frage, wann und wie in deutschsprachigen literarischen Texten zwischen 1750 und 1930 auf die Literatur des Mittelalters Bezug genommen wird. Dabei wird auf quantifizierbare Größen in Form von Publikationszahlen zurückgegriffen, wodurch erstmals intersubjektiv nachprüfbare Ergebnisse zur Häufigkeit von Mittelalterbezügen in der Literatur vorliegen.Auf diese Weise zeigt die Studie, dass Mittelalterbezüge in der deutschsprachigen Literatur nicht epochenspezifisch sind, sondern vielmehr über den gesamten Untersuchungszeitraum hinweg kontinuierlich literarisch Bezug auf das Mittelalter und dessen Literatur genommen wird. Damit sind Bezugnahmen auf das Mittelalter aus quantitativer Perspektive auch nicht epochenprägend.Der Zusammenhang von Minnesangrezeption und Romantik wird im letzten Teil der Arbeit anhand des lyrischen Œuvres Friedrich Haugs näher "]
[{"$nulls":4},"untersucht. In der bisherigen Forschung wurde Haug lediglich als Epigrammatiker betrachtet und sein Schaffen dem Klassizismus zugeordnet. Seine literarische Rezeption mittelalterlicher Lyrik zeigt jedoch eine Nähe zur Romantik, die Haugs Briefe an Ludwig Uhland belegen. In der Analyse von Haugs Lyrik wird deutlich, dass seine Minnesangrezeption auch an ältere Rezeptionstraditionen anknüpft."]
[{"$nulls":4},"This study examines the question of when and how German-language texts written between 1750 and 1930 refer to the literature of the Middle Ages. In a scalable reading, it performs a distant reading of medieval references in German-language literature, followed by an examination of the reception of medieval poetry. It then carries out a close reading of Friedrich Haug’s Minnesang reception"]