45 国际基础科学大会-On the structure of equivariant derived categories 53:06 国际基础科学大会-Linear stability of Ricci solitons-Huai-Dong Cao 1:06:54 国际基础科学大会-On mass-capacity inequalities and their implications-Pengzi Miao 1:05:13 国际基础科学大会-Recent progress on minimal and constant...
in connection with spectroscopy and semi-empirical calculations of molecular structure. Ball and spring models are described by the model description:Estretch=Kb(r−r0)2. The model is an abstract mathematical structure, but this equation can be written down, entered into a computer, and soforth...
The structure point of view, advocated by the Bourbaki school, is very beneficial in orga- nizing and understanding abstract systems. Take manifolds for example (Part III Chap. 2). A manifold may be endowed with different structures. Manifolds with topological structures alone are the ...
Mathematical foundation of computer science 来自 cds.cern.ch 喜欢 0 阅读量: 42 作者: YN Singh 摘要: The interesting feature of this book is its organization and structure. That consists of systematizing of the definitions, methods, and results that something resembling a theory. Simplicity, ...
We address the question of how elegantly to combine a number of different structures, such as finite product structure, monoidal structure, and colimiting ... E Cheng,M Hyland,J Power - 《Electronic Notes in Theoretical Computer Science》 被引量: 50发表: 2003年 Logic at Botik '89 :: symp...
Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977On the structure and properties of NP-complete problems and their associated optimization problems.- A comparative review ... J Gruska - Springer-Verlag New York, Inc. 被引量: 1...
Computer modeling of the structure formation processes during the combustion synthesis of advanced ceramic materials is carried out. The dynamic behavior of a self-propagating exothermal reaction is examined within the stochastic model using the cellular automata approach. The results are compared with ...
This is a preview of subscription content, log in via an institution to check access. Keywords Automat algorithm algorithms artificial intelligence automata bioinformatics complexity computer science data structure data structures distributed computing formal specification k...
DataStructure and Algorithm problems for software engineering interviews. python c tree algorithm linked-list queue interview data-structures interviews fibonacci interview-practice leetcode-solutions interview-questions stacks leetcode-questions mathematical leetcode-java interview-preparation datastructures-algorithm...
In biological terms, the individual components of RPV combine to define the tumor-mesoscopic structure: (a) maximal fractal dimension of the tumor and its microenvironment, which was negatively correlated with survival, together with the following positively correlated features; (b) proportions of runs...