Sciweavers

5681 search results - page 284 / 1137
» A Domain Model for eParticipation
Sort
View
MIC
2003
15 years 7 months ago
Modelling Salt Transport in Baltic Basins
Water quality models combine fluid-flow relations with biological regressions, all on a spatially complex domain. For many applications, a computationally simple lumped paramete...
Magnus Dahl, David I. Wilson
ISMS
2004
Springer
15 years 11 months ago
GiPSi: An Open Source/Open Architecture Software Development Framework for Surgical Simulation
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
Tolga Goktekin, Murat Cenk Cavusoglu, Frank Tendic...
MLQ
2007
90views more  MLQ 2007»
15 years 5 months ago
Kripke submodels and universal sentences
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim...
AAAI
2000
15 years 7 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...
BMCBI
2008
79views more  BMCBI 2008»
15 years 6 months ago
In silico docking of urokinase plasminogen activator and integrins
Background: Urokinase, its receptor and the integrins are functionally associated and involved in regulation of cell signaling, migration, adhesion and proliferation. No structura...
Bernard Degryse, Juan Fernández-Recio, Vale...