Deriving Equations from Sensor Data Using Dimensional Function Synthesis
暂无分享,去创建一个
[1] Steven L. Brunton,et al. Data-driven discovery of partial differential equations , 2016, Science Advances.
[2] Mikael Rittri,et al. Dimension inference under polymorphic recursion , 1995, FPCA '95.
[3] Hassan Gomaa,et al. Dimensional Analysis for Engineers , 2017 .
[4] Narain H. Gehani,et al. Dimensional analysis with C++ , 1988, IEEE Software.
[5] Hod Lipson,et al. Distilling Free-Form Natural Laws from Experimental Data , 2009, Science.
[6] Bruce A. MacDonald,et al. A pragmatic approach to dimensional analysis for mobile robotic programming , 2008, Auton. Robots.
[7] Geoffrey Ingram Taylor,et al. The formation of a blast wave by a very intense explosion. - II. The atomic explosion of 1945 , 1950, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.
[8] Nathaniel E. Helwig,et al. An Introduction to Linear Algebra , 2006 .
[9] Phillip Stanley-Marbell,et al. Newton: A Language for Describing Physics , 2018, ArXiv.
[10] E. Buckingham. On Physically Similar Systems; Illustrations of the Use of Dimensional Equations , 1914 .
[11] Matthias Felleisen,et al. Validating the unit correctness of spreadsheet programs , 2004, Proceedings. 26th International Conference on Software Engineering.
[12] Donald E. Carlson,et al. A mathematical theory of physical units, dimensions, and measures , 1979 .
[13] Donald E. Carlson,et al. On some new results in dimensional analysis , 1978 .
[14] Dan Jonsson,et al. Dimensional Analysis: A Centenary Update , 2014 .
[15] Andrew Kennedy,et al. Relational parametricity and units of measure , 1997, POPL '97.
[16] Edgar Buckingham. BUCKINGHAM'S PI THEOREM , 2002 .
[17] Zerksis D. Umrigar. Fully static dimensional analysis with C++ , 1994, SIGP.
[18] W. Press. Numerical recipes in Fortran 77 : the art of scientific computing : volume 1 of fortran numerical recipes , 1996 .
[19] RAYLEIGH. The Principle of Similitude , 1915, Nature.
[20] Grigore Rosu,et al. A Rewriting Logic Approach to Static Checking of Units of Measurement in C , 2012, RULE.
[21] Paul N. Hilfinger,et al. An Ada package for dimensional analysis , 1988, TOPL.
[22] Donald Sannella,et al. Programming Languages and Systems — ESOP '94 , 1994, Lecture Notes in Computer Science.
[23] David Barber,et al. Bayesian reasoning and machine learning , 2012 .
[24] Grigore Rosu,et al. Rule-Based Analysis of Dimensional Safety , 2003, RTA.
[25] Andrew Kennedy,et al. Dimension Types , 1994, ESOP.
[26] Victor Luchangco,et al. Object-oriented units of measurement , 2004, OOPSLA.
[27] A. Sonin. A generalization of the Pi-theorem and dimensional analysis. , 2004, Proceedings of the National Academy of Sciences of the United States of America.
[28] Wu Yihua. Discovering natural laws by Reduction , 1989 .
[29] M Babout,et al. AMPERE: a programming language for physics , 1990 .
[30] Ronald T. House. A Proposal for an Extended Form of Type Checking of Expressions , 1983, Comput. J..
[31] G. Strang. Introduction to Linear Algebra , 1993 .
[32] Pat Langley,et al. BACON: A Production System That Discovers Empirical Laws , 1977, IJCAI.
[33] Daniel J. A. Hills,et al. An algorithm for discovering Lagrangians automatically from data , 2015, PeerJ Comput. Sci..