Sciweavers

497 search results - page 72 / 100
» On combinations of local theory extensions
Sort
View
IJON
2007
117views more  IJON 2007»
15 years 1 months ago
Learning sensory representations with intrinsic plasticity
Intrinsic plasticity (IP) refers to a neuron’s ability to regulate its firing activity by adapting its intrinsic excitability. Previously, we showed that model neurons combinin...
Nicholas Butko, Jochen Triesch
IFIPTM
2010
140views Management» more  IFIPTM 2010»
15 years 11 days ago
Shinren: Non-monotonic Trust Management for Distributed Systems
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
Changyu Dong, Naranker Dulay
70
Voted
TASLP
2010
84views more  TASLP 2010»
15 years 7 days ago
Wideband and Isotropic Room Acoustics Simulation Using 2-D Interpolated FDTD Schemes
—In this paper, a complete method for finite-difference time-domain modeling of rooms in 2-D using compact explicit schemes is presented. A family of interpolated schemes using ...
Konrad Kowalczyk, Maarten van Walstijn
136
Voted
JCB
2007
136views more  JCB 2007»
15 years 1 months ago
A Structure-Based Flexible Search Method for Motifs in RNA
The discovery of non-coding RNA (ncRNA) motifs and their role in regulating gene expression has recently attracted considerable attention. The goal is to discover these motifs in ...
Isana Veksler-Lublinsky, Michal Ziv-Ukelson, Danny...
QEST
2007
IEEE
15 years 8 months ago
GRIP: Generic Representatives in PRISM
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
Alastair F. Donaldson, Alice Miller, David Parker