Tabla de Contenidos: “…Maspons i Anglasell -- Els factors comarcals en l'economia catalana / per Carles Pi i Sunye -- Per una solució del problema comarcal de Catalunya / Pau Vila -- Una divisió de Catalunya en comarques / per Pau Vila…”

Tabla de Contenidos: “…Front Matter -- Acknowledgments -- Contents -- Summary -- 1 Introduction -- 2 Existing Frameworks and Approaches -- 3 The Committee's Framework -- 4 Scoping, Problem Formulation, and Identifying Alternatives -- 5 Physicochemical Properties and Environmental Fate -- 6 Comparative Exposure Assessment -- 7 Assessment of Ecotoxicity -- 8 Human Health -- 9 Integration of Information to Identify Safer Alternatives -- 10 Life Cycle, Performance, and Economic -- Considerations -- 11 Identifying, Comparing, and Implementing Alternatives -- 12 Case Studies -- 13 Chemical Design: An Opportunity for Innovation -- References -- Appendix A Biographic Information of Committee Members -- Appendix B Ecotoxicity in Frameworks -- Appendix C Toxicological Priority Index (ToxPi) -- Appendix D Overview of the GHS Classification Scheme in Hazard Classification…”

Tabla de Contenidos: “…Types and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation Method -- Logic and Proofs -- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems -- A Resolution-Based Interactive Proof System for UNSAT -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory logic -- Infinite-State Systems -- Reachability in Fixed VASS: Expressiveness and Lower Bounds -- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting -- Dimension-Minimality and Primality of Counter Nets -- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability…”

Accés lliure

Accés lliure