Sciweavers

3108 search results - page 261 / 622
» The Elements of Computer Credibility
Sort
View
GI
2005
Springer
16 years 4 days ago
A Normative Language Approach to the Application of Petri Nets for Clinical Workflows
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
Kamyar Sarshar, Peter Loos
STACS
2005
Springer
16 years 3 days ago
Cost Sharing and Strategyproof Mechanisms for Set Cover Games
Abstract. We develop for set cover games several general cost-sharing methods that are approximately budget-balanced, core, and/or group-strategyproof. We first study the cost sha...
Xiang-Yang Li, Zheng Sun, Weizhao Wang
CSB
2003
IEEE
124views Bioinformatics» more  CSB 2003»
15 years 12 months ago
SMASHing regulatory sites in DNA by human
Regulatory sequence elements provide important clues to understanding and predicting gene expression. Although the binding sites for hundreds of transcription factors are known, t...
Mihaela Zavolan, Nicholas D. Socci, Nikolaus Rajew...
ICCS
2003
Springer
15 years 12 months ago
Anisotropic Convection Model for the Earth's Mantle
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
Hans-B. Mühlhaus, M. Cada, Louis Moresi
IPPS
1996
IEEE
15 years 10 months ago
Practical Parallel Algorithms for Dynamic Data Redistribution, Median Finding, and Selection
A common statistical problem is that of nding the median element in a set of data. This paper presents a fastand portable parallel algorithm for nding the median given a set of el...
David A. Bader, Joseph JáJá