124 citations · 143 across the 13 of their papers we have counts for
13 papers
Interval Certifications for Multilayered Perceptrons via Lattice Traversal
Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1
In this work we present a rigorous theoretical framework to a foundational problem of AI safety, namely adversarial robustness. In particular, we show that the adversarial robustne…
Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications
Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1
A primary challenge in AI safety is the existence of adversarial examples -- slightly distorted inputs that cause a neural network (NN) to misclassify. To mitigate this problem, re…
The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1
Many neural network (NN) verification systems represent the network's input-output relation as a constraint program. Sound and complete, representations involve integer constraints…
Modeling and Managing Temporal Obligations in GUCON Using SPARQL-star and RDF-star
Ines Akaichi, Giorgos Flouris, Irini Fundulaki +1
In the digital age, data frequently crosses organizational and jurisdictional boundaries, making effective governance essential. Usage control policies have emerged as a key paradi…
Adaptation Procedure in Misinformation Games
Konstantinos Varsos, Merkouris Papamichail, Giorgos Flouris +1
We study interactions between agents in multi-agent systems, in which the agents are misinformed with regards to the game that they play, essentially having a subjective and incorr…
Noisy Games: A Study on the Effect of Noise on Game Specifications
Constantinos Varsos, Giorgos Flouris, Marina Bitsaki
We consider misinformation games, i.e., multi-agent interactions where the players are misinformed with regards to the game that they play, essentially having an \emph{incorrect} u…
Linguistic Cues of Deception in a Multilingual April Fools' Day Context
Katerina Papantoniou, Panagiotis Papadakos, Giorgos Flouris +1
In this work we consider the collection of deceptive April Fools' Day(AFD) news articles as a useful addition in existing datasets for deception detection tasks. Such collections h…
Deception detection in text and its relation to the cultural dimension of individualism/collectivism
Katerina Papantoniou, Panagiotis Papadakos, Theodore Patkos +3
Deception detection is a task with many applications both in direct physical and in computer-mediated communication. Our focus is on automatic deception detection in text across cu…
Technologies for the ELGAR large scale atom interferometer array
B. Canuel, S. Abend, P. Amaro-Seoane +56
We proposed the European Laboratory for Gravitation and Atom-interferometric Research (ELGAR), an array of atom gradiometers aimed at studying space-time and gravitation with the p…
ELGAR -- a European Laboratory for Gravitation and Atom-interferometric Research
B. Canuel, S. Abend, P. Amaro-Seoane +55
Gravitational Waves (GWs) were observed for the first time in 2015, one century after Einstein predicted their existence. There is now growing interest to extend the detection band…
On Measuring Bias in Online Information
Evaggelia Pitoura, Panayiotis Tsaparas, Giorgos Flouris +4
Bias in online information has recently become a pressing issue, with search engines, social networks and recommendation services being accused of exhibiting some form of bias. In…
A Flexible Framework for Defining, Representing and Detecting Changes on the Data Web
Yannis Roussakis, Ioannis Chrysakis, Kostas Stefanidis +2
The dynamic nature of Web data gives rise to a multitude of problems related to the identification, computation and management of the evolving versions and the related changes. In…
Diachronic Linked Data: Towards Long-Term Preservation of Structured Interrelated Information
Yannis Stavrakas, George Papastefanatos, Theodore Dalamagas +1
The Linked Data Paradigm is one of the most promising technologies for publishing, sharing, and connecting data on the Web, and offers a new way for data integration and interopera…