Browsing Τμήμα Πληροφορικής / Department of Computer Science by Title
Now showing items 1937-1952 of 1952
-
Conference Object
XIV mediterranean conference on medical and biological engineering and computing 2016: MEDICON 2016, March 31st–April 2nd 2016, Paphos, Cyprus
(Springer Verlag, 2016)
-
Conference Object
Øpass: Zero-storage Password Management Based on Password Reminders
(Association for Computing Machinery, 2018)A plethora of Internet services and applications require user authentication. Although many alternatives have been proposed, and despite the significant advancement in attackers' capabilities to perform password cracking, ...
-
Doctoral Thesis
Αξιολόγηση αυτοκινητόδρομου Λεμεσός - Πάφος Α6 και δυνατότητες αναβάθμισης με τη μέθοδο αυτοχρηματοδότησης Χρυσοστόμου Χρυσόστομος
(Εθνικό Μετσόβιο Πολυτεχνείο, 2004)
-
Book
Β' Πανελλήνιο συνέδριο: διδακτική των Μαθηματικών και Πληροφορική στην εκπαίδευση
(Σύγχρονη Εποχή Κύπρου, 1995)
-
Book
Διακριτά μαθηματικά και μαθηματική λογική
(Ελληνικό Ανοικτό Πανεπιστήμιο, 2002)
-
Book
Διδακτική των μαθηματικών και πληροφορική στην εκπαίδευση, Κύπρος, Απρίλης 1995 B' Πανελλήνιο Συνέδριο
(Σύγχρονη Εποχή Κύπρου, 1995)
-
Article
ε-RES: Reasoning about actions, events and observations
(2001)The language ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from abduction, ...
-
Article
μ-SATPLAN: Multi-agent planning as satisfiability
(2012)Planning is a fundamental issue in multi-agent systems. In this work we focus on the coordination of multiple agents in two different settings. In the first, agents are able to attain individual goals that are necessary ...
-
Book
Μαθήματα HTML από το απλό στο σύνθετο μάθετε με απλό τρόπο να κατασκευάζετε σελίδες για τον Παγκόσμιο Ιστό
(Εκδόσεις Καστανιώτη, 2003)
-
Doctoral Thesis
Μελέτη - ανάπτυξη και αξιολόγηση ολοκληρωμένου συστήματος ψηφιακής ανάλυσης ενδοσκοπικής εικόνας μακροβιοψίας για την υποστήριξη διάγνωσης γυναικολογικού καρκίνου
(Εθνικό Μετσόβιο Πολυτεχνείο, 2007)
-
Doctoral Thesis
Μοντελοκεντρική ανάπτυξη και αρχιτεκτονικη διαχειρισης υπηρεσιων διαδικτύου με επίγνωση του πλαισίο χρήσης
([χ. ό.], 2009)
-
Book
Οι προηγούμενες τεχνολογίες διαδικτίου στην υπηρεσία της μάθησης
(Καστανιώτη, 2005)
-
Book
Πρακτικά Α' Πανελλήνιο Συμπόσιο Λογικής
(Πανεπιστήμιο Κύπρου, 1997)
-
Book
Τεχνητή νοημοσύνη - εφαρμογές
(Ελληνικό Ανοικτό Πανεπιστήμιο, 2000)
-
Book
Το εκπαιδευτικό σύστημα του Πανεπιστημίου Κύπρου ο βαθμός συμμόρφωσης του με τη διακήρυξη της Bologna και μελλοντικές διεργασίες
(Πανεπιστήμιο Κύπρου, 2003)
-
Conference Object
∃ℝ-complete decision problems about symmetric nash equilibria in symmetric multi-player games
(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017)We study the complexity of decision problems about symmetric Nash equilibria for symmetric multi-player games. These decision problems concern the existence of a symmetric Nash equilibrium with certain natural properties. ...