Sciweavers

809 search results - page 75 / 162
» Causality: Objectives and Assessment
Sort
View
MOBILIGHT
2010
15 years 4 months ago
Virtual Distributed Simulation Platform for the Study and Optimization of Future Beyond 3G Heterogeneous Systems
This paper proposes and assesses a new distributed simulation platform for heterogeneous wireless communications. The objective of the ICARUS platform is to investigate cross-layer...
M. Carmen Lucas-Estan, Salva Garrigas, Javier Goz&...
NFM
2011
264views Formal Methods» more  NFM 2011»
15 years 1 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
MAMMO
2010
Springer
15 years 4 months ago
Introducing a Novel Image Quality Measure for Digital Phase-Contrast-Image Evaluation
Recently, detective quantum efficiency (DQE) arising from the concept of signal-to-noise ratio (SNR) has been used for assessing digital x-ray imaging systems. Using a phase-shift ...
Satoru Matsuo, Hiroshi Fujita, Junji Morishita, Te...
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
15 years 11 months ago
Creating a Scenariologic - Design and Application of a Repeatable Methodology
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
Bert Enserink
BMCBI
2007
152views more  BMCBI 2007»
15 years 6 months ago
Difference-based clustering of short time-course microarray data with replicates
Background: There are some limitations associated with conventional clustering methods for short time-course gene expression data. The current algorithms require prior domain know...
Jihoon Kim, Ju Han Kim