• English
    • Ελληνικά
  • English 
    • English
    • Ελληνικά
  • Login
Browsing by Subject 
  •   Home
  • Browsing by Subject
  •   Home
  • Browsing by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browsing by Subject "Abstracting"

  • 0-9
  • Α
  • Β
  • Γ
  • Δ
  • Ε
  • Ζ
  • Η
  • Θ
  • Ι
  • Κ
  • Λ
  • Μ
  • Ν
  • Ξ
  • Ο
  • Π
  • Ρ
  • Σ
  • Τ
  • Υ
  • Φ
  • Χ
  • Ψ
  • Ω
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

Sort by:

Order:

Results:

Now showing items 1-10 of 10

  • title
  • submit date
  • accessioned date
  • ascending
  • descending
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • 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  

      Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP 

      Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A.; Sonderegger, E. L. (2007)
      Abstract 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 offset by the challenging process ...

    • Conference Object  

      Characterization of the Optimal Disturbance Attenuation for Nonlinear Stochastic Uncertain Systems 

      Charalambous, Charalambos D.; Rezaei, F.; Djouadi, S. M. (2003)
      This paper is concerned with an abstract formulation of stochastic optimal control systems, in which uncertainty is described by a relative entropy constraint between the nominal measure and the uncertain measure, while ...

    • Article  

      Directed Information on Abstract Spaces: Properties and Variational Equalities 

      Charalambous, Charalambos D.; Stavrou, P. (2016)
      Directed information or its variants are utilized extensively in the characterization of the capacity of channels with memory and feedback, nonanticipative lossy data compression, and their generalizations to networks. In ...

    • Conference Object  

      g-Eclipse - An integrated framework to access and maintain grid resources 

      Gjermundoør, H.; Dikaiakos, Marios D.; Stümpert, M.; Wolniewicz, P.; Kornmayer, H. (2008)
      The g-Eclipse framework provides a general, integrated workbench toolset for Grid users, operators and developers. Based on the Open Source Eclipse ecosystem, g-Eclipse supports scientists to interact with Grid resources ...

    • Conference Object  

      g-Social: Enhancing integrated e-Science tools with social networking functionality 

      Stylianou, A.; Loulloudes, Nicholas; Dikaiakos, Marios D. (2012)
      During the last decade, the scientific community has witnessed an unprecedented deployment of large-scale, federated e-Infrastructures such as Grid Computing, primarily for supporting data-intensive scientific exploration ...

    • Article  

      On the semantics of abstract argumentation 

      Kakas, Antonis C.; Mancarella, P. (2013)
      Arguments need to be judged against other arguments. The decision to accept or reject an argument is generally a global decision that involves examining the same question for other arguments that oppose or can defend the ...

    • Article  

      A process calculus for dynamic networks 

      Kouzapas, D.; Philippou, Anna (2011)
      In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery ...

    • Conference Object  

      Programming abstractions and toolchain for dataflow multithreading architectures 

      Stavrou, Kyriakos; Pavlou, Demos; Nikolaides, Marios; Petrides, P.; Evripidou, Paraskevas; Trancoso, Pedro; Popovic, Z.; Giorgi, Roberto (2009)
      The need to exploit multi-core systems for parallel processing has revived the concept of dataflow. In particular, the Dataflow Multithreading architectures have proven to be good candidates for these systems. In this work ...

    • Conference Object  

      Stochastic optimal control subject to variational norm uncertainty: Viscosity subsolution for generalized HJB inequality 

      Rezaei, F.; Charalambous, Charalambos D.; Ahmed, N. U. (2009)
      This paper is concerned with optimization of stochastic uncertain systems, when systems are described by measures and the pay-off by a linear functional on the space of measure, on general abstract spaces. Robustness is ...

      Browse

      EverywhereCommunities & CollectionsBy Submission DateAuthorsTitlesSubjectsBy TypeBy DepartmentBy Faculty

      My Account

      Login
      Πνευματικά δικαιώματα ©  Βιβλιοθήκη Πανεπιστημίου Κύπρου
      Contact Us | Send Feedback
      Οδηγίες κατάθεσης διδακτορικής διατριβής
      Open Access
      ORCiD