Τμήμα Πληροφορικής / Department of Computer Science: Recent submissions
Now showing items 1121-1140 of 1952
-
Article
-
Article
-
Article
Preface
(2009)
-
Article
-
Article
Type checking privacy policies in the π-calculus
(2015)In this paper we propose a formal framework for studying privacy. Our framework is based on the π -calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, ...
-
Article
Neural networks: The panacea in fraud detection?
(2010)Purpose: The purpose of the paper is to test the use of artificial neural networks (ANNs) as a tool in fraud detection. Design/methodology/approach: Following a review of the relevant literature on fraud detection by ...
-
Book
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
(Springer, 2002)
-
Article
A process calculus for dynamic networks
(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 ...
-
Article
A typing system for privacy
(2014)In this paper we report on work-in-progress towards defining a formal framework for studying privacy. Our framework is based on the π-calculus with groups [1] accompanied by a type system for capturing privacy-related ...
-
Conference Object
Performance and stability bounds for dynamic networks
(2004)In this work, we study the impact of dynamically changing link capacities on the delay bounds of LIS (Longest-In-System) and SIS (Shortest-In-System) protocols on specific networks (that can be modelled as Directed Acyclic ...
-
Article
On learning time delays between the spikes from different input neurons in a biophysical model of a pyramidal neuron
(2015)Biological systems are able to recognise temporal sequences of stimuli or compute in the temporal domain. In this paper we are exploring whether a biophysical model of a pyramidal neuron can detect and learn systematic ...
-
Article
A comparative study on filtering protein secondary structure prediction
(2012)Filtering of Protein Secondary Structure Prediction (PSSP) aims to provide physicochemically realistic results, while it usually improves the predictive performance. We performed a comparative study on this challenging ...
-
Article
Measuring input synchrony in the Ornstein-Uhlenbeck neuronal model through input parameter estimation
(2013)We present a method of estimating the input parameters and through them, the input synchrony, of a stochastic leaky integrate-and-fire neuronal model based on the Ornstein-Uhlenbeck process when it is driven by time-dependent ...
-
Article
Distinguishing the causes of firing with themembrane potential slope
(2012)In this letter, we aim to measure the relative contribution of coincidence detection and temporal integration to the firing of spikes of a simple neuron model. To this end, we develop a method to infer the degree of synchrony ...
-
Article
Performance and stability bounds for dynamic networks
(2007)In this work, we study the impact of dynamically changing link capacities on the delay bounds of LIS (Longest-In-System) and SIS (Shortest-In-System) protocols on specific networks (that can be modelled as Directed Acyclic ...
-
Article
Integrator or coincidence detector | what shapes the relation of stimulus synchrony and the operational mode of a neuron?
(2016)The operational mode of a neuron (i.e., whether a neuron is an integrator or a coincidence detector) is in part determined by the degree of synchrony in the firing of its pre-synaptic neural population. More specifically, ...
-
Article
Approximate Equilibria and Ball Fusion
(2003)We consider selfish routing over a network consisting of m parallel links through which n selfish users route their traffic trying to minimize their own expected latency. We study the class of mixed strategies in which the ...
-
Article
The increase of the instability of networks due to Quasi-Static link capacities
(2007)In this work, we study the impact of the dynamic changing of the network link capacities on the stability properties of packet-switched networks. Especially, we consider the Adversarial, Quasi-Static Queuing Theory model, ...
-
Article
The impact of network structure on the stability of greedy protocols
(2003)A packet-switching network is stable if the number of packets in the network remains bounded at all times. A very natural question that arises in the context of stability and instability properties of such networks is how ...
-
Article
The impact of network structure on the stability of greedy protocols
(2005)Some examples of the impact network structure has on stability behavior of greedy protocols and networks were presented. An important problem was to study the impact of network structure parameters on other greedy protocols. ...