Operations Research

Linkage map construction and QTL mapping for morphological traits in <i>Ipomoea trifida</i>, a diploid sweetpotato relative

PLANT GENOME, 18(3).

MEAL: Model of Empathy Augmented Logistics for Food Security

IEEE Internet Computing.

Gyrotrons for Fusion Power Plants

Ives, R. L., Read, M., Neilson, J., Bui, T., Marsden, D., Le, T., & Tran, H. (2025, August 24). FUSION SCIENCE AND TECHNOLOGY, Vol. 8.

Infinite-Dimensional and Field-Theoretic Nonholonomic Mechanics

REGULAR & CHAOTIC DYNAMICS, 30(4), 550–565.

Stable Rank and Intrinsic Dimension of Real and Complex Matrices

SIAM Journal on Matrix Analysis and Applications.

Moral Sparks in Social Media Narratives

Singh, M. P. (2025, September 15).

Reasoner Outperforms: Generative Stance Detection with Rationalization for Social Media

Yuan, J., & Singh, M. P. (2025, September 15).

Genetic linkage mapping in Megathyrsus maximus (Jacq.) with multiple dosage markers

Gesteira, G. de S., Ferreira, G. C., Mollinari, M., Santos, M. F., Jank, L., Vilela, M. de M., … Garcia, A. A. F. (2025, August 19). G3-GENES GENOMES GENETICS, Vol. 8.

Synergizing Acoustic and Wi-Fi Signals for Device-Free Gesture Recognition

IEEE TRANSACTIONS ON MOBILE COMPUTING, 24(9), 8167–8179.

A fourth order mixed compact finite difference scheme for biharmonic equations

JOURNAL OF COMPUTATIONAL PHYSICS, 539.

Understanding Mobile App Reviews to Guide Misuse Audits

[Review of ]. COMMUNICATIONS OF THE ACM, 68(8), 62–71.

Argus: Programming with communication protocols in a belief-desire-intention architecture

ARTIFICIAL INTELLIGENCE, 348.

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling

Verification of Scientific Software (VSS 2025), a workshop of ETAPS 2025: European Joint Conferences on Theory and Practice of Software. Presented at the Hamilton, Ontario, Canada. Hamilton, Ontario, Canada.

Characterizing variability and uncertainty for parameter subset selection in PBPK models

Toxicological Sciences.

Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors

2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS).

Iterative Direct Sampling Method for Elliptic Inverse Problems with Limited Cauchy Data\ast

SIAM JOURNAL ON IMAGING SCIENCES, 18(2), 1284–1313.

Robust solutions of nonlinear least squares problems via min-max optimization

Chen, X., & Kelley, C. T. (2025, May 16). IMA JOURNAL OF NUMERICAL ANALYSIS, Vol. 5.

Gut length evolved under sexual conflict in Lake Malawi cichlids

Baez, A. C., Ciccotto, P. J., Moore, E. C., Peterson, E. N., Lamm, M. S., Roberts, N. B., … Roberts, R. B. (2025, June 13). (J. Gleason, Ed.). GENETICS, Vol. 6.

The 2-D Bin Packing Problem with Multiple Levels of Prioritization: A Spatial Optimization Perspective

Kirschenman, W., Heese, H. S., Kay, M., King, R., & McConnell, B. (2025, September 22).

Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 22, 1–11.

Reducing cybersecurity vulnerabilities in the supply base: Insights from cyber experts

TECHNOLOGY IN SOCIETY, 82.

Understanding Narratives of Trauma on Social Media

PROCEEDINGS OF THE 17TH ACM WEB SCIENCE CONFERENCE, WEBSCI 2025, pp. 338–347.

Optimal Control for Platooning Under Batch Dispatching Opportunities

Gomides, T. S., Kranakis, E., Lambadaris, I., & Viniotis, Y. (2025, April 9). IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS.

Media representation of ethical and social issues inherent in autonomous vehicle technology

Ferrell, M., Raikar, I. P., Pflanzer, M., List, G., & Dubljevic, V. (2025, April 24). AI & SOCIETY, Vol. 4.

Observer-Based Fault Reconstruction for Continuous-Time Piecewise-Affine Systems: A Novel Iterative Learning Approach

Science China Information Sciences.