Sciweavers

4485 search results - page 259 / 897
» Equivalences on Observable Processes
Sort
View
BC
2002
90views more  BC 2002»
15 years 4 months ago
Converging evidence for a simplified biophysical model of synaptic plasticity
Different mechanisms that could form the molecular basis for bi-directional synaptic plasticity have been identified experimentally and corresponding biophysical models can be cons...
Harel Z. Shouval, Gastone C. Castellani, Brian S. ...
NAR
2000
109views more  NAR 2000»
15 years 4 months ago
The ASTRAL compendium for protein structure and sequence analysis
The ASTRAL compendium provides several databases and tools to aid in the analysis of protein structures, particularly through the use of their sequences. The SPACI scores included...
Steven E. Brenner, Patrice Koehl, Michael Levitt
TSC
2008
140views more  TSC 2008»
15 years 3 months ago
Dynamic Web Service Selection for Reliable Web Service Composition
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
San-Yih Hwang, Ee-Peng Lim, Chien-Hsiang Lee, Chen...
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 3 months ago
Centrality Metric for Dynamic Networks
Centrality is an important notion in network analysis and is used to measure the degree to which network structure contributes to the importance of a node in a network. While many...
Kristina Lerman, Rumi Ghosh, Jeon Hyung Kang
SCP
2010
172views more  SCP 2010»
15 years 2 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier