Articles & Publications

Search CurateND

Search criteria:

Type of Work: Article remove ×
Clear all

List of files deposited in CurateND that match your search criteria

  • 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…

  • 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
  • Author(s):
    D. V. Lebedev, N. A. Kalyuzhnyy, S. A. Mintairov, K. G. Belyaev, M. V. Rakhlin, A. A. Toropov, P. Brunkov, A. S. Vlasov, J. Merz, S. Rouvimov, S. Oktyabrsky, M. Yakimov, I. V. Mukhin, A. V. Shelaev, V. A. Bykov, A. Yu. Romanova, P. A. Buryak, A. M. Mintairov
    Abstract:

    We investigated structural and emission properties of self-organized InP/GaInP quantum dots (QD) grown by metal organic chemical vapor deposition using an amount of deposited In from 7 to 2 monolayers (ML). In the uncapped samples, using atomic force microscopy (AFM), we observed lateral sizes of 100–200 nm, together with a bimodal height distribution having maxima at ∼5 and ∼15 nm, which we denoted as QDs of type A and B, respectively; and reduction of the density of the type-B dots from 4.4…

    Date Published:
    2018
  • Author(s):
    jcachey
    Abstract:

    This is a fun experience.

  • Author(s):
    jcachey
    Abstract:

    This is a fun experience.

    Why do we have two?

  • Author(s):
    Sarah Chapman, Prashant Kamat
    Abstract:

    The suppression of halide ion exchange between CsPbBr3 and CsPbI3 nanocrystals achieved through capping with PbSO4–oleate has enabled us to deposit different perovskite nanocrystals as aligned arrays on the electrode surfaces without intermixing of species. The electrophoretic deposition of PbSO4–oleate-capped CsPbX3 (X = Cl, Br, I) nanocrystals suspended in hexane solution on mesoscopic TiO2 films allows the design of controlled architecture with single or multiple layers of perovskite films…

    Date Published:
    2018