「An intuitionistic set-theoretical model of fully dependent CC^ω」の関連論文
-
Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory
-
Generalization of Bounded Linear Logic and its Categorical Semantics
-
AN ESTIMATE FOR SURFACE MEASURE OF SMALL BALLS IN CARNOT GROUPS
-
On branching laws of Speh representations
-
Discrete Morse theory and classifying spaces
-
STARK SYSTEMS AND EQUIVARIANT MAIN CONJECTURES
-
A Lie algebra-based approach to asymptotic symmetries in general relativity
-
Matrix Liberation Process II: Relation to Orbital Free Entropy
-
CLASSIFICATION OF POINTED REFLECTION SPACES
-
On Soliton Solutions of the Anti-Self-Dual Yang-Mills Equations from the Perspective of Integrable Systems
-
Geometric Method for Solvable Lattice Spin Systems
-
The Cayley transform in complex, real and graded K-theory
-
Geometry of configuration space in Markov chain Monte Carlo methods and the worldvolume approach to the tempered Lefschetz thimble method
-
SUPERSINGULAR LOCI OF LOW DIMENSIONS AND PARAHORIC SUBGROUPS
-
Systematic construction methods of exactly analyzable models in low dimensions
-
Scattering theory for half-line Schrödinger operators: analytic and topological results
-
Tensor renormalization group approach to higher-dimensional lattice field theories
-
EXHAUSTIVE EXISTENCE AND NON-EXISTENCE RESULTS FOR HARDY–HÉNON EQUATIONS IN Rn
-
クライン群の可視化手法とその芸術表現への広がりに関する研究
-
Attractor detection and enumeration algorithms for Boolean networks
-
Arithmetic progressions of Piatetski-Shapiro sequences and related problems
-
Classification methodologies with high-dimensional data in heterogeneity of sample size and covariance matrices
-
New Authentication Algorithm and Single Sign-On Algorithm Based on Verifiable Encryption
-
Market Pricing for Matroid Rank Valuations
-
Phase plane analysis for p-ultradiscrete system : infinite types of branching conditions (Mathematical structures of integrable systems, their developments and applications)
-
From nonextensive statistics and black hole entropy to the holographic dark universe
-
Computational Mechanical Design Method for Achieving Both Aesthetics and Functionality
-
SOME REMARKS ON PL COLLAPSIBLE COVERS OF 2-DIMENSIONAL POLYHEDRA
-
On stability of spatial patterns for mass-conserved reaction-diffusion systems
-
GETZLER’S SYMBOL CALCULUS AND THE COMPOSITION OF DIFFERENTIAL OPERATORS ON CONTACT RIEMANNIAN MANIFOLDS
-
Pumping current in a non-Markovian N-state model
-
Closed-form solution to a real option problem with regime switching
-
TORSION FUNCTION ON CHARACTER VARIETIES
-
Extended Cuscuton Theory: Formulation and Dark Energy
-
On the assumptions leading to the information loss paradox
-
Computer vision and quiver varieties
-
PL DENSITY INVARIANT FOR TYPE II DEGENERATING K3 SURFACES, MODULI COMPACTIFICATION AND HYPER-KÄHLER METRIC
-
Matrices and algebras in the canonical tensor model
-
Type II superstring field theory revisited
-
SPECTRUM OF GENERALIZED HODGE-LAPLACE OPERATORS ON FLAT TORI AND ROUND SPHERES
-
Study on SVM Classifiers for Imbalanced Data Classification Using Quasi-Linear Kernel
-
Quantitative statistical analysis of order-splitting behaviour of individual trading accounts in the Japanese stock market over nine years
-
Extended backward stochastic Volterra integral equations and their applications to time-inconsistent stochastic recursive control problems
-
A multireference coupled-electron pair approximation combined with complete-active space perturbation theory in local pair-natural orbital framework
-
計算量クラスTFNPに対する不動点定理およびアルゴリズム的ゲーム理論からのアプローチ
-
Representation of Geometric Objects by Path Integrals
-
The Ko-Valued Spectral Flow for Skew-Adjoint Fredholm Operators
-
NUMERICAL INVARIANTS AND MODULI SPACES FOR LINE ARRANGEMENTS
-
Learning on Hypergraphs with Sparsity
-
Planar Realizability via Left and Right Applications