The MODUS Approach to Formal Verification
- 期刊名称Business Systems Research Journal
- 作者Brewka, Lukasz; Soler, José; Berger, Michael
- 卷第5卷
- 期第1期
- 电子ISSN1847-9375
- 文件大小445.48KB
- 发表时间2014-01-1
- DOI10.2478/bsrj-2014-0002
Semiclassical analysis of the eigenstate Wigner functions for the discrete self-trapping equationS. De Filippo; M.Fusco Girard; M. Salerno · 1990
Integral-equation theory for the radial distribution function of a hard sphere fluid in the semiclassical limitSingh, N.; Sinha, S. K. · The Journal of Chemical Physics · 1980
Nonlinear Schrödinger equation and wave-function collapse: An unreliable consequence of the semiclassical approximationBonci, L.; Grigolini, P.; Roncaglia, R.; Vitali, D. · Physical Review A · 1993
Signed Tilings with SquaresKevin Keating; Jonathan King · 1999
Book reviewsVan Der Knaap, Peter; Bradbury, Jonathan; Church, Clive H.; Gower, Jackie; Forsyth, Murray; Keating, Michael · Regional & Federal Studies · 1995
Physics and the queen of mathematicsJonathan, Keating · Physics World · 1990
In ReplySafavynia, Seyed A.; Keating, Glenda; Speigel, Iris; Fidler, Jonathan A.; Kreuzer, Matthias; Rye, David B.; Jenkins, Andrew; García, Paul S. · Anesthesiology · 2017
Pediatric posterior fossa incidentalomasKozyrev, Danil A.; Constantini, Shlomi; Tsering, Deki; Keating, Robert; Basal, Sharif; Roth, Jonathan · Child's Nervous System · 2019
Pair correlation and twin primes revisitedConrey, Brian; Keating, Jonathan P. · Proceedings of the Royal Society A: Mathematical, Physical and Engineering Science · 2016
Introduction to the cerebellar mutism syndromeGrønbæk, Jonathan; Keating, Robert; Wisoff, Jeffrey; Juhler, Marianne · Child's Nervous System · 2019
Resonances within chaosGallavotti, G.; Gentile, G.; Giuliani, A. · Chaos: An Interdisciplinary Journal of Nonlinear Science · 2012
Homoclinic snaking: Structure and stabilityBurke, John; Knobloch, Edgar · Chaos: An Interdisciplinary Journal of Nonlinear Science · 2007
Dynamics of meteor impactsDaniels, Karen E.; Coppock, Joyce E.; Behringer, Robert P. · Chaos: An Interdisciplinary Journal of Nonlinear Science · 2004
Overview of coupled map latticesKaneko, Kunihiko · Chaos: An Interdisciplinary Journal of Nonlinear Science · 1992
Fractals and quantum mechanicsLaskin, Nick · Chaos: An Interdisciplinary Journal of Nonlinear Science · 2000
Fluctuations in granular mediaHowell, Daniel W.; Behringer, R. P.; Veje, C. T. · Chaos: An Interdisciplinary Journal of Nonlinear Science · 1999
Predicting the outcome of rouletteSmall, Michael; Tse, Chi Kong · Chaos: An Interdisciplinary Journal of Nonlinear Science · 2012
Entropy estimation of symbol sequencesSchürmann, Thomas; Grassberger, Peter · Chaos: An Interdisciplinary Journal of Nonlinear Science · 1996