List of files deposited in CurateND that match your search criteria
-
- Creator(s):
- Nathan
- Date Created:
- 2018-10-05
-
- Creator(s):
- Rob Wieck
- Description:
Larval collections from artificial breeding sites in a high-transmission fish farming area in the brazilian Amazon.
- Date Created:
- 2018-09-18
-
- Author(s):
- Jürgen Thanhofer-Pilisch, Alexander Lang, Michael Vierhauser, Rick Rabiser
- Abstract:
Domain-specific languages (DSLs) are frequently used in software engineering. In contrast to general-purpose languages, DSLs are designed for a special purpose in a particular domain. Due to volatile user requirements and new technologies DSLs, similar to the software systems they describe or produce, are subject to continuous evolution. This work explores existing research on DSL evolution to summarize, structure and analyze this area of research, and to identify trends and open issues. We c…
-
- Author(s):
- Michael Vierhauser, Sean Bayley, Jane Wyngaard, Jinghui Cheng, Wandi Xiong, Robyn Lutz, Joshua Huseman, Jane Cleland-Huang
- Abstract:
The growing adoption of small unmanned aircraft systems (sUAS) for tasks such as eCommerce, aerial surveillance, and environmental monitoring introduces the need for new safety mechanisms in an increasingly cluttered airspace. Safety assurance cases (SAC) provide a state-of-the-art solution for reasoning about system and software safety in numerous safety-critical domains. We propose a novel approach based on the idea of interlocking safety cases. The sUAS infrastructure safety case (iSAC) sp…
-
- Author(s):
- Jane Wyngaard, Samuel S.C. Rund, Gregory R. Madey, Michael Vierhauser, Jane Cleland-Huang
- Abstract:
Remotely Piloted Aircraft Systems (RPAS) are an emerging application area for many industries including surveillance, agriculture monitoring, and vector-borne disease control. With drastically lower costs and increasing performance and autonomy, future application evolution will more than likely include the use of the RPAS swarms. Several largely successful experiments in recent years, using off the shelf small Unmanned Aircraft Systems (sUAS) have been conducted to address the long standing …
-
- Author(s):
- Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi , Paul Grünbacher
- Abstract:
The full behavior of complex software systems often only emerges during operation. They thus need to be monitored at run time to check that they adhere to their requirements. Diverse runtime monitoring approaches have been developed in various domains and for different purposes. Their sheer number and heterogeneity, however, make it hard to find the right approach for a specific application or purpose. The aim of our research therefore was to develop a comparison framework for runtime monitor…
-
8
Doctoral Dissertation
- Author:
- Joseph Hassan Aboki
- Advisory Committee:
- Hsueh-Chia Chang, Jonathan Whitmer, Ruilan Guo, William Phillip
- Degree Area:
- Chemical and Biomolecular Engineering
- Degree:
- Doctor of Philosophy
- Defense Date:
- 2018-08-22
-
- Author(s):
- Joseph A Hagmann, Xiang Li, Sugata Chowdhury, Si-Ning Dong, Sergei Rouvimov, Sujitra J Pookpanratana, Kin Man Yu, Tatyana A Orlova, Trudy B Bolin, Carlo U Segre
- Abstract:
We demonstrate that the introduction of an elemental beam of Mn during the molecular beam epitaxial growth of Bi2Se3 results in the formation of layers of Bi2MnSe4 that intersperse between layers of pure Bi2Se3. This study revises the assumption held by many who study magnetic topological insulators (TIs) that Mn incorporates randomly at Bi-substitutional sites during epitaxial growth of Mn:Bi2Se3. Here, we report the formation of thin film magnetic TI Bi2MnSe4 with stoichiometric composition…
- Date Published:
- 2017
-
- Author(s):
- Ian M. Sander, Matthew T. McGoldrick, My N. Helms, Aislinn Betts, Anthony van Avermaete, Elizabeth Owers, Evan Doney, Taimi Liepert, Glen Niebur, Douglas Liepert, W. Matthew Leevy
- Abstract:
Advances in three-dimensional (3D) printing allow for digital files to be turned into a “printed” physical product. For example, complex anatomical models derived from clinical or pre-clinical X-ray computed tomography (CT) data of patients or research specimens can be constructed using various printable materials. Although 3D printing has the potential to advance learning, many academic programs have been slow to adopt its use in the classroom despite increased availability of the equipment …
- Date Published:
- 2017
-
- Author(s):
- Ryan K. Roeder, Tyler E. Curtis, Prakash D. Nallathamby, Lisa E. Irimata, Tracie L. McGinnity, Lisa E. Cole, Tracy Vargo-Gogola, Karen D. Cowden Dahl
- Abstract:
Precision imaging is needed to realize precision medicine in cancer detection and treatment. Molecular imaging offers the ability to target and identify tumors, associated abnormalities, and specific cell populations with overexpressed receptors. Nuclear imaging and radionuclide probes provide high sensitivity but subject the patient to a high radiation dose and provide limited spatiotemporal information, requiring combined computed tomography (CT) for anatomic imaging. Therefore, nanoparticl…
- Date Published:
- 2017
-
- Author(s):
- Justin Ceh, Tom Youd, Zach Mastrovich, Cody Peterson, Sarah Khan, Todd A. Sasser, Ian M. Sander, Justin Doney, Clark Turner, W. Matthew Leevy
- Abstract:
Radiopacity is a critical property of materials that are used for a range of radiological applications, including the development of phantom devices that emulate the radiodensity of native tissues and the production of protective equipment for personnel handling radioactive materials. Three-dimensional (3D) printing is a fabrication platform that is well suited to creating complex anatomical replicas or custom labware to accomplish these radiological purposes. We created and tested multiple A…
- Date Published:
- 2017