15 research outputs found
Anisotropic Confinement, Electronic Coupling and Strain Induced Effects Detected by Valence-Band Anisotropy in Self-Assembled Quantum Dots
A method to determine the effects of the geometry and lateral ordering on the electronic properties of an array of one-dimensional self-assembled quantum dots is discussed. A model that takes into account the valence-band anisotropic effective masses and strain effects must be used to describe the behavior of the photoluminescence emission, proposed as a clean tool for the characterization of dot anisotropy and/or inter-dot coupling. Under special growth conditions, such as substrate temperature and Arsenic background, 1D chains of In0.4Ga0.6 As quantum dots were grown by molecular beam epitaxy. Grazing-incidence X-ray diffraction measurements directly evidence the strong strain anisotropy due to the formation of quantum dot chains, probed by polarization-resolved low-temperature photoluminescence. The results are in fair good agreement with the proposed model
A Quantitative Study of the Microstructure and Biochemistry of the Medial Meniscal Horn Attachments
Delivery of Ciliary Neurotrophic Factor via Lentiviral-Mediated Transfer Protects Axotomized Retinal Ganglion Cells for an Extended Period of Time
Intercontinental spread from Israel to Colombia of a KPC-3-producing Klebsiella pneumoniae strain
Liver Transplantation in Hepatitis C–Infected Patients: Experience From a South American Transplant Center
Tumor Biology as Predictor of Mortality in Liver Transplantation for Hepatocellular Carcinoma
Extracellular matrix microarrays to study inductive signaling for endoderm specification
Induction of PCFT and OATP1A2 via vitamin D receptor activation in vitro is not confirmed in vivo in healthy volunteers after a 10-days treatment with 1,25-dihydroxyvitamin D3
A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence in the correctness of a system is gained through a variety of activities and processes performed at development time, such as design analysis and testing. In the presence of self-adaptation, however, some of the assurance tasks may need to be performed at runtime. This need calls for the development of techniques that enable continuous assurance throughout the software life cycle. Fundamental to the development of runtime assurance techniques is research into the use of models at runtime (M@RT). This chapter explores the state of the art for using M@RT to address the assurance of self-adaptive software systems. It defines what information can be captured by M@RT, specifically for the purpose of assurance, and puts this definition into the context of existing work. We then outline key research challenges for assurance at runtime and characterize assurance methods. The chapter concludes with an exploration of selected application areas where M@RT could provide significant benefits beyond existing assurance techniques for adaptive systems