• Conference Object  

      Abdominal Aortic Aneurysm medical video transmission 

      Panayides, Andreas S.; Antoniou, Zinonas C.; Barberis, Vassilis I. I.; Pattichis, Marios S.; Pattichis, Constantinos S.; Kyriacou, Efthyvoulos C. (2012)
      Abdominal Aortic Aneurysm (AAA) is responsible for approximately 1.3% of all deaths among men over the age of 65. Given the fact that once an aortic rupture occurs mortality rates are estimated between 80%-90%, national ...
    • Conference Object  

      Adaptive real-time HEVC encoding of emergency scenery video 

      Panayides, Andreas S.; Constantinides, Anthony G.; Pattichis, Marios S.; Kyriacou, Efthyvoulos C.; Pattichis, Constantinos S. (Institute of Electrical and Electronics Engineers Inc., 2015)
      This paper proposes the use of an adaptive HEVC encoding framework for the wireless transmission of real-time emergency scenery video. The goal of the proposed approach is to adapt HEVC encoding methods and parameters so ...
    • Article  

      Atherosclerotic plaque ultrasound video encoding, wireless transmission, and quality assessment using H.264 

      Panayides, Andreas S.; Pattichis, Marios S.; Pattichis, Constantinos S.; Loizou, Christos P.; Pantzaris, Marios C.; Pitsillides, Andreas (2011)
      We propose a unifying framework for efficient encoding, transmission, and quality assessment of atherosclerotic plaque ultrasound video. The approach is based on a spatially varying encoding scheme, where video-slice ...
    • Article  

      Coding techniques for fault-tolerant parallel prefix computations in Abelian groups 

      Hadjicostis, Christoforos N. (2004)
      This paper presents coding techniques that can be used to provide fault tolerance to a parallel prefix computation that is performed on a binary tree of processing nodes. More specifically, we discuss how a parallel prefix ...
    • Conference Object  

      Constraint propagation in propositional planning 

      Sideris, A.; Dimopoulos, Yannis (2010)
      Planning as Satisfiability is a most successful approach to optimal propositional planning. It draws its strength from the efficiency of state-of-the-art propositional satisfiability solvers, combined with the utilization ...
    • Article  

      Digital magnetic tagging for multiplexed suspension-based biochemical assays 

      Mitrelias, Thanos; Trypiniotis, Theodossis; Palfreyman, J. J.; Hong, B.; Vyas, K.; Hayward, T. J.; Llandro, J.; Kopper, K. P.; Bland, J. A. C.; Robertson, P. A.; Barnes, C. H. W. (2009)
      Microarrays and suspension (or bead)-based technologies have attracted significant interest for their broad applications in high throughput molecular biology. However, the throughput of microarrays will always be limited ...
    • Conference Object  

      Dynamic network adaptation for real-time medical video communication 

      Antoniou, Zinonas C.; Panayides, Andreas S.; Pantzaris, Marios C.; Constantinides, Anthony G.; Pattichis, Constantinos S.; Pattichis, Marios S. (Springer Verlag, 2016)
      The wider adoption of mHealth video communication systems in standard clinical practice requires adequate levels of clinical video quality to support reliable diagnosis. The latter dictates that real-time adaptation to ...
    • Article  

      An effective ultrasound video communication system using despeckle filtering and HEVC 

      Panayides, Andreas S.; Pattichis, Marios S.; Loizou, Christos P.; Pantzaris, Marios C.; Constantinides, Anthony G.; Pattichis, Constantinos S. (2015)
      The recent emergence of the high-efficiency video coding (HEVC) standard promises to deliver significant bitrate savings over current and prior video compression standards, while also supporting higher resolutions that can ...
    • Article  

      Encoded dynamics for fault tolerance linear finite-state machines 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2002)
      This note discusses fault tolerance in linear finite-state machines (LFSMs). By replacing a given LFSM with a larger, redundant LFSM that preserves the state of the original one in some linearly encoded form, various ...
    • Conference Object  

      Encoded finite-state machines for non-concurrent error detection and identification 

      Hadjicostis, Christoforos N. (2003)
      In this paper we develop a methodology for systematically constructing redundant finite-state machines in a way that enables an external mechanism to detect and identify transient state-transition faults by performing ...
    • Article  

      Encoding planning problems in nonmonotonic logic programs 

      Dimopoulos, Yannis; Nebel, B.; Koehler, J. (1997)
      We present a framework for encoding planning problems in logic programs with negation as failure, having computational efficiency as our major consideration. In order to accomplish our goal, we bring together ideas from ...
    • Article  

      Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2002)
      The traditional approach to fault-tolerant computation has been via modular hardware redundancy. Although universal and simple, modular redundancy is inherently expensive and inefficient. By exploiting particular structural ...
    • Conference Object  

      Fault-tolerant discrete-time linear time-invariant filters 

      Hadjicostis, Christoforos N. (Institute of Electrical and Electronics Engineers Inc., 2000)
      Modular redundancy, the traditional approach to fault tolerance, is prohibitively expensive because of the overhead in replicating the hardware. In this paper we discuss alternative methods for obtaining fault-tolerant ...
    • Article  

      Fault-tolerant dynamic systems 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2000)
      We use unreliable system replicas and unreliable voters to construct redundant dynamic systems that tolerate transient failures in their state transition and error correcting mechanisms. Using low density parity check ...
    • Article  

      High-resolution, low-delay, and error-resilient medical ultrasound video communication using H.264/AVC over mobile WiMAX networks 

      Panayides, Andreas S.; Antoniou, Zinonas C.; Mylonas, Yiannos; Pattichis, Marios S.; Pitsillides, Andreas; Pattichis, Constantinos S. (2013)
      In this study, we describe an effective video communication framework for the wireless transmission of H.264/AVC medical ultrasound video over mobile WiMAX networks. Medical ultrasound video is encoded using diagnostically ...
    • Conference Object  

      Implicit-storing and redundant-encoding-of-attribute information in error-correction-codes 

      Sazeides, Yiannakis; Özer, E.; Kershaw, D.; Nikolaou, Panagiota; Kleanthous, Marios M.; Abella, J. (2013)
      This paper proposes implicit-storing to extend the logical capacity of a memory array without increasing its physical capacity by leveraging the array's error-correction-codes to infer the implicitly stored bits. ...
    • Article  

      Information Structures for Feedback Capacity of Channels with Memory and Transmission Cost: Stochastic Optimal Control & Variational Equalities 

      Kourtellaris, C. K.; Charalambous, Charalambos D. (2017)
      The Finite Transmission Feedback Information (FTFI) capacity is characterized for any class of channel conditional distributions PBi|Bi-1, Ai and P Bi|Bi-1 i-M, Ai, where M is the memory of the channel, Bi ? {B-1, B0,..., ...
    • 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  

      Nonconcurrent error detection and correction in fault-tolerant discrete-time LTI dynamic systems 

      Hadjicostis, Christoforos N. (2003)
      This paper develops resource-efficient alternatives to modular redundancy for fault-tolerant discrete-time (DT) linear time-invariant (LTI) dynamic systems. The proposed method extends previous approaches that are based ...
    • Conference Object  

      Robust and efficient ultrasound video coding in noisy channels using H.264 

      Panayides, Andreas S.; Pattichis, Marios S.; Pattichis, Constantinos S.; Loizou, Christos P.; Pantzaris, Marios C.; Pitsillides, Andreas (2009)
      In this paper we define diagnostic Regions of Interest (ROIs) for carotid ultrasound medical video, which we then use as input for Flexible Macroblock Ordering (FMO) slice encoding. We extend the FMO concept by enabling ...