Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

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

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

On behalf of the Organizing Committee, we welcome you to the 27th Annual ACM Symposium on Applied Computing (SAC 2012), hosted by… Expand

2008

2008

An along-track interferometric synthetic aperture radar (SAR) can be used for ground moving target indication (GMTI) by comparing… Expand

2008

2008

This short note intends to clarify about the applicability of the Stochastic Simulation Algorithm proposed by Gillespie for the… Expand

2008

2008

Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi… Expand

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

2007

2007

Motivated by several techniques for observing molecular processes in real-time we introduce a computing device that stresses the… Expand

2007

2007

This paper proposes the Effective Index, a formal tool to support decision processes in drug discovery. The Effective Index is… Expand

2007

2007

AbstractThis paper introduces Protein Calculus, a special modeling language designed for en-coding and calculating the behaviors… Expand

2004

2004

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

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