• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • 1
  • Tagged with
  • 4
  • 4
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Formal methods and interactive systems : Principles and practice

Dix, A. J. January 1987 (has links)
No description available.
2

Streamlining Synthetic Spectral Data Generation with Turbospectrum

Hellqvist, Ida January 2024 (has links)
This thesis presents the development of a software interface designed to streamline the use of Turbospectrum, a tool for generating synthetic stellar spectra. The primary objective was to create a user-friendly and adaptable program capable of automating the generation of large volumes of synthetic spectral data with Turbospectrum. The data can then be used for training artificial neural networks in spectroscopic analysis of M-dwarfs, as part of the Department of Physics and Astronomy's project within the AI4Research initiative at Uppsala University. The software was developed in Python, chosen for its simplicity, extensive libraries, and familiarity to the user base. The architecture was designed to be modular, facilitating easy maintenance and future extensions. The main modules include functionality for configuration setup, parameter generation, Turbospectrum integration, and output management. Each module was rigorously tested through unit and integration tests to ensure proper functionality and interaction. To validate the program, both functional and non-functional requirements were assessed. Feedback from regular meetings with the project supervisor and usability testing with potential users ensured that the software met the user needs and was easy to use. Performance tests demonstrated that, despite not being the primary focus, the developed software maintained acceptable performance levels. Overall, this project successfully created a flexible and efficient interface for Turbospectrum, enhancing its usability for large-scale spectroscopic studies and advancing AI-driven research in astronomy
3

Software-related challenges in Swedish healthcare through the lens of incident reports: A desktop study

Md Shafiqur Rahman, Jabin,, Pan, D. 25 September 2023 (has links)
Yes / To identify a subset of software issues occurring in daily Swedish healthcare practice and devise a set of local solutions to overcome the challenges. Methods: A sample of 46 incident reports was collected from one of Sweden's national incident reporting repositories, ranging from June 2019 to December 2021. The reports were first subjected to an algorithm to identify if they were health information technology-related incidents and were analysed using an existing framework, i.e., the Health Information Technology Classification System, to identify the software-related incidents. The incidents associated with software issues were then subjected to thematic analysis, in which themes were extracted and presented under the category assigned by the existing framework used. Results: Of 46 reports, 45 (with one exception) were included using the algorithm. Of 45 incidents, 31 software-related incidents were identified using the classification system. Six types of software issues were identified, including software functionality (n = 10), interface with other software systems or components (n = 10), system configuration (n = 7), interface with devices (n = 2), record migration (n = 1) and increased volume of transactions (n = 1). Each issue was further categorised into different themes; for example, software interface-related problems were grouped into ‘two patients being active in the system simultaneously’ (n = 6) and ‘transfer of patient information’ (n = 4). Conclusions: The study provided some insights into software issues and relevant consequences. A set of local solutions were devised to overcome the present challenges encountered in Swedish healthcare in their daily clinical practice. Systematic identification and characterisation of such software challenges should be a routine part of clinical practice for all major health information technology implementations. / This work has been part of being an Affiliated Researcher at the Department of Medicine and Optometry, Linnaeus University, Sweden. A publishing grant was received from Linnaeus University as a part of the University Library's research support.
4

An?lise comparativa da acessibilidade para cegos de ambientes digitais para gerenciamento de aprendizagem para educa??o a dist?ncia / Comparative analysys of accessibility of e-Iearning management education environments for the blind

Silva, Andr? Luiz da 30 May 2007 (has links)
Submitted by SBI Biblioteca Digital (sbi.bibliotecadigital@puc-campinas.edu.br) on 2018-06-07T14:48:53Z No. of bitstreams: 1 Andre Luiz da Silva.pdf: 21913229 bytes, checksum: a21aa44045c7a96617c071e0837056d8 (MD5) / Made available in DSpace on 2018-06-07T14:48:53Z (GMT). No. of bitstreams: 1 Andre Luiz da Silva.pdf: 21913229 bytes, checksum: a21aa44045c7a96617c071e0837056d8 (MD5) Previous issue date: 2007-05-30 / This study describes a comparative analysys of accessibility for the blind used in SGEAD (Distant Learning Management Systems), TelEduc and WebCT according to criteria, recommendations and international norms such as heuristical evaluation techniques, automatic test of accessibility, inspection based on the points of verification of the W3C recommendations for the accessibility of the content of the Web 1.0 and from tasks reports and questionnaires conducted with the users. One of the goals of this researches is to demonstrate the importance of the use of standards and guides for Web accessibility as support for accessibility for the blind in the current scenario of digital inclusion. The quality of the interface is essencial for the success of distant learning interactive systems. It is expected that this study will contribute to the production of knowledge that will guide and support the professionals involved with e-Iearning. / Este estudo descreve a an?lise comparativa de acessibilidade para cegos aplicadas nos Sistemas de Gerenciamento para Educa??o a Dist?ncia (SGEAD) TelEduc e WebCT, segundo os crit?rios, recomenda??es e normas internacionais, tais como, t?cnicas de avalia??o heur?stica, teste autom?tico de acessibilidade, inspe??o baseada nos pontos de verifica??o das recomenda??es para a acessibilidade do conte?do da Web 1.0 do W3C e de tarefas e question?rios com os usu?rios. Um dos objetivos desta pesquisa ? demonstrar a import?ncia da utiliza??o de padr?es e guias para a Acessibilidade Web como fator de apoio a acessibilidade para cegos dentro do atual cen?rio de inclus?o digital. A qualidade da interface ? fundamental para que sistemas interativos de educa??o a dist?ncia possam ser utilizados com sucesso. Espera-se com este estudo, contribuir para a produ??o de conhecimentos que sirvam para orientar e apoiar os profissionais envolvidos com a educa??o computadorizada.

Page generated in 0.064 seconds