• Doctoral Thesis  Open Access

      Advances in SAT-Based planning 

      Sideris, Andreas G. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2015-05)
      Ο σχεδιασμός δράσης είναι ένα δύσκολο πρόβλημα. Ακόμα και οι πιο απλές του μορφές είναι υπολογιστικά δυσεπίλυτες ('intractable'). Παρόλο που είναι απίθανος ο αποτελεσματικός (ως προς χρόνο) σχεδιασμός δράσης στη γενική ...
    • Conference Object  

      Deriving quantitative structure-activity relationship models using genetic programming for drug discovery 

      Neophytou, K.; Nicolaou, Christos A.; Pattichis, Constantinos S.; Schizas, Christos N. (2008)
      Genetic Programming is a heuristic search algorithm inspired by evolutionary techniques that has been shown to produce satisfactory solutions to problems related to several scientific domains [1]. Presented here is a ...
    • Doctoral Thesis  Open Access

      Heuristic multicast routing and protection algorithms for optical WDM networks with arbitrary mesh topologies 

      Constantinou, Costas K. (Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή / University of Cyprus, Faculty of Engineering, 2013-04)
      Κατά τα τελευταία χρόνια, το μέγεθος και η πολυπλοκότητα των τηλεπικοινωνιακών δικτύων αυξάνονται σταθερά και η τάση αυτή αναμένεται να συνεχιστεί και στα επόμενα χρόνια. Τα τηλεπικοινωνιακά συστήματα οπτικών ινών τα οποία ...
    • Conference Object  

      A heuristic search algorithm for maneuvering of UAVs across dense thermal areas 

      Kahveci, N. E.; Ioannou, Petros A.; Mirmirani, M. D. (2007)
      In order to ensure that an aircraft has the potential to meet the assigned performance requirements which are often mission specific, the particular aerodynamic demands involved must be taken into account during the aircraft ...
    • Conference Object  

      Infinite horizon average cost dynamic programming subject to ambiguity on conditional distribution 

      Tzortzis, I.; Charalambous, Charalambos D.; Charalambous, T. (Institute of Electrical and Electronics Engineers Inc., 2015)
      This paper addresses the optimality of stochastic control strategies based on the infinite horizon average cost criterion, subject to total variation distance ambiguity on the conditional distribution of the controlled ...
    • Conference Object  

      Integer programs and valid inequalities for planning problems 

      Bockmayr, A.; Dimopoulos, Yannis (Springer Verlag, 2000)
      Part of the recent work in AI planning is concerned with the development of algorithms that regard planning as a combinato-rial search problem. The underlying representation language is basically propositional logic. While ...
    • Conference Object  

      Optimal graph design using a knowledge-driven multi-objective evolutionary graph algorithm 

      Nicolaou, Christos A.; Kannas, Christos C.; Pattichis, Constantinos S. (2009)
      Designing appropriate graphs is a problem frequently occurring in several common applications ranging from designing communication and transportation networks to discovering new drugs. More often than not the graphs to be ...
    • Conference Object  

      Performance analysis of sum-product algorithms for multiple fault diagnosis applications 

      Le, T.; Tatikonda, S.; Hadjicostis, Christoforos N. (2010)
      In this paper, we study the application of sum-product algorithms (SPAs) to multiple fault diagnosis (MFD) problems in order to diagnose the most likely state of each component given the status of alarms. SPAs are heuristic ...
    • Article  

      Sensor selection for structural observability in discrete event systems modeled by petri nets 

      Ru, Y.; Hadjicostis, Christoforos N. (2010)
      This paper studies optimal sensor selection in discrete event systems modeled by partially observed Petri nets. The goal is to place a minimum number of sensors while maintaining structural observability, i.e., the ability ...