Sciweavers

6960 search results - page 75 / 1392
» Continuity Analysis of Programs
Sort
View
CMSB
2008
Springer
15 years 8 months ago
Analyzing a Discrete Model of Aplysia Central Pattern Generator
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
Ashish Tiwari, Carolyn L. Talcott
NAR
1998
161views more  NAR 1998»
15 years 5 months ago
Touring protein fold space with Dali/FSSP
The FSSP database and its new supplement, the Dali Domain Dictionary, present a continuously updated classification of all known 3D protein structures. The classification is deriv...
Liisa Holm, Chris Sander
HYBRID
2009
Springer
16 years 29 days ago
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
Falk M. Hante, Günter Leugering
AGILEDC
2005
IEEE
15 years 11 months ago
Agile Metrics at the Israeli Air Force
It is a significant challenge to implement and research agile software development methods in organizations such as the army. Since it differs from organizations in the industry a...
Yael Dubinsky, David Talby, Orit Hazzan, Arie Kere...
EOR
2007
105views more  EOR 2007»
15 years 6 months ago
Newton's method and its use in optimization
Newton’s method is a basic tool in numerical analysis and numerous applications, including operations research and data mining. We survey the history of the method, its main ide...
Boris T. Polyak