Sciweavers

15860 search results - page 3009 / 3172
» Agent-Based Software Engineering
Sort
View
ECEASST
2010
15 years 15 days ago
GUI Inspection from Source Code Analysis
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
João Carlos Silva 0002, José Creissa...
ENDM
2010
167views more  ENDM 2010»
15 years 15 days ago
Column Generation based Primal Heuristics
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...
C. Joncour, S. Michel, R. Sadykov, D. Sverdlov, Fr...
ENTCS
2010
96views more  ENTCS 2010»
15 years 15 days ago
Programming in Biomolecular Computation
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen
ENTCS
2010
118views more  ENTCS 2010»
15 years 15 days ago
Fragments-based Model Reduction: Some Case Studies
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
Jérôme Feret
ENTCS
2010
161views more  ENTCS 2010»
15 years 15 days ago
Bone Remodelling in BioShape
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...
Federico Buti, Diletta Cacciagrano, Flavio Corradi...
« Prev « First page 3009 / 3172 Last » Next »