Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Anna Philippou"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 204, Iss Proc. DCM 2015, Pp 79-94 (2016)
We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence
Externí odkaz:
https://doaj.org/article/d58ee67bbff84a2ea15a4f56993237fe
Autor:
Dimitrios Kouzapas, Anna Philippou
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
In this paper we propose a formal framework for studying privacy in information systems. The proposal follows a two-axes schema where the first axis considers privacy as a taxonomy of rights and the second axis involves the ways an information system
Externí odkaz:
https://doaj.org/article/660ae73cf0ed4f1f863b5bb8a791b873
Autor:
Margarita Antonaki, Anna Philippou
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 100, Iss Proc. MeCBIC 2012, Pp 14-28 (2012)
We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit, individual-based models and to reason about their behavior. Our calculus has two levels: at the first level we may define the be
Externí odkaz:
https://doaj.org/article/d04733e933c64a748771f6a0b7995a3d
Autor:
Anna Philippou, Kyriaki Psara
Publikováno v:
Theoretical Computer Science. 924:148-170
Autor:
Kamila Barylska, Anna Gogolińska, Łukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Publikováno v:
Reversible Computation ISBN: 9783031090042
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f13d5ee43bc918d4a87475297389e5f
https://doi.org/10.1007/978-3-031-09005-9_12
https://doi.org/10.1007/978-3-031-09005-9_12
Autor:
Marios Mavronicolas, Anna Philippou, Vicky Papadopoulou Lesta, Loizos Michael, Paul G. Spirakis, Giuseppe Persiano
Publikováno v:
Algorithmica
We consider a strategic game on a graph G(V,E) with two confronting classes of randomized players: ν attackers who choose vertices and wish to minimize the probability of being caught by the defender, who chooses edges and gains the expected number
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b485ce430ab493fe2f829d8981b400a7
https://zenodo.org/record/5620037
https://zenodo.org/record/5620037
Publikováno v:
Internet of Things ISBN: 9783030764920
This chapter presents the procedure and results of piloting vINCI, a new ambient assisted technology. vINCI aims to enhance older adults’ active life and quality of living by measuring end-users’ physical, psychological and social state and provi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4313af81e3e343e58967e216bbcd25d
https://doi.org/10.1007/978-3-030-76493-7_17
https://doi.org/10.1007/978-3-030-76493-7_17
Autor:
Anna Philippou, Taqua Khairy, Nouman Ashraf, Anastasis Kounoudes, Ileana Papailiou, Dimitrios Kouzapas, Andreas Pitsillides, Konstantinos Michail
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17d72050d707ddcb1322458b07f47a98
https://doi.org/10.1201/9781003043805-5
https://doi.org/10.1201/9781003043805-5
Autor:
Anna Philippou, Kyriaki Psara
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 124:100718
Reversible computation is a form of computing that allows operations to be executed in both the forward as well as the backward direction. In this paper we propose an approach inspired by Petri nets for the modelling of reversible behaviour. Specific
Publikováno v:
Reversible Computation: Extending Horizons of Computing ISBN: 9783030473600
Selected Results of the COST Action IC1405
Selected Results of the COST Action IC1405
open access book In this chapter we give an overview of techniques for the modelling and reasoning about reversibility of systems, including outof- causal-order reversibility, as it appears in chemical reactions. We consider the autoprotolysis of wat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb94214706e2ed876145e2df77592ce0
https://dora.dmu.ac.uk/handle/2086/19688
https://dora.dmu.ac.uk/handle/2086/19688