Results 81 to 90 of about 3,237,123 (202)
The Notion of Truth in Natural and Formal Languages [PDF]
For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts.
Olcott, Pete
core
Generation of test tasks in the expert-training systems
RUDN Journal of Informatization in Education, 2012 The article describes methods of generating test tasks that use the knowledge bases of academic disciplines that are formed on the basis of a knowledge production model as well as the apparatus of formal grammars.
I L Bratchikov
doaj
Do we need fine-tuning to create primordial black holes?
, 2018 Recently, the formation of primordial black holes (PBHs) from the collapse of primordial fluctuations has received much attention. The abundance of PBHs formed during radiation domination is sensitive to the tail of the probability distribution of ...
Nakama, Tomohiro, Wang, Yi
core +2 more sources
The Quantum Nature of Lorentz Invariance
Universe, 2018 If the reality underlying classical physics is quantum in nature, then it is reasonable to assume that the transformations of fields, currents, energy, and momentum observed macroscopically are the result of averaging of symmetry groups acting in the ...
Richard Kerner
doaj +1 more source
Proof assistance for refnement in type theory [PDF]
, 2003 In this paper, we represent in type theory a proof system for refinement of algebraic specifications. . The representation is not adequate but full because the use of proof obligations to represent side-conditions.
Mylonakis Pascual, Nicolás
core +1 more source
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints [PDF]
, 2013 We prove several decidability and undecidability results for the satisfiability and validity problems for languages that can express solutions to word equations with length constraints.
Ganesh, Vijay +3 more
core
Investigation on the Thermal Characteristics of 33-kV DC Vacuum Circuit Breakers Using 3-D Modeling
IEEE AccessIn this article, a 3D model is used to investigate the thermal performance of the 33 kV Direct Current Vacuum Circuit Breakers (DCVCBs) when operating under normal current as well as under faulty conditions.
Ossama E. Gouda +3 more
doaj +1 more source
, 1998 We relate a universal formula for the deformation quantization of arbitrary Poisson structures proposed by Maxim Kontsevich to the Campbell-Baker-Hausdorff formula.
Kathotia, Vinay
core
Transfinite Patches for Isogeometric Analysis
MathematicsThis paper extends the well-known transfinite interpolation formula, which was developed in the late 1960s by the applied mathematician William Gordon at the premises of General Motors as an extension of the pre-existing Coons interpolation formula. Here,
Christopher Provatidis
doaj +1 more source
Reverse mathematics and the equivalence of definitions for well and better quasi-orders
Journal of Symbolic Logic (JSL), 2004 Peter A. Cholak +2 more
semanticscholar +1 more source