{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:27Z","timestamp":1750220847636,"version":"3.41.0"},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T00:00:00Z","timestamp":1570492800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2019,10,31]]},"abstract":"<jats:p>\n            We present a new method for deriving functions that model the relationship between multiple signals in a physical system. The method, which we call\n            <jats:italic>dimensional function synthesis<\/jats:italic>\n            , applies to data streams where the dimensions of the signals are known. The method comprises two phases: a compile-time synthesis phase and a subsequent calibration using sensor data.\n          <\/jats:p>\n          <jats:p>We implement dimensional function synthesis and use the implementation to demonstrate efficiently summarizing multi-modal sensor data for two physical systems using 90 laboratory experiments and 10\u00a0000 synthetic idealized measurements. We evaluate the performance of the compile-time phase of dimensional function synthesis as well as the calibration phase overhead, inference latency, and accuracy of the models our method generates.<\/jats:p>\n          <jats:p>The results show that our technique can generate models in less than 300\u00a0ms on average across all the physical systems we evaluated. When calibrated with sensor data, our models outperform traditional regression and neural network models in inference accuracy in all the cases we evaluated. In addition, our models perform better in training latency (over 8660\u00d7 improvement) and required arithmetic operations in inference (over 34\u00d7 improvement). These significant gains are largely the result of exploiting information on the physics of signals that has hitherto been ignored.<\/jats:p>","DOI":"10.1145\/3358218","type":"journal-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T13:13:05Z","timestamp":1570713185000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Deriving Equations from Sensor Data Using Dimensional Function Synthesis"],"prefix":"10.1145","volume":"18","author":[{"given":"Youchao","family":"Wang","sequence":"first","affiliation":[{"name":"University of Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Willis","sequence":"additional","affiliation":[{"name":"University of Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasileios","family":"Tsoutsouras","sequence":"additional","affiliation":[{"name":"University of Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip","family":"Stanley-Marbell","sequence":"additional","affiliation":[{"name":"University of Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,8]]},"reference":[{"volume-title":"Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA\u201904)","author":"Allen Eric","key":"e_1_2_1_1_1","unstructured":"Eric Allen , David Chase , Victor Luchangco , Jan-Willem Maessen , and Guy L . Steele, Jr. 2004. Object-oriented units of measurement . In Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA\u201904) . ACM, New York, NY, USA, 384--403. Eric Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, and Guy L. Steele, Jr. 2004. Object-oriented units of measurement. In Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA\u201904). ACM, New York, NY, USA, 384--403."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999448"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1088\/0143-0807\/11\/3\/007"},{"volume-title":"Bayesian Reasoning and Machine Learning","author":"Barber David","key":"e_1_2_1_4_1","unstructured":"David Barber . 2012. Bayesian Reasoning and Machine Learning . Cambridge University Press . David Barber. 2012. Bayesian Reasoning and Machine Learning. Cambridge University Press."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-008-9103-x"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRev.4.345"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00281156"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759148.1759164"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.2021"},{"key":"e_1_2_1_10_1","unstructured":"Donald E. Carlson. 1978. On some new results in dimensional analysis. (1978).  Donald E. Carlson. 1978. On some new results in dimensional analysis. (1978)."},{"key":"e_1_2_1_11_1","volume-title":"Buckingham\u2019s pi-theorem. NTNU: http:\/\/www.math.ntnu.no\/&tilde;hanche\/notes\/buckingham\/buckingham-a4.pdf","author":"Hanche-Olsen Harald","year":"2004","unstructured":"Harald Hanche-Olsen . 2004. Buckingham\u2019s pi-theorem. NTNU: http:\/\/www.math.ntnu.no\/&tilde;hanche\/notes\/buckingham\/buckingham-a4.pdf ( 2004 ). Harald Hanche-Olsen. 2004. Buckingham\u2019s pi-theorem. NTNU: http:\/\/www.math.ntnu.no\/&tilde;hanche\/notes\/buckingham\/buckingham-a4.pdf (2004)."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42346"},{"key":"e_1_2_1_13_1","volume-title":"Hudson","author":"Hills Daniel J. A.","year":"2015","unstructured":"Daniel J. A. Hills , Adrian M. Gr\u00fctter , and Jonathan J . Hudson . 2015 . An algorithm for discovering Lagrangians automatically from data. PeerJ Computer Science 1 (nov 2015), e31. Daniel J. A. Hills, Adrian M. Gr\u00fctter, and Jonathan J. Hudson. 2015. An algorithm for discovering Lagrangians automatically from data. PeerJ Computer Science 1 (nov 2015), e31."},{"key":"e_1_2_1_14_1","volume-title":"A rewriting logic approach to static checking of units of measurement in C. Electron. Notes Theor. Comput. Sci. 290 (Dec","author":"Hills Mark","year":"2012","unstructured":"Mark Hills , Feng Chen , and Grigore Ro\u015fu . 2012. A rewriting logic approach to static checking of units of measurement in C. Electron. Notes Theor. Comput. Sci. 290 (Dec . 2012 ), 51--67. Mark Hills, Feng Chen, and Grigore Ro\u015fu. 2012. A rewriting logic approach to static checking of units of measurement in C. Electron. Notes Theor. Comput. Sci. 290 (Dec. 2012), 51--67."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/26.4.366"},{"key":"e_1_2_1_16_1","volume-title":"Dimensional analysis: A centenary update. 1","author":"Jonsson Dan","year":"2014","unstructured":"Dan Jonsson . 2014. Dimensional analysis: A centenary update. 1 ( 2014 ), 1--16. Dan Jonsson. 2014. Dimensional analysis: A centenary update. 1 (2014), 1--16."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645390.651419"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263761"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 5th International Joint Conference on Artificial Intelligence -","volume":"1","author":"Langley Patrick W.","year":"1977","unstructured":"Patrick W. Langley . 1977 . BACON: A production system that discovers empirical laws . In Proceedings of the 5th International Joint Conference on Artificial Intelligence - Volume 1 (IJCAI\u201977). San Francisco, CA, USA, 344. Patrick W. Langley. 1977. BACON: A production system that discovers empirical laws. In Proceedings of the 5th International Joint Conference on Artificial Intelligence - Volume 1 (IJCAI\u201977). San Francisco, CA, USA, 344."},{"key":"e_1_2_1_20_1","volume-title":"Newton: A language for describing physics. CoRR abs\/1811.04626","author":"Lim Jonathan","year":"2018","unstructured":"Jonathan Lim and Phillip Stanley-Marbell . 2018 . Newton: A language for describing physics. CoRR abs\/1811.04626 (2018). Jonathan Lim and Phillip Stanley-Marbell. 2018. Newton: A language for describing physics. CoRR abs\/1811.04626 (2018)."},{"key":"e_1_2_1_21_1","volume-title":"The principle of similitude. Nature 95 (dec","author":"Rayleigh Lord","year":"1915","unstructured":"Lord Rayleigh . 1915. The principle of similitude. Nature 95 (dec 1915 ), 66--68. Lord Rayleigh. 1915. The principle of similitude. Nature 95 (dec 1915), 66--68."},{"key":"e_1_2_1_22_1","volume-title":"William T. Vetterling, and Brian P. Flannery.","author":"Press William H.","year":"1996","unstructured":"William H. Press , Saul a. Teukolsky , William T. Vetterling, and Brian P. Flannery. 1996 . Numerical Recipes in Fortran 77: The Art of Scientific Computing. Second Edition . Vol. 1 . William H. Press, Saul a. Teukolsky, William T. Vetterling, and Brian P. Flannery. 1996. Numerical Recipes in Fortran 77: The Art of Scientific Computing. Second Edition. Vol. 1."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224197"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1126\/sciadv.1602614"},{"key":"e_1_2_1_25_1","volume-title":"Distilling free-form natural laws from experimental data. Science 324, 5923","author":"Schmidt Michael","year":"2009","unstructured":"Michael Schmidt and Hod Lipson . 2009. Distilling free-form natural laws from experimental data. Science 324, 5923 ( 2009 ), 81--85. DOI:https:\/\/doi.org\/10.1126\/science.1165893 Michael Schmidt and Hod Lipson. 2009. Distilling free-form natural laws from experimental data. Science 324, 5923 (2009), 81--85. DOI:https:\/\/doi.org\/10.1126\/science.1165893"},{"volume-title":"Dimensional Analysis for Engineers","author":"Simon Volker","key":"e_1_2_1_26_1","unstructured":"Volker Simon , Bernhard Weigand , and Hassan Gomaa . 2017. Dimensional Analysis for Engineers . Springer . Volker Simon, Bernhard Weigand, and Hassan Gomaa. 2017. Dimensional Analysis for Engineers. Springer."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0402931101"},{"volume-title":"Introduction to Linear Algebra","author":"Strang Gilbert","key":"e_1_2_1_28_1","unstructured":"Gilbert Strang . 2016. Introduction to Linear Algebra ( fifth ed.). Wellesley-Cambridge Press, Wellesley , MA. Gilbert Strang. 2016. Introduction to Linear Algebra (fifth ed.). Wellesley-Cambridge Press, Wellesley, MA."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1950.0050"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/185009.185036"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02943987"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358218","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3358218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:07Z","timestamp":1750202587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,8]]},"references-count":31,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2019,10,31]]}},"alternative-id":["10.1145\/3358218"],"URL":"https:\/\/doi.org\/10.1145\/3358218","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2019,10,8]]},"assertion":[{"value":"2019-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-10-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}