Considering ‘non-acoustic factors’ as social and environmental determinants of health equity and environmental justice. Reflections on research and fields of action towards a vision for environmental noise policies

Autor: Natalie Riedel, Irene van Kamp, Stefanie Dreger, Gabriele Bolte, Tjeerd Andringa, Sarah R. Payne, Dirk Schreckenberg, Benjamin Fenech, Lisa Lavia, Hilary Notley, Rainer Guski, Daniel Simon, Heike Köckler, Susanne Bartels, Miriam Weber, Marco Paviotti

Publikováno v: Transportation Research Interdisciplinary Perspectives, Vol 11, Iss , Pp 100445- (2021)

Despite being an overall objective of European policies, health equity and environmental justice have not yet been systematically implemented in environmental policies. Taking control over one’s environment as an element of health equity, we consid

Externí odkaz: https://doaj.org/article/67b5282351c948de9cd0a458797baf28

Formally verifying exceptions for low-level code with separation logic

Autor: Jesper Bengtson, Marco Paviotti

Publikováno v: Journal of Logical and Algebraic Methods in Programming. 94:1-14

Exceptions in low-level architectures are implemented as synchronous interrupts: upon the execution of a faulty instruction the processor jumps to a piece of code that handles the error. Previous work has shown that assembly programs can be written,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50dd10ee11ece226a5934249e9d2207b
https://doi.org/10.1016/j.jlamp.2017.09.004

Denotational semantics of recursive types in synthetic guarded domain theory

Autor: Rasmus Ejlers Møgelberg, Marco Paviotti

Publikováno v: LICS
Møgelberg, R E & Paviotti, M 2016, Denotational semantics of recursive types in synthetic guarded domain theory . in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science . Association for Computing Machinery, pp. 317-326 . https://doi.org/10.1145/2933575.2934516
Møgelberg, R E & Paviotti, M 2018, ' Denotational semantics of recursive types in synthetic guarded domain theory ', Mathematical Structures in Computer Science . https://doi.org/10.1017/S0960129518000087

Just like any other branch of mathematics, denotational semantics of programming languages should be formalised in type theory, but adapting traditional domain theoretic semantics, as originally formulated in classical set theory to type theory has p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e64bc51ef72564f0cf9a8a14cb1eeed
https://doi.org/10.1145/2933575.2934516

Testing the acoustical corrections for reflections on a façade

Autor: Gaetano Licitra, Marco Paviotti, Gianluca Memoli, Stylianos Kephalopoulos

Publikováno v: Applied Acoustics. 69:479-495

The assessment of noise levels, in the proximity of a building or on its facade, is a requirement of the European Environmental Noise Directive 2002/49/EC concerning environmental noise produced by road and railway traffic, airports and industries. T

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::79393d811837be17227fcfbacc0a56be
https://doi.org/10.1016/j.apacoust.2007.05.006

Synthesis of Distributed Mobile Programs Using Monadic Types in Coq

Autor: Marino Miculan, Marco Paviotti

Publikováno v: Interactive Theorem Proving ISBN: 9783642323461
ITP

We present a methodology for the automatic synthesis of certified, distributed, mobile programs with side effects in Erlang, using the Coq proof assistant.\ud First, we define monadic types in the Calculus of Inductive Construc- tions, using a lax mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f3035a651ada729af441c822e5c8d798
https://doi.org/10.1007/978-3-642-32347-8_13