• Conference Object  

      An abstract channel specification and an algorithm implementing it using Java sockets 

      Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)
      Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
    • Conference Object  

      An ActOn-based semantic information service for EGEE 

      Xing, Wei; Corcho, O.; Goble, C.; Dikaiakos, Marios D. (2007)
      We describe an information service that aggregates metadata available in hundreds of information sources of the EGEE Grid infrastructure. It uses an ontology-based information integration architecture (ActOn), which is ...
    • Article  

      ARM A Models, Prewhitening, and Minimum Gross Entropy 

      Politis, Dimitris Nicolas (1993)
      The problem of spectral estimation on the basis of observations from a finite stretch of a stationary time series is considered, in connection with knowledge of a prior estimate of the spectral density. In general, the ...
    • Conference Object  

      Capacity of Binary State Symmetric Channel with and without feedback and transmission cost 

      Kourtellaris, C. K.; Charalambous, Charalambos D. (Institute of Electrical and Electronics Engineers Inc., 2015)
      We consider a unit memory channel, called Binary State Symmetric Channel (BSSC), in which the channel state is the modulo2 addition of the current channel input and the previous channel output. We derive closed form ...
    • Conference Object  

      The capacity of unstable dynamical systems-interaction of control and information transmission 

      Charalambous, Charalambos D.; Kourtellaris, C. K.; Loyka, S.; Tzortzis, I. (Institute of Electrical and Electronics Engineers Inc., 2017)
      Feedback capacity is extended beyond classical communication channels, to stochastic dynamical systems, which may correspond to unstable control systems or unstable communication channels, subject to average cost constraints ...
    • Conference Object  

      Control of jump linear systems over jump communication channels - Source-channel matching approach 

      Donic, S. Z.; Charalambous, Charalambos D. (2007)
      The control of partially observed jump linear systems over jump communication channels is investigated when the Plant State Information (I*SI) and the Channel Slate Information (CSI) are present at the transmitter and the ...
    • Article  

      The d-identifying codes problem for vertex identification in graphs: Probabilistic analysis and an approximation algorithm 

      Xiao, Y.; Hadjicostis, Christoforos N.; Thulasiraman, K. (2006)
      Given a graph G(V, E), the identifying codes problem is to find the smallest set of vertices D ⊆ V such that no two vertices in V are adjacent to the same set of vertices in D. The identifying codes problem has been applied ...
    • Conference Object  

      Directed information on abstract spaces: Properties and extremum problems 

      Charalambous, Charalambos D.; Stavrou, P. A. (2012)
      This paper describes a framework in which directed information is defined on abstract spaces. The framework is employed to derive properties of directed information such as convexity, concavity, lower semicontinuity, by ...
    • Conference Object  

      Evaluating the use of ADLs in component-based development 

      Papadopoulos, George Angelos (2008)
      In this paper we evaluate the use of software architectures in the development of component-based systems. The evaluation is based on the level of support provided by the software architectures formal representatives, ...
    • Doctoral Thesis  Open Access

      Extremum problems of directed information 

      Stavrou, Photios A. (Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή / University of Cyprus, Faculty of Engineering, 2016-05)
      Τα κλασσικά μέτρα θεωρίας της πληροφορίας που χρησιμοποιούνται για τον υπολογισμό της χωρητικότητας του καναλιού και της συμπίεσης της πληροφορίας με απώλειες, ορίζονται μέσω της αμοιβαίας πληροφορίας. Για επικοινωνιακά ...
    • Conference Object  

      Feedback does not increase the capacity of compound channels with additive noise 

      Loyka, S.; Charalambous, Charalambos D. (Institute of Electrical and Electronics Engineers Inc., 2016)
      A discrete compound channel with memory is considered, where no stationarity, ergodicity or information stability is required, and where the uncertainty set can be arbitrary. When the discrete noise is additive but otherwise ...
    • Conference Object  

      Flexible agent dialogue strategies and societal communication protocols 

      Kakas, Antonis C.; Maudet, N.; Moraïtis, Pavlos (2004)
      We propose an argumentation-based framework for representing communication theories of agents that can take into account dialogue strategies and society protocols in a way that facilitates their modular development and ...
    • Conference Object  

      A general formula for compound channel capacity 

      Loyka, S.; Charalambous, Charalambos D. (Institute of Electrical and Electronics Engineers Inc., 2015)
      A general formula for the capacity of arbitrary compound channels, which are not necessarily ergodic, stationary or information-stable, is obtained using the information density approach. A direct (constructive) proof is ...
    • Conference Object  

      Information structures of capacity achieving distribution for channels with memory and feedback 

      Kourtellaris, C. K.; Charalambous, Charalambos D. (Institute of Electrical and Electronics Engineers Inc., 2016)
      The information structures of the optimal channel input distributions P[0,n] t {PAi|Ai-1,Bi-1 : i = 0,1.,n}, which correspond to the extremum problem of feedback capacity equation are identified, for any class of channel ...
    • Article  

      Information theoretic bounds for compound MIMO Gaussian channels 

      Denic, S. Z.; Charalambous, Charalambos D.; Djouadi, S. M. (2009)
      In this paper, achievable rates for compound Gaussian multiple-input-multiple-output (MIMO) channels are derived. Two types of channels, modeled in the frequency domain, are considered when: 1) the channel frequency response ...
    • Article  

      Information theoretic modeling and analysis for global interconnects with process variations 

      Denic, S. Z.; Vasic, B.; Charalambous, Charalambos D.; Chen, J.; Wang, J. M. (2011)
      As the CMOS semiconductor technology enters nanometer regime, interconnect processes must be compatible with device roadmaps and meet manufacturing targets at the specified wafer size. The resulting ubiquitous process ...
    • Article  

      Information Transfer of Control Strategies: Dualities of Stochastic Optimal Control Theory and Feedback Capacity of Information Theory 

      Charalambous, Charalambos D.; Kourtellaris, C. K.; Tzortzis, I. (2017)
      The control-coding capacity of stochastic control systems is introduced, and its operational meaning is established using randomized control strategies, which simultaneously control output processes encode information, and ...
    • Article  

      Initial experiences porting a bioinformatics application to a graphics processor 

      Charalambous, Maria; Trancoso, Pedro; Stamatakis, A. (2005)
      Bioinformatics applications are one of the most relevant and compute-demanding applications today. While normally these applications are executed on clusters or dedicated parallel systems, in this work we explore the use ...
    • Article  

      Intermediaries as quality assessors: Tour operators in the travel industry 

      Clerides, Sofronis; Nearchou, Paris; Pashardes, Panos (2008)
      Intermediaries often arise in order to facilitate trade in markets characterized by asymmetric information. In the travel industry, policymakers have tried to address information asymmetries by providing hotel ratings. We ...
    • Conference Object  

      Is robustness of stochastic uncertain systems related to information theory and statistical mechanics? 

      Charalambous, Charalambos D.; Kyprianou, Andreas (2005)
      Fifty years ago, when Claude Shannon was developing the Mathematical Theory of Communications, for reliable data transmission, which evolved into the subject of information theory, another discipline was developing dealing ...