| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910410055403321 |
|
|
Titolo |
Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings / / edited by Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xxxvii, 378 pages) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12098 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Machine theory |
Algorithms |
Computer science - Mathematics |
Computer networks |
Artificial intelligence |
Theory of Computation |
Formal Languages and Automata Theory |
Mathematics of Computing |
Computer Communication Networks |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
A Note on Computable Embeddings for Ordinals and Their Reverses -- Clockability for Ordinal Turing Machines -- Some notes on spaces of ideals and computable topology -- Parallelizations in Weihrauch reducibility and constructive reverse mathematics -- Liouville Numbers and the Computational Complexity of Changing Bases -- On Interpretability between some weak essential undecidable theories -- On the Complexity of Conversion between Classic Real Number Representations -- Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional |
|
|
|
|
|
|
|
|
|
|
|
Power -- Computable analysis and classification problems -- Non-coding enumeration operators -- On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings -- An interactive proof system for Program extraction -- ASNP: a tame fragment of existential second-order logic -- Ackermannian Goodstein sequences of intermediate growth -- On the complexity of validity degrees in Łukasiewicz logic -- Degrees of non-computability of homeomorphism types of Polish spaces -- Time-aware uniformization of winning strategies -- Quantitative Representation Theory of Compact Metric Spaces -- Functions of Baire class one over a Bishop topology -- Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences -- The Computational Significance of Hausdorff's Maximal Chain Principle -- Prefix of trace languages: clique polynomials and dependency graphs -- Repetitions in Toeplitz words and the Thue threshold -- Simulation of automata networks -- Theoretical and Implementation Aspects of the Formal Language Server (LaSer) -- Balancing Straight-Line Programs for Strings and Trees -- Two-dimensional codes -- Formal Languages in Graph Databases and Information Extraction -- On the perceptron's compression -- #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method -- Faster Online Computation of the Succinct Longest Previous Factor Array -- Recent advances in text-to-pattern distance algorithms -- Insertion-Deletion Systems With Substitutions: The Context-free Case. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2020 had as its motto Beyond the Horizon of Computability, reflecting the interest of CiE in research transgressing the traditional boundaries of computability theory. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910557424403321 |
|
|
Autore |
Korfmacher Katrina Smith |
|
|
Titolo |
Bridging silos : collaborating for environmental health and justice in urban communities / / Katrina Smith Korfmacher |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, : The MIT Press, 2019 |
|
Cambridge : , : MIT Press, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9780262354998 |
0262354993 |
9780262354981 |
0262354985 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (377 pages) |
|
|
|
|
|
|
Collana |
|
Urban and industrial environments |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Environmental health - United States |
Public health - United States |
United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Changing local systems to promote environmental health and justice -- Standing silos : a brief history of public health and environmental management -- Building bridges : systems approaches to local environmental health problems -- The coalition to prevent lead poisoning : promoting primary prevention in Rochester, NY -- Healthy Duluth : toward equity in the built environment -- The impact project : trade, health, and environment around southern California's ports -- Local environmental health initiatives : the impacts of collaboration -- The promise of local environmental health initiatives. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
How communities can collaborate across systems and sectors to address environmental health disparities; with case studies from Rochester, New York; Duluth, Minnesota; and Southern California. Low-income and marginalized urban communities often suffer disproportionate exposure to environmental hazards, leaving residents vulnerable to associated health problems. Community groups, academics, environmental justice advocates, government agencies, and others have worked to address these issues, building coalitions at the |
|
|
|
|
|
|
|
|
|
|
local level to change the policies and systems that create environmental health inequities. In Bridging Silos, Katrina Smith Korfmacher examines ways that communities can collaborate across systems and sectors to address environmental health disparities, with in-depth studies of three efforts to address long-standing environmental health issues: childhood lead poisoning in Rochester, New York; unhealthy built environments in Duluth, Minnesota; and pollution related to commercial ports and international trade in Southern California. All three efforts were locally initiated, driven by local stakeholders, and each addressed issues long known to the community by reframing an old problem in a new way. These local efforts leveraged resources to impact community change by focusing on inequities in environmental health, bringing diverse kinds of knowledge to bear, and forging new connections among existing community, academic, and government groups. Korfmacher explains how the once integrated environmental and public health management systems had become separated into self-contained “silos,” and compares current efforts to bridge these separations to the development of ecosystem management in the 1990s. Community groups, government agencies, academic institutions, and private institutions each have a role to play, but collaborating effectively requires stakeholders to appreciate their partners' diverse incentives, capacities, and constraints. |
|
|
|
|
|
| |