Found 1,763 Documents (Results 1–100)
Nonexistence of periodic peakon and peakon for a highly nonlinear shallow-water model. (English) Zbl 07916276
Global attractivity of a higher order nonlinear difference equation with decreasing terms. (English) Zbl 07911177
Derivation of a Boltzmann equation with higher-order collisions from a generalized Kac model. (English) Zbl 07906782
Moment methods for kinetic traffic flow and a class of macroscopic traffic models. (English) Zbl 1543.90067
Global solutions to an initial-boundary value problem of a phase-field model for motion of grain boundaries. (English) Zbl 1543.35088
Analysis of a multi-species Cahn-Hilliard-Keller-Segel tumor growth model with chemotaxis and angiogenesis. (English) Zbl 1542.35115
Weak solutions for a modified degenerate Cahn-Hilliard model for surface diffusion. (English) Zbl 1542.35119
Reviewer: Joseph Shomberg (Providence)
Nonclassical problems of the mathematical theory of hydrodynamic boundary layer. (English. Russian original) Zbl 1542.35327
Mosc. Univ. Math. Bull. 79, No. 1, 11-21 (2024); translation from Vestn. Mosk. Univ., Ser. I 79, No. 1, 11-20 (2024).
Isogeometric homogenization of unidirectional nanocomposites with energetic surfaces. (English) Zbl 1541.74095
On scaling properties for a class of two-well problems for higher order homogeneous linear differential operators. (English) Zbl 1541.35493
A weighted combination of reproducing kernel particle shape functions with cardinal functions of scalable polyharmonic spline radial kernel utilized in Galerkin weak form of a mathematical model related to anti-angiogenic therapy. (English) Zbl 1541.92041
Size-dependent and microinertia effects on statics and dynamics based on the modified couple stress theory with arbitrary boundary conditions. (English) Zbl 07854299
The Westervelt-Pennes-Cattaneo model of nonlinear thermo-acoustics: local well-posedness and singular limit for vanishing relaxation time. (English) Zbl 1540.35119
Controllability of mild solutions for second-order neutral evolution equations with state-dependent delay. (English) Zbl 07849474
Adaptive velocity control of an autonomous vehicle using input-error model reference approach. (English) Zbl 1536.93461
Numerical modeling of ferroelectric materials in the presence of flexoelectricity. (English) Zbl 1539.74127
Control of a linearized viscous liquid-tank system with surface tension. (English) Zbl 1536.93663
Reviewer: Kaïs Ammari (Monastir)
Finite difference discretization for one-dimensional higher-order integral fractional Laplacian and its application. (English) Zbl 1540.65571
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals. (English) Zbl 1542.03059
Dynamics for a class of energy beam models with non-constant material density. (English) Zbl 1531.35079
Properties of the generalized Chavy-Waddy-Kolokolnikov model for description of bacterial colonies. (English) Zbl 1530.35323
A phase field model for the motion of prismatic dislocation loops by both climb and self-climb. (English) Zbl 1526.35117
Elementary equivalence of endomorphism rings and automorphism groups of periodic Abelian groups. arXiv:2410.11098
Preprint, arXiv:2410.11098 [math.GR] (2024).
The Borel monadic theory of order is decidable. arXiv:2410.00887
Preprint, arXiv:2410.00887 [math.LO] (2024).
A Reflection Principle for Potential Infinite Models of Type Theory. arXiv:2407.00220
Preprint, arXiv:2407.00220 [cs.LO] (2024).
On Model Theory of Second-Order Objects. arXiv:2405.03785
Preprint, arXiv:2405.03785 [math.LO] (2024).
On the categoricity of complete second order theories. arXiv:2405.03428
Preprint, arXiv:2405.03428 [math.LO] (2024).
Optimal control of solutions to the Cauchy problem for an incomplete semilinear Sobolev type equation of the second order. (English) Zbl 07908447
The partial operation of formulas with applications to formulas generated by order-decreasing mappings. (English) Zbl 07829887
On uniqueness theorems for the inverse problem of electrocardiography in the Sobolev spaces. (English) Zbl 1539.92069
Reviewer: Ismail Huseynov (Berlin)
A new thin layer model for viscous flow between two nearby non-static surfaces. (English) Zbl 1532.35354
A novel sensor design for a cantilevered Mead-Marcus-type sandwich beam model by the order-reduction technique. (English) Zbl 1532.35069
Derivation of a superelement with deformable interfaces – applied to model flexure joint. (English) Zbl 07797477
Initial boundary value problem for a Kirchhoff wave model with strong nonlinear damping. (English) Zbl 1531.35088
Formalization and analysis of BPMN using graph transformation systems. (English) Zbl 07787538
Fernández, Maribel (ed.) et al., Graph transformation. 16th international conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19–20, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13961, 204-222 (2023).
General non-structure theory. (English) Zbl 07787396
Iovino, José (ed.), Beyond first order model theory. Volume II. Boca Raton, FL: CRC Press. 217-287 (2023).
Model theory for real-valued structures. (English) Zbl 07787395
Iovino, José (ed.), Beyond first order model theory. Volume II. Boca Raton, FL: CRC Press. 43-101 (2023).
Metastable convergence and logical compactness. (English) Zbl 07787393
Iovino, José (ed.), Beyond first order model theory. Volume II. Boca Raton, FL: CRC Press. 3-41 (2023).
\(C_p\)-theory for model theorists. (English) Zbl 07787392
Iovino, José (ed.), Beyond first order model theory. Volume II. Boca Raton, FL: CRC Press. 177-214 (2023).
Spectral gap and definability. (English) Zbl 07787391
Iovino, José (ed.), Beyond first order model theory. Volume II. Boca Raton, FL: CRC Press. 103-137 (2023).
Lf groups, aec amalgamation, few automorphisms. (English) Zbl 07787389
Iovino, José (ed.), Beyond first order model theory. Volume II. Boca Raton, FL: CRC Press. 141-173 (2023).
Model theory of second order logic. (English) Zbl 07787388
Iovino, José (ed.), Beyond first order model theory. Volume II. Boca Raton, FL: CRC Press. 291-306 (2023).
Stability for an interface transmission problem of wave-plate equations with dynamical boundary controls. (English) Zbl 1527.35170
Mixed convection Casson polymeric flow from a nonlinear stretching surface with radiative flux and non-Fourier thermal relaxation effects: computation with CSNIS. (English) Zbl 1536.76119
A problem with periodic boundary conditions for the non-Fourier heat equation. (English) Zbl 1530.35111
Exponential attractor for Kirchhoff model with time delay and thermal effect. (English) Zbl 1527.35089
Constraints and interactions in quantization of Yukawa model with higher-order derivatives. (English) Zbl 07772651
Implied higher order moments in the Heston model: a case study of S&P500 index. (English) Zbl 1530.91553
Stability by polynomial squeezing for a class of energy damping plate models. (English) Zbl 1527.35055
Twisted Harnack inequality and approximation of variational problems with a convexity constraint by singular Abreu equations. (English) Zbl 1535.35065
Reviewer: Ahmed Mohammed (Muncie)
Schauffler-type theorems. (English. Russian original) Zbl 07760681
J. Contemp. Math. Anal., Armen. Acad. Sci. 58, No. 2, 116-124 (2023); translation from Izv. Nats. Akad. Nauk Armen., Mat. 58, No. 2, 68-81 (2023).
Civil engineering applications of the asymptotic expansion load decomposition beam model: an overview. (English) Zbl 1523.74068
Improved inference for a boundary parameter. (English. French summary) Zbl 07759556
MSC:
62-XX
A novel (2+1)-dimensional nonlinear evolution equation for weakly stratified free-surface boundary layers. (English) Zbl 1542.76020
Existence and regularity of global solutions to a Cauchy problem for a square phase-field crystal model. (English) Zbl 1523.35121
Higher-order masking scheme for Trivium hardware implementation. (English) Zbl 07730529
Deng, Yi (ed.) et al., Information security and cryptology. 18th International conference, Inscrypt 2022, Beijing, China, December 11–13, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13837, 337-356 (2023).
Cahn-Hilliard-Brinkman model for tumor growth with possibly singular potentials. (English) Zbl 1521.35101
Boundary control problems for nonlinear reaction-diffusion-convection model. (English) Zbl 1521.35080
Higher-order nonlocal operator theory for phase-field modeling of ductile fracture in elasto-plastic materials. (English) Zbl 1535.74650
Exact boundary controllability of the structural acoustic model with variable coefficients. (English) Zbl 1521.35114
Traveling wave solutions of the Kawahara equation joining distinct periodic waves. (English) Zbl 1522.35141
An undecidable extension of Morley’s theorem on the number of countable models. (English) Zbl 07719417
Stability for a class of extensible beams with degenerate nonlocal damping. (English) Zbl 1518.35068
More exact thermodynamics of nonlinear charged AdS black holes in 4D critical gravity. (English) Zbl 1529.83064
Excluding static and spherically symmetric black holes in Einsteinian cubic gravity with unsuppressed higher-order curvature terms. (English) Zbl 1529.83014
Thermodynamically consistent dynamic boundary conditions of phase field models. (English) Zbl 1518.35238
Computational analysis for fractional characterization of coupled convection-diffusion equations arising in MHD flows. (English) Zbl 1515.33009
Clustering of variables methods and measurement models for soccer players’ performances. (English) Zbl 1516.62062
A coherent composite approach for the continuous circular hydraulic jump and vortex structure. (English) Zbl 07710497
Stability of strong exponential attractors for the Kirchhoff wave model with structural nonlinear damping. (English) Zbl 1518.35131
Optimization of the Bolza problem with higher-order differential inclusions and initial point and state constraints. (English) Zbl 1518.49041
Beyond first order model theory. Volume II. (English) Zbl 1523.03002
Boca Raton, FL: CRC Press (ISBN 978-0-367-20826-4/hbk; 978-0-367-20836-3/set; 978-0-429-26363-7/ebook). xix, 306 p. (2023).
Numerical method for solving the fractional evolutionary model of bi-flux diffusion processes. (English) Zbl 1524.35150
Unconditional energy stability and temporal convergence of first-order numerical scheme for the square phase-field crystal model. (English) Zbl 1538.65408
Filter Results by …
Document Type
- Journal Articles (1,394)
- Collection Articles (292)
- Books (64)
- arXiv Preprints (13)
all
top 5
Author
- Shelah, Saharon (26)
- Courcelle, Bruno (19)
- Väänänen, Jouko Antero (19)
- Kobayashi, Naoki (14)
- Pinus, Aleksandr Georgievich (14)
- Gottlob, Georg (10)
- Gurevich, Yuri (10)
- Rabinovich, Alexander (9)
- Colli, Pierluigi (8)
- Kant, Tarun (8)
- Ong, Chih-Hao Luke (8)
- Bunina, Elena Igor’evna (7)
- Hague, Matthew (7)
- Hasan, Osman (7)
- Makowsky, Johann-Andreas (7)
- Movsisyan, Yuri Movses (7)
- Simpson, Stephen G. (7)
- Tahar, Sofiène (7)
- Weaver, George E. (7)
- Baldwin, John T. (6)
- Birkedal, Lars (6)
- Coquand, Thierry (6)
- Ferrarotti, Flavio Antonio (6)
- Flum, Jörg (6)
- Schimperna, Giulio (6)
- Schwentick, Thomas (6)
- Turull Torres, Jose Maria (6)
- Walukiewicz, Igor (6)
- Zamyshlyaeva, Alena Aleksandrovna (6)
- Benzmüller, Christoph Ewald (5)
- Blumensath, Achim (5)
- De Lathauwer, Lieven (5)
- Dreyer, Derek R. (5)
- Eiter, Thomas (5)
- Feferman, Solomon (5)
- Kaufmann, Matt (5)
- Kolaitis, Phokion G. (5)
- Kontinen, Juha (5)
- Krynicki, Michał Marian (5)
- Roizner, M. A. (5)
- Szałas, Andrzej (5)
- Yan, Guangwu (5)
- Zhukovskiĭ, Maksim Evgen’evich (5)
- Barwise, Kenneth Jon (4)
- Baudisch, Andreas (4)
- Chen, Li (4)
- Chen, Xiuqing (4)
- Dawar, Anuj (4)
- Ferradi, Mohammed-Khalil (4)
- George, Benjamin R. (4)
- Gilardi, Gianni (4)
- Grellois, Charles (4)
- Jüngel, Ansgar (4)
- Keisler, Howard Jerome (4)
- Kreutzer, Stephan (4)
- Mikhalëv, Aleksandr Vasil’evich (4)
- Oskolkov, Anatolii Petrovich (4)
- Reid, Nancy (4)
- Rönnholm, Raine (4)
- Salvati, Sylvain (4)
- Schmerl, James H. (4)
- Seese, Detlef G. (4)
- Shen, Huishen (4)
- Sprekels, Jürgen (4)
- Terauchi, Tachio (4)
- Tsukada, Takeshi (4)
- Unno, Hiroshi (4)
- Wanner, Thomas (4)
- Wei, Wei (4)
- Xu, Xiangsheng (4)
- Yang, Jin (4)
- Yang, Xinmin (4)
- Zhang, Jianying (4)
- Zhu, Peicheng (4)
- Ziegler, Martin (4)
- Andréka, Hajnal (3)
- Andrews, Peter B. (3)
- Billings, Stephen A. (3)
- Blass, Andreas Raphael (3)
- Blokhin, Aleksandr Mikhaĭlovich (3)
- Boffa, Maurice (3)
- Boudreaux, Jack C. (3)
- Broadbent, Christopher H. (3)
- Cespedes, Xavier (3)
- Challamel, Noël (3)
- Ciarlet, Philippe Gaston (3)
- Corre, Grégoire (3)
- Davidov, Sergey S. (3)
- Davison, Anthony C. (3)
- Dong, Jianwei (3)
- Fernandes, António Marques (3)
- Ganian, Robert (3)
- Gerbi, Stéphane (3)
- Ghilardi, Silvio (3)
- Granero Belinchón, Rafael (3)
- Grohe, Martin (3)
- Hamdi, Fayçal (3)
- Hayat, Tasawar (3)
- Hliněný, Petr (3)
- Hodes, Harold T. (3)
- and 2,549 more Authors
all
top 5
Serial
- J. Symb. Log. (48)
- Ann. Pure Appl. Logic (43)
- Math. Log. Q. (23)
- Notre Dame J. Formal Logic (19)
- J. Fluid Mech. (18)
- Inf. Comput. (18)
- Comput. Methods Appl. Mech. Eng. (17)
- Z. Math. Logik Grundlagen Math. (17)
- Theor. Comput. Sci. (15)
- Log. Methods Comput. Sci. (14)
- AIAA J. (13)
- SIAM J. Math. Anal. (13)
- J. Math. Anal. Appl. (12)
- J. Differ. Equations (12)
- Int. J. Numer. Methods Fluids (11)
- SIAM J. Appl. Math. (11)
- Arch. Math. Logic (11)
- Z. Angew. Math. Phys. (10)
- Appl. Math. Comput. (10)
- J. Log. Comput. (10)
- Commun. Math. Sci. (10)
- Acta Mech. (9)
- Appl. Anal. (9)
- Int. J. Solids Struct. (9)
- Nonlinearity (9)
- Stud. Log. (9)
- Appl. Math. Lett. (9)
- Ann. Math. Logic (8)
- Int. J. Numer. Methods Eng. (8)
- J. Autom. Reasoning (8)
- Bull. Symb. Log. (8)
- Commun. Nonlinear Sci. Numer. Simul. (8)
- Fluid Dyn. (7)
- Isr. J. Math. (7)
- J. Comput. Phys. (7)
- Physica A (7)
- Phys. Lett., A (7)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (7)
- Sib. Math. J. (7)
- Trans. Am. Math. Soc. (7)
- Fundam. Inform. (7)
- Math. Methods Appl. Sci. (6)
- Theor. Math. Phys. (6)
- Ann. Stat. (6)
- Fundam. Math. (6)
- J. Comput. Appl. Math. (6)
- J. Multivariate Anal. (6)
- SIAM J. Matrix Anal. Appl. (6)
- Formal Asp. Comput. (6)
- Math. Struct. Comput. Sci. (6)
- Appl. Math. Modelling (6)
- ZAMM, Z. Angew. Math. Mech. (6)
- Discrete Contin. Dyn. Syst., Ser. B (6)
- Discrete Contin. Dyn. Syst., Ser. S (6)
- J. Comput. Eng. Math. (6)
- Comput. Math. Appl. (5)
- Comput. Struct. (5)
- Int. J. Eng. Sci. (5)
- J. Math. Biol. (5)
- J. Math. Phys. (5)
- Phys. Fluids (5)
- J. Econom. (5)
- J. Math. Sci., New York (5)
- Sb. Math. (5)
- Discrete Contin. Dyn. Syst. (5)
- ACM Trans. Comput. Log. (5)
- Lect. Notes Math. (5)
- Comput. Phys. Commun. (4)
- Inf. Process. Lett. (4)
- Chaos Solitons Fractals (4)
- Algebra Logika (4)
- Biometrika (4)
- Indiana Univ. Math. J. (4)
- J. Comput. Syst. Sci. (4)
- Math. Comput. Simul. (4)
- Synthese (4)
- J. Jpn. Stat. Soc. (4)
- Physica D (4)
- J. Symb. Comput. (4)
- J. Sci. Comput. (4)
- Signal Process. (4)
- Differ. Integral Equ. (4)
- J. Phys. A, Math. Gen. (4)
- Proc. R. Soc. Lond., Ser. A (4)
- Log. J. IGPL (4)
- Nonlinear Anal., Real World Appl. (4)
- C. R., Math., Acad. Sci. Paris (4)
- Int. J. Struct. Stab. Dyn. (4)
- AMM, Appl. Math. Mech., Engl. Ed. (4)
- Artif. Intell. (3)
- Arch. Mech. (3)
- Can. J. Stat. (3)
- Classical Quantum Gravity (3)
- Comput. Fluids (3)
- Discrete Appl. Math. (3)
- IMA J. Appl. Math. (3)
- Int. J. Control (3)
- J. Franklin Inst. (3)
- J. Stat. Phys. (3)
- Rep. Math. Phys. (3)
- and 473 more Serials
all
top 5
Year of Publication
- 2025 (1)
- 2024 (40)
- 2023 (86)
- 2022 (77)
- 2021 (68)
- 2020 (60)
- 2019 (52)
- 2018 (47)
- 2017 (50)
- 2016 (52)
- 2015 (55)
- 2014 (40)
- 2013 (66)
- 2012 (34)
- 2011 (42)
- 2010 (32)
- 2009 (21)
- 2008 (34)
- 2007 (24)
- 2006 (34)
- 2005 (26)
- 2004 (36)
- 2003 (14)
- 2002 (29)
- 2001 (21)
- 2000 (33)
- 1999 (22)
- 1998 (25)
- 1997 (27)
- 1996 (30)
- 1995 (35)
- 1994 (34)
- 1993 (28)
- 1992 (24)
- 1991 (32)
- 1990 (23)
- 1989 (26)
- 1988 (30)
- 1987 (25)
- 1986 (34)
- 1985 (38)
- 1984 (35)
- 1983 (28)
- 1982 (46)
- 1981 (25)
- 1980 (28)
- 1979 (28)
- 1978 (31)
- 1977 (4)
- 1976 (4)
- 1975 (8)
- 1974 (3)
- 1973 (4)
- 1972 (5)
- 1971 (1)
- 1970 (1)
- 1969 (1)
- 1966 (1)
- 1965 (1)
- 1964 (1)
- 1885 (1)
all
top 3
Main Field
- 03-XX (683)
- 35-XX (494)
- 68-XX (335)
- 76-XX (314)
- 74-XX (153)
- 65-XX (152)
- 62-XX (114)
- 92-XX (94)
- 82-XX (53)
- 81-XX (49)
- 93-XX (43)
- 05-XX (41)
- 80-XX (38)
- 60-XX (37)
- 91-XX (37)
- 37-XX (30)
- 08-XX (29)
- 20-XX (29)
- 06-XX (27)
- 34-XX (27)
- 49-XX (27)
- 47-XX (26)
- 90-XX (25)
- 18-XX (24)
- 86-XX (19)
- 94-XX (17)
- 70-XX (16)
- 83-XX (16)
- 78-XX (15)
- 15-XX (13)
- 55-XX (13)
- 45-XX (12)
- 54-XX (12)
- 58-XX (12)
- 53-XX (10)
- 12-XX (8)
- 41-XX (8)
- 46-XX (8)
- 00-XX (6)
- 31-XX (6)
- 39-XX (6)
- 51-XX (6)
- 13-XX (5)
- 01-XX (4)
- 11-XX (4)
- 16-XX (4)
- 22-XX (4)
- 42-XX (4)
- 14-XX (3)
- 26-XX (3)
- 30-XX (3)
- 44-XX (3)
- 28-XX (2)
- 52-XX (2)
- 57-XX (2)
- 17-XX (1)
- 32-XX (1)
- 33-XX (1)
- 85-XX (1)
all
top 3
Software
- HOL (21)
- Nuprl (20)
- Isabelle/HOL (15)
- ML (14)
- Matlab (14)
- Coq (13)
- Isabelle (11)
- Automath (9)
- AUTO (6)
- ETPS (6)
- MONA (6)
- R (6)
- GitHub (5)
- HOL Light (5)
- LCF (5)
- LEGO (5)
- SAS (5)
- TravMC2 (5)
- BMDP (4)
- INTLAB (4)
- Maple (4)
- ACL2 (3)
- C-SHORe (3)
- FreeFem++ (3)
- HMC (3)
- Haskell (3)
- Mizar (3)
- Nitpick (3)
- PVS (3)
- SPSS (3)
- TPS (3)
- Twelf (3)
- bootstrap (3)
- z3 (3)
- ALGOL 60 (2)
- ALGOL 68 (2)
- Agda (2)
- Arc_Mat (2)
- BUGS (2)
- ByMC (2)
- Cambridge LCF (2)
- CkAnalytic (2)
- Crowfoot (2)
- Datalog (2)
- EQS (2)
- Gmsh (2)
- Isabelle/ZF (2)
- Kodkod (2)
- LAPACK (2)
- LISREL (2)
- Leo (2)
- LeoPARD (2)
- Mathematica (2)
- MoCHi (2)
- NQTHM (2)
- Nominal Isabelle (2)
- PRISM (2)
- QEPCAD (2)
- S-PLUS (2)
- SLAM (2)
- SOAR (2)
- SPIN (2)
- SQEMA (2)
- SemiPar (2)
- Sledgehammer (2)
- Smallfoot (2)
- SolitaryGravityWave (2)
- TALx86 (2)
- TOMS659 (2)
- TVLA (2)
- TravMC (2)
- Uppaal (2)
- VESTA (2)
- VeriFast (2)
- XPath (2)
- Ynot (2)
- bvp4c (2)
- jStar (2)
- kepler98 (2)
- redbKIT (2)
- sobol.cc (2)
- AAA (1)
- ABAQUS (1)
- AD Model Builder (1)
- ADMB (1)
- ALBERTA (1)
- AMD (1)
- AOA (1)
- ARPACK (1)
- ATFM (1)
- AUSM (1)
- AUTO-07P (1)
- AUTO-86 (1)
- Abella (1)
- Alloy* (1)
- Amos (1)
- Archive Formal Proofs (1)
- Autowrite (1)
- BLAST (1)
- BVPh (1)
- and 198 more Software Packages