University of Notre Dame

Search CurateND

Search criteria:

Department or Unit: University of Notre Dame remove × 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):
    Svetlana Neretina, Arin S. Preston, Robert A. Hughes, Trevor B. Demille
    Abstract:

    Galvanic replacement reactions are widely used in the synthesis of bimetallic nanoshells. Essential to these syntheses is the design of template materials with electrochemical potentials that are low enough to facilitate the replacement of a wide variety of metals. While Cu is an attractive template from this standpoint, it has only rarely been used due to its propensity for oxidation and the associated difficulties in achieving chemically stable colloids. Here, a synthetic scheme is demonstr…

    Date Published:
    2018
  • Author(s):
    Klymenko Y., Kim O., Loughran E., Yang J., Lombard R., Alber M., Stack MS
    Abstract:

    During epithelial ovarian cancer (EOC) progression, intraperitoneally disseminating tumor cells and multicellular aggregates (MCAs) present in ascites fluid adhere to the peritoneum and induce retraction of the peritoneal mesothelial monolayer prior to invasion of the collagen-rich submesothelial matrix and proliferation into macro-metastases. Clinical studies have shown heterogeneity among EOC metastatic units with respect to cadherin expression profiles and invasive behavior; however, the i…

    Date Published:
    2017
  • Author(s):
    M. Sharon Stack, Jing Yang, William C. Kasberg, Angela Celo, Zhong Liang, Kristal Quispe
    Abstract:

    Membrane type 1 matrix metalloproteinase (MT1-MMP, MMP-14) is a transmembrane collagenase highly expressed in metastatic ovarian cancer and correlates with poor survival. Accumulating evidence shows that the cytoplasmic tail of MT1-MMP is subjected to phosphorylation, and this post-translational modification regulates enzymatic activity at the cell surface. To investigate the potential role of MT1-MMP cytoplasmic residue Thr567 phosphorylation in regulation of metastasis-associated behaviors,…

    Date Published:
    2017