Browsing Τμήμα Πληροφορικής / Department of Computer Science by Submit Date
Now showing items 41-60 of 1952
-
Article
Extended conformal symmetries and U(1) currents
(1989)The authors investigate the structure of extended conformal algebras generated by local chiral fields of spin 1,2,. . .,n using the Gelfand-Dickey algebra of formal pseudodifferential operators for the gl(n) algebra. The ...
-
Conference Object
Adaptive optimization for active queue management supporting TCP flows
(Institute of Electrical and Electronics Engineers Inc., 2016)An adaptive decentralized strategy for active queue management of TCP flows over communication networks is presented. The proposed strategy solves locally, at each link, an optimal control problem, minimizing a cost composed ...
-
Article
-
Conference Object
Real-time web crawler detection
(2011)In this paper we present a methodology for detecting web crawlers in real time. We use decision trees to classify requests in real time, as originating from a crawler or human, while their session is ongoing. For this ...
-
Article
IWIM semantics via fibred automata
(2002)Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination ...
-
Conference Object
Implementing interaction nets in MONSTR
(Association for Computing Machinery, 1997)Two superficially similar graph rewriting formalisms, Interaction Nets and MONSTR, are studied. Interaction Nets come from multiplicative Linear Logic and feature undirected graph edges, while MONSTR arose from the desire ...
-
Article
Using argumentation logic for firewall policy specification and analysis
(2006)Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. Given their widespread use, it is crucial that ...
-
Conference Object
Using argumentation logic for firewall configuration management
(2009)Firewalls remain the main perimeter security protection for corporate networks. However, network size and complexity make firewall configuration and maintenance notoriously difficult. Tools are needed to analyse firewall ...
-
Article
The scientific contribution of marek sergot
(2012)Marek Sergot's technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, ...
-
Article
Classification of neuromuscular disorders using features extracted in the wavelet domain of sEMG signals: a case study
(2017)The present study introduces a method for detecting possible neuropathy or myopathy cases of a subject based on surface electromyograms signals
-
Article
Do human cognitive differences in information processing affect preference and performance of CAPTCHA?
(2015)A Completely Automated Public Turing test to tell Computers and Humans Apart (CAPTCHA) is a widely used security defense mechanism that is utilized by service providers to determine whether the entity interacting with their ...
-
Article
The interplay between humans, technology and user authentication: A cognitive processing perspective
(2017)This paper investigates the interplay among human cognitive processing differences (field dependence vs. field independence), alternative interaction device types (desktop vs. touch) and user authentication schemes (textual ...
-
Conference Object
Towards a human-centered E-Commerce personalization framework
(Institute of Electrical and Electronics Engineers Inc., 2016)This paper presents a personalization framework, namely PersonaWeb that adapts the visual and interaction design of E-Commerce Web environments based on human cognitive differences. In particular, it describes a user model ...
-
Article
Security for diversity: Studying the effects of verbal and imagery processes on user authentication mechanisms
(2013)Stimulated by a large number of different theories on human cognition, suggesting that individuals have different habitual approaches in retrieving, recalling, processing and storing verbal and graphical information, this ...
-
Article
-
Article
Folk dance evaluation using laban movement analysis
(2015)Motion capture (mocap) technology is an efficient method for digitizing art performances, and is becoming increasingly popular in the preservation and dissemination of dance performances. Although technically the captured ...
-
Article
mEducator: A best practice network for repurposing and sharing medical educational multi-type content
(2009)Although there is an abundance of medical educational content available in individual EU academic institutions, this is not widely available or easy to discover and retrieve, due to lack of standardized content sharing ...
-
Conference Object
From taxonomies to folksonomies: A roadmap from formal to informal modeling of medical concepts and objects
(2009)The exploitation of nomenclatures, taxonomies, terminologies and classification of medical diseases, procedures, guidelines has been pivotal to advances in the healthcare domain. Parallel to those have been evolutions in ...
-
Article
A Web services-based exergaming platform for senior citizens: the Long Lasting Memories project approach to e-health care.
(2011)This piece of research describes an innovative e-health service that supports the cognitive and physical training of senior citizens and promotes their active ageing. The approach is adopted by the Long Lasting Memories ...
-
Article
A multiply hierarchical automaton semantics for the IWIM coordination model
(2003)The drawbacks of programming coordination activities directly within the applications software that needs them are briefly reviewed. Coordination programming helps to separate concerns, making complex coordination protocols ...