Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 206,191,244 papers from all fields of science
Search
Sign In
Create Free Account
COSBI
The Microsoft Research - University of Trento Centre for Computational and Systems Biology (COSBI) is a non profit research center located in…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
3 relations
Algorithm
Microsoft Research
Broader (1)
Systems biology
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
CoSBi 02 / 2006 The π-calculus with biological transactions
Federica Ciocchetta
,
C. Priami
2009
Corpus ID: 54831299
In this work we extend the π-calculus with a simple class of transactions, suitable to model multi-reactant, multi-product…
Expand
2008
2008
On the decidability and complexity of the structural congruence for beta-binders
A. Romanel
,
C. Priami
Theor. Comput. Sci.
2008
Corpus ID: 8847944
2008
2008
Improving Coherence of Complex Image Pairs Obtained by Along-Track Bistatic SARs Using Range–Azimuth Prefiltering
Tong Wang
,
Z. Bao
,
Zhenhua Zhang
,
Jinshan Ding
IEEE Transactions on Geoscience and Remote…
2008
Corpus ID: 33837975
An along-track interferometric synthetic aperture radar (SAR) can be used for ground moving target indication (GMTI) by comparing…
Expand
2008
2008
Exactness and Approximation of the Stochastic Simulation Algorithm
I. Mura
2008
Corpus ID: 55149394
This short note intends to clarify about the applicability of the Stochastic Simulation Algorithm proposed by Gillespie for the…
Expand
Review
2008
Review
2008
Notes on stochastic simulation of chemical kinetics with cycle-leaping
P. Lecca
,
Stefano Teso
2008
Corpus ID: 55519244
In this report we review the Riedel-Bruck stochastic simulation algorithm, which makes use of a cycle-leaping strategy to improve…
Expand
2007
2007
DNA splicing: computing by observing
M. Cavaliere
,
N. Jonoska
,
Peter Leupold
Natural Computing
2007
Corpus ID: 934209
Motivated by several techniques for observing molecular processes in real-time we introduce a computing device that stresses the…
Expand
2007
2007
Effective Index: a formal measure of drug effects
Lorenzo Dematté
,
D. Prandi
,
C. Priami
,
A. Romanel
2007
Corpus ID: 55057557
This paper proposes the Effective Index, a formal tool to support decision processes in drug discovery. The Effective Index is…
Expand
2007
2007
A Process Algebraical Approach to Modelling Compartmentalized Biological Systems
Adaoha Elizabeth Ihekwaba
,
R. Mardare
2007
Corpus ID: 54035183
AbstractThis paper introduces Protein Calculus, a special modeling language designed for en-coding and calculating the behaviors…
Expand
2004
2004
Exact number of limit cycles for a family of rigid systems
A. Gasull
,
J. Torregrosa
2004
Corpus ID: 18551732
For a given family of planar differential equations it is a very difficult problem to determine an upper bound for the number of…
Expand
2002
2002
POLYMERS AND LIQUID CRYSTALS Dynamic and Dielectric Properties of Liquid Crystals
A. V. Zakharov
,
L. V. Mirantsev
2002
Corpus ID: 108287885
The structural properties, static εj and relaxation εj(ω) permittivities (j = ||, ⊥ ), time correlation functions (i = 0, 1) and…
Expand
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