Sciweavers

13913 search results - page 305 / 2783
» models 2007
Sort
View
APAL
2006
45views more  APAL 2006»
15 years 7 months ago
On properties of theories which preclude the existence of universal models
We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality whe...
Mirna Dzamonja, Saharon Shelah
BMCBI
2006
64views more  BMCBI 2006»
15 years 7 months ago
In silico modelling of hormone response elements
Background: An important step in understanding the conditions that specify gene expression is the recognition of gene regulatory elements. Due to high diversity of different types...
Maria Stepanova, Feng Lin, Valerie C.-L. Lin
IJLIT
2007
60views more  IJLIT 2007»
15 years 7 months ago
Disrupting Conventional Law Firm Business Models using Document Assembly
Document assembly software is a technology that is fundamental to disrupting law firms. This article uses the framework set out by Clayton Christensen in The Innovator’s Dilemma...
Darryl R. Mountain
BMCBI
2005
92views more  BMCBI 2005»
15 years 7 months ago
A restraint molecular dynamics and simulated annealing approach for protein homology modeling utilizing mean angles
Background: We have developed the program PERMOL for semi-automated homology modeling of proteins. It is based on restrained molecular dynamics using a simulated annealing protoco...
Andreas Möglich, Daniel Weinfurtner, Till Mau...
JOT
2007
94views more  JOT 2007»
15 years 7 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons