Submissions from 2021
Stationary Dislocation Motion at Stresses Significantly below the Peierls Stress: Example of Shuffle Screw and 60∘ Dislocations in Silicon, Hao Chen, Valery I. Levitas, Liming Xiong, and Xiancheng Zhang
Incremental design-space model checking via reusable reachable state approximations, Rohit Dureja and Kristin Yvonne Rozier
Towards a Framework for Certification of Reliable Autonomous Systems, Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, and Neil Yorke-Smith
Inspection of Electronics Components for Cryogenic Temperature Operation, Navaneeth Poonthottathil, Frank Krennrich, Amanda Weinstein, Jonathan Eisch, Leonard J. Bond, Dan Barnard, Zhan Zhang, and Lucas Koester
Submissions from 2020
Finite-strain scale-free phase-field approach to multivariant martensitic phase transformations with stress-dependent effective thresholds, Hamed Babaei and Valery I. Levitas
An exact formulation for exponential-logarithmic transformation stretches in a multiphase phase field approach to martensitic transformations, Anup Basak and Valery I. Levitas
Matrix-precipitate interface-induced martensitic transformation within nanoscale phase field approach: Effect of energy and dimensionless interface width, Anup Basak and Valery I. Levitas
Fifth-degree elastic energy for predictive continuum stress–strain relations and elastic instabilities under large strain and complex loading in silicon, Hao Chen, Nikolai A. Zarkevich, Valery I. Levitas, Duane D. Johnson, and Xiancheng Zhang
Fifth-degree elastic potential for predictive stress-strain relations and elastic instabilities under large strain and complex loading in Si, Hao Chen, Nikolai A. Zarkevich, Valery I. Levitas, Duane D. Johnson, and Xiancheng Zhang
Intersection and Rotation of Assumption Literals Boosts Bug-Finding, Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, and Kristin Yvonne Rozier
Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks, Rohit Dureja and Kristin Yvonne Rozier
Strain-induced multivariant martensitic transformations: A scale-independent simulation of interaction between localized shear bands and microstructure, S. Ehsan Esfahani, Iman Ghamarian, and Valery I. Levitas
Phase field theory for fracture at large strains including surface stresses, Hossein Jafarzadeh, Gholam Hossein Farrahi, Valery I. Levitas, and Mahdi Javanbakht
Phase transformations, fracture, and other structural changes in inelastic materials, Valery I. Levitas
SAT-based Explicit LTLf Satisfiability Checking, Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, and Kristin Yvonne Rozier
Electrochemical impedance spectroscopy analysis of corrosion product layer formation on pipeline steel, Pratyush Mishra, Denizhan Yavas, Ashraf F. Bastawros, and Kurt R. Hebert
Shear-induced diamondization of multilayer graphene structures: A computational study, Shiddartha Paul, Kasra Momeni, and Valery I. Levitas
Metallic Glass Instability Induced by the Continuous Dislocation Absorption at an Amorphous/Crystalline Interface, Thanh Phan, Rigelesaiyin Ji, Youping Chen, Ashraf Bastawros, and Liming Xiong
Aluminum particle reactivity as a function of alumina shell structure: Amorphous versus crystalline, Renita K. Walzel, Valery I. Levitas, and Michelle L. Pantoya
Mechanical degradation due to vacancies produced by grain boundary corrosion of steel, Denizhan Yavas, Thanh Phan, Liming Xiong, Kurt R. Hebert, and Ashraf F. Bastawros
Submissions from 2019
Algorithmic aspects and finite element solutions for advanced phase field approach to martensitic phase transformation under large strains, Hamed Babaei, Anup Basak, and Valery I. Levitas
Highly reactive energetic films by pre-stressing nano-aluminum particles, Michael N. Bello, Alan M. Williams, Valery I. Levitas, Nobumichi Tamura, Daniel K. Unruh, Juliusz Warzywoda, and Michelle L. Pantoya
Development of an elliptic blending lag k — ω model, Rajarshi Biswas, Paul A. Durbin, and Gorazd Medic
NDE in-process for metal parts fabricated using powder based additive manufacturing, Leonard J. Bond, Lucas W. Koester, and Hossein Taheri
Kinetics of the γ–δ phase transition in energetic nitramine-octahydro-1,3,5,7-tetranitro-1,3,5,7-tetrazocine, P. Bowlan, B. F. Henson, L. Smilowitz, Valery I. Levitas, N. Suvorova, and D. Oschwald
Amorphization Induced by 60° Shuffle Dislocation Pileup against Different Grain Boundaries in Silicon Bicrystal under Shear, Hao Chen, Valery I. Levitas, and Liming Xiong
Slip of shuffle screw dislocations through tilt grain boundaries in silicon, Hao Chen, Valery Levitas, and Liming Xiong
Thermodynamic and kinetic analysis of the melt spinning process of Fe-6.5 wt.% Si alloy, Senlin Cui, Gaoyuan Ouyang, Tao Ma, Chad R. Macziewski, Valery I. Levitas, Lin Zhou, Matthew J. Kramer, and Jun Cui
Scalable Verification of Designs with Multiple Properties, Rohit Dureja and Kristin Yvonne Rozier
Fatigue-resistant high-performance elastocaloric materials made by additive manufacturing, Huilong Hou, Emrah Simsek, Tao Ma, Nathan S. Johnson, Suxin Qian, Cheikh Cissé, Drew Stasak, Naila Al Hasan, Lin Zhou, Yunho Hwang, Reinhard Radermacher, Valery I. Levitas, Matthew J. Kramer, Mohsen Asle Zaeem, Aaron P. Stebner, Ryan T. Ott, Jun Cui, and Ichiro Takeuchi
High-Pressure Phase Transformations under Severe Plastic Deformation by Torsion in Rotational Anvils, Valery I. Levitas
Tensorial stress−strain fields and large elastoplasticity as well as friction in diamond anvil cell up to 400 GPa, Valery I. Levitas, Mehdi Kamrani, and Biao Feng
Satisfiability Checking for Mission-Time LTL, Jianwen Li, Moshe Y. Vardi, and Kristin Y. Rozier
Large-eddy simulation of turbulent flow over a parametric set of bumps, Racheet Matai and Paul A. Durbin
Designing wind turbine rotor blades to enhance energy capture in turbine arrays, Benham Moghadassian and Anupam Sharma
In situ quantitative study of plastic strain-induced phase transformations under high pressure: Example for ultra-pure Zr, K. K. Pandey and Valery I. Levitas
Numerical investigation of the effect of airfoil thickness on onset of dynamic stall, Anupam Sharma and Miguel Visbal
Classification with the matrix-variate-t distribution, Geoffrey Z. Thompson, Ranjan Maitra, William Q. Meeker, and Ashraf Bastawros
Submissions from 2018
Phase-field approach for stress- and temperature-induced phase transformations that satisfies lattice instability conditions. Part 2. simulations of phase transformations Si I↔Si II, Hamed Babaei and Valery I. Levitas
Nanoscale multiphase phase field approach for stress- and temperature-induced martensitic phase transformations with interfacial stresses at finite strains, Anup Basak and Valery I. Levitas
Model-Assisted Approach for Probability of Detection (POD) in High-Temperature Ultrasonic NDE Using Low-Temperature Signals, Prathamesh N. Bilgunde and Leonard J. Bond
Resonance analysis of a high temperature piezoelectric disc for sensitivity characterization, Prathamesh N. Bilgunde and Leonard J. Bond
Numerical investigation of low-noise airfoils inspired by the down coat of owls, Andrew Bodling and Anupam Sharma
Instability waves and transition in adverse-pressure-gradient boundary layers, Rikhi Bose, Tamer A. Zaki, and Paul A. Durbin
Turbulence Closure Models for Computational Fluid Dynamics, Paul A. Durbin
Microscale phase field modeling of the martensitic transformation during cyclic loading of NiTi single crystal, S. Ehsan Esfahani, Iman Ghamarian, Valery I. Levitas, and Peter Collins
Coupled strain-induced alpha to omega phase transformation and plastic flow in zirconium under high pressure torsion in a rotational diamond anvil cell, Biao Feng, Valery I. Levitas, and Mehdi Kamrani
FEM modeling of plastic flow and strain-induced phase transformation in BN under high pressure and large shear in a rotational diamond anvil cell, Biao Feng, Valery I. Levitas, and Wanghui Li
Imaging stress and magnetism at high pressures using a nanoscale quantum sensor, S. Hsieh, P. Bhattacharyya, C. Zu, T. Mittiga, T. J. Smart, F. Machado, B. Kobrin, T. O. Hohn, N. Z. Rui, Mehdi Kamrani, S. Chatterjee, S. Choi, M. Zaletel, V. V. Struzhkin, J. E. Moore, Valery I. Levitas, R. Jeanloz, and N. Y. Yao
Simulations of rib-roughened rough-to-smooth turbulent channel flows, Umair Ismail, Tamer A. Zaki, and Paul A. Durbin
Nanoscale mechanisms for high-pressure mechanochemistry: a phase field study, Mahdi Javanbakht and Valery I. Levitas
High pressure phase transformations revisited, Valery I. Levitas
Phase field approach for stress- and temperature-induced phase transformations that satisfies lattice instability conditions. Part I. general theory, Valery I. Levitas
Phase Transitions and Their Interaction with Dislocations in Silicon, Valery I. Levitas, Hao Chen, and Liming Xiong
Thermodynamically consistent and scale-dependent phase field approach for crack propagation allowing for surface stresses, Valery I. Levitas, Hossein Jafarzadeh, Gholam Hossein Farrahi, and Mahdi Javanbakht
SAT-based Explicit LTLf Satisfiability Checking, Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, and Moshe Y. Vardi
Inverse Design of Single- and Multi-Rotor Horizontal Axis Wind Turbine Blades Using Computational Fluid Dynamics, Behnam Moghadassian and Anupam Sharma
Wear evolution and stress distribution of single CBN superabrasive grain in high-speed grinding, Jingwei Wang, Tianyu Yu, Wenfeng Ding, Yucan Fu, and Ashraf F. Bastawros
Morphology and stress evolution during the initial stages of intergranular corrosion of X70 steel, Denizhan Yavas, Abdullah Alshehri, Pratyush Mishra, Pranav Shrotriya, Ashraf F. Bastawros, and Kurt R. Hebert
Nanoindentation study of corrosion-induced grain boundary degradation in a pipeline steel, Denizhan Yavas, Pratyush Mishra, Abdullah Alshehri, Pranav Shrotriya, Kurt R. Hebert, and Ashraf F. Bastawros
Lattice Instability during Solid-Solid Structural Transformations under a General Applied Stress Tensor: Example of Si I → Si II with Metallization, Nikolai A. Zarkevich, Hao Chen, Valery I. Levitas, and Duane D. Johnson
Submissions from 2017
Perspectives on the Phenomenology and Modeling of Boundary Layer Transition, Paul A. Durbin
Pressure Self-focusing Effect and Novel Methods for Increasing the Maximum Pressure in Traditional and Rotational Diamond Anvil Cells, Biao Feng and Valery I. Levitas
Triaxial-Stress-Induced Homogeneous Hysteresis-Free First-Order Phase Transformations with Stable Intermediate Phases, Valery I. Levitas, Hao Chen, and Liming Xiong
An experimental study on the characteristics of wind-driven surface water film flows by using a multi-transducer ultrasonic pulse-echo technique, Yang Liu, Wen-Li Chen, Leonard J. Bond, and Hui Hu
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems, Patrick Moosbrugger, Kristin Y. Rozier, and Johann Schumann
Comparison of acoustoelastic Lamb wave propagation in stressed plates for different measurement orientations, Ning Pei and Leonard J. Bond
Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains, Eric W. D. Rozier, Kristin Yvonne Rozier, and Ulya Bayram
Scaled experiment investigating sonomechanically enhanced inert gas sparging mass transfer, Floren Rubio, Leonard J. Bond, and Edward Blandford
Passive Scalar Transport Modeling for Hybrid RANS/LES Simulation, Zifei Yin and Paul A. Durbin
Submissions from 2016
Numerical analysis of aerodynamic noise mitigation via leading edge serrations for a rod–airfoil configuration, Bharat Raj Agrawal and Anupam Sharma
Helical modes in boundary layer transition, Rikhi Bose and Paul A. Durbin
Influence of laminate sequence and fabric type on the inherent acoustic nonlinearity in carbon fiber reinforced composites, Sunil Kishore Chakrapani, Daniel J. Barnard, and Vinay Dayal
Nonlinear forced vibration of carbon fiber/epoxy prepreg composite beams: Theory and experiment, Sunil Kishore Chakrapani, Daniel J. Barnard, and Vinay Dayal
Transition to turbulence by interaction of free-stream and discrete mode perturbations, Paul A. Durbin and Rikhi Bose
Effects of gasket on coupled plastic flow and strain-induced phase transformations under high pressure and large torsion in a rotational diamond anvil cell, Biao Feng and Valery I. Levitas
Phase field approach to dislocation evolution at large strains: Computational aspects, Mahdi Javanbakht and Valery I. Levitas
Phase field simulations of plastic strain-induced phase transformations under high pressure and large shear, Mahdi Javanbakht and Valery I. Levitas
Comment on “In situ imaging of ultra-fast loss of nanostructure in nanoparticle aggregates” [J. Appl. Phys. 115, 084903 (2014)], Valery I. Levitas and Yong Seok Hwang
Phase field approach with anisotropic interface energy and interface stresses: Large strain formulation, Valery I. Levitas and James A. Warren
Numerical Investigation of Aerodynamic Performance and Loads of a Novel Dual Rotor Wind Turbine, Benham Moghadassian, Aaron Rosenberg, and Anupam Sharma
A new mixed basis Navier–Stokes formulation for incompressible flows over complex geometries, Avinaash Murali and R Ganesh Rajagopalan
Dr. Sarkar and Dr. Hu attend international wind engineering workshop, Clay Paciorek
Higher order acoustoelastic Lamb wave propagation in stressed plates, Ning Pei and Leonard J. Bond
A Prescribed-Wake Vortex Lattice Method for Preliminary Design of Co-Axial, Dual-Rotor Wind Turbines, Aaron Rosenberg and Anupam Sharma
Survey of advanced nuclear technologies for potential applications of sonoprocessing, Floren Rubio, Edward D. Blanford, and Leonard J. Bond
An adaptive DES smodel that allows wall-resolved eddy simulation, Zifei Yin and Paul A. Durbin
Performance and modeling of paired polishing process, Tianyu Yu, David Thomas Asplund, Ashraf F. Bastawros, and Abhijit Chandra
Submissions from 2015
LES of spatially developing turbulent boundary layer over a concave surface, Sunil K. Arolla and Paul A. Durbin
Influence of fiber orientation on the inherent acoustic nonlinearity in carbon fiber reinforced composites, Sunil Kishore Chakrapani, Daniel J. Barnard, and Vinay Dayal
An intermittency model for predicting roughness induced transition, Xuan Ge and Paul A. Durbin
Interaction of Phase Transformations and Plasticity at the Nanoscale: Phase Field Approach, Valery I. Levitas and M. Javanbakht
Pre-Stressing Micron-Scale Aluminum Core-Shell Particles to Improve Reactivity, Valery I. Levitas, Jena McCollum, and Michelle Pantoya
Internal stresses in pre-stressed micron-scale aluminum core-shell particles and their improved reactivity, Valery I. Levitas, Jena McCollum, Michelle L. Pantoya, and Nobumichi Tamura
Multiphase phase field theory for temperature- and stress-induced phase transformations, Valery I. Levitas and Arunabhas M. Roy
Thermodynamically consistent phase field theory of phase transformations with anisotropic interface energies and stresses, Valery I. Levitas and James A. Warren
On the dynamic computation of the model constant in delayed detached eddy simulation, Zifei Yin, K.R. Reddy, and Paul A. Durbin
Submissions from 2014
The interaction of Rayleigh waves with delaminations in composite laminates, Sunil Kishore Chakrapani and Vinay Dayal
Strain-induced phase transformation under compression in a diamond anvil cell: Simulations of a sample and gasket, Biao Feng, Valery I. Levitas, and Yanzhang Ma
Multiple Pure Tone Noise Prediction, Fei Han, Anupam Sharma, Umesh Paliath, and Chingwei Shieh