Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Riccardo Bresciani"'
Publikováno v:
Applied Sciences, Vol 10, Iss 2, p 555 (2020)
Nature-based solutions, such as Constructed Wetlands (CWs), for the treatment of industrial wastewater can be more efficiently operated making use of online monitored parameters as inlet/outlet flows and concentrations for specific substances. The pr
Externí odkaz:
https://doaj.org/article/46bab37245b148878c2eadeac439a18c
Publikováno v:
Water, Vol 10, Iss 2, p 156 (2018)
French Reed Bed (FRB) is a particular constructed wetland (CW) solution which receives raw wastewater. Data from the full-scale FRB wastewater treatment plant of Castelluccio di Norcia (center of Italy) were collected to show the FRB capability to mi
Externí odkaz:
https://doaj.org/article/586535ca3a3647aea66457d7eac56dfb
Autor:
Simos Malamis, Evangelos Statiris, Taxiarchis Seintos, Asimina Koukoura, Daniel Mamais, Constantinos Noutsopoulos, Fabio Masi, Anacleto Rizzo, Riccardo Bresciani
Publikováno v:
Global NEST International Conference on Environmental Science & Technology.
This work examined the start-up of a full-scale upflow anaerobic sludge blanket (UASB) - vertical flow constructed wetland (CW) for domestic wastewater treatment. The UASB reactors were inoculated with sludge originating from an industrial anaerobic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c782cbfed85de53658213c647fabd17
https://doi.org/10.30955/gnc2021.00829
https://doi.org/10.30955/gnc2021.00829
Autor:
Riccardo Bresciani
Publikováno v:
Vestnik MGSU, Vol 14, Iss 7, Pp 885-900 (2019)
Introduction: the innovative technology of constructed wetlands (CW) allows removing a wide range of pollutants from the waste water, while minimizing the use of mechanical equipment and chemical reagents as well as systems of process monitoring. As
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3e1ba44c046069a104e407b244b88b4
http://vestnikmgsu.ru/ru/component/sjarchive/issue/article.download/2019/7/885-900
http://vestnikmgsu.ru/ru/component/sjarchive/issue/article.download/2019/7/885-900
Autor:
Andrew Butterfield, Riccardo Bresciani
Publikováno v:
Security and Communication Networks. 7:99-107
This paper describes an approach towards protocol verification, which is based on the Unifying Theories of Programming framework and the associated refinement calculus: we encode protocol runs as predicates, in the form of homogeneous relations betwe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6d808260c987d69668d98969f422940
https://doi.org/10.1002/sec.546
https://doi.org/10.1002/sec.546
Autor:
Andrew Butterfield, Riccardo Bresciani
Publikováno v:
International Journal for Infonomics. 3:306-313
When some agents want to communicate through a media stream (for example voice or video), the Real Time Protocol (RTP) is used. This protocol does not provide encryption, so it is necessary to use Secure RTP (SRTP) to secure the communication. In ord
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15c5d60377e0dc1c0b6da888457cf7ea
https://doi.org/10.20533/iji.1742.4712.2010.0033
https://doi.org/10.20533/iji.1742.4712.2010.0033
Autor:
Andrew Butterfield, Riccardo Bresciani
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2013 ISBN: 9783642397172
ICTAC
ICTAC
peer-reviewed We have introduced probability in the UTP framework by using functions from the state space to real numbers, which we term distributions, that are embedded in the predicates describing the di er- ent program constructs. This has allowed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc0d1a89a6a8646becab7ff6452105aa
Autor:
Riccardo Bresciani, Andrew Butterfield
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642307287
IFM
IFM
peer-reviewed We present an encoding of the semantics of the probabilis- tic guarded command language (pGCL) in the Unifying Theories of Programming (UTP) framework. Our contribution is a UTP encoding that captures pGCL programs as predicate-transfor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2fe9ef5d15797d91d398b4fa6661e05d
https://doi.org/10.1007/978-3-642-30729-4_14
https://doi.org/10.1007/978-3-642-30729-4_14
Autor:
Riccardo Bresciani, Andrew Butterfield
Publikováno v:
SIN
peer-reviewed The Dolev-Yao model has been widely used in protocol verificaion and has been implemented in many protocol verifiers. There are strong assumptions underlying this model, such as perfect cryptography: the aim of the present work is to pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e2450d224a06da21ccd26f508743456c
https://doi.org/10.1145/1626195.1626265
https://doi.org/10.1145/1626195.1626265
Autor:
Riccardo Bresciani, Andrew Butterfield
Publikováno v:
Scopus-Elsevier
ICITST
ICITST
peer-reviewed When some agents want to communicate through a media stream (for example voice or video), the Real Time Protocol (RTP) is used. This protocol does not provide encryption, so it is necessary to use Secure RTP (SRTP) to secure the communi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b9cb8aff7ecfb596d29df9f932a3a82
http://www.scopus.com/inward/record.url?eid=2-s2.0-77950314488&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-77950314488&partnerID=MN8TOARS