「On the computation and verification of π using BBP-type formulas」の関連論文
-
Single ytterbium atoms in an optical tweezer array: high-resolution spectroscopy, single-photon Rydberg excitation, and a scheme for nondestructive detection
-
Quantum Gravity Beyond the End of the World
-
Study of the Conditions that Determine the Formation of Coronal Mass Ejections Using Models of the Coronal Magnetic Field
-
Spectrum of end of the world branes in holographic BCFTs
-
Spacetime-emergent ring toward tabletop quantum gravity experiments
-
A Study on Field Work Support in Nuclear Power Plants Utilizing 3D Reconstruction Model and Tagging
-
Effect of Tunnel Pits Radius Variation on the Electric Characteristics of Aluminum Electrolytic Capacitor
-
Novel dynamic critical phenomena induced by superfluidity and the chiral magnetic effect in Quantum Chromodynamics (本文)
-
SUCCEED: Sharing Upcycling Cases with Context and Evaluation for Efficient Software Development
-
弱い重力予想と時空の熱力学
-
格子暗号方式のメモリ制限下での効率的な実装法および性能評価
-
Design of a retrofitted pilot-controlled system to conduct flight-deck interval management (本文)
-
Ray tracing study of ITER in-vessel lighting system
-
EXCLUSIONS OF SMOOTH ACTIONS ON SPHERES OF THE NON-SPLIT EXTENSION OF C₂ BY SL(2, 5)
-
Theoretical studies on effects of protein-ligand/protein-protein interactions on protein functions
-
Phenomenological motivation for gravitational positivity bounds: A case study of dark sector physics
-
Rho resonance from lattice QCD: Technical improvement and its application
-
Exploration and Development of Novel Functional MoS₂-based Nanomaterials [an abstract of entire text]
-
6. Life Science and Medical Science
-
Routes to control Cooper minimum in high order harmonics generated in argon gas
-
Zeta functions connecting multiple zeta values and poly-Bernoulli numbers
-
Elastic critical local buckling stress in cold-formed lipped channel and hat sections under uniform compression
-
Efficient Convolutional Neural Networks for Brain Machine Interface Systems : A transfer learning approach
-
Exciton Transfer in Organic Photovoltaic Cells: A Theoretical Study.
-
Image-based parameter inference for epithelial mechanics
-
Möbius gyrovector spaces and functional analysis (Research on preserver problems on Banach algebras and related topics)
-
STOCHASTIC HYPERBOLIC SYSTEMS, SMALL PERTURBATIONS AND PATHWISE APPROXIMATION
-
Geometrical formulation of adiabatic pumping as a heat engine
-
Universal properties of dissipative Tomonaga-Luttinger liquids: Case study of a non-Hermitian XXZ spin chain
-
PMSMセンサレス制御系へのモデル予測制御の適用
-
New holographic generalization of entanglement entropy
-
Addressing H0 tension by means of VCDM
-
熱-水力直接エネルギー変換システムの開発に関する研究
-
ON GLUING STABILITY CONDITIONS ON RULED SURFACES OF POSITIVE GENUS
-
INTEGRAL REGION CHOICE PROBLEMS ON LINK DIAGRAMS
-
Higher homotopy normalities in topological groups
-
CELLULAR STRATIFIED SPACES
-
Evaluation of thermal conductivity and its structural dependence of a single nanodiamond using molecular dynamics simulation
-
Study of Resolution Enhancement and Focus Control in Sub-Wavelength Optical Lithography
-
8. Neutron Radiography and Radiation Application
-
波浪中で操縦運動する船の流体荷重と運動に関する数値的研究
-
Finite time blow up and concentration phenomena for a solution to drift-diffusion equations in higher dimensions
-
Single Image Haze Removal Using Iterative Ambient Light Estimation with Region Segmentation
-
Primordial Non-Gaussianities from General Models of Inflation and Bounce
-
Coordination and control for connected and automated vehicles at signal-free intersections (本文)
-
An Open Sandwich Immunochromatography for Non-competitive Detection of Small Antigens
-
Derivation of the small-angle scattering profile of a target biomacromolecule from a profile deteriorated by aggregates. AUC–SAS
-
SINKS AND SOURCES FOR C1 DYNAMICS WHOSE LYAPUNOV EXPONENTS HAVE CONSTANT SIGN
-
Development and integration of computational tools to decipher the structure & dynamics of biomolecules from low-resolution experimental data
-
Full molecular dynamics simulations of molecular liquids for single-beam spectrally controlled two-dimensional Raman spectroscopy