Au-Yeung, R.; Williams, A. J.; Kendon, V. M.; Lind, S. J. Quantum algorithm for smoothed particle hydrodynamics. (English) Zbl 1526.76037 Comput. Phys. Commun. 294, Article ID 108909, 12 p. (2024). MSC: 76M28 76R99 76R50 68Q12 PDFBibTeX XMLCite \textit{R. Au-Yeung} et al., Comput. Phys. Commun. 294, Article ID 108909, 12 p. (2024; Zbl 1526.76037) Full Text: DOI arXiv
Celletti, Alessandra; Vartolomei, Tudor Old perturbative methods for a new problem in celestial mechanics: the space debris dynamics. (English) Zbl 1518.70014 Boll. Unione Mat. Ital. 16, No. 2, 411-428 (2023). MSC: 70F15 70H09 70H08 70K45 PDFBibTeX XMLCite \textit{A. Celletti} and \textit{T. Vartolomei}, Boll. Unione Mat. Ital. 16, No. 2, 411--428 (2023; Zbl 1518.70014) Full Text: DOI
Costarelli, Danilo; Seracini, Marco; Vinti, Gianluca A segmentation procedure of the pervious area of the aorta artery from CT images without contrast medium. (English) Zbl 1447.92210 Math. Methods Appl. Sci. 43, No. 1, 114-133 (2020). MSC: 92C55 47A58 41A05 PDFBibTeX XMLCite \textit{D. Costarelli} et al., Math. Methods Appl. Sci. 43, No. 1, 114--133 (2020; Zbl 1447.92210) Full Text: DOI
Marrero-Ponce, Yovani; Teran, Julio E.; Contreras-Torres, Ernesto; García-Jacas, César R.; Perez-Castillo, Yunierkis; Cubillan, Nestor; Peréz-Giménez, Facundo; Valdés-Martini, José R. LEGO-based generalized set of two linear algebraic 3D bio-macro-molecular descriptors: theory and validation by QSARs. (English) Zbl 1425.92148 J. Theor. Biol. 485, Article ID 110039, 15 p. (2020). MSC: 92D20 62P10 92-08 PDFBibTeX XMLCite \textit{Y. Marrero-Ponce} et al., J. Theor. Biol. 485, Article ID 110039, 15 p. (2020; Zbl 1425.92148) Full Text: DOI
Terui, Kazushige Computational ludics. (English) Zbl 1222.03032 Theor. Comput. Sci. 412, No. 20, 2048-2071 (2011). MSC: 03B70 68Q05 68Q45 PDFBibTeX XMLCite \textit{K. Terui}, Theor. Comput. Sci. 412, No. 20, 2048--2071 (2011; Zbl 1222.03032) Full Text: DOI
Verhulst, F. Averaging normal forms for partial differential equations with applications to perturbed wave equations. (English) Zbl 1211.35005 Constanda, C. (ed.) et al., Integral methods in science and engineering. Volume 1: Analytic methods. Papers presented at the 10th international conference on integral methods in science and engineering (IMSE 2008), Santander, Spain, July 7–10, 2008. Basel: Birkhäuser (ISBN 978-0-8176-4898-5/hbk; 978-0-8176-4899-2/ebook). 307-321 (2010). MSC: 35A22 35L71 35L90 37L10 35K58 35K90 PDFBibTeX XMLCite \textit{F. Verhulst}, in: Integral methods in science and engineering. Volume 1: Analytic methods. Papers presented at the 10th international conference on integral methods in science and engineering (IMSE 2008), Santander, Spain, July 7--10, 2008. Basel: Birkhäuser. 307--321 (2010; Zbl 1211.35005) Full Text: DOI
Tatarinov, Ya. V. Adding of nonlinear vibrations with evolution near a manifold of stationary motions of reversible and dissipative systems. (Russian, English) Zbl 1164.70011 Vestn. Mosk. Univ., Ser. I 2007, No. 2, 57-64 (2007); translation in Mosc. Univ. Mech. Bull. 62, No. 2, 45-52 (2007). Reviewer: Anatoly Martynyuk (Kyïv) MSC: 70F25 70K99 PDFBibTeX XMLCite \textit{Ya. V. Tatarinov}, Vestn. Mosk. Univ., Ser. I 2007, No. 2, 57--64 (2007; Zbl 1164.70011); translation in Mosc. Univ. Mech. Bull. 62, No. 2, 45--52 (2007)
Khodorovskij, V. V. On normalization of relations in relational databases. (English. Russian original) Zbl 1037.68051 Program. Comput. Softw. 28, No. 1, 41-52 (2002); translation from Programmirovanie 2002, No. 11, 55-71 (2002). MSC: 68P15 PDFBibTeX XMLCite \textit{V. V. Khodorovskij}, Program. Comput. Softw. 28, No. 1, 41--52 (2002; Zbl 1037.68051); translation from Programmirovanie 2002, No. 11, 55--71 (2002) Full Text: DOI
Tennant, Neil Ultimate normal forms for parallelized natural deductions. (English) Zbl 1010.03048 Log. J. IGPL 10, No. 3, 299-337 (2002). MSC: 03F05 03B47 PDFBibTeX XMLCite \textit{N. Tennant}, Log. J. IGPL 10, No. 3, 299--337 (2002; Zbl 1010.03048) Full Text: DOI Link
Konosevich, B. I. Partially averaged equations of motion of an axisymmetric shell. (Russian. English summary) Zbl 1074.70559 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2001, No. 6, 57-62 (2001). Reviewer: O. Yu. Zharii (Kyïv) MSC: 70K25 70P05 PDFBibTeX XMLCite \textit{B. I. Konosevich}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2001, No. 6, 57--62 (2001; Zbl 1074.70559)
Najim, K.; Poznyak, A. S.; Gomez, E. Adaptive policy for two finite Markov chains zero-sum stochastic game with unknown transition matrices and average payoffs. (English) Zbl 0989.93097 Automatica 37, No. 7, 1007-1018 (2001). Reviewer: S.G.Tzafestas (Athens) MSC: 93E24 91A15 PDFBibTeX XMLCite \textit{K. Najim} et al., Automatica 37, No. 7, 1007--1018 (2001; Zbl 0989.93097) Full Text: DOI
Li, Chen Kuan The product of \(r^{-k}\) and \(\nabla\delta\) on \(\mathbb{R}^m\). (English) Zbl 0963.46020 Int. J. Math. Math. Sci. 24, No. 6, 361-369 (2000). Reviewer: Thomas Sonar (Braunschweig) MSC: 46F10 PDFBibTeX XMLCite \textit{C. K. Li}, Int. J. Math. Math. Sci. 24, No. 6, 361--369 (2000; Zbl 0963.46020) Full Text: DOI EuDML
Martínez, S.; Nicolás, F.; Pennini, F.; Plastino, A. Tsallis’ entropy maximization procedure revisited. (English) Zbl 1052.82501 Physica A 286, No. 3-4, 489-502 (2000). MSC: 82B05 PDFBibTeX XMLCite \textit{S. Martínez} et al., Physica A 286, No. 3--4, 489--502 (2000; Zbl 1052.82501) Full Text: DOI arXiv
Palacián, Jesús; Yanguas, Patricia Reduction of polynomial Hamiltonians by the construction of formal integrals. (English) Zbl 0959.70010 Nonlinearity 13, No. 4, 1021-1054 (2000). MSC: 70H33 70G65 34A25 PDFBibTeX XMLCite \textit{J. Palacián} and \textit{P. Yanguas}, Nonlinearity 13, No. 4, 1021--1054 (2000; Zbl 0959.70010) Full Text: DOI
Konosevich, B. I. Averaged equations of progressive motion of asymmetrical projectile. (Russian. English summary) Zbl 1054.70503 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 1999, No. 6, 69-72 (1999). Reviewer: O. Yu. Zharii (Kyïv) MSC: 70E15 PDFBibTeX XMLCite \textit{B. I. Konosevich}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 1999, No. 6, 69--72 (1999; Zbl 1054.70503)
Yuuki, Andou A normalization-procedure for the first order classical natural deduction with full logical symbols. (English) Zbl 0835.03021 Tsukuba J. Math. 19, No. 1, 153-162 (1995). Reviewer: B.Boričić (Heraklion) MSC: 03F05 03B10 PDFBibTeX XMLCite \textit{A. Yuuki}, Tsukuba J. Math. 19, No. 1, 153--162 (1995; Zbl 0835.03021) Full Text: DOI
Ball, Joseph A.; Rakowski, Marek Interpolation by rational matrix functions and stability of feedback systems: The 2-block case. (English) Zbl 0807.93053 J. Math. Syst. Estim. Control 4, No. 3, 261-318 (1994). MSC: 93D15 93D09 93B36 47A57 47A56 93B35 PDFBibTeX XMLCite \textit{J. A. Ball} and \textit{M. Rakowski}, J. Math. Syst. Estim. Control 4, No. 3, 261--318 (1994; Zbl 0807.93053)
Haeusler, Edward Hermann; Pereira, Luiz Carlos A formalization of Sambins’s normalization for GL. (English) Zbl 0803.03035 Math. Log. Q. 39, No. 1, 133-142 (1993). MSC: 03F05 03B45 03B35 03F30 PDFBibTeX XMLCite \textit{E. H. Haeusler} and \textit{L. C. Pereira}, Math. Log. Q. 39, No. 1, 133--142 (1993; Zbl 0803.03035) Full Text: DOI
Cantone, Domenico; Cutello, Vincenzo Decision procedures for stratified set-theoretic syllogistics. (Extended abstract). (English) Zbl 0921.03007 Bronstein, Manuel (ed.), ISSAC ’93. Proceedings of the 1993 international symposium on Symbolic and algebraic computation, Kiev, Ukraine, July 6–8, 1993. Baltimore, MD: ACM Press. 105-110 (1993). MSC: 03B25 03E30 03B35 68T15 03C13 PDFBibTeX XMLCite \textit{D. Cantone} and \textit{V. Cutello}, in: ISSAC '93. Proceedings of the 1993 international symposium on Symbolic and algebraic computation, Kiev, Ukraine, July 6--8, 1993. Baltimore, MD: ACM Press. 105--110 (1993; Zbl 0921.03007)
Vianello, Maurizio On the active part of the stress for elastic materials with internal constraints. (English) Zbl 0733.73014 J. Elasticity 24, No. 1-3, 289-294 (1990). MSC: 74G70 74E15 74B10 74A20 PDFBibTeX XMLCite \textit{M. Vianello}, J. Elasticity 24, No. 1--3, 289--294 (1990; Zbl 0733.73014) Full Text: DOI
Girard, Jean-Yves Linear logic. (English) Zbl 0625.03037 Theor. Comput. Sci. 50, 1-102 (1987). Reviewer: G.Kreisel MSC: 03F05 68N01 68T15 03B70 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Theor. Comput. Sci. 50, 1--102 (1987; Zbl 0625.03037) Full Text: DOI
Liu, Jong C. The uniqueness of normal forms via Lie transforms and its applications to Hamiltonian systems. (English) Zbl 0581.70009 Celestial Mech. 36, 89-104 (1985). Reviewer: Y.Kozai MSC: 70H05 70F07 PDFBibTeX XMLCite \textit{J. C. Liu}, Celest. Mech. 36, 89--104 (1985; Zbl 0581.70009) Full Text: DOI
Hsu, L. Analysis of critical and post-critical behaviour of nonlinear dynamical systems by the normal form method. I: Normalization formulae. (English) Zbl 0522.73038 J. Sound Vib. 89, 169-181 (1983). MSC: 74H55 37-XX 34C15 PDFBibTeX XMLCite \textit{L. Hsu}, J. Sound Vib. 89, 169--181 (1983; Zbl 0522.73038) Full Text: DOI
Hernandez, Fabian; Johnson, Richard A. Transformation of a discrete distribution to near normality. (English) Zbl 0487.62014 Statistical distributions in scientific work, Vol. 5, Proc. NATO Adv. Study Inst., Trieste/Italy 1980, 259-270 (1981). MSC: 62E20 62E15 62F12 PDFBibTeX XML