Sciweavers

904 search results - page 171 / 181
» Business Process Modeling Tools for Modeling of Organization...
Sort
View
148
Voted
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 6 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
BMCBI
2008
118views more  BMCBI 2008»
15 years 2 months ago
MetWAMer: eukaryotic translation initiation site prediction
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
Michael E. Sparks, Volker Brendel
BMCBI
2007
145views more  BMCBI 2007»
15 years 2 months ago
Genome bioinformatic analysis of nonsynonymous SNPs
Background: Genome-wide association studies of common diseases for common, low penetrance causal variants are underway. A proportion of these will alter protein sequences, the mos...
David F. Burke, Catherine L. Worth, Eva-Maria Prie...
BMCBI
2010
117views more  BMCBI 2010»
15 years 2 months ago
Identification of NAD interacting residues in proteins
Background: Small molecular cofactors or ligands play a crucial role in the proper functioning of cells. Accurate annotation of their target proteins and binding sites is required...
Hifzur Rahman Ansari, Gajendra P. S. Raghava
CIKM
2000
Springer
15 years 6 months ago
Extending OLAP Querying to External Object Databases
On-Line Analytical Processing (OLAP) systems based on a multidimensional view of data have found widespread use in business applications and are being used increasingly in non-sta...
Torben Bach Pedersen, Arie Shoshani, Junmin Gu, Ch...