05478nam 22007575 450 991062020070332120250529130300.09783031199929303119992810.1007/978-3-031-19992-9(MiAaPQ)EBC7120743(Au-PeEL)EBL7120743(CKB)25188965100041(PPN)265856043(DE-He213)978-3-031-19992-9(EXLCZ)992518896510004120221022d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAutomated Technology for Verification and Analysis 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings /edited by Ahmed Bouajjani, Lukáš Holík, Zhilin Wu1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (442 pages)Lecture Notes in Computer Science,1611-3349 ;13505Print version: Bouajjani, Ahmed Automated Technology for Verification and Analysis Cham : Springer International Publishing AG,c2022 9783031199912 Invited Paper -- Learning Monitorable Operational Design Domains for Assured Autonomy -- Reinforcement Learning -- Dynamic Shielding for Reinforcement Learning in Black-Box Environments -- An Impossibility Result in Automata-Theoretic Reinforcement Learning -- Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems -- Program Analysis and Verification -- SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification -- Fence Synthesis under the C11 Memory Model -- Checking Scheduling-induced Violations of Control Safety Properties -- Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions -- SMT and Verification -- Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test -- Verification of SMT Systems with Quantifiers -- Projected Model Counting: Beyond Independent Support -- Automata and Applications -- Minimization of Automata for Liveness Languages -- Temporal Causality in Reactive Systems -- PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems -- Active Learning -- Learning Deterministic One-Clock Timed Automata via Mutation Testing -- Active Learning of One-Clock Timed Automata using Constraint Solving -- Learning and Characterizing Fully-Ordered Lattice Automata -- Probabilistic and Stochastic Systems -- Optimistic and Topological Value Iteration for Simple Stochastic Games -- Alternating Good-for-MDPs Automata -- PET - A Partial Exploration Tool for Probabilistic Verification -- STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego -- Synthesis and Repair -- Synthesis of Parametric Hybrid Automata from Time Series -- Optimal Repair For Omega-regular Properties -- Repairing Real-Time Requirements -- Verification of Neural Networks -- An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks -- Prioritizing Corners in OoD Detectors via Symbolic String Manipulation -- POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions. The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.Lecture Notes in Computer Science,1611-3349 ;13505Software engineeringComputer engineeringComputer networksComputersComputer scienceArtificial intelligenceSoftware EngineeringComputer Engineering and NetworksComputer HardwareComputer Engineering and NetworksTheory of ComputationArtificial IntelligenceSoftware engineering.Computer engineering.Computer networks.Computers.Computer science.Artificial intelligence.Software Engineering.Computer Engineering and Networks.Computer Hardware.Computer Engineering and Networks.Theory of Computation.Artificial Intelligence.511.3Holík LukásBouajjani AhmedWu ZhilinMiAaPQMiAaPQMiAaPQBOOK9910620200703321Automated Technology for Verification and Analysis772478UNINA04981oam 22010094a 450 991073559250332120251221095322.097804729041670472904167https://doi.org/10.3998/mpub.11520(CKB)5680000000311813(MdBmJHUP)musev2_113377(MiAaPQ)EBC31893947(Au-PeEL)EBL31893947(ODN)ODN0012228470(ScCtBLL)90656dcb-2550-4156-a799-89413d1269bc(EXLCZ)99568000000031181320101113d2002 uy 0engur|||||||nn|ntxtrdacontentcrdamediacrrdacarrierStaging Desire Queer Readings of American Theater History /edited by Kim Marra and Robert A. Schanke1st ed.University of Michigan Press2002Ann Arbor :University of Michigan Press,2002.©2002.1 online resourceillustrationsTriangulations: Lesbian/Gay/Queer Theater/Drama/Performance SeriesTitle from eBook information screen..9780472097494 0472097490 9780472067497 0472067494 Clyde Fitch's too wilde love / Kim Marra -- Rachel Crothers: an exceptional woman in a man's world / J.K. Curry -- Say what you will about Mercedes de Acosta / Robert A. Schanke -- Djuna Barnes: the most famous unknown / Susan F. Clark -- George Kelly, American playwright: characters in the hands of an angry god / Billy J. Harbin -- Let's do it: the layered life of Cole Porter / Mark Fearnow -- Lorenz Hart: this can't be love / Jeffrey Smart -- Dorothy's friend in Kansas: the gay inflections of William Inge / Albert Wertheim -- "Appealing to the passions": homoerotic desire and nineteenth-century theater criticism / Lisa Merrill -- "That's the kind of gal I am": drag balls, lulu belles, and "sexual perversion" in the Harlem renaissance / James Wilson -- The gay man as thinker: Eric Bentley's many closets / Daniel-Raymond Nadon -- The electric fairy: the woman behind the apparition of Loie Fuller / Bud Coleman -- "Not as other boys": Robert Edmond Jones and designs of desire / Jane T. Peterson -- A lifetime in light: Jean Rosenthal's careers, collaborations, and commitments to women / Jay Scott Chipman.Critical and biographical essays on notable stage personalities who made their mark before 1969, when the Stonewall riots accelerated the lesbian and gay rights movement in the United States. How they staged their unconventional sexualities greatly influenced the course of their personal and professional lives, and thus the course of American theater history.Triangulations: Lesbian/Gay/Queer Theater/Drama/Performance SeriesHomosexualitätgndTheatergndTheaterfast(OCoLC)fst01149217Homosexuality and literaturefast(OCoLC)fst00959818Gay people in literaturefast(OCoLC)fst00939308Desire in literaturefast(OCoLC)fst00891364American dramafast(OCoLC)fst00806998Homosexuels dans la litteratureDesir dans la litteratureTheâtreÉtats-UnisHistoireHomosexualite et litteratureÉtats-UnisHistoireTheâtre americainHistoire et critiqueGay people in literatureDesire in literatureTheaterUnited StatesHistoryHomosexuality and literatureUnited StatesHistoryAmerican dramaHistory and criticismUSAgndUnited StatesfastHistory.Criticism, interpretation, etc.Homosexualität.Theater.Theater.Homosexuality and literature.Gay people in literature.Desire in literature.American drama.Homosexuels dans la litterature.Desir dans la litterature.TheâtreHistoire.Homosexualite et litteratureHistoire.Theâtre americainHistoire et critique.Gay people in literature.Desire in literature.TheaterHistory.Homosexuality and literatureHistory.American dramaHistory and criticism.812.009/353PER000000SOC000000SOC032000bisacshMarra Kim1957-1124052Schanke Robert A.1940-882075Marra Kim1957-1124052MdBmJHUPMdBmJHUPBOOK9910735592503321Staging Desire4324022UNINA