1.

Record Nr.

UNINA990005275250403321

Autore

O'Brien, D.

Titolo

Empedocles' cosmic cycle : A reconstuction from the fragments and secondary sources, by D. O'Brien fellow of Gonville and Caius College / Cambridge

Pubbl/distr/stampa

Cambridge : Cambridge University Press, 1969

Descrizione fisica

X, 458 p. ; 23 cm

Collana

Cambridge classical studies

Locazione

FLFBC

Collocazione

10-D 8

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910451185703321

Titolo

Contemporary Tibetan literary studies [[electronic resource] ] : PIATS 2003 : Tibetan studies : proceedings of the Tenth Seminar of the International Association for Tibetan Studies, Oxford, 2003 / / edited by Steven J. Venturino ; managing editor, Charles Ramble

Pubbl/distr/stampa

Leiden ; ; Boston, : Brill, 2007

ISBN

1-281-45802-3

9786611458027

90-474-1158-7

Descrizione fisica

1 online resource (166 p.)

Collana

Brill's Tibetan studies library, , 1568-6183 ; ; v. 10/6

Altri autori (Persone)

VenturinoSteven J

Disciplina

895/.4

Soggetti

Tibetan literature - 20th century - History and criticism

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.



Nota di bibliografia

Includes bibliographical references.

Nota di contenuto

Preliminary Materials / S. Venturino -- Approaching Contemporary Tibetan Literature / Steven J. Venturino -- Ascendancy Of The Term Rtsom Rig In Tibetan Literary Discourse / Lauran R. Hartley -- Stories And History: The Emergence Of Historical Fiction In Contemporary Tibet / Françoise Robin -- Contemporary Tibetan Literature From Shangrila: Literary Life And Activities In The Yunnan Tibetan Region (1950–2002) / Lara Maconi -- Three Mongolian-Tibetan Authors / Tsering Dhondup -- An Analysis Of The Poem \'Young Dondrup The Courier\' / Jamyang Drakpa -- Changing Identities: The Creation Of ‘Tibetan’ Literary Voices In The Prc / Patricia Schiaffini -- Magical Realism And Tibetan Literature / Franz Xaver Erhard -- Pema Bhum On Tibetan Literature And The Latse Tibetan Library / Gray Tuttle -- List Of Contributors / S. Venturino.

Sommario/riassunto

These essential readings in the emerging field of Tibetan literary studies offer specialists and non-specialists provocative new studies of contemporary Tibetan literature and criticism, ranging from discussions of individual works to theoretical interventions. The nature of Tibetan literature as both a regional voice within China and a transnational voice in the world is explored by L. Hartley on the relationship between the terms rtsom-rig, wen, and literature, F. Robin on historical fiction, L. Maconi on literature in the Yunnan Tibetan areas, T. Dhondup on Mongolian-Tibetan writers, J. Drakpa on poetic explication, P. Schiaffini on the creation of Tibetan subjectivities, F.X. Erhard on magical realism, and Gray Tuttle’s interview with writer and critic Pema Bhum.



3.

Record Nr.

UNISA996550559503316

Autore

Guiochet Jérémie

Titolo

Computer Safety, Reliability, and Security [[electronic resource] ] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings / / edited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch

Pubbl/distr/stampa

Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023

ISBN

3-031-40923-X

Edizione

[1st ed. 2023.]

Descrizione fisica

1 online resource (291 pages)

Collana

Lecture Notes in Computer Science, , 1611-3349 ; ; 14181

Altri autori (Persone)

TonettaStefano

BitschFriedemann

Disciplina

005

Soggetti

Computer engineering

Computer networks

Software engineering

Application software

Robotics

Microprogramming

Data protection

Computer Engineering and Networks

Software Engineering

Computer and Information Systems Applications

Control Structures and Microprogramming

Data and Information Security

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di contenuto

Safety Assurance -- Assurance Case Arguments in the Large – CERN LHC Machine Protection System -- Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments -- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases -- Software Testing & Reliability -- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study -- A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry -- Constraint-guided Test



Execution Scheduling: An Experience Report at ABB Robotics -- Neural Networks Robustness & Monitoring -- A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks -- Are Transformers More Robust? Towards Exact Robustness Verification for Transformers -- Model-based Security and Threat Analysis -- Model-based Generation of Attack-Fault Trees -- MBTA: A Model-Based Threat Analysis approach for software architectures -- Attribute Repair for Threat Prevention -- Safety of Autonomous Driving -- Probabilistic Spatial Relations for Monitoring Behavior of Road Users -- Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems -- Security Engineering -- Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems -- From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures -- AI Safety -- The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems -- Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products -- Online Quantization Adaptation for Fault-Tolerant Neural Network Inference -- Neural Networks & Testing -- Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection -- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models.

Sommario/riassunto

This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.