Sciweavers

14331 search results - page 275 / 2867
» On the modeling and analysis of obligations
Sort
View
307
Voted
CAV
2012
Springer
241views Hardware» more  CAV 2012»
13 years 10 months ago
Bma: Visual Tool for Modeling and Analyzing Biological Networks
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
David Benque, Sam Bourton, Caitlin Cockerton, Byro...
203
Voted
AUTOMATICA
2008
97views more  AUTOMATICA 2008»
15 years 7 months ago
Injectivity analysis using interval analysis: Application to structural identifiability
This paper presents a new numerical algorithm based on interval analysis able to prove that a differentiable function f : A Rn Rn is injective. This algorithm also performs a par...
Sebastien Lagrange, Nicolas Delanoue, Luc Jaulin