{"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":37,"n_cols":5,"rows_kept":37,"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],[9,2,9,3],[11,2,11,3],[14,2,14,3],[15,2,15,3],[18,2,18,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[30,2,30,3],[31,2,31,3],[35,2,35,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910786265203321"]
[null,null,"Autore",null,"Williams Jody <1950->"]
[null,null,"Titolo",null,"My name is Jody Williams [[electronic resource] ] : a Vermont girl's winding path to the Nobel Peace Prize / / Jody Williams ; foreword by Eve Ensler"]
[null,null,"Pubbl/distr/stampa",null,"Berkeley, : University of California Press, 2013"]
[null,null,"ISBN",null,"0-520-95533-1"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (309 p.)"]
[null,null,"Collana",null,"California Series in Public Anthropology ; ; 25"]
[{"$nulls":4},"California series in public anthropology ; ; 25"]
[null,null,"Disciplina",null,"327.1/743"]
[{"$nulls":4},"B"]
[null,null,"Soggetti",null,"Pacifists - United States"]
[{"$nulls":4},"Women Nobel Prize winners - United States"]
[{"$nulls":4},"Nobel Prize winners - United States"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,"Nota di contenuto",null,"Prologue: October 10, 1997 -- If you could be anyone -- What do you mean I can't be the pope? -- A special place in hell -- Claude, Casey, and the Corvair convertible -- V-I-E-T-N-A-M, marriage, and Mexico -- The making of a grassroots activist -- The pamphlet -- Boots on the ground : Sandinista interlude -- Dinner with the death squad -- I thought I wanted a straight job-instead I got landmines -- Landmines and love -- The Ottawa Process and the 1997 landmine ban world tour -- Whirlwind : October 10 to December 10, 1997 -- Epilogue -- Acknowledgments -- Illustrations follow page."]
[null,null,null,"Sommario/riassunto","As Eve Ensler says in her inspired foreword to this book, \"Jody Williams is many things-a simple girl from Vermont, a sister of a disabled brother, a loving wife, an intense character full of fury and mischief, a great strategist, an excellent organizer, a brave and relentless advocate, and a Nobel Peace Prize winner. But to me Jody Williams is, first and foremost, an activist.\"From her modest beginnings to becoming the tenth woman-and third American woman-to receive the Nobel Peace Prize, Jody Williams takes the reader through the ups and downs of her tumultuous and remarkable life. In a voice that is at once candid, straightforward, and intimate, Williams describes her Catholic roots, her first step on a long road to standing up to bullies with the defense of her deaf brother Stephen, her transformation from good girl "]
[{"$nulls":4},"to college hippie at the University of Vermont, and her protest of the war in Vietnam. She relates how, in 1981, she began her lifelong dedication to global activism as she battled to stop the U.S.-backed war in El Salvador.Throughout the memoir, Williams underlines her belief that an \"average woman\"-through perseverance, courage and imagination-can make something extraordinary happen. She tells how, when asked if she'd start a campaign to ban and clear anti-personnel mines, she took up the challenge, and the International Campaign to Ban Landmines (ICBL) was born. Her engrossing account of the genesis and evolution of the campaign, culminating in 1997 with the Nobel Peace Prize, vividly demonstrates how one woman's commitment to freedom, self-determination, and human rights can have a profound impact on people all over the globe."]
[null,"2.","Record Nr.",null,"UNINA9910483750303321"]
[null,null,"Titolo",null,"Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings / / Manfred Morari, Lothar Thiele (eds.)"]
[null,null,"Pubbl/distr/stampa",null,"Berlin ; ; New York, : Springer, 2005"]
[null,null,"Edizione",null,"[1st ed. 2005.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 684 p.)"]
[null,null,"Collana",null,"Lecture notes in computer science, , 0302-9743 ; ; 3414"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Hybrid computers"]
[{"$nulls":4},"Digital control systems"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Time -- Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains -- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli -- Optimal Control of Discrete Hybrid Stochastic Automata -- Hybrid Decentralized Control of Large Scale Systems -- On the Stabilisation of Switching Electrical Power Converters -- Bisimulation for General Stochastic Hybrid Systems -- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction -- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order -- Refining Abstractions of Hybrid Systems Using Counterexample Fragments -- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech -- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility -- Reachability of Uncertain Linear Systems Using Zonotopes -- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates -- Polynomial Stochastic Hybrid Systems -- Non-uniqueness in Reverse Time of Hybrid System Trajectories -- Comparison of Four Procedures for the Identification of Hybrid Systems -- An Ontology-Based Approach to Heterogeneous Verification of "]
[{"$nulls":4},"Embedded Control Systems -- Mode-Automata Based Methodology for Scade -- Taylor Approximation for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems -- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation -- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties -- Learning Multi-modal Control Programs -- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems -- On Transfinite Hybrid Automata -- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration -- Interchange Formats for Hybrid Systems: Review and Proposal -- Primal–Dual Tests for Safety and Reachability -- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems -- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software Verification -- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) -- Sensor/Actuator Abstractions for Symbolic Embedded Control Design -- Modeling and Control of Networked Control Systems with Random Delays -- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems."]