Eric Smith

57 papers A* 2A 2B 2C 2Journal 26Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
Large Reasoning Models Learn Better Alignment from Flawed Thinking.
CoRR
Shengyun Peng, Eric Smith, Ivan Evtimov, Song Jiang, Pin-Yu Chen, Hongyuan Zhan, Haozhu Wang, Duen Horng Chau, Mahesh Pasupuleti, Jianfeng Chi
2025 J jnl
On-the-job wage dynamics.
J. Econ. Theory
Eric Smith
2024 A conf
Concurrent Band Selection and Traversability Estimation from Long-Wave Hyperspectral Imagery in Off-Road Settings.
WACV
Florence Yellin, Scott McCloskey, Cole Hill, Eric Smith, Brian Clipp
2024 J jnl
Llama Guard 3 Vision: Safeguarding Human-AI Image Understanding Conversations.
CoRR
Jianfeng Chi, Ujjwal Karn, Hongyuan Zhan, Eric Smith, Javier Rando, Yiming Zhang, Kate Plawiak, Zacharie Delpierre Coudert, Kartikeya Upasani, Mahesh Pasupuleti
2024 J jnl
Llama Guard 3-1B-INT4: Compact and Efficient Safeguard for Human-AI Conversations.
CoRR
Igor Fedorov, Kate Plawiak, Lemeng Wu, Tarek Elgamal, Naveen Suda, Eric Smith, Hongyuan Zhan, Jianfeng Chi, Yuriy Hulovatyy, Kimish Patel, Zechun Liu, Changsheng Zhao, Yangyang Shi, Tijmen Blankevoort, Mahesh Pasupuleti, Bilge Soran, Zacharie Delpierre Coudert, Rachad Alao, Raghuraman Krishnamoorthi, Vikas Chandra
2024 — conf
Student Interaction with Instructor Emails in Introductory and Upper-Year Computing Courses.
SIGCSE (1)
Angela M. Zavaleta Bernuy, Runlong Ye, Naaz Sibia, Rohita Nalluri, Joseph Jay Williams, Andrew Petersen, Eric Smith, Bogdan Simion, Michael Liut
2023 J jnl
Compositional Formal Verification of Zero-Knowledge Circuits.
IACR Cryptol. ePrint Arch.
Alessandro Coglio, Eric McCarthy, Eric Smith, Collin Chin, Pranav Gaddamadugu, Michel Dellepere
2023 — ch.
Systems Approach Explains Why Low Heart Rate Variability is Correlated with Depression (and Suicidal Thoughts).
Uncertainty, Constraints, and Decision Making
Francisco Zapata, Eric Smith, Vladik Kreinovich
2023 — ch.
Unexpected Economic Consequence of Cloud Computing: A Boost to Algorithmic Creativity.
Uncertainty, Constraints, and Decision Making
Francisco Zapata, Eric Smith, Vladik Kreinovich
2023 — ch.
Unreachable Statements Are Inevitable in Software Testing: Theoretical Explanation.
Uncertainty, Constraints, and Decision Making
Francisco Zapata, Eric Smith, Vladik Kreinovich
2022 B conf
Resolution Transfer for Object Detection from Satellite Imagery.
ICPR
Florence Yellin, Eric Smith, Michael Albright, Scott McCloskey
2022 — conf
Seemingly Counter-Intuitive Features of Good-to-Great Companies Actually Make Perfect Sense: Possible Algorithmics-Based Explanations.
IS
Francisco Zapata, Eric Smith, Olga Kosheleva, Vladik Kreinovich
2021 J jnl
Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications.
IACR Cryptol. ePrint Arch.
Collin Chin, Howard Wu, Raymond Chu, Alessandro Coglio, Eric McCarthy, Eric Smith
2021 J jnl
TwinCons: Conservation score for uncovering deep sequence similarity and divergence.
PLoS Comput. Biol.
Petar I. Penev, Claudia Alvarez-Carreño, Eric Smith, Anton S. Petrov, Loren Dean Williams
2020 J jnl
Intrinsic and Extrinsic Thermodynamics for Stochastic Population Processes with Multi-Level Large-Deviation Structure.
Entropy
Eric Smith
2020 — conf
Run-Time Assurance for Learning-Enabled Systems.
NFM
Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
2020 — book
Towards Analytical Techniques for Systems Engineering Applications
Griselda Acosta, Eric Smith, Vladik Kreinovich
2020 — conf
Understanding the Trends of Autonomous Systems Over the Last Decade - A Work in Progress.
SysCon
Aditya Akundi, Eric Smith
2018 — conf
An attempt to understand information processing capability in complex networks.
SysCon
Aditya Akundi, Eric Smith, Tzu-Liang Tseng, Ileana Rubio
2018 — conf
INCOSE SE handbook v3.2 and v4.0 analysis of context diagrams set.
SysCon
Aditya Akundi, Eric Smith, Tzu-Liang Tseng, Ileana Rubio
2018 J jnl
Information entropy applied to software based control flow graphs.
Int. J. Syst. Assur. Eng. Manag.
Aditya Akundi, Eric Smith, Tzu-Liang Tseng
2018 — conf
Quantifying system structural complexity using design structure matrices.
SysCon
Aditya Akundi, Eric Smith, Tzu-Liang Tseng, Ileana Rubio
2018 J jnl
Social Media and Ophthalmology: Perspectives of Patients and Ophthalmologists.
J. Medical Syst.
Cameron Clarke, Eric Smith, Mahmood Khan, Zaina Al-Mohtaseb
2017 — conf
A C3D-Based Convolutional Neural Network for Frame Dropping Detection in a Single Video Shot.
CVPR Workshops
Chengjiang Long, Eric Smith, Arslan Basharat, Anthony Hoogs
2017 J jnl
Outlier Detection for Sensor Systems (ODSS): A MATLAB Macro for Evaluating Microphone Sensor Data Quality.
Sensors
Robert Vasta, Ian Crandell, Anthony Millican, Leanna House, Eric Smith
2016 A conf
Open source structure-from-motion for aerial video.
WACV
Matthew J. Leotta, Eric Smith, Matthew Dawkins, Paul Tunison
2015 — conf
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover.
VSTTE
Eric Smith, Alessandro Coglio
2015 C conf
Experiments with personal ownership of quality at the University of Texas at El Paso.
FIE
Oscar Mondragon, Jagadish Thimiri Mallikarjan, Eric Smith
2015 J jnl
On the universal structure of human lexical semantics.
CoRR
Hyejin Youn, Logan Sutton, Eric Smith, Cristopher Moore, Jon F. Wilkins, Ian Maddieson, William Croft, Tanmoy Bhattacharya
2014 — conf
Polymorphic Types in ACL2.
ACL2
Benjamin Selfridge, Eric Smith
2013 — conf
Basis Path Analysis for Testing Complex System of Systems.
Complex Adaptive Systems
Francisco Zapata, Aditya Akundi, Ricardo Pineda, Eric Smith
2013 A* conf
Crowd-scale interactive formal reasoning and analytics.
UIST
Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith
2013 J jnl
From simplicity to complexity: The size of the genomes of human pathogens.
Complex.
Harold J. Morowitz, Vijayasarathy Srinivasan, Eric Smith
2012 J jnl
The Emergence and Early Evolution of Biological Carbon-Fixation.
PLoS Comput. Biol.
Rogier Braakman, Eric Smith
2012 — conf
The Glowworm hash: Increased speed and security for BBC unkeyed jam resistance.
MILCOM
Leemon C. Baird III, Martin C. Carlisle, William L. Bahn, Eric Smith
2012 — conf
UML Profile and Extensions for Complex Approval Systems with Complementary Levels of Abstraction.
Complex Adaptive Systems
Aditya Akundi, Francisco Zapata, Eric Smith
2011 — conf
Enterprise Transformation through Aspects and Levels: Zachman Bayesian Approach.
Complex Adaptive Systems
Ramakanth Gona, Eric Smith
2011 — conf
Fractal-COSYSMO Systems Engineering Cost Estimation for Complex Projects.
Complex Adaptive Systems
Manish Khadtare, Eric Smith
2011 — conf
Medical Process Modeling with a Hybrid System Dynamics Zachman Framework.
Complex Adaptive Systems
Bharath Dantu, Eric Smith
2011 C conf
Self-Reference as a Principle Indicator of Complexity.
ICSEng
Stefan Hempel, Ricardo Pineda, Eric Smith
2011 — conf
Self-reference as a principal indicator of complexity.
Complex Adaptive Systems
Stefan Hempel, Ricardo Pineda, Eric Smith
2009 J jnl
Building theories of economic process.
Complex.
Martin Shubik, Eric Smith
2009 J jnl
Econophysics: Present and future.
Complex.
Martin Shubik, Eric Smith
2009 J jnl
Revolution in organic chemistry and its implication in biogenesis.
Complex.
Harold J. Morowitz, Vijayasarathy Srinivasan, Eric Smith
2008 J jnl
Essential amino acids, from LUCA to LUCY.
Complex.
Vijayasarathy Srinivasan, Harold J. Morowitz, Eric Smith
2008 J jnl
Selfish metabolism.
Complex.
Harold J. Morowitz, Eric Smith, Vijayasarathy Srinivasan
2007 J jnl
Energy flow and the organization of life.
Complex.
Harold J. Morowitz, Eric Smith
2007 J jnl
Glycobiology: The sweet language of life, complexity, and morphogenesis: Syntax for Intermolecular and Intercellular Communication.
Complex.
Lokesh Joshi, Eric Smith, Harold J. Morowitz
2007 J jnl
Intensive entropy?
Complex.
Eric Smith
2007 — conf
Phonological Reconstruction of a Dead Language Using the Gradual Learning Algorithm.
SIGMORPHON
Eric Smith
2006 J jnl
Experimental search for minimal organisms and the last universal common ancestor: Reconstructing the Ur-Organism.
Complex.
Eric Smith, Harold J. Morowitz, Vijayasarathy Srinivasan
2006 J jnl
The Swiss army knife of biological catalysis: A compact toolkit of organic functional groups.
Complex.
Harold J. Morowitz, Vijayasarathy Srinivasan, Eric Smith
2005 J jnl
The simplest enzyme revisited: The chicken and egg argument solved.
Complex.
Harold J. Morowitz, Vijayasarathy Srinivasan, Shelley Copley, Eric Smith
2003 B conf
Modularity and Hierarchical Structure in the Digital Video Lifecycle.
Graphics Interface
Ronald Baecker, Eric Smith
2002 J jnl
A Model of Large-Scale proteome Evolution.
Adv. Complex Syst.
Ricard V. Solé, Romualdo Pastor-Satorras, Eric Smith, Thomas B. Kepler
1996 A* conf
A Multimedia System for Authoring Motion Pictures.
ACM Multimedia
Ronald Baecker, Alan J. Rosenthal, Naomi Friedlander, Eric Smith, Andrew Cohen
1996 — conf
MAD: A Movie Authoring and Design System.
CHI Conference Companion
Naomi Friedlander, Ronald Baecker, Alan J. Rosenthal, Eric Smith