Effect of preheating on the film thickness of contemporary composite restorative materials by Dimitrios Dionysopoulos, Kosmas Tolidis, Paris Gerasimou, Eugenia Koliniotou-Koumpia

Get full text

RODES: A robust-design synthesis tool for probabilistic systems by Calinescu, R, Česká, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N

Efficient synthesis of robust models for stochastic systems by Calinescu, R, Ceska, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N

Designing robust software systems through parametric markov chain synthesis by Kwiatkowska, M, Calinescu, R, Ceska, M, Gerasimou, S, Paoletti, N

Bayesian learning for the robust verification of autonomous robots by Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn

Get full text

SORA Methodology for Multi-UAS Airframe Inspections in an Airport by Carol Martinez, Pedro J. Sanchez-Cuevas, Simos Gerasimou, Abhishek Bera, Miguel A. Olivares-Mendez

Get full text

C5aR agonist enhances phagocytosis of fibrillar and non-fibrillar Aβ amyloid and preserves memory in a mouse model of familial Alzheimer's disease. by Elena Panayiotou, Eleni Fella, Savanna Andreou, Revekka Papacharalambous, Petroula Gerasimou, Paul Costeas, Stella Angeli, Ioanna Kousiappa, Savvas Papacostas, Theodoros Kyriakides

Get full text

Synthesis and verification of delf-aware computing systems by Calinescu, R, Autili, M, Camara, J, Di Marco, A, Gerasimou, S, Inverardi, P, Perucci, A, Jansen, N, Katoen, J, Kwiatkowska, M, Mengshoel, O, Spalazzese, R, Tivoli, M

Pharmacological activation of the C5a receptor leads to stimulation of the β-adrenergic receptor and alleviates cognitive impairment in a murine model of familial Alzheimer’s disea... by Eleni Fella, Revekka Papacharalambous, Demos Kynigopoulos, Maria Ioannou, Rita Derua, Christiana Christodoulou, Myrto Stylianou, Christos Karaiskos, Alexia Kagiava, Gerasimou Petroula, Chryso Pierides, Maria Kyriakou, Laura Koumas, Laura Koumas, Paul Costeas, Paul Costeas, Paul Costeas, Elena Panayiotou

Get full text