A theorem proving approach for automatically synthesizing visualizations of flow cytometry data

[1]  P. Chattopadhyay,et al.  Seventeen-colour flow cytometry: unravelling the immune system , 2004, Nature Reviews Immunology.

[2]  Armin Biere,et al.  Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays , 2009, TACAS.

[3]  Sanjit A. Seshia,et al.  Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic , 2009, CAV.

[4]  Susmit Jha,et al.  Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems , 2012, 2012 IEEE 2nd International Conference on Computational Advances in Bio and medical Sciences (ICCABS).

[5]  Robert E. Shostak,et al.  A Practical Decision Procedure for Arithmetic with Function Symbols , 1979, JACM.

[6]  M E J Newman,et al.  Modularity and community structure in networks. , 2006, Proceedings of the National Academy of Sciences of the United States of America.

[7]  Nikolaj Bjørner,et al.  Satisfiability modulo theories , 2011, Commun. ACM.

[8]  Raphael Gottardo,et al.  Automated gating of flow cytometry data via robust model‐based clustering , 2008, Cytometry. Part A : the journal of the International Society for Analytical Cytology.

[9]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[10]  Abbas El Gamal,et al.  Network Information Theory , 2021, 2021 IEEE 3rd International Conference on Advanced Trends in Information Theory (ATIT).

[11]  Sanjit A. Seshia,et al.  A theory of formal synthesis via inductive learning , 2015, Acta Informatica.

[12]  Lakhmi C. Jain,et al.  Emerging Paradigms in Machine Learning , 2012 .

[13]  Dimitris Achlioptas,et al.  Database-friendly random projections: Johnson-Lindenstrauss with binary coins , 2003, J. Comput. Syst. Sci..

[14]  Patrick C. Kyllonen,et al.  Reasoning ability is (little more than) working-memory capacity?! , 1990 .

[15]  Matthieu Latapy,et al.  Computing Communities in Large Networks Using Random Walks , 2004, J. Graph Algorithms Appl..

[16]  Nasser M. Nasrabadi,et al.  Pattern Recognition and Machine Learning , 2006, Technometrics.

[17]  Qing Zeng-Treitler,et al.  Feature-guided clustering of multi-dimensional flow cytometry datasets , 2007, J. Biomed. Informatics.

[18]  J. Paul Robinson,et al.  Subject classification obtained by cluster analysis and principal component analysis applied to flow cytometric data , 2007, Cytometry. Part A : the journal of the International Society for Analytical Cytology.

[19]  A. Givan,et al.  Flow Cytometry: First Principles , 1992 .

[20]  Martin Rosvall,et al.  An information-theoretic framework for resolving community structure in complex networks , 2007, Proceedings of the National Academy of Sciences.

[21]  S. P. Lloyd,et al.  Least squares quantization in PCM , 1982, IEEE Trans. Inf. Theory.

[22]  Andrea Lancichinetti,et al.  Community detection algorithms: a comparative analysis: invited presentation, extended abstract , 2009, VALUETOOLS.

[23]  Susmit Jha,et al.  Towards Automated System Synthesis Using SCIDUCTION , 2012 .

[24]  J. MacQueen.  Some methods for classification and analysis of multivariate observations , 1967 .

[25]  M. D’Esposito.  Working memory. , 2008, Handbook of clinical neurology.

[26]  M Roederer,et al.  Frequency difference gating: a multivariate method for identifying subsets that differ between samples. , 2001, Cytometry.

[27]  D. Sutherland,et al.  The ISHAGE guidelines for CD34+ cell determination by flow cytometry. International Society of Hematotherapy and Graft Engineering. , 1996, Journal of hematotherapy.

[28]  Matthew R Janes,et al.  Next-generation flow cytometry , 2011, Nature Biotechnology.

[29]  Leonidas A A Doumas,et al.  A theory of the discovery and predication of relational concepts. , 2008, Psychological review.

[30]  Martin Rosvall,et al.  Maps of random walks on complex networks reveal community structure , 2007, Proceedings of the National Academy of Sciences.

[31]  P. Groenen,et al.  Modern Multidimensional Scaling: Theory and Applications , 1999 .

[32]  Leonard M. Blumenthal,et al.  Theory and applications of distance geometry , 1954 .

[33]  Sumit Kumar Jha,et al.  Discriminative Stochastic Models for Complex Networks Derived from Flow Cytometry Big Data , 2013 .

[34]  Cesare Tinelli,et al.  The SMT-LIB Standard: Version 1.2 , 2005 .

[35]  Mario Roederer,et al.  Dear Reader, , 2003, Nature Medicine.

[36]  Donald W. Loveland,et al.  A machine program for theorem-proving , 2011, CACM.