Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

COSBI

The Microsoft Research - University of Trento Centre for Computational and Systems Biology (COSBI) is a non profit research center located in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
The paper presents a new approach based on process calculi to systems modeling suitable for biological systems. The main… Expand
Is this relevant?
2009
2009
In this work we extend the π-calculus with a simple class of transactions, suitable to model multi-reactant, multi-product… Expand
  • table 1
Is this relevant?
2008
2008
An along-track interferometric synthetic aperture radar (SAR) can be used for ground moving target indication (GMTI) by comparing… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 3
  • figure 4
Is this relevant?
2008
2008
This short note intends to clarify about the applicability of the Stochastic Simulation Algorithm proposed by Gillespie for the… Expand
Is this relevant?
Review
2008
Review
2008
In this report we review the Riedel-Bruck stochastic simulation algorithm, which makes use of a cycle-leaping strategy to improve… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2008
2008
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Motivated by several techniques for observing molecular processes in real-time we introduce a computing device that stresses the… Expand
  • figure 1
Is this relevant?
2007
2007
This paper proposes the Effective Index, a formal tool to support decision processes in drug discovery. The Effective Index is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2005
2005
For a given family of planar differential equations it is a very difficult problem to determine an upper bound for the number of… Expand
  • figure 1
  • figure 2
Is this relevant?
2002
2002
The structural properties, static εj and relaxation εj(ω) permittivities (j = ||, ⊥ ), time correlation functions (i = 0, 1) and… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?