• 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  

      Adaptive feedback algorithm for internet video streaming based on fuzzy rate control 

      Antoniou, Pavlos Ch.; Pitsillides, Andreas; Vassiliou, Vasos (2007)
      It is beyond any doubt that the unpredictable nature of the today's Internet has tremendous impact on the transmission of video streams. With respect to the real-time nature of video streaming, unpredictable band-width, ...
    • Article  

      Bagging multiple comparisons from microarray data 

      Politis, Dimitris Nicolas (2008)
      Bagging and subagging procedures are put forth with the purpose of improving the discovery power in the context of large-scale simultaneous hypothesis testing. Bagging and subagging significantly improve discovery power ...
    • Conference Object  

      Control of feedback systems subject to the finite rate constraints via the shannon lower bound 

      Charalambous, Charalambos D.; Farhadi, A. (2007)
      This paper is concerned with control of stochastic systems subject to limited feedback channel capacity. Specifically, the design of an encoder, decoder, and controller subject to the mean square observability and ...
    • Conference Object  

      Designing mechanisms for reliable internet-based computing 

      Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2008)
      In this work, using a game-theoretic approach, cost-sensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based master-worker computations, where a master ...
    • Conference Object  

      Enhanced UMTS cellular planning for multiple traffic classes in offices scenarios 

      Cabral, O.; Velez, F. J.; Hadjipollas, George; Stylianou, Marios; Antoniou, Josephina; Vassiliou, Vasos; Pitsillides, Andreas (2006)
      It is shown that Enhanced UMTS will be an affordable solution for providing the required network quality and to reduce infrastructure investments in offices scenarios. System capacity results are obtained by using a system ...
    • Conference Object  

      Hybrid CAC for MBMS-enabled 3G UMTS networks 

      Neophytou, Marios; Pitsillides, Andreas (2006)
      In this paper, a novel hybrid Connection Admission Control (CAC) scheme combining downlink transmission power and aggregate throughput in the case of dedicated and shared connection setup respectively, is presented ("DPTCAC: ...
    • Conference Object  

      Identifying failures in grids through monitoring and ranking 

      Zeinalipour-Yazdi, Constantinos D.; Neocleous, Kyriacos; Georgiou, Chryssis; Dikaiakos, Marios D. (2008)
      In this paper we present FailRank, a novel framework for integrating and ranking information sources that characterize failures in a grid system. After the failing sites have been ranked, these can be eliminated from the ...
    • Conference Object  

      Model-based fault detection in power systems 

      Rodríguez-Cortés, H.; Stanković, A.; Hadjicostis, Christoforos N. (2006)
      In this paper, we propose an on-line monitoring scheme to detect lost lines and bus load changes on an embeded power system. The proposed monitoring scheme does not rely on classical estimation schemes used in power systems; ...
    • Conference Object  

      Neural networks to estimate the influence of cervix length on the prediction of spontaneous preterm delivery before 37 weeks 

      Neokleous,Kleanthis C.; Schizas, Christos N.; Neokleous,Kleanthis C.; Pattichis, Constantinos S.; Anastasopoulos, Panagiotis; Nikolaides, Kypros H. (2008)
      Neural networks were applied in an effort to predict the risk for early spontaneous preterm delivery using various demographic, clinical, and laboratory inputs. Furthermore, attention has been focused on the influence of ...
    • Conference Object  

      On the application of formal methods for specifying and verifying distributed protocols 

      Gelastou, Marina; Georgiou, Chryssis; Philippou, Anna (2008)
      In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and ...
    • Conference Object  

      On the capacity of a class of MIMO channels subject to normed uncertainty 

      Loyka, S.; Charalambous, Charalambos D. (2008)
      The compound capacity of uncertain MIMO channels is considered, when the channel is modeled by a class described by an induced norm constraint. Within this framework, two types of classes are investigated, namely, additive ...
    • Conference Object  

      Quantitative analysis of brain white matter lesions in multiple sclerosis subjects: Preliminary findings 

      Loizou, Christos P.; Pattichis, Constantinos S.; Seimenis, Ioannis; Eracleous, Eleni A.; Schizas, Christos N.; Pantzaris, Marios C. (2008)
      In this study the value of magnetic resonance image (MRI) shape and texture analysis was assessed in multiple sclerosis (MS) subjects, both in differentiating between normal and abnormal tissue and in assessing disease ...
    • Conference Object  

      Robust estimation with applications to phase and envelope estimation in frequency selective wireless fading channels 

      Socratous, Y.; Charalambous, Charalambos D.; Georghiades, C. N. (2008)
      This paper derives robust niiniinax estimators for a class of uncertain models. The uncertainty is described by a relative entropy constraint between the unknown joint distribution and a fixed nominal joint distribution. ...
    • Conference Object  

      Supervisory and notification aggregator service enabler in a fixed mobile convergent architecture 

      Konstantinides, C.; Charalambous, Charalambos D. (2007)
      This paper investigates and proposes the introduction of a Supervisory and Notification Aggregator (SNA) service enabler in a Fixed Mobile Convergent (FMC) architecture. The SNA service enabler facilitates the deployment ...