LEADER 03832nam  22007575  450 
001 996465481303316
005 20200701173154.0
010   $a3-540-48520-1
024 7 $a10.1007/3-540-60641-6
035   $a(CKB)1000000000234384
035   $a(SSID)ssj0000321536
035   $a(PQKBManifestationID)11241028
035   $a(PQKBTitleCode)TC0000321536
035   $a(PQKBWorkID)10279584
035   $a(PQKB)11419682
035   $a(DE-He213)978-3-540-48520-9
035   $a(PPN)155175203
035   $a(EXLCZ)991000000000234384
100   $a20121227d1995      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Modeling of Physical Systems$b[electronic resource] /$fby P. Pandurang Nayak
205   $a1st ed. 1995.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995.
215   $a1 online resource (XXII, 238 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1003
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-60641-6 
327   $aModels and model fragments -- Adequate models -- Complexity of model selection -- Causal approximations -- Differential equations -- Order of magnitude reasoning -- Model selection program and results -- Related work -- Conclusions.
330   $aThis book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions. This monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical sides are presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for building systems that automatically construct adequate models is provided, and implementational aspects and tests are described.
410  0$aLecture Notes in Artificial Intelligence ;$v1003
606   $aComputer simulation
606   $aPhysics
606   $aArtificial intelligence
606   $aComputers
606   $aComputational complexity
606   $aElectronics
606   $aMicroelectronics
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
606   $aPhysics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/P00002
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aComplexity$3https://scigraph.springernature.com/ontologies/product-market-codes/T11022
606   $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027
615  0$aComputer simulation.
615  0$aPhysics.
615  0$aArtificial intelligence.
615  0$aComputers.
615  0$aComputational complexity.
615  0$aElectronics.
615  0$aMicroelectronics.
615 14$aSimulation and Modeling.
615 24$aPhysics, general.
615 24$aArtificial Intelligence.
615 24$aComputation by Abstract Devices.
615 24$aComplexity.
615 24$aElectronics and Microelectronics, Instrumentation.
676   $a003/.3
700   $aNayak$b P. Pandurang$4aut$4http://id.loc.gov/vocabulary/relators/aut$0746495
906   $aBOOK
912   $a996465481303316
996   $aAutomated modeling of physical systems$91490084
997   $aUNISA