Sciweavers

23119 search results - page 289 / 4624
» From Domain to Requirements
Sort
View
SCP
2011
210views Communications» more  SCP 2011»
15 years 1 months ago
Internal axioms for domain semirings
a more abstract characterisation in the setting of semirings. Formally, a domain semiring is a semiring S extended by a domain operation d : S → S which, for all x, y ∈ S, sati...
Jules Desharnais, Georg Struth
BMCBI
2011
15 years 1 months ago
DoBo: Protein domain boundary prediction by integrating evolutionary signals and machine learning
Background: Accurate identification of protein domain boundaries is useful for protein structure determination and prediction. However, predicting protein domain boundaries from a...
Jesse Eickholt, Xin Deng, Jianlin Cheng
176
Voted
AWIC
2003
Springer
15 years 12 months ago
Secure Intelligent Agents Based on Formal Description Techniques
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...
L. Mengual, C. de la Puente
BMCBI
2010
87views more  BMCBI 2010»
15 years 6 months ago
Epigenetic domains found in mouse embryonic stem cells via a hidden Markov model
Background: Epigenetics is an important layer of transcriptional control necessary for cell-type specific gene regulation. Recent studies have shown significant epigenetic pattern...
Jessica L. Larson, Guo-Cheng Yuan
LICS
1991
IEEE
15 years 10 months ago
The Fixed Point Property in Synthetic Domain Theory
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
Paul Taylor 0002