Eric Smith

Proceedings of the Uncertainty, Constraints, and Decision Making, 2023

Unexpected Economic Consequence of Cloud Computing: A Boost to Algorithmic Creativity.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty, Constraints, and Decision Making, 2023

Systems Approach Explains Why Low Heart Rate Variability is Correlated with Depression (and Suicidal Thoughts).

[BibT_eX]

[DOI]

Proceedings of the Uncertainty, Constraints, and Decision Making, 2023

2022

Seemingly Counter-Intuitive Features of Good-to-Great Companies Actually Make Perfect Sense: Possible Algorithmics-Based Explanations.

[BibT_eX]

[DOI]

Proceedings of the IEEE 11th International Conference on Intelligent Systems, 2022

Resolution Transfer for Object Detection from Satellite Imagery.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Pattern Recognition, 2022

2021

TwinCons: Conservation score for uncovering deep sequence similarity and divergence.

[BibT_eX]

[DOI]

Petar I. Penev

Claudia Alvarez-Carreño

Anton S. Petrov

Loren Dean Williams

PLoS Comput. Biol., 2021

Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

2020

Intrinsic and Extrinsic Thermodynamics for Stochastic Population Processes with Multi-Level Large-Deviation Structure.

[BibT_eX]

[DOI]

Entropy, 2020

Understanding the Trends of Autonomous Systems Over the Last Decade - A Work in Progress.

[BibT_eX]

[DOI]

Aditya Akundi

Proceedings of the IEEE International Systems Conference, 2020

Run-Time Assurance for Learning-Enabled Systems.

[BibT_eX]

[DOI]

Darren D. Cofer

Isaac Amundson

Ramachandra Sattigeri

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Towards Analytical Techniques for Systems Engineering Applications

[BibT_eX]

[DOI]

Griselda Acosta

286, Springer, ISBN: 978-3-030-46412-7, 2020

2018

Information entropy applied to software based control flow graphs.

[BibT_eX]

[DOI]

Aditya Akundi

Tzu-Liang Tseng

Int. J. Syst. Assur. Eng. Manag., 2018

Social Media and Ophthalmology: Perspectives of Patients and Ophthalmologists.

[BibT_eX]

[DOI]

J. Medical Syst., 2018

INCOSE SE handbook v3.2 and v4.0 analysis of context diagrams set.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

An attempt to understand information processing capability in complex networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

Quantifying system structural complexity using design structure matrices.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2017

Outlier Detection for Sensor Systems (ODSS): A MATLAB Macro for Evaluating Microphone Sensor Data Quality.

[BibT_eX]

[DOI]

Sensors, 2017

A C3D-Based Convolutional Neural Network for Frame Dropping Detection in a Single Video Shot.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017

2016

Open source structure-from-motion for aerial video.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Winter Conference on Applications of Computer Vision, 2016

2015

On the universal structure of human lexical semantics.

[BibT_eX]

[DOI]

CoRR, 2015

Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover.

[BibT_eX]

[DOI]

Jagadish Thimiri Mallikarjan

Alessandro Coglio

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Experiments with personal ownership of quality at the University of Texas at El Paso.

[BibT_eX]

[DOI]

Oscar Mondragon

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

2014

Polymorphic Types in ACL2.

[BibT_eX]

[DOI]

Benjamin Selfridge

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2013

From simplicity to complexity: The size of the genomes of human pathogens.

[BibT_eX]

[DOI]

Complex., 2013

Crowd-scale interactive formal reasoning and analytics.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

Basis Path Analysis for Testing Complex System of Systems.

[BibT_eX]

[DOI]

Proceedings of the Complex Adaptive Systems 2013 Conference, 2013

2012

UML Profile and Extensions for Complex Approval Systems with Complementary Levels of Abstraction.

[BibT_eX]

[DOI]

Aditya Akundi

Proceedings of the Complex Adaptive Systems 2012 Conference, 2012

The Emergence and Early Evolution of Biological Carbon-Fixation.

[BibT_eX]

[DOI]

Rogier Braakman

PLoS Comput. Biol., 2012

The Glowworm hash: Increased speed and security for BBC unkeyed jam resistance.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Military Communications Conference, 2012

2011

Fractal-COSYSMO Systems Engineering Cost Estimation for Complex Projects.

[BibT_eX]

[DOI]

Manish Khadtare

Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

Self-reference as a principal indicator of complexity.

[BibT_eX]

[DOI]

Stefan Hempel

Ricardo Pineda

Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

Enterprise Transformation through Aspects and Levels: Zachman Bayesian Approach.

[BibT_eX]

[DOI]

Ramakanth Gona

Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

Medical Process Modeling with a Hybrid System Dynamics Zachman Framework.

[BibT_eX]

[DOI]

Bharath Dantu

Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

Self-Reference as a Principle Indicator of Complexity.

[BibT_eX]

[DOI]

Stefan Hempel

Ricardo Pineda

Proceedings of the 21st International Conference on Systems Engineering (ICSEng 2011), 2011

2009

Building theories of economic process.

[BibT_eX]

[DOI]

Martin Shubik

Complex., 2009

Econophysics: Present and future.

[BibT_eX]

[DOI]

Martin Shubik

Complex., 2009

Revolution in organic chemistry and its implication in biogenesis.

[BibT_eX]

[DOI]

Complex., 2009

2008

Essential amino acids, from LUCA to LUCY.

[BibT_eX]

[DOI]

Complex., 2008

Selfish metabolism.

[BibT_eX]

[DOI]

Complex., 2008

2007

Intensive entropy?

[BibT_eX]

[DOI]

Complex., 2007

Energy flow and the organization of life.

[BibT_eX]

[DOI]

Complex., 2007

Glycobiology: The sweet language of life, complexity, and morphogenesis: Syntax for Intermolecular and Intercellular Communication.

[BibT_eX]

[DOI]

Lokesh Joshi

Complex., 2007

Phonological Reconstruction of a Dead Language Using the Gradual Learning Algorithm.

[BibT_eX]

[DOI]

Proceedings of Ninth Meeting of the ACL Special Interest Group in Computational Morphology and Phonology, 2007

2006

Experimental search for minimal organisms and the last universal common ancestor: Reconstructing the Ur-Organism.

[BibT_eX]

[DOI]

Complex., 2006

The Swiss army knife of biological catalysis: A compact toolkit of organic functional groups.

[BibT_eX]

[DOI]

Complex., 2006

2005

The simplest enzyme revisited: The chicken and egg argument solved.

[BibT_eX]

[DOI]

Shelley Copley

Complex., 2005

2003

Modularity and Hierarchical Structure in the Digital Video Lifecycle.

[BibT_eX]

Ronald Baecker

Proceedings of the Graphics Interface 2003 Conference, 2003

2002

A Model of Large-Scale proteome Evolution.

[BibT_eX]

[DOI]

Ricard V. Solé

Romualdo Pastor-Satorras