![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Eric Smith
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2020
- [b1]Griselda Acosta, Eric Smith, Vladik Kreinovich:
Towards Analytical Techniques for Systems Engineering Applications. Springer 2020, ISBN 978-3-030-46412-7, pp. 1-95
Journal Articles
- 2021
- [j19]Petar I. Penev
, Claudia Alvarez-Carreño
, Eric Smith, Anton S. Petrov
, Loren Dean Williams
:
TwinCons: Conservation score for uncovering deep sequence similarity and divergence. PLoS Comput. Biol. 17(10) (2021) - 2020
- [j18]Eric Smith:
Intrinsic and Extrinsic Thermodynamics for Stochastic Population Processes with Multi-Level Large-Deviation Structure. Entropy 22(10): 1137 (2020) - 2018
- [j17]Cameron Clarke, Eric Smith, Mahmood Khan, Zaina Al-Mohtaseb:
Social Media and Ophthalmology: Perspectives of Patients and Ophthalmologists. J. Medical Syst. 42(12): 258:1-258:6 (2018) - [j16]Aditya Akundi
, Eric Smith, Tzu-Liang Tseng:
Information entropy applied to software based control flow graphs. Int. J. Syst. Assur. Eng. Manag. 9(5): 1080-1091 (2018) - 2017
- [j15]Robert Vasta, Ian Crandell, Anthony Millican, Leanna House, Eric Smith:
Outlier Detection for Sensor Systems (ODSS): A MATLAB Macro for Evaluating Microphone Sensor Data Quality. Sensors 17(10): 2329 (2017) - 2013
- [j14]Harold J. Morowitz, Vijayasarathy Srinivasan, Eric Smith:
From simplicity to complexity: The size of the genomes of human pathogens. Complex. 18(5): 5-6 (2013) - 2012
- [j13]Rogier Braakman, Eric Smith:
The Emergence and Early Evolution of Biological Carbon-Fixation. PLoS Comput. Biol. 8(4) (2012) - 2009
- [j12]Martin Shubik, Eric Smith:
Econophysics: Present and future. Complex. 14(3): 9-10 (2009) - [j11]Martin Shubik, Eric Smith:
Building theories of economic process. Complex. 14(3): 77-92 (2009) - [j10]Harold J. Morowitz, Vijayasarathy Srinivasan, Eric Smith:
Revolution in organic chemistry and its implication in biogenesis. Complex. 14(6): 7-8 (2009) - 2008
- [j9]Vijayasarathy Srinivasan, Harold J. Morowitz, Eric Smith:
Essential amino acids, from LUCA to LUCY. Complex. 13(4): 8-9 (2008) - [j8]Harold J. Morowitz, Eric Smith, Vijayasarathy Srinivasan:
Selfish metabolism. Complex. 14(2): 7-9 (2008) - 2007
- [j7]Lokesh Joshi, Eric Smith, Harold J. Morowitz:
Glycobiology: The sweet language of life, complexity, and morphogenesis: Syntax for Intermolecular and Intercellular Communication. Complex. 12(6): 9-10 (2007) - [j6]Eric Smith:
Intensive entropy? Complex. 12(6): 11-13 (2007) - [j5]Harold J. Morowitz, Eric Smith:
Energy flow and the organization of life. Complex. 13(1): 51-59 (2007) - 2006
- [j4]Harold J. Morowitz, Vijayasarathy Srinivasan, Eric Smith:
The Swiss army knife of biological catalysis: A compact toolkit of organic functional groups. Complex. 11(3): 9-10 (2006) - [j3]Eric Smith, Harold J. Morowitz, Vijayasarathy Srinivasan:
Experimental search for minimal organisms and the last universal common ancestor: Reconstructing the Ur-Organism. Complex. 12(1): 11-12 (2006) - 2005
- [j2]Harold J. Morowitz, Vijayasarathy Srinivasan, Shelley Copley, Eric Smith:
The simplest enzyme revisited: The chicken and egg argument solved. Complex. 10(5): 12-13 (2005) - 2002
- [j1]Ricard V. Solé, Romualdo Pastor-Satorras, Eric Smith, Thomas B. Kepler:
A Model of Large-Scale proteome Evolution. Adv. Complex Syst. 5(1): 43-54 (2002)
Conference and Workshop Papers
- 2024
- [c27]Angela M. Zavaleta Bernuy
, Runlong Ye
, Naaz Sibia
, Rohita Nalluri
, Joseph Jay Williams
, Andrew Petersen
, Eric Smith
, Bogdan Simion
, Michael Liut
:
Student Interaction with Instructor Emails in Introductory and Upper-Year Computing Courses. SIGCSE (1) 2024: 1477-1483 - [c26]Florence Yellin, Scott McCloskey, Cole Hill, Eric Smith, Brian Clipp:
Concurrent Band Selection and Traversability Estimation from Long-Wave Hyperspectral Imagery in Off-Road Settings. WACV 2024: 7468-7477 - 2022
- [c25]Florence Yellin, Eric Smith, Michael Albright, Scott McCloskey:
Resolution Transfer for Object Detection from Satellite Imagery. ICPR 2022: 449-456 - [c24]Francisco Zapata, Eric Smith, Olga Kosheleva, Vladik Kreinovich:
Seemingly Counter-Intuitive Features of Good-to-Great Companies Actually Make Perfect Sense: Possible Algorithmics-Based Explanations. IS 2022: 1-4 - 2020
- [c23]Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam:
Run-Time Assurance for Learning-Enabled Systems. NFM 2020: 361-368 - [c22]Aditya Akundi, Eric Smith:
Understanding the Trends of Autonomous Systems Over the Last Decade - A Work in Progress. SysCon 2020: 1-4 - 2018
- [c21]Aditya Akundi, Eric Smith, Tzu-Liang Tseng, Ileana Rubio:
Quantifying system structural complexity using design structure matrices. SysCon 2018: 1-8 - [c20]Aditya Akundi, Eric Smith, Tzu-Liang Tseng, Ileana Rubio:
An attempt to understand information processing capability in complex networks. SysCon 2018: 1-6 - [c19]Aditya Akundi, Eric Smith, Tzu-Liang Tseng, Ileana Rubio:
INCOSE SE handbook v3.2 and v4.0 analysis of context diagrams set. SysCon 2018: 1-5 - 2017
- [c18]Chengjiang Long, Eric Smith, Arslan Basharat, Anthony Hoogs:
A C3D-Based Convolutional Neural Network for Frame Dropping Detection in a Single Video Shot. CVPR Workshops 2017: 1898-1906 - 2016
- [c17]Matthew J. Leotta, Eric Smith, Matthew Dawkins, Paul Tunison:
Open source structure-from-motion for aerial video. WACV 2016: 1-9 - 2015
- [c16]Oscar Mondragon, Jagadish Thimiri Mallikarjan, Eric Smith:
Experiments with personal ownership of quality at the University of Texas at El Paso. FIE 2015: 1-5 - [c15]Eric Smith, Alessandro Coglio:
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover. VSTTE 2015: 183-201 - 2014
- [c14]Benjamin Selfridge, Eric Smith:
Polymorphic Types in ACL2. ACL2 2014: 49-59 - 2013
- [c13]Francisco Zapata, Aditya Akundi
, Ricardo Pineda, Eric Smith:
Basis Path Analysis for Testing Complex System of Systems. Complex Adaptive Systems 2013: 256-261 - [c12]Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith:
Crowd-scale interactive formal reasoning and analytics. UIST 2013: 363-372 - 2012
- [c11]Leemon C. Baird III, Martin C. Carlisle
, William L. Bahn, Eric Smith:
The Glowworm hash: Increased speed and security for BBC unkeyed jam resistance. MILCOM 2012: 1-6 - [c10]Aditya Akundi
, Francisco Zapata, Eric Smith:
UML Profile and Extensions for Complex Approval Systems with Complementary Levels of Abstraction. Complex Adaptive Systems 2012: 75-80 - 2011
- [c9]Stefan Hempel, Ricardo Pineda, Eric Smith:
Self-Reference as a Principle Indicator of Complexity. ICSEng 2011: 386-391 - [c8]Stefan Hempel, Ricardo Pineda, Eric Smith:
Self-reference as a principal indicator of complexity. Complex Adaptive Systems 2011: 22-27 - [c7]Bharath Dantu, Eric Smith:
Medical Process Modeling with a Hybrid System Dynamics Zachman Framework. Complex Adaptive Systems 2011: 76-81 - [c6]Ramakanth Gona, Eric Smith:
Enterprise Transformation through Aspects and Levels: Zachman Bayesian Approach. Complex Adaptive Systems 2011: 82-87 - [c5]Manish Khadtare, Eric Smith:
Fractal-COSYSMO Systems Engineering Cost Estimation for Complex Projects. Complex Adaptive Systems 2011: 88-93 - 2007
- [c4]Eric Smith:
Phonological Reconstruction of a Dead Language Using the Gradual Learning Algorithm. SIGMORPHON 2007: 57-64 - 2003
- [c3]Ronald Baecker, Eric Smith:
Modularity and Hierarchical Structure in the Digital Video Lifecycle. Graphics Interface 2003: 217-224 - 1996
- [c2]Naomi Friedlander, Ronald Baecker, Alan J. Rosenthal, Eric Smith:
MAD: A Movie Authoring and Design System. CHI Conference Companion 1996: 17-18 - [c1]Ronald Baecker, Alan J. Rosenthal, Naomi Friedlander, Eric Smith, Andrew Cohen:
A Multimedia System for Authoring Motion Pictures. ACM Multimedia 1996: 31-42
Parts in Books or Collections
- 2023
- [p3]Francisco Zapata, Eric Smith, Vladik Kreinovich:
Systems Approach Explains Why Low Heart Rate Variability is Correlated with Depression (and Suicidal Thoughts). Uncertainty, Constraints, and Decision Making 2023: 49-53 - [p2]Francisco Zapata, Eric Smith, Vladik Kreinovich:
Unexpected Economic Consequence of Cloud Computing: A Boost to Algorithmic Creativity. Uncertainty, Constraints, and Decision Making 2023: 301-304 - [p1]Francisco Zapata, Eric Smith, Vladik Kreinovich:
Unreachable Statements Are Inevitable in Software Testing: Theoretical Explanation. Uncertainty, Constraints, and Decision Making 2023: 305-309
Informal and Other Publications
- 2023
- [i3]Alessandro Coglio, Eric McCarthy, Eric Smith, Collin Chin, Pranav Gaddamadugu, Michel Dellepere:
Compositional Formal Verification of Zero-Knowledge Circuits. IACR Cryptol. ePrint Arch. 2023: 1278 (2023) - 2021
- [i2]Collin Chin, Howard Wu, Raymond Chu, Alessandro Coglio, Eric McCarthy, Eric Smith:
Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications. IACR Cryptol. ePrint Arch. 2021: 651 (2021) - 2015
- [i1]Hyejin Youn, Logan Sutton, Eric Smith, Cristopher Moore, Jon F. Wilkins, Ian Maddieson, William Croft, Tanmoy Bhattacharya:
On the universal structure of human lexical semantics. CoRR abs/1504.07843 (2015)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint