11121 search results - page 346 / 2225 » Computing with Continuous Change |
115
click to vote
BMCBI
2008
15 years 4 months ago
2008
: The tumour suppressor protein p53 protein has a core domain that binds DNA and is the site for most oncogenic mutations. This domain is quite unstable compared to its homologs p...
175
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
132
click to vote
ACSC
2007
IEEE
15 years 11 months ago
2007
IEEE
As computer controlled entities are set to move and explore more complex environments they need to be able to perform navigation tasks, like finding minimal cost routes. Much wor...
132
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
We present a spreadsheet debugger targeted at end users. Whenever the computed output of a cell is incorrect, the user can supply an expected value for a cell, which is employed b...
154
click to vote
CSREAEEE
2006
15 years 6 months ago
2006
: Collaborative and dynamic workflow management systems in logistic companies require strong information systems and computer support. Business processes in such industries general...