• Article  

      Altitudinal terrestrial isopod diversity 

      Sfenthourakis, Spyros; Anastasiou, Ioannis P.; Strutenschi, T. (2005)
      We have assessed the diversity of terrestrial isopods across an elevational and habitat gradient on Mt. Panachaiko (NW Peloponnisos, Greece). Previous knowledge on the biodiversity of this mountain was restricted to very ...
    • Article  

      The association of community violence exposure with middle-school achievement: A prospective study 

      Henrich, Christopher C.; Schwab-Stone, M.; Fanti, Kostas A.; Jones, S. M.; Ruchkin, V. (2004)
      This study investigated the long-term effects of exposure to community violence on academic achievement and feelings of safety in school among a large sample of urban middle-school students (N = 759). It also considered ...
    • Article  

      Automated species recognition of antbirds in a Mexican rainforest using hidden Markov models 

      Trifa, V. M.; Kirschel, A. N. G.; Taylor, C. E.; Vallejo, E. E. (2008)
      Behavioral and ecological studies would benefit from the ability to automatically identify species from acoustic recordings. The work presented in this article explores the ability of hidden Markov models to distinguish ...
    • Article  

      Environmental education and the science of ecology: exploration of an uneasy relationship 

      Korfiatis, Konstantinos J. (Routledge, 2005)
      While modern science is receiving harsh criticism within the framework of environmental education, at the same time ecology is presented as an alternative science, characterized as ‘holistic’ and ‘non-exploitative’. However, ...
    • Article  

      The evolutionary consequences of interspecific aggression 

      Grether, G. F.; Anderson, Christopher N.; Drury, J. P.; Kirschel, A. N. G.; Losin, N.; Okamoto, K.; Peiman, K. S. (2013)
      Competition has always been a cornerstone of evolutionary biology, and aggression is the predominant form of direct competition in animals, but the evolutionary effects of aggression between species are curiously understudied. ...
    • Conference Object  

      Mean-field semantics for a process calculus for spatially-explicit ecological models 

      Toro, Mauricio; Philippou, Anna; Arboleda, S.; Puerta, M.; Vélez S, C. M. (Open Publishing Association, 2016)
      We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a ...
    • Article  

      PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling 

      Philippou, Anna; Lee, I.; Sokolsky, O. (2012)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
    • Article  

      A process algebraic framework for modeling resource demand and supply 

      Philippou, Anna; Lee, I.; Sokolsky, O.; Choi, J. -Y (2010)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
    • Article  

      Process ordering in a process calculus for spatially-explicit ecological models 

      Philippou, Anna; Toro, Mauricio (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the ...
    • Conference Object  

      A robotic cloud ecosystem for elderly care and ageing well: The GrowMeUp approach 

      Georgiadis, Dimosthenis; Christophorou, C.; Kleanthous, Styliani; Andreou, Panayiotis G.; Santos, L.; Christodoulou, Eleni; Samaras, George S. (Springer Verlag, 2016)
      Robotic systems in Ageing Well, like GrowMeUp, are among those assistive technologies, providing companionship and offering functionality related to the support of active and independent living, monitoring and maintaining ...
    • Article  

      Simulation and verification in a process calculus for spatially-explicit ecological models 

      Philippou, Anna; Toro, Mauricio; Antonaki, Margarita (2013)
      We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit individual-based ecological models and to reason about their behavior. PALPS has two abstraction ...
    • Article  

      Species richness can decrease with altitude but not with habitat diversity 

      Hortal, J.; Carrascal, L. M.; Triantis, Kostas A.; Theb́ault, E.; Meiri, S.; Sfenthourakis, Spyros (2013)
    • Article  

      Synchronous parallel composition in a process calculus for ecological models 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...
    • Article  

      Synchronous parallel composition in a process calculus for ecological modelsAAA 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...
    • Doctoral Thesis  Open Access

      Ηθολογία και οικοφυσιολογία του είδους Acanthodactylus schreiberi Boulenger, 1878 

      Σαββίδης, Παντελής Μ. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2018-08)
      Η παρούσα διατριβή διερευνά στοιχεία της οικοφυσιολογίας και ηθολογίας της αμμόσαυρας (Acanthodactylus schreiberi) στην Κύπρο. Η αμμόσαυρα εξαπλώνεται στην Κύπρο και σε μια μικρή έκταση στη ΝΑ Τουρκία. Εξετάστηκαν πληθυσμοί ...