Sciweavers

14331 search results - page 275 / 2867
» On the modeling and analysis of obligations
Sort
View
CAV
2012
Springer
241views Hardware» more  CAV 2012»
13 years 9 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...
AUTOMATICA
2008
97views more  AUTOMATICA 2008»
15 years 6 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