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

Related topics

Related topics

3 relations
AlgorithmMicrosoft Research

Broader (1)

Systems biology

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Technical Report CoSBi 10 / 2007 Computational Thinking in Biology
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
CoSBi 02 / 2006 The π-calculus with biological transactions
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
Improving Coherence of Complex Image Pairs Obtained by Along-Track Bistatic SARs Using Range–Azimuth Prefiltering
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
Exactness and Approximation of the Stochastic Simulation Algorithm
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
Notes on stochastic simulation of chemical kinetics with cycle-leaping
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
On the decidability and complexity of the structural congruence for beta-binders
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
DNA splicing: computing by observing
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
Effective Index: A formal measure of drug effects
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
Exact number of limit cycles for a family of rigid systems
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
POLYMERS AND LIQUID CRYSTALS Dynamic and Dielectric Properties of Liquid Crystals
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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE