Buscar
Mostrando ítems 3771-3780 de 14889
Model and Software in the Loop with Automatic Code Generation for Indicator Lights Warnings
(Universidade Tecnológica Federal do Paraná (UTFPR), 2017)
Automated abstractions for contract validation
(IEEE Computer Society, 2012-01)
Pre/postcondition-based specifications are commonplace in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can ...
Diseño e implementación de software de simulación virtual de análisis químico para ensayos del laboratorio de química de la Facultad de Ingeniería en la Universidad Católica de Santiago de Guayaquil.
(Universidad Católica de Santiago de Guayaquil, 2019)
Influence of the growing parameters on the size distribution of PbTe nanoparticles produced by laser ablation under inert gas atmosphere
(Proceedings of SPIE - The International Society for Optical Engineering Volume 8245, 2012, Article number82450K Synthesis and Photonics of Nanoscale Materials IX; San Francisco, CA; United States; 23 January 2012 through 24 January 2012; Code 89045, 2012-01-23)
We report the fabrication of PbTe quantum dots grown under inert gas (Ar and He) atmosphere by pulsed laser deposition using the second harmonic of a Q-Switched Quantel Nd:YAG laser. For characterization, samples were ...
X-ray imaging virtual online laboratory for engineering undergraduates
Distance learning engineering students (as well as those in face-to-face settings) should acquire a basic background in radiation-matter interaction physics (usually in the first semesters). Some students in this group may ...