This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
This paper discusses a discrete event simulation model developed to identify and understand the impact of different failures on the overall production capabilities in a chemical p...
We describe a Markov state model for a cloned potassium channel of the human heart ( 1KvLQTI ). The parameters of the model are determined by a least-squares fit of predicted vs. ...
John L. Maryak, Richard H. Smith, Raimond L. Winsl...
—Array based Comparative Genomic Hybridization (CGH) is a molecular cytogenetic method for the detection of chromosomal imbalances and it has been extensively used for studying c...
Nha Nguyen, Heng Huang, Soontorn Oraintara, An P. ...