Sciweavers

4118 search results - page 479 / 824
» Mechanisms for usage control
Sort
View
FMSB
2008
138views Formal Methods» more  FMSB 2008»
15 years 9 months ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
155
Voted
OWLED
2007
15 years 9 months ago
Mother, May I? OWL-based Policy Management at NASA
Abstract. Among the challenges of managing NASA’s information systems is the management (that is, creation, coordination, verification, validation, and enforcement) of many di...
Michael Smith, Andrew Schain, Kendall Clark, Arlen...
180
Voted
CSREAESA
2006
15 years 9 months ago
In-House Built Bipedal Walking Robot
In this project, an in-house built bipedal walking Robot uses two direct current gear motors to power its legs. Each leg could bend at the knee to assist the walking routines. In ...
Kok-Swee Sim, Yee Kin Lum, Chih Ping Tso
ESANN
2006
15 years 9 months ago
Nonlinear dynamics in neural computation
This tutorial reports on the use of nonlinear dynamics in several different models of neural systems. We discuss a number of distinct approaches to neural information processing ba...
Tjeerd Olde Scheper, Nigel Crook
IADIS
2004
15 years 9 months ago
Organizing the Web: Semi-Automatic Construction of a Faceted Scheme
In this study, we explore the construction of a faceted vocabulary that can be used as a mechanism for organizing Web-based resources. After analyzing the manual process of facete...
Kiduk Yang, Elin K. Jacob, Aaron Loehrlein, Seungm...