Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

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

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

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

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

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

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

Is this relevant?

2002

2002

The structural properties, static εj and relaxation εj(ω) permittivities (j = ||, ⊥ ), time correlation functions (i = 0, 1) and… Expand

Is this relevant?