BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details

Reticle management analysis for the photolithography sector of a semiconductor fabrication facility

Reticle management analysis for the photolithography sector of a semiconductor fabrication facilit

Sky’s No Limit: Space-Based Solar Power, The Next Major Step in The Indo-US Strategic Partnership

IDSA Occassional Paper No. 9 2010 This paper provides a policymaker\u27s overview of a highly scalable, revolutionary, renewable energy technology, Space-Based Solar Power (SBSP), and evaluates it utility within the context of the Indo-US strategic partnership. After providing an overview of the concept and its significance to the compelling problems of sustainable growth, economic development, energy security and climate change, it evaluates the utility of the concept in the context of respective Indian and US political context and energy-climate trajectories. The paper concludes that a bilateral initiative to develop Space-Based Solar Power is highly consistent with the objectives of the Indo-US strategic partnership, and ultimately recommends an actionable tree-tiered programme to realize its potential

DICOM for EIT

With EIT starting to be used in routine clinical practice [1], it important that the clinically relevant information is portable between hospital data management systems. DICOM formats are widely used clinically and cover many imaging modalities, though not specifically EIT. We describe how existing DICOM specifications, can be repurposed as an interim solution, and basis from which a consensus EIT DICOM ‘Supplement’ (an extension to the standard) can be writte