Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Max H. Garzon

dblp:52/2077 · DBLP profile ↗
← Back
51ranked-venue papers
27as first author
3since 2021 · last 2021
0000-0001-9552-2255ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 29 · 14 first-author · 1 since 2021Theory of computation · 10 · 5 first-authorApplied, interdisciplinary, general and emerging computing · 8 · 6 first-author · 1 since 2021Databases, data management, data science and information retrieval · 4 · 1 first-author · 1 since 2021Systems, architecture and hardware · 1 · 1 first-authorComputer networks · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
3 papers
Trustworthy machine learning · 38% Deep learning architectures and training · 25% Motion planning and robot control · 19%
Theoretical computer science
2 papers
Computational complexity · 56% Algorithms and data structures · 24% Graph algorithms and graph theory · 20%

Topics — the 9 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Trustworthy machine learning
interpretability
0.021993
Stability and Observability · NIPS 1993
Observability of Neural Network Behavior · NIPS 1993
Machine learning › Deep learning architectures and training › equivariant neural network
symmetric neural networks
0.011995
Absence of Cycles in Symmetric Neural Networks · NIPS 1995
Robotics › Robot navigation and mapping › state estimation
observability analysis
0.011993
Stability and Observability · NIPS 1993
Robotics › Motion planning and robot control
stability analysis
0.011993
Stability and Observability · NIPS 1993
Computational complexity › decision problems › isomorphism problems › isomorphism completeness
graph isomorphism completeness
0.011986
The Complexity of Isomorphism Testing · FOCS 1986
Computational complexity › decision problems › isomorphism problems
group isomorphism
0.011986
The Complexity of Isomorphism Testing · FOCS 1986
Computational complexity › decision problems › isomorphism problems
isomorphism testing
0.011986
The Complexity of Isomorphism Testing · FOCS 1986
Algorithms and data structures
polynomial-time algorithms
0.011986
The Complexity of Isomorphism Testing · FOCS 1986
Algorithms and data structures › exact exponential algorithms
subexponential algorithms
0.011986
The Complexity of Isomorphism Testing · FOCS 1986

Methods — techniques the papers use, named apart from their topics

group theory · 0.0
YearPublicationVenuePosition
2021 Morphogenetic systems for resource bounded computation and modeling
Petr Sosík, Max H. Garzon, Vladimír Smolka, Jan Drastík
Inf. Sci.2
2021 Self-healing turing-universal computation in morphogenetic systems
Petr Sosík, Max H. Garzon, Jan Drastík
Nat. Comput.2
2021 Foretelling the Phenotype of a Genomic Sequence
abstract
Estimating phenotypic features (physical and biochemical traits) in a biological organism from their genomic sequence alone and/or environmental conditions has major applications in anthropological paleontology and criminal forensics, for example. To what extent do genomic sequences generally and causally determine phenotypic features of organisms, environmental conditions aside? We present results of two studies, one in blackfly (Insecta:Diptera:Simuliidae) larvae in two species (Simulium ignescens and S. tunja) with four phenotypic features, including the area and spot pattern of the cephalic apotome (in the form of a latin cross on the dorsal side of the head), the postgenal cleft (area under the head on the ventral side) and general body color in larva specimens; the second in strains of Arabidopsis thaliana. They establish that a substantial component of these phenotypic features (over 75 percent) are at least logically inferable, if not causally determined, by genomic fragments alone, despite the fact that these phenotypic features are not 100 percent determined entirely by genetic traits. These results suggest that it is possible to infer the genetic contribution in the determination of specific phenotypic features of a biological organism, without recourse to the causal chain of metabolomics and proteomic events leading to them from genomic sequences.
Sambriddhi Mainali, Fredy A. Colorado, Max H. Garzon
IEEE ACM Trans. Comput. Biol. Bioinform.3
2018 Self-adaptive Evolutionary Algorithm for DNA Codeword Design
abstract
DNA has emerged as a new computational resource for data encoding and processing. The fundamental problem of DNA Codeword Design (CWD) calls for finding effective ways to encode and process data in DNA. The problem has shown to be of interest in other areas as well, including computational memories, self-assembly and phylogenetic analysis, among others. In prior work, a framework to analyze this problem has been developed and simple versions of CWD have been shown to be NP-complete using any single reasonable metric that approximates the Gibbs energy, thus practically making it very difficult to find a general procedure for finding optimal efficient encodings. We present a Self-adaptive Evolutionary Algorithm for CWD (SaEA-CWD) as an extension of the Hybrid Adaptive Evolutionary algorithm (HAEA). SaEA-CWD is a parameter adaptation technique that automatically adapts the rates of its genetic operator applications to exploit structural properties of the search space to improve the speed and quality of the solutions. An implementation and preliminary results are evaluated in spaces where searches are already prohibitive to ordinary methods (such as 8- and 10-mers) due to the combinatorial explosion of the solution DNA space. Applications to other problems are suggested, such as a general technique for dimensionality reduction based on SaEA-CWD.
Jeisson Prieto, Elizabeth León-Guzmán, Max H. Garzon
CEC3
2012 A Geometric Approach to Gibbs Energy Landscapes and Optimal DNA Codeword Design
Max H. Garzon, Kiran C. Bobba
DNA1
2011 DNA chips for species identification and biological phylogenies
Max H. Garzon, Tit-Yee Wong
Nat. Comput.1
2010 Search and Validation of Short Genome-Wide Biomarkers for Bacterial Biological Phylogenies
Max H. Garzon, Tit-Yee Wong
DNA1
2010 A neurocontrol for automatic reconstruction of facial displays
abstract
Anthropomorphic representations of software agents (avatars) are being used as user interfaces in order to enhance communication bandwidth and interaction with human users. They have been traditionally programmed and controlled by ontologies designed according to intuitive and heuristic considerations. More recently, recurrent neural nets have been trained as neurocontrollers for emotional displays in avatars, on a continuous scale of negative, neutral, and positive feedback, that are meaningful to users in the context of tutoring sessions on a particular domain (computer literacy). We report on a new neurocontrol developed as a recurrent network to autonomously and dynamically generate and synchronize the movements of facial features such as lips, eyes, eyebrows, and gaze in order to produce facial displays that convey high information content on nonverbal behavior to untrained human users. The neurocontrol is modular and can be easily integrated with semantic processing modules of larger agents that operate in real-time, such as videoconference systems, tutoring systems, and more generally, user interfaces coupled with affective computing modules for naturalistic communication. A novel technique, cascade inversion, provides an alternative to backpropagation through time where the latter may fail to learn recurrent neural nets from previously learned modules playing a role in the final solution.
Max H. Garzon, Buvaneshwari Sivakumar
IJCNN1
2009 DNA Chips for Species Identification and Biological Phylogenies
Max H. Garzon, Tit-Yee Wong, Vinhthuy T. Phan
DNA1
2009 On codeword design in metric DNA spaces
Vinhthuy T. Phan, Max H. Garzon
Nat. Comput.2
2008 Preface
Max H. Garzon
Nat. Comput.1
2007 Neural-based agents cooperate to survive in the defend and gather computer game
abstract
The computer game Defend and Gather was created to evaluate two neural-based agents' ability to learn how to play and win the game. The agents navigate an environment to find resources and defeat enemies. Traditional game agents are often neither challenging enough to human opponents over time, nor scalable to environments not anticipated at the time the agents were originally programmed. We show that neural- based agents have the ability to learn from their human counterparts or from the environment, thus remaining competitive over time. The neural-based agents developed for Defend and Gather have the ability to formulate tactics within increasingly difficult environments involving more sophisticated enemies and can win the game over seventy-five percent of the time.
Joseph Qualls, Max H. Garzon, David J. Russomanno
IEEE Congress on Evolutionary Computation2
2007 Real-Time Virtual Videophone for Low-bandwidth Wireless Networks
abstract
In this paper, we provide an evaluation for our proposed real-time virtual videophone using talking heads over low-bandwidth wireless networks, in which a person's face is substituted with a talking head to save bandwidth. Results show large enough gains in communication bandwidth to make the architecture feasible.
Yang Xiao 0001, Max H. Garzon, Michael Nolen
WCNC2
2006 "Reasoning" and "Talking" DNA: Can DNA Understand English?
Kiranchand V. Bobba, Andrew Neel, Vinhthuy T. Phan, Max H. Garzon
DNA4
2006 In Search of Optimal Codes for DNA Computing
Max H. Garzon, Vinhthuy T. Phan, Sujoy Roy, Andrew Neel
DNA1
2006 Characterization of Non-crosshybridizing DNA Oligonucleotides Manufactured in vitro
Junghuei Chen, Russell J. Deaton, Max H. Garzon, Jin Woo Kim, David Harlan Wood, Hong Bi, Dylan Carpenter, Yu-Zhen Wang
Nat. Comput.3
2004 Soundness and quality of semantic retrieval in DNA-based memories with abiotic data
abstract
Associative memories based on DNA-affinity have been proposed based in L. M. Adleman (1994) and E. Baum (1995). Previously, we have quantified the quality of retrieval of genomic information in simulation as stated in M. Garzon et al. (2003). Here, the ability of two types of DNA-based memories to store abiotic data and retrieve semantic information is evaluated for soundness and compared to state-of-the-art symbolic methods available, such as LSA (latent semantic analysis) of T. K. Landauer et al. Their ability is poor when performed without a proper compaction procedure. However, when the corpus is summarized through a selection protocol based on PCR or a training procedure on J. Chen et al. (2004) to extract useful information, their performance is much closer to that of LSA, according to human expert ratings. These results are expected to improve and scale up when actual DNA molecules are employed in real test tubes, currently a feasible goal.
Andrew Neel, Max H. Garzon, Phani Penumetsa
IEEE Congress on Evolutionary Computation2
2004 Improving the Quality of Semantic Retrieval in DNA-Based Memories with Learning
Andrew Neel, Max H. Garzon, Phanni Penumatsa
KES2
2004 Development, evaluation and benchmarking of simulation software for biomolecule-based computing
Derrel Blain, Max H. Garzon, Soo-Yong Shin, Byoung-Tak Zhang, Satoshi Kashiwamura, Masahito Yamamoto, Atsushi Kameda, Azuma Ohuchi
Nat. Comput.2
2004 Virtual test tubes
Max H. Garzon, Derrel Blain, Andrew Neel
Nat. Comput.1
2004 Codeword design and information encoding in DNA ensembles
Max H. Garzon, Russell J. Deaton
Nat. Comput.1
2004 Editorial
Max H. Garzon, John A. Rose
Nat. Comput.1
2003 Efficiency and Reliability of DNA-Based Memories
Max H. Garzon, Andrew Neel
GECCO1
2003 DNA-Like Genomes for Evolution in silico
Michael West, Max H. Garzon, Derrel Blain
GECCO2
2003 In vitro selection of non-crosshybridizing oligonucleotides for computation
Hong Bi, Junghuei Chen, Russell J. Deaton, Max H. Garzon, Harvey Rubin, David Harlan Wood
Nat. Comput.4
2002 Neurofuzzy recognition and generation of facial features in talking heads
abstract
We show that fuzzy neural nets can rate the emotional feedback message implicit in human facial expressions at a level comparable to human performance. We also identify primitive and derived features in facial expressions and animations. We also report on a partial solution to the difficult inverse problem of generating naturalistic facial expressions from summary abstract descriptions of the emotional feedback to be conveyed.
Max H. Garzon, Prashant Ankaraju, Evan M. Drumwright, Robert Kozma 0001
FUZZ-IEEE1
2001 MELISSA: Mobile Electronic LSA Internet Server Search Agent
Hal D. Brian, Max H. Garzon
Web Intelligence2
2001 Fuzzy logic with biomolecules
Russell J. Deaton, Max H. Garzon
Soft Comput.2
2001 Soft computing with biomolecules
Max H. Garzon, Michael Conrad
Soft Comput.1
2000 Virtual Test Tubes: A New Methodology for Computing
abstract
Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computation unfeasible on conventional electronic computers. While biomolecules have resolved fundamental problems as a parallel computer system that we are just beginning to decipher, BMC still suffers from our inability to harness these properties to bring biomolecular computations to levels of reliability, efficiency and scalability that are now taken for granted with conventional solid-state based computers. The authors explore an alternative approach to exploiting these properties by building virtual test tubes in software that would capture the fundamental advantages of biomolecules, in the same way that evolutionary algorithms capture in silico the key properties of Darwinian evolution. We use a previously built tool, Edna, to explore the capabilities of the new paradigm.
Max H. Garzon, Evan M. Drumwright, Russell J. Deaton, David Renault
SPIRE1
1999 On Self-Assembling Graphs in vitro
Max H. Garzon, Russell J. Deaton, Ken Barnes
GECCO1
1999 On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract)
Max H. Garzon
SOFSEM1
1999 Biomolecular Computing and Programming (Extended Abstract)
Max H. Garzon, Russell J. Deaton
SOFSEM1
1999 Dynamical approximation by recurrent neural networks
Max H. Garzon, Fernanda Botelho
Neurocomputing1
1999 Biomolecular computing and programming
abstract
Molecular computing is a discipline that aims at harnessing individual molecules at nanoscales for computational purposes. The best-studied molecules for this purpose to date have been DNA and bacteriorhodopsin. Biomolecular computing allows one to realistically entertain, for the first time in history, the possibility of exploiting the massive parallelism at nanoscales inherent in natural phenomena to solve computational problems. The implementation of evolutionary algorithms in biomolecules would bring full circle the biological analogy and present an attractive alternative to meet large demands for computational power. The paper presents a review of the most important advances in biomolecular computing in the last few years. Major achievements to date are outlined, both experimental and theoretical, and major potential advances and challenges for practitioners in the foreseeable future are identified. A list of sources and major events in the field has been compiled in the Appendix, although no exhaustive survey of the expanding literature is intended.
Max H. Garzon, Russell J. Deaton
IEEE Trans. Evol. Comput.1
1999 Genetic Programming 1998: Proceedings of the Third Annual Conference
abstract
info:eu-repo/semantics/published
John R. Koza, Wolfgang Banzhaf, Kumar Chellapilla, Kalyanmoy Deb, Marco Dorigo, David B. Fogel, Max H. Garzon, David E. Goldberg, Hitoshi Iba, Rick L. Riolo
IEEE Trans. Evol. Comput.7
1998 DNA Compunting: A Review
abstract
DNA computing holds out the promise of important and significant connections between computers and living systems, as well as promising massively parallel computations. Before these promises are fulfilled, however, important challenges related to err
Russell J. Deaton, Max H. Garzon, John A. Rose, Donald R. Franceschetti, Stanley Edward Stevens Jr.
Fundam. Informaticae2
1998 Absence of Cycles in Symmetric Neural Networks
abstract
For a given recurrent neural network, a discrete-time model may have asymptotic dynamics different from the one of a related continuous-time model. In this article, we consider a discrete-time model that discretizes the continuous-time leaky integrat or model and study its parallel, sequential, block-sequential, and distributed dynamics for symmetric networks. We provide sufficient (and in many cases necessary) conditions for the discretized model to have the same cycle-free dynamics of the corresponding continuous-time model in symmetric networks.
Arun K. Jagota, Fernanda Botelho, Max H. Garzon
Neural Comput.4
1995 Absence of Cycles in Symmetric Neural Networks
Arun K. Jagota, Fernanda Botelho, Max H. Garzon
NIPS4
1994 Boolean Neural Nets are Observable
Fernanda Botelho, Max H. Garzon
Theor. Comput. Sci.2
1994 Computability with Low-Dimensional Dynamical Systems
Pascal Koiran, Michel Cosnard, Max H. Garzon
Theor. Comput. Sci.3
1993 Observability of Neural Network Behavior
Max H. Garzon, Fernanda Botelho
NIPS1
1993 Stability and Observability
Max H. Garzon, Fernanda Botelho
NIPS1
1993 Computability Properties of Low-dimensional Dynamical Systems
Michel Cosnard, Max H. Garzon, Pascal Koiran
STACS2
1993 Cayley Automata
Max H. Garzon
Theor. Comput. Sci.1
1992 Design and Testing of a General-Purse Neurocomputer
Max H. Garzon, Stan Franklin, William Baggett, William S. Boyd Jr., Dinah Dickerson
J. Parallel Distributed Comput.1
1991 On Isomorphism Testing of a Class of 2-Nilpotent Groups
Max H. Garzon, Yechezkel Zalcstein
J. Comput. Syst. Sci.1
1991 The Complexity of Grigorchuk Groups with Application to Cryptography
Max H. Garzon, Yechezkel Zalcstein
Theor. Comput. Sci.1
1989 An NC2 Algorithm for Testing Similarity of Matrices
Yechezkel Zalcstein, Max H. Garzon
Inf. Process. Lett.2
1987 Cyclic Automata
Max H. Garzon
Theor. Comput. Sci.1
1986 The Complexity of Isomorphism Testing
abstract
A polynomial time isomorphism test for a class of groups, properly containing the class of abelian groups, is presented. Isomorphism testing of group presentations for (a subclass of) the same class of groups is shown to be (graph) isomorphism complete. These seem to be the first known isomorphism complete problems in group theory. Subexponential tests are presented as well for rings and algebras.
Max H. Garzon, Yechezkel Zalcstein
FOCS1